Author of the publication

Soundness and Niceness as Correctness Criteria for Grid Workflows.

, , and . eScience, page 55-62. IEEE Computer Society, (2008)

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

Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems - (Extended Abstract)., , , and . FORMATS, volume 7595 of Lecture Notes in Computer Science, page 1-6. Springer, (2012)Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets., , and . ACSD, page 13-18. IEEE Computer Society, (2011)Workflow Data Footprints.. BIS, volume 47 of Lecture Notes in Business Information Processing, page 218-229. Springer, (2010)Compositionality for Markov Reward Chains with Fast Transitions., , , and . EPEW, volume 4748 of Lecture Notes in Computer Science, page 18-32. Springer, (2007)Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets., , , and . OPODIS, volume 5401 of Lecture Notes in Computer Science, page 538-541. Springer, (2008)Verifying chi Models of Industrial Systems with Spin.. ICFEM, volume 4260 of Lecture Notes in Computer Science, page 132-148. Springer, (2006)Aggregation Methods for Markov Reward Chains with Fast and Silent Transitions., and . MMB, page 93-108. VDE Verlag, (2008)A formal verification approach to revealing stealth attacks on networked control systems., , , and . HiCoNS, page 67-76. ACM, (2014)Integrated model-driven design-space exploration for embedded systems., , , , and . ICSAMOS, page 339-346. IEEE, (2011)Branching Bisimilarity with Explicit Divergence, , and . CoRR, (2008)