Christian Stehno

Publication Activity (10 Years)

Years Active: 2002-2013
Publications (10 Years): 0

Top Topics

Multiagent Systems

Convergence Rate

Formal Specification

Image Processing Algorithms

Top Venues

Publications

Tobias Tiemerding, Claas Diederichs, Christian Stehno, Sergej Fatikow
Comparison of different design methodologies of hardware-based image processing for automation in microrobotics. AIM (2013)
Christoph Eichner, Hans Fleischhack, Roland Meyer, Ulrik Schrimpf, Christian Stehno
Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets. SDL Forum (2005)
Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber
The Petri Net Markup Language: Concepts, Technology, and Tools. ICATPN (2003)
Hans Fleischhack, Christian Stehno
Computing a Finite Prefix of a Time Petri Net. ICATPN (2002)
Christian Stehno
System Specification and Verification Using High Level Concepts - A Tool Demonstration. SPIN (2002)
Christian Stehno
Real-Time Systems Design with PEP. TACAS (2002)
Christian Stehno
Petri net markup language: implementation and application. Promise (2002)