Search the dblp DataBase

Publications of Author

1. Holger Giese, Florian Klein
   Autonomous Shuttle System Case Study. [Citation Graph (0, 0)][DBLP]
   Scenarios: Models, Transformations and Tools, 2003, pp:90-94 [Conf]
   
2. Holger Giese, Florian Klein, Sven Burmester
   Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models. [Citation Graph (0, 0)][DBLP]
   Scenarios: Models, Transformations and Tools, 2003, pp:193-211 [Conf]
   
3. Florian Klein, Holger Giese
   Grounding Social Interactions in the Environment. [Citation Graph (0, 0)][DBLP]
   E4MAS, 2005, pp:139-162 [Conf]
   
4. Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling
   Symbolic invariant verification for systems with dynamic structural adaptation. [Citation Graph (0, 0)][DBLP]
   ICSE, 2006, pp:72-81 [Conf]
   
5. Michael zur Muehlen, Florian Klein
   AFRICA: Workflow Interoperability Based on XML-Messages. [Citation Graph (0, 0)][DBLP]
   ISDO, 2000, pp:- [Conf]
   
6. Björn Axenath, Holger Giese, Florian Klein, Ursula Frank
   Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems. [Citation Graph (0, 0)][DBLP]
   RE, 2006, pp:156-165 [Conf]
   
7. Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein
   Nobody's perfect: interactive synthesis from parametrized real-time scenarios. [Citation Graph (0, 0)][DBLP]
   SCESM, 2006, pp:67-74 [Conf]
   
8. Florian Klein, Holger Giese
   Separation of Concerns for Mechatronic Multi-agent Systems Through Dynamic Communities. [Citation Graph (0, 0)][DBLP]
   SELMAS, 2004, pp:272-289 [Conf]
   
9. Florian Klein, Holger Giese
   Analysis and Design of Physical and Social Contexts in Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
   SELMAS, 2005, pp:91-108 [Conf]
   
10. Florian Klein, Holger Giese
    Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams. [Citation Graph (0, 0)][DBLP]
    FASE, 2007, pp:185-199 [Conf]