Florian Stallmann

According to our database, Florian Stallmann authored at least 17 papers between 2003 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

On the Complex Nature of MDE Evolution.

Regina Hebig, Holger Giese, Florian Stallmann, Andreas Seibel

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

2008

A model-driven approach to multi-agent system design.

Florian Stallmann

PhD thesis, 2008

Tool support for the design of self-optimizing mechatronic multi-agent systems.

Sven Burmester, Holger Giese, Eckehard Münch, Oliver Oberschelp, Florian Klein, Peter Scheideler

Int. J. Softw. Tools Technol. Transf., 2008

2007

Systematic verification of multi-agent systems based on rigorous executable specifications.

Holger Giese, Florian Klein

Int. J. Agent Oriented Softw. Eng., 2007

Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams.

Florian Klein, Holger Giese

Proceedings of the Fundamental Approaches to Software Engineering, 2007

2006

Software engineering for large-scale multi-agent systems - SELMAS 2006: workshop report.

Alessandro Garcia, Holger Giese, Alexander B. Romanovsky, Ricardo Choren, Ho-fung Leung, Carlos José Pereira de Lucena, Florian Klein, Eric Platon

ACM SIGSOFT Softw. Eng. Notes, 2006

Building reliable systems based on self-organizing multi-agent systems.

Florian Klein, Matthias Tichy

Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, 2006

Nobody's perfect: interactive synthesis from parametrized real-time scenarios.

Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein

Proceedings of the SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, 2006

Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems.

Björn Axenath, Holger Giese, Florian Klein, Ursula Frank

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Symbolic invariant verification for systems with dynamic structural adaptation.

Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005

Analysis and design of physical and social contexts in multi-agent systems using UML.

Florian Klein, Holger Giese

ACM SIGSOFT Softw. Eng. Notes, 2005

Reconciling scenario-centered controller design with state-based system models.

Holger Giese, Ekkart Kindler, Florian Klein, Robert Wagner

ACM SIGSOFT Softw. Eng. Notes, 2005

Analysis and Design of Physical and Social Contexts in Multi-agent Systems.

Florian Klein, Holger Giese

Proceedings of the Software Engineering for Multi-Agent Systems IV, 2005

Grounding Social Interactions in the Environment.

Florian Klein, Holger Giese

Proceedings of the Environments for Multi-Agent Systems II, Second International Workshop, 2005

2004

Separation of Concerns for Mechatronic Multi-agent Systems Through Dynamic Communities.

Florian Klein, Holger Giese

Proceedings of the Software Engineering for Multi-Agent Systems III, 2004

2003

Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models.

Holger Giese, Florian Klein, Sven Burmester

Proceedings of the Scenarios: Models, 2003

Autonomous Shuttle System Case Study.

Holger Giese, Florian Klein

Proceedings of the Scenarios: Models, 2003