|
|
|
|
|
|
Main.InvitedSpeakers HistoryHide minor edits - Show changes to output Changed line 35 from:
[[http://researcher.ibm.com/researcher/view.php?person=br-rcerq|'+Renato Cerqueira+']], '+IBM Research Brazil+' to:
[[http://researcher.ibm.com/researcher/view.php?person=br-rcerq|'+Renato Cerqueira+']], '+IBM Research, Brazil+' Changed line 35 from:
[[http://researcher.ibm.com/researcher/view.php?person=br-rcerq|'+Renato Cerqueira+']], '+IBM Research to:
[[http://researcher.ibm.com/researcher/view.php?person=br-rcerq|'+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 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 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. assessing autonomous systems operating in discrete domains with large probabilistic state spaces and high branching how to relate framework 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 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:
''' 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:
''' 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 to:
in cooperation with [[http://www.pst.ifi.lmu.de/people/staff/lenz-belzner | Lenz Belzner]] and [[http://www.pst.ifi.lmu.de/people/staff/hennicker | 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 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. [[https://www.sites.google.com/site/deharbe/|'+David Déharbe+']], '+Universidade Federal do Rio Grande do Norte, Brazil+' Deleted lines 24-27:
'''Title to be announced''' Changed line 27 from:
'''Title to be announced''' to:
'''Title to be announced''' Changed line 8 from:
[[https://www.sites.google.com/site/deharbe/|'+David to:
[[https://www.sites.google.com/site/deharbe/|'+David Déharbe+']], '+Universidade Federal do Rio Grande do Norte, Brazil+' Added lines 5-8:
'''Title to be announced''' [[https://www.sites.google.com/site/deharbe/|'+David D´e;harbe+']], '+Universidade Federal do Rio Grande do Norte, Brazil+' Changed line 8 from:
[[http://researcher.ibm.com/researcher/view.php?person=br-rcerq|+Renato Cerqueira+]], '+IBM Research, Brazil+' to:
[[http://researcher.ibm.com/researcher/view.php?person=br-rcerq|'+Renato Cerqueira+']], '+IBM Research, Brazil+' Changed line 8 from:
[[http://researcher.ibm.com/researcher/view.php?person=br-rcerq|Renato Cerqueira]], '+IBM Research, Brazil+' to:
[[http://researcher.ibm.com/researcher/view.php?person=br-rcerq|+Renato Cerqueira+]], '+IBM Research, Brazil+' Changed lines 4-5 from:
[[http://www.pst.ifi.lmu.de/people/staff/wirsing|'+Martin Wirsing+']] to:
[[http://www.pst.ifi.lmu.de/people/staff/wirsing|'+Martin Wirsing+']], '+Ludwig-Maximilians-Universität München, Germany+' Changed lines 8-10 from:
Renato Cerqueira, IBM to:
[[http://researcher.ibm.com/researcher/view.php?person=br-rcerq|Renato Cerqueira]], '+IBM Research, Brazil+' '''Title to be announced''' Changed lines 4-5 from:
[[http://www.pst.ifi.lmu.de/people/staff/wirsing|'+Martin Wirsing+']] to:
[[http://www.pst.ifi.lmu.de/people/staff/wirsing|'+Martin Wirsing+']] || '+Ludwig-Maximilians-Universität München, Germany+'|| Added lines 7-8:
Renato Cerqueira, IBM Research Changed lines 4-5 from:
to:
[[http://www.pst.ifi.lmu.de/people/staff/wirsing|'+Martin Wirsing+']], '+Ludwig-Maximilians-Universität München, Germany+' Changed line 8 from:
to:
Other invited speakers to be announced Changed lines 4-5 from:
[[http://www.pst.ifi.lmu.de/people/staff/wirsing|Martin Wirsing]], Ludwig-Maximilians-Universität München, Germany to:
+[[http://www.pst.ifi.lmu.de/people/staff/wirsing|Martin Wirsing]], Ludwig-Maximilians-Universität München, Germany+ Changed line 8 from:
' to:
'Other invited speakers to be announced' Changed lines 4-5 from:
to:
[[http://www.pst.ifi.lmu.de/people/staff/wirsing|Martin Wirsing]], Ludwig-Maximilians-Universität München, Germany Changed line 4 from:
[[http://www.pst.ifi.lmu.de/people/staff/wirsing|Martin Wirsing]], Ludwig-Maximilians-Universität München, Germany to:
! [[http://www.pst.ifi.lmu.de/people/staff/wirsing|Martin Wirsing]], Ludwig-Maximilians-Universität München, Germany Changed line 4 from:
to:
[[http://www.pst.ifi.lmu.de/people/staff/wirsing|Martin Wirsing]], Ludwig-Maximilians-Universität München, Germany Changed line 4 from:
!! Martin Wirsing, Ludwig-Maximilians-Universität München, Germany to:
!! [[http://www.pst.ifi.lmu.de/people/staff/wirsing|Martin Wirsing]], Ludwig-Maximilians-Universität München, Germany Changed lines 4-5 from:
to:
!! Martin Wirsing, Ludwig-Maximilians-Universität München, Germany '+Other invited speakers to be announced+' |
