Jens Schönborn

According to our database, Jens Schönborn authored at least 5 papers between 2005 and 2009.

Collaborative distances:

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

2009

Refinement Patterns for Hierarchical UML State Machines.

Jens Schönborn, Marcel Kyas

Proceedings of the Fundamentals of Software Engineering, 2009

2008

A Theory of Bounded Fair Scheduling.

Jens Schönborn, Marcel Kyas

Proceedings of the Theoretical Aspects of Computing, 2008

2007

Refinement Sensitive Formal Semantics of State Machines With Persistent Choice.

Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schönborn

Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007

2006

UML 2.0 State Machines: Complete Formal Semantics Via core state machine.

Harald Fecher, Jens Schönborn

Proceedings of the Formal Methods: Applications and Technology, 2006

2005

29 New Unclarities in the Semantics of UML 2.0 State Machines.

Harald Fecher, Jens Schönborn, Marcel Kyas, Willem P. de Roever

Proceedings of the Formal Methods and Software Engineering, 2005