Florian Stallmann

According to our database1, Florian Stallmann authored at least 16 papers between 2003 and 2013.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


On the Complex Nature of MDE Evolution.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

A model-driven approach to multi-agent system design.
PhD thesis, 2008

Tool support for the design of self-optimizing mechatronic multi-agent systems.
Int. J. Softw. Tools Technol. Transf., 2008

Systematic verification of multi-agent systems based on rigorous executable specifications.
Int. J. Agent Oriented Softw. Eng., 2007

Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams.
Proceedings of the Fundamental Approaches to Software Engineering, 2007

Software engineering for large-scale multi-agent systems - SELMAS 2006: workshop report.
ACM SIGSOFT Softw. Eng. Notes, 2006

Nobody's perfect: interactive synthesis from parametrized real-time scenarios.
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.
Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Symbolic invariant verification for systems with dynamic structural adaptation.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Analysis and design of physical and social contexts in multi-agent systems using UML.
ACM SIGSOFT Softw. Eng. Notes, 2005

Reconciling scenario-centered controller design with state-based system models.
ACM SIGSOFT Softw. Eng. Notes, 2005

Analysis and Design of Physical and Social Contexts in Multi-agent Systems.
Proceedings of the Software Engineering for Multi-Agent Systems IV, 2005

Grounding Social Interactions in the Environment.
Proceedings of the Environments for Multi-Agent Systems II, Second International Workshop, 2005

Separation of Concerns for Mechatronic Multi-agent Systems Through Dynamic Communities.
Proceedings of the Software Engineering for Multi-Agent Systems III, 2004

Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models.
Proceedings of the Scenarios: Models, 2003

Autonomous Shuttle System Case Study.
Proceedings of the Scenarios: Models, 2003