Author of the publication

A Term Rewriting Approach to Analyze High Level Petri Nets.

, , , , and . TASE, page 109-112. IEEE Computer Society, (2016)

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.

 

Other publications of authors with the same name

An Empirical Study on Classification of Non-Functional Requirements., , and . SEKE, page 444-449. Knowledge Systems Institute Graduate School, (2011)Analyzing a Formal Specification of Mondex Using Model Checking., and . ICTAC, volume 6255 of Lecture Notes in Computer Science, page 214-229. Springer, (2010)A Term Rewriting Approach to Analyze High Level Petri Nets., , , , and . TASE, page 109-112. IEEE Computer Society, (2016)SC-xScript: An Embedded Script Language for Scientific Computation in Embedded Systems., , , , , , and . SEKE, page 308-314. Knowledge Systems Institute Graduate School, (2011)McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking., , , and . SPIN, volume 7385 of Lecture Notes in Computer Science, page 191-207. Springer, (2012)A Method for Improving the Precision and Coverage of Atomicity Violation Predictions., , , and . TACAS, volume 9035 of Lecture Notes in Computer Science, page 116-130. Springer, (2015)SAMAT - A Tool for Software Architecture Modeling and Analysis., , , and . SEKE, page 352-358. Knowledge Systems Institute Graduate School, (2012)A Formal Specification of Mondex Using SAM., , and . SOSE, page 97-102. IEEE Computer Society, (2008)A Method to Build and Analyze Scientific Workflows from Provenance through Process Mining., , , , and . TaPP, USENIX Association, (2011)A Method for Predicting Two-Variable Atomicity Violations., , and . QRS, page 103-110. IEEE, (2018)