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: Beeck:Michael_von_der
Facilitated 2 volumes:
PracticalTrackPrCoPracticalTrackPrCoContributed to:
2006
2002
2001
2000
1997
19931993Wrote 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.