Christian Stehno

According to our database, Christian Stehno authored at least 7 papers between 2002 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Comparison of different design methodologies of hardware-based image processing for automation in microrobotics.

Tobias Tiemerding, Claas Diederichs, Christian Stehno, Sergej Fatikow

Proceedings of the 2013 IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2013

2005

Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets.

Christoph Eichner, Hans Fleischhack, Roland Meyer, Ulrik Schrimpf, Christian Stehno

Proceedings of the SDL 2005: Model Driven, 2005

2003

The Petri Net Markup Language: Concepts, Technology, and Tools.

Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002

Real-Time Systems Design with PEP.

Christian Stehno

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

System Specification and Verification Using High Level Concepts - A Tool Demonstration.

Christian Stehno

Proceedings of the Model Checking of Software, 2002

Petri net markup language: implementation and application.

Christian Stehno

Proceedings of the Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen, 2002

Computing a Finite Prefix of a Time Petri Net.

Hans Fleischhack, Christian Stehno

Proceedings of the Applications and Theory of Petri Nets 2002, 2002