 | 2007 |
|---|
| 17 |       | Michael von der Beeck:
Development of logical and technical architectures for automotive systems.
Software and System Modeling 6(2): 205-219 (2007) |
| 2006 |
|---|
| 16 | | Michael von der Beeck:
A Formal Semantics of UML-RT.
MoDELS 2006: 768-782 |
| 2004 |
|---|
| 15 | | Michael von der Beeck:
Function Net Modeling with UML-RT: Experiences from an Automotive Project at BMW Group.
UML Satellite Activities 2004: 94-104 |
| 2002 |
|---|
| 14 | | Michael von der Beeck,
Peter Braun,
Martin Rappl,
Christian Schröder:
Model Based Requirements Engineering for Embedded Software.
RE 2002: 92-94 |
| 13 | | Michael von der Beeck:
A structured operational semantics for UML-statecharts.
Software and System Modeling 1(2): 130-141 (2002) |
| 2001 |
|---|
| 12 | | Carlos Eduardo Pereira,
Ricardo Sanz Bravo,
Michael von der Beeck,
Michael Kircher:
Truths and Beliefs about the Use of Real-Time Distributed Object Computing in Complex Industrial Applications.
ISORC 2001: 375 |
| 11 | | Michael von der Beeck:
Formalization of UML-Statecharts.
UML 2001: 406-421 |
| 2000 |
|---|
| 10 |  | Michael von der Beeck:
A Concise Compositionalj Statecharts Semantics Definition.
FORTE 2000: 335-350 |
| 9 | | Gerald Lüttgen,
Michael von der Beeck,
Rance Cleaveland:
A compositional approach to statecharts semantics.
SIGSOFT FSE 2000: 120-129 |
| 1999 |
|---|
| 8 | | Gerald Lüttgen,
Michael von der Beeck,
Rance Cleaveland:
Statecharts Via Process Algebra.
CONCUR 1999: 399-414 |
| 1997 |
|---|
| 7 | | Michael von der Beeck,
Tiziana Margaria,
Bernhard Steffen:
A formal requirements engineering method for specification, synthesis, and verification.
SEE 1997: 131-144 |
| 6 | | Michael von der Beeck,
Volker Braun,
Andreas Claßen,
Achim Dannecker,
Carsten Friedrich,
Dirk Koschützki,
Tiziana Margaria,
Falk Schreiber,
Bernhard Steffen:
Graphs in METAFrame: The Unifying Power of Polymorphism.
TACAS 1997: 112-129 |
| 1994 |
|---|
| 5 | | Michael von der Beeck:
A Comparison of Statecharts Variants.
FTRTFT 1994: 128-148 |
| 1993 |
|---|
| 4 | | Michael von der Beeck:
Enhancing Structured Analysis by Timed Statecharts for Real-Time and Concurrency Specification.
Decentralized and Distributed Systems 1993: 369-381 |
| 3 | | Michael von der Beeck:
Integration of Structured Analysis and Timed Statecharts for Real-Time and Concurrency Specification.
ESEC 1993: 313-328 |
| 2 | | Michael von der Beeck:
Improving Structured Analysis - Achieving Preciseness, Executability, and Real-Time Specification.
Requirements Engineering 1993: 227-245 |
| 1992 |
|---|
| 1 | | Gernot Starke,
Michael von der Beeck:
SA/CM/IM for Process Modelling.
EWSPT 1992: 18-20 |
