Michael von der Beeck

Affiliations:
  • BMW Group, Munich, Germany
  • Technische Universität München, Germany (Ph.D., 2004)


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Multimodal Driver Referencing: A Comparison of Pointing to Objects Inside and Outside the Vehicle.
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.
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.
Proceedings of the ICMI '20: International Conference on Multimodal Interaction, 2020

2007
Development of logical and technical architectures for automotive systems.
Softw. Syst. Model., 2007

2006
A Formal Semantics of UML-RT.
Proceedings of the Model Driven Engineering Languages and Systems, 2006

Eignung der UML 2.0 zur Entwicklung von Bordnetzarchitekturen.
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.
Proceedings of the UML Modeling Languages and Applications, 2004

Modellierung von Funktionsnetzen mit UML-RT: Erfahrungen aus einem Automobilprojekt zur Entwicklung sicherheitsrelevanter Systeme.
Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004

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

2002
A structured operational semantics for UML-statecharts.
Softw. Syst. Model., 2002

Model Based Requirements Engineering for Embedded Software.
Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

2001
Formalization of UML-Statecharts.
Proceedings of the «UML» 2001, 2001

Truths and Beliefs about the Use of Real-Time Distributed Object Computing in Complex Industrial Applications.
Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001

2000
A compositional approach to statecharts semantics.
Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

A Concise Compositionalj Statecharts Semantics Definition.
Proceedings of the Formal Techniques for Distributed System Development, 2000

1999
Statecharts Via Process Algebra.
Proceedings of the CONCUR '99: Concurrency Theory, 1999

1997
Graphs in METAFrame: The Unifying Power of Polymorphism.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

A formal requirements engineering method for specification, synthesis, and verification.
Proceedings of the 8th Conference on Software Engineering Environments, 1997

1995
Ein Kontrollmodell für die Strukturierte Analyse.
PhD thesis, 1995

1994
A Comparison of Statecharts Variants.
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.
Proceedings of the Requirements Engineering '93: Prototyping, 1993

Enhancing Structured Analysis by Timed Statecharts for Real-Time and Concurrency Specification.
Proceedings of the Decentralized and Distributed Systems, 1993

Integration of Structured Analysis and Timed Statecharts for Real-Time and Concurrency Specification.
Proceedings of the Software Engineering, 1993

1992
SA/CM/IM for Process Modelling.
Proceedings of the Software Process Technology, Second European Workshop, 1992


  Loading...