Michael von der Beeck

According to our database, Michael von der Beeck authored at least 24 papers between 1992 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Multimodal Driver Referencing: A Comparison of Pointing to Objects Inside and Outside the Vehicle.

Abdul Rafey Aftab, Michael von der Beeck

Proceedings of the IUI 2022: 27th International Conference on Intelligent User Interfaces, Helsinki, Finland, March 22, 2022

2021

Multimodal Fusion Using Deep Learning Applied to Driver's Referencing of Outside-Vehicle Objects.

Abdul Rafey Aftab, Michael von der Beeck, Steven Rohrhirsch, Benoit Diotte, Michael Feld

Proceedings of the IEEE Intelligent Vehicles Symposium, 2021

2020

You Have a Point There: Object Selection Inside an Automobile Using Gaze, Head Pose and Finger Pointing.

Abdul Rafey Aftab, Michael von der Beeck, Michael Feld

Proceedings of the ICMI '20: International Conference on Multimodal Interaction, 2020

2007

Development of logical and technical architectures for automotive systems.

Michael von der Beeck

Softw. Syst. Model., 2007

2006

A Formal Semantics of UML-RT.

Michael von der Beeck

Proceedings of the Model Driven Engineering Languages and Systems, 2006

Eignung der UML 2.0 zur Entwicklung von Bordnetzarchitekturen.

Michael von der Beeck

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

2004

Function Net Modeling with UML-RT: Experiences from an Automotive Project at BMW Group.

Michael von der Beeck

Proceedings of the UML Modeling Languages and Applications, 2004

Modellierung von Funktionsnetzen mit UML-RT: Erfahrungen aus einem Automobilprojekt zur Entwicklung sicherheitsrelevanter Systeme.

Michael von der Beeck

Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004

2003

Automotive UML.

Michael von der Beeck, Peter Braun, Martin Rappl, Christian Schröder

Proceedings of the UML for Real - Design of Embedded Real-Time Systems, 2003

2002

A structured operational semantics for UML-statecharts.

Michael von der Beeck

Softw. Syst. Model., 2002

Model Based Requirements Engineering for Embedded Software.

Michael von der Beeck, Peter Braun, Martin Rappl, Christian Schröder

Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

2001

Formalization of UML-Statecharts.

Michael von der Beeck

Proceedings of the «UML» 2001, 2001

Truths and Beliefs about the Use of Real-Time Distributed Object Computing in Complex Industrial Applications.

Carlos Eduardo Pereira, Ricardo Sanz Bravo, Michael von der Beeck, Michael Kircher

Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001

2000

A compositional approach to statecharts semantics.

Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland

Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

A Concise Compositionalj Statecharts Semantics Definition.

Michael von der Beeck

Proceedings of the Formal Techniques for Distributed System Development, 2000

1999

Statecharts Via Process Algebra.

Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1997

Graphs in METAFrame: The Unifying Power of Polymorphism.

Michael von der Beeck, Volker Braun, Andreas Claßen, Achim Dannecker, Carsten Friedrich, Dirk Koschützki, Tiziana Margaria, Falk Schreiber, Bernhard Steffen

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

A formal requirements engineering method for specification, synthesis, and verification.

Michael von der Beeck, Tiziana Margaria, Bernhard Steffen

Proceedings of the 8th Conference on Software Engineering Environments, 1997

1995

Ein Kontrollmodell für die Strukturierte Analyse.

Michael von der Beeck

PhD thesis, 1995

1994

A Comparison of Statecharts Variants.

Michael von der Beeck

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993

Improving Structured Analysis - Achieving Preciseness, Executability, and Real-Time Specification.

Michael von der Beeck

Proceedings of the Requirements Engineering '93: Prototyping, 1993

Enhancing Structured Analysis by Timed Statecharts for Real-Time and Concurrency Specification.

Michael von der Beeck

Proceedings of the Decentralized and Distributed Systems, 1993

Integration of Structured Analysis and Timed Statecharts for Real-Time and Concurrency Specification.

Michael von der Beeck

Proceedings of the Software Engineering, 1993

1992

SA/CM/IM for Process Modelling.

Gernot Starke, Michael von der Beeck

Proceedings of the Software Process Technology, Second European Workshop, 1992