Author of the publication

Enhanced Requirements-Based Programming for Embedded Systems Design.

, , , , and . MBEES, volume 2006-1 of Informatik-Bericht, page 43-52. TU Braunschweig, Institut für Software Systems Engineering, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. Michael Pradel University of Stuttgart

LExecutor: Learning-Guided Execution, and . Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, page 1522-1534. Association for Computing Machinery, (2023)
 

Other publications of authors with the same name

You can't Get there from Here! Problems and some potential solutions in Developing New Classes of Complex Systems., , , , and . Transactions of the SDPS, 9 (1): 1-16 (2005)Model-Based Evolution of Collaborative Agent-Based Systems., , , and . J. Braz. Comp. Soc., 13 (4): 17-38 (2007)Experience Using Formal Methods for Specifying a Multi-Agent System., , and . ICECCS, page 72-. IEEE Computer Society, (2000)Formal Approaches to Intelligent Swarms., , , and . SEW, page 51. IEEE Computer Society, (2003)A CSP-Based Agent Modeling Framework for the Cougaar Agent-Based Architecture., , , , and . ECBS, page 255-262. IEEE Computer Society, (2005)Autonomicity of NASA Missions., , , , and . ICAC, page 387-388. IEEE Computer Society, (2005)Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems., , , and . SIS, page 348-355. IEEE, (2007)Introduction to the Minitrack on Engineering Complex Computer Systems: Emerging Technologies Track., , and . HICSS (3), page 148-149. IEEE Computer Society, (1998)Editorial: A Year of Aerospace Computing.. JACIC, (2007)The use of industrial-strength formal methods., and . COMPSAC, page 332-337. IEEE Computer Society, (1997)