|
|
|
|
|
|
Main.InvitedSpeakers HistoryHide minor edits - Show changes to markup Changed line 35 from:
Renato Cerqueira, IBM Research Brazil to:
Renato Cerqueira, IBM Research, Brazil Changed line 35 from:
Renato Cerqueira, IBM Research, Brazil to:
Renato Cerqueira, IBM Research Brazil Changed line 39 from:
Abstract. In this presentation, I will revisit some observations made during the last 20 years, while I was participating in R&D projects related to component-based development. I will focus on lessons learmed and on how I ended up taking a path that tries to bring approaches and techniques from HCI to help in the design and evaluation of programmable interfaces. to:
Abstract. In this presentation, I will revisit some observations made during the last 20 years, while I was participating in R&D projects related to component-based development. I will focus on lessons learned and on how I ended up taking a path that tries to bring approaches and techniques from HCI to help in the design and evaluation of programmable interfaces. Changed line 10 from:
Abstract. This paper proposes a formal component framework for modeling and assessing autonomous systems operating in domains with large probabilistic state spaces and high branching factors. to:
Abstract. This work proposes a formal component framework for modeling and assessing autonomous systems operating in domains with large probabilistic state spaces and high branching factors. Changed lines 10-19 from:
Abstract. In this talk, a formal framework will be presented for modeling and assessing autonomous systems operating in discrete domains with large probabilistic state spaces and high branching factors. The framework defi nes components for acting and deliberation, and speci fies their interactions. It comprises a mathematical description of speci fication requirements for autonomous systems. We discuss the role of such a specification in the context of simulation-based online planning. Moreover, we show how to relate goals given as bounded LTL formulae with utility functions driving autonomous system adaptation. The framework is illustrated by a robotic rescue example. to:
Abstract. This paper proposes a formal component framework for modeling and assessing autonomous systems operating in domains with large probabilistic state spaces and high branching factors. The framework defines components for acting and deliberation, and specifies their interactions. It comprises a mathematical description of specification requirements for autonomous systems. We discuss the role of such a specification in the context of simulation-based online planning. Moreover, an approach for relating goals given as bounded LTL formulae to utility functions driving autonomous system adaptation is discussed. The framework is illustrated with a robotic rescue example. Changed line 6 from:
A Formal Framework for Simulation-Based Autonomous Systems\\ to:
A Component Framework for Simulation-Based Online Planning\\ Changed line 44 from:
Abstract. In this presentation, I will revisit some observations made during the last 20 years, while I was participating in R&D projects related to component-based development. I will focus on lessons learmed and on how I ended up taking a path that tries to bring approaches and techniques from HCI to help in the design and evaluation of programmable interfaces. to:
Abstract. In this presentation, I will revisit some observations made during the last 20 years, while I was participating in R&D projects related to component-based development. I will focus on lessons learmed and on how I ended up taking a path that tries to bring approaches and techniques from HCI to help in the design and evaluation of programmable interfaces. Changed lines 42-44 from:
Title to be announced to:
Towards Pragmatic Contracts Abstract. In this presentation, I will revisit some observations made during the last 20 years, while I was participating in R&D projects related to component-based development. I will focus on lessons learmed and on how I ended up taking a path that tries to bring approaches and techniques from HCI to help in the design and evaluation of programmable interfaces. Changed lines 23-38 from:
Title to be announced to:
A Formal Framework for the Design of Software Components with the B method Abstract. B is a formal method used to design software components for safety-critical systems. The B method starts with the specification of the component as an abstract specification and proceeds by application of successive refinements until a detailed, algorithmic implementation has been derived. In all stages of the methods, the artifacts are subject to formal verification to ensure consistency. We present a formalization framework for the B method based on Labelled Transition Systems (LTS) as semantics models. We establish the relationship between the generation of proof obligations mandated by the B method with the preservation of invariants in LTS, and between the notion of refinement in B and the concept of simulation in LTS. Finally we formalize, in this context, the concept of sound B development of a software component. All the formalization is expressed and machine-checked with Isabelle/HOL. Changed lines 7-8 from:
in cooperation with Lenz Belzner and Rolf Hennicker to:
in cooperation with Lenz Belzner and Rolf Hennicker Changed lines 6-7 from:
A Formal Framework for Simulation-Based Autonomous Systems to:
A Formal Framework for Simulation-Based Autonomous Systems\\ Added line 7:
Added lines 6-22:
A Formal Framework for Simulation-Based Autonomous Systems in cooperation with Lenz Belzner and Rolf Hennicker Ludwig-Maximilians-Universität München Abstract. In this talk, a formal framework will be presented for modeling and assessing autonomous systems operating in discrete domains with large probabilistic state spaces and high branching factors. The framework defi nes components for acting and deliberation, and speci fies their interactions. It comprises a mathematical description of speci fication requirements for autonomous systems. We discuss the role of such a specification in the context of simulation-based online planning. Moreover, we show how to relate goals given as bounded LTL formulae with utility functions driving autonomous system adaptation. The framework is illustrated by a robotic rescue example. David Déharbe, Universidade Federal do Rio Grande do Norte, Brazil Deleted lines 24-27:
David Déharbe, Universidade Federal do Rio Grande do Norte, Brazil Title to be announced Changed line 27 from:
Title to be announced to:
Title to be announced Changed line 8 from:
David D´e;harbe, Universidade Federal do Rio Grande do Norte, Brazil to:
David Déharbe, Universidade Federal do Rio Grande do Norte, Brazil Added lines 5-8:
Title to be announced David D´e;harbe, Universidade Federal do Rio Grande do Norte, Brazil Changed line 8 from:
+Renato Cerqueira+, IBM Research, Brazil to:
Renato Cerqueira, IBM Research, Brazil Changed line 8 from:
Renato Cerqueira, IBM Research, Brazil to:
+Renato Cerqueira+, IBM Research, Brazil Changed lines 4-5 from:
Martin Wirsing || Ludwig-Maximilians-Universität München, Germany|| to:
Martin Wirsing, Ludwig-Maximilians-Universität München, Germany Changed lines 8-10 from:
Renato Cerqueira, IBM Research to:
Renato Cerqueira, IBM Research, Brazil Title to be announced Changed lines 4-5 from:
Martin Wirsing, Ludwig-Maximilians-Universität München, Germany to:
Martin Wirsing || Ludwig-Maximilians-Universität München, Germany|| Added lines 7-8:
Renato Cerqueira, IBM Research Changed lines 4-5 from:
+Martin Wirsing, Ludwig-Maximilians-Universität München, Germany+ to:
Martin Wirsing, Ludwig-Maximilians-Universität München, Germany Changed line 8 from:
'Other invited speakers to be announced' to:
Other invited speakers to be announced Changed lines 4-5 from:
Martin Wirsing, Ludwig-Maximilians-Universität München, Germany to:
+Martin Wirsing, Ludwig-Maximilians-Universität München, Germany+ Changed line 8 from:
Other invited speakers to be announced to:
'Other invited speakers to be announced' Changed lines 4-5 from:
Martin Wirsing, Ludwig-Maximilians-Universität München, Germanyto:
Martin Wirsing, Ludwig-Maximilians-Universität München, Germany Changed line 4 from:
Martin Wirsing, Ludwig-Maximilians-Universität München, Germany to:
Martin Wirsing, Ludwig-Maximilians-Universität München, GermanyChanged line 4 from:
Martin Wirsing, Ludwig-Maximilians-Universität München, Germanyto:
Martin Wirsing, Ludwig-Maximilians-Universität München, Germany Changed line 4 from:
Martin Wirsing, Ludwig-Maximilians-Universität München, Germanyto:
Martin Wirsing, Ludwig-Maximilians-Universität München, GermanyChanged lines 4-5 from:
To be announced to:
Martin Wirsing, Ludwig-Maximilians-Universität München, GermanyOther invited speakers to be announced |
