The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael von der Beeck: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland
    Statecharts Via Process Algebra. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:399-414 [Conf]
  2. Michael von der Beeck
    Integration of Structured Analysis and Timed Statecharts for Real-Time and Concurrency Specification. [Citation Graph (0, 0)][DBLP]
    ESEC, 1993, pp:313-328 [Conf]
  3. Gernot Starke, Michael von der Beeck
    SA/CM/IM for Process Modelling. [Citation Graph (0, 0)][DBLP]
    EWSPT, 1992, pp:18-20 [Conf]
  4. Michael von der Beeck
    A Concise Compositionalj Statecharts Semantics Definition. [Citation Graph (0, 0)][DBLP]
    FORTE, 2000, pp:335-350 [Conf]
  5. Michael von der Beeck
    A Comparison of Statecharts Variants. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:128-148 [Conf]
  6. Michael von der Beeck
    Enhancing Structured Analysis by Timed Statecharts for Real-Time and Concurrency Specification. [Citation Graph (0, 0)][DBLP]
    Decentralized and Distributed Systems, 1993, pp:369-381 [Conf]
  7. 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. [Citation Graph (0, 0)][DBLP]
    ISORC, 2001, pp:375- [Conf]
  8. Michael von der Beek
    Modellierung von Funktionsnetzen mit UML-RT: Erfahrungen aus einem Automobilprojekt zur Entwicklung sicherheitsrelevanter Systeme. [Citation Graph (0, 0)][DBLP]
    Modellierung, 2004, pp:11-12 [Conf]
  9. Michael von der Beeck
    A Formal Semantics of UML-RT. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2006, pp:768-782 [Conf]
  10. Michael von der Beeck
    Improving Structured Analysis - Achieving Preciseness, Executability, and Real-Time Specification. [Citation Graph (0, 0)][DBLP]
    Requirements Engineering, 1993, pp:227-245 [Conf]
  11. Michael von der Beeck, Peter Braun 0003, Martin Rappl, Christian Schröder
    Model Based Requirements Engineering for Embedded Software. [Citation Graph (0, 0)][DBLP]
    RE, 2002, pp:92-94 [Conf]
  12. Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland
    A compositional approach to statecharts semantics. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2000, pp:120-129 [Conf]
  13. 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. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:112-129 [Conf]
  14. Michael von der Beeck
    Formalization of UML-Statecharts. [Citation Graph (0, 0)][DBLP]
    UML, 2001, pp:406-421 [Conf]
  15. Michael von der Beeck
    Function Net Modeling with UML-RT: Experiences from an Automotive Project at BMW Group. [Citation Graph (0, 0)][DBLP]
    UML Satellite Activities, 2004, pp:94-104 [Conf]
  16. Michael von der Beeck
    A structured operational semantics for UML-statecharts. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2002, v:1, n:2, pp:130-141 [Journal]

  17. A formal requirements engineering method for specification, synthesis, and verification. [Citation Graph (, )][DBLP]


  18. Eignung der UML 2.0 zur Entwicklung von Bordnetzarchitekturen. [Citation Graph (, )][DBLP]


Search in 0.027secs, Finished in 0.028secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002