Rolf Hennicker and Alexander Knapp. Modal interface theories for communication-safe component assemblies. In Antonio Cerone and Pekka Pihlajasaari, editors, Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings, volume 6916 of Lecture Notes in Computer Science, pages 135–153. Springer, 2011.
Sebastian S. Bauer, Rolf Hennicker, and Stephan Janisch. Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems. In Proceedings Foundations for Interface Technologies (FIT'10), volume 46 of EPTCS, pages 1–8, 2010.
Sebastian S. Bauer, Rolf Hennicker, and Stephan Janisch. Behaviour protocols for interacting stateful components. Electr. Notes Theor. Comput. Sci., 263:47–66, 2010.
Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, and Rolf Hennicker. On weak modal compatibility, refinement, and the MIO Workbench. In Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, Proceedings (TACAS 2010), volume 6015 of Lecture Notes in Computer Science, pages 175–189. Springer, 2010.
Sebastian S. Bauer, Rolf Hennicker, and Michel Bidoit. A modal interface theory with data constraints. In Jim Davies, Leila Silva, and Adenilso da Silva Simão, editors, Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, volume 6527 of Lecture Notes in Computer Science, pages 80–95. Springer, 2010.
Rolf Hennicker, Stephan Janisch, and Alexander Knapp. On the observable behaviour of composite components. Electr. Notes Theor. Comput. Sci., 260:125–153, 2010.
Rolf Hennicker, Sebastian S. Bauer, Stephan Janisch, and Matthias Ludwig. A Generic Framework for Multi-Disciplinary Environmental Modelling. In David A. Swayne, Wanhong Yang, Alexey A. Voinov, Andrea Rizzoli, and Tatiana Filatova, editors, Proceedings of the iEMSs Fifth Biennial Meeting: International Congress on Environmental Modelling and Software (iEMSs 2010), Ottawa, Canada, July 2010. International Environmental Modelling and Software Society.
Rolf Hennicker, Stephan Janisch, and Matthias Ludwig. Agent-Based Social Simulation within a Generic Framework for Environmental Modelling. In Proc. WCSS 2010, 3rd World Congress on Social Simulation, Kassel, Germany, 2010. Center for Environmental Systems Research, University of Kassel.
Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, and Rolf Hennicker. On weak modal compatibility, refinement, and the MIO Workbench. Technical Report 1001, Ludwig-Maximilians-Universität München, January 2010. Extended version of the TACAS'10 paper with proofs.
Sebastian S. Bauer, Rolf Hennicker, and Michel Bidoit. A Modal Interface Theory with Data Constraints. Technical Report 1005, Ludwig-Maximilians-Universität München, May 2010. Extended version of the SBMF'10 paper with proofs.