Michael von der Beeck

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

16EEMichael von der Beeck: Development of logical and technical architectures for automotive systems. Software and System Modeling 6(2): 205-219 (2007)
15EEMichael von der Beeck: A Formal Semantics of UML-RT. MoDELS 2006: 768-782
14EEMichael von der Beeck: Function Net Modeling with UML-RT: Experiences from an Automotive Project at BMW Group. UML Satellite Activities 2004: 94-104
13EEMichael von der Beeck, Peter Braun, Martin Rappl, Christian Schröder: Model Based Requirements Engineering for Embedded Software. RE 2002: 92-94
12EEMichael von der Beeck: A structured operational semantics for UML-statecharts. Software and System Modeling 1(2): 130-141 (2002)
11EECarlos 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
10EEMichael von der Beeck: Formalization of UML-Statecharts. UML 2001: 406-421
9 Michael von der Beeck: A Concise Compositionalj Statecharts Semantics Definition. FORTE 2000: 335-350
8EEGerald Lüttgen, Michael von der Beeck, Rance Cleaveland: A compositional approach to statecharts semantics. SIGSOFT FSE 2000: 120-129
7EEGerald Lüttgen, Michael von der Beeck, Rance Cleaveland: Statecharts Via Process Algebra. CONCUR 1999: 399-414
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
5 Michael von der Beeck: A Comparison of Statecharts Variants. FTRTFT 1994: 128-148
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
1 Gernot Starke, Michael von der Beeck: SA/CM/IM for Process Modelling. EWSPT 1992: 18-20

Coauthor Index

1Volker Braun [6]
2Peter Braun [13]
3Ricardo Sanz Bravo [11]
4Andreas Claßen [6]
5Rance Cleaveland [7] [8]
6Achim Dannecker [6]
7Carsten Friedrich [6]
8Michael Kircher [11]
9Dirk Koschützki [6]
10Gerald Lüttgen [7] [8]
11Tiziana Margaria (Tiziana Margaria-Steffen) [6]
12Carlos Eduardo Pereira [11]
13Martin Rappl [13]
14Falk Schreiber [6]
15Christian Schröder [13]
16Gernot Starke [1]
17Bernhard Steffen [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)