PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Metzner, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
A Semantics for Distributed Execution of Statemate.

, , , and . Formal Asp. Comput., 15 (4): 390-405 (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. -Ing. Martin Metzner University of Stuttgart

Hon. -Prof. Dr. Walter Metzner University of Stuttgart

Dr. -Ing. Martin Metzner University of Stuttgart

Alexander Verl

On the Dynamics and Emergency Stop Behavior of Cable-Driven Parallel Robots, , and . ROMANSY 21 - Robot Design, Dynamics and Control, volume 569 of CISM International Centre for Mechanical Sciences, page 431--438. Switzerland, Springer Verlag and Springer International Publishing, (2016)

Alexander Jaust

 

Other publications of authors with the same name

Die EVENTS-Architektur (The EVENTS Architecture)., , , and . it+ti - Informationstechnik und Technische Informatik, 42 (2): 40-44 (2000)MSparc: Multithreading in Real-Time Architectures., and . J. UCS, 6 (10): 1034-1051 (2000)RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures., and . RTSS, page 147-158. IEEE Computer Society, (2006)An optimal approach to the task allocation problem on hierarchical architectures., , , and . IPDPS, IEEE, (2006)Why Model Checking Can Improve WCET Analysis.. CAV, volume 3114 of Lecture Notes in Computer Science, page 334-347. Springer, (2004)A Semantics for Distributed Execution of Statemate., , , and . Formal Asp. Comput., 15 (4): 390-405 (2003)Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality., , , , , and . RTCSA, page 87-90. IEEE Computer Society, (2006)Scheduling analysis of distributed real-time systems under functional constraints.. ETFA, page 591-599. IEEE, (2008)Testing Real-time Task Networks with Functional Extensions using Model-checking., , and . ETFA, page 1-10. IEEE, (2009)Automating the design flow for distributed embedded automotive applications: Keeping your time promises, and optimizing costs, too., , , , , and . SIES, page 156-165. IEEE, (2011)