Stephan Janisch

According to our database, Stephan Janisch authored at least 7 papers between 2007 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2010

Behaviour and refinement of port-based components with synchronous and asynchronous communication.

Stephan Janisch

PhD thesis, 2010

Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems

Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch

Proceedings of the Proceedings Foundations for Interface Technologies, 2010

2009

Behaviour Protocols for Interacting Stateful Components.

Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

2008

An integrated modelling framework for simulating regional-scale actor responses to global change in the water domain.

Roland Barthel, Stephan Janisch, Nina Schwarz, Aleksandar Trifkovic, Darla Nickel, Carsten Schulz, Wolfram Mauser

Environ. Model. Softw., 2008

On the Observable Behaviour of Composite Components.

Rolf Hennicker, Stephan Janisch, Alexander Knapp

Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication.

Rolf Hennicker, Stephan Janisch, Alexander Knapp

Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

2007

Modelling the CoCoME with the Java/AComponent Model.

Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007