BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Italy
1 × The Netherlands
1 × USA
2 × Germany
Collaborated with:
G.Lüttgen R.Cleaveland P.Braun M.Rappl C.Schröder V.Braun A.Claßen A.Dannecker C.Friedrich D.Koschützki T.Margaria-Steffen F.Schreiber B.Steffen
Talks about:
statechart (3) time (3) structur (2) analysi (2) specif (2) semant (2) formal (2) real (2) uml (2) polymorph (1)

♂ Person: Michael von der Beeck

DBLP DBLP: Beeck:Michael_von_der

Facilitated 2 volumes:

MoDELS 2012PracticalTrackPrCo
MoDELS 2011PracticalTrackPrCo

Contributed to:

MoDELS 20062006
RE 20022002
UML 20012001
FSE 20002000
TACAS 19971997
ESEC 19931993
Requirements Engineering 19931993

Wrote 7 papers:

MoDELS-2006-Beeck #semantics #uml
A Formal Semantics of UML-RT (MvdB), pp. 768–782.
RE-2002-BeeckBRS #embedded #modelling #requirements
Model Based Requirements Engineering for Embedded Software (MvdB, PB, MR, CS), pp. 92–94.
UML-2001-Beeck #formal method #uml
Formalization of UML-Statecharts (MvdB), pp. 406–421.
FSE-2000-LuttgenBC #approach #composition #semantics
A compositional approach to statecharts semantics (GL, MvdB, RC), pp. 120–129.
TACAS-1997-BeeckBCDFKMSS #graph #morphism #polymorphism #power of
Graphs in METAFrame: The Unifying Power of Polymorphism (MvdB, VB, AC, AD, CF, DK, TMS, FS, BS), pp. 112–129.
ESEC-1993-Beeck #analysis #concurrent #integration #realtime #specification
Integration of Structured Analysis and Timed Statecharts for Real-Time and Concurrency Specification (MvdB), pp. 313–328.
ICRE-1993-Beeck #analysis #execution #precise #realtime #specification
Improving Structured Analysis — Achieving Preciseness, Executability, and Real-Time Specification (MvdB), pp. 227–245.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.