Stephan Janisch

Publication Activity (10 Years)

Years Active: 2007-2010
Publications (10 Years): 0

Ludwig Maximilians University Munich (PHD)

Education History

Ludwig Maximilians University Munich

PHD

Publications

Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch
Behaviour Protocols for Interacting Stateful Components. Electron. Notes Theor. Comput. Sci. 263 (2010)
Rolf Hennicker, Stephan Janisch, Alexander Knapp
On the Observable Behaviour of Composite Components. Electron. Notes Theor. Comput. Sci. 260 (2010)
Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch
Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems FIT (2010)
Rolf Hennicker, Stephan Janisch, Alexander Knapp
Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication. Monterey Workshop (2008)
Roland Barthel, Stephan Janisch, Nina Schwarz, Aleksandar Trifkovic, Darla Nickel, Carsten Schulz, Wolfram Mauser
An integrated modelling framework for simulating regional-scale actor responses to global change in the water domain. Environ. Model. Softw. 23 (9) (2008)
Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing
Modelling the CoCoME with the Java/AComponent Model. CoCoME (2007)