PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Westergaard, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
Looking into the Future. Using Timed Automata to Provide a Priori Advice about Timed Declarative Process Models.

, and . OTM Conferences (1), volume 7565 of Lecture Notes in Computer Science, page 250-267. Springer, (2012)

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.

Michael Beltle University of Stuttgart

Measurement System for Surface Potentials in Realistic HVDC-GIS Environments, , , and . 23rd International Symposium on High Voltage Engineering (ISH 2023), page 543-547. Stevenage, Institution of Engineering and Technology, (2023)
Measurement System for Surface Potentials in Realistic HVDC-GIS Environments, , , and . 23rd International Symposium on High Voltage Engineering (ISH 2023), page 543-547. Stevenage, Institution of Engineering and Technology, (2023)Measurement and Simulation of the Shielding Effectiveness of Planar Material with Apertures using a ASTM D4935 TEM Cell, , and . 2023 International Symposium on Electromagnetic Compatibility : EMC Europe, IEEE, (2023)Using capacitive electric field sensors to measure transient overvoltages : a case study, , , , and . 23rd International Symposium on High Voltage Engineering (ISH 2023), page 20-25. Stevenage, Institution of Engineering and Technology, (2023)

Michael Blosen University of Stuttgart

Univ. -Prof. Dr. Michael Pradel University of Stuttgart

Michael Hoffmann University of Stuttgart

Michael Hack University of Stuttgart

 

Other publications of authors with the same name

A Graphical Approach to Component-Based and Extensible Model Checking Platforms., and . Trans. Petri Nets and Other Models of Concurrency, (2012)The BRITNeY Suite Animation Tool., and . ICATPN, volume 4024 of Lecture Notes in Computer Science, page 431-440. Springer, (2006)Runtime Verification of LTL-Based Declarative Process Models., , , and . RV, volume 7186 of Lecture Notes in Computer Science, page 131-146. Springer, (2011)Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL.. BPM, volume 6896 of Lecture Notes in Computer Science, page 83-98. Springer, (2011)Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks., , and . IFM, volume 3771 of Lecture Notes in Computer Science, page 266-286. Springer, (2005)Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching., , and . Trans. Petri Nets and Other Models of Concurrency, (2013)Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification., , and . PNSE, volume 851 of CEUR Workshop Proceedings, page 32-46. CEUR-WS.org, (2012)An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets., , and . Petri Nets, volume 7347 of Lecture Notes in Computer Science, page 308-327. Springer, (2012)Beautiful Workflows: A Matter of Taste?, , and . The Beauty of Functional Code, volume 8106 of Lecture Notes in Computer Science, page 211-233. Springer, (2013)Looking into the Future. Using Timed Automata to Provide a Priori Advice about Timed Declarative Process Models., and . OTM Conferences (1), volume 7565 of Lecture Notes in Computer Science, page 250-267. Springer, (2012)