Author of the publication

A Method to Mine Workflows from Provenance for Assisting Scientific Workflow Composition.

, , and . SERVICES, page 169-175. IEEE Computer Society, (2011)

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

Analyzing a Formal Specification of Mondex Using Model Checking., and . ICTAC, volume 6255 of Lecture Notes in Computer Science, page 214-229. Springer, (2010)An Empirical Study on Classification of Non-Functional Requirements., , and . SEKE, page 444-449. Knowledge Systems Institute Graduate School, (2011)A Term Rewriting Approach to Analyze High Level Petri Nets., , , , and . TASE, page 109-112. IEEE Computer Society, (2016)Bounded Model Checking High Level Petri Nets in PIPE+Verifier., , , and . ICFEM, volume 8829 of Lecture Notes in Computer Science, page 348-363. Springer, (2014)A Method for Predicting Two-Variable Atomicity Violations., , and . QRS, page 103-110. IEEE, (2018)SAMAT - A Tool for Software Architecture Modeling and Analysis., , , and . SEKE, page 352-358. Knowledge Systems Institute Graduate School, (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)A Method to Build and Analyze Scientific Workflows from Provenance through Process Mining., , , , and . TaPP, USENIX Association, (2011)A Formal Specification of Mondex Using SAM., , and . SOSE, page 97-102. IEEE Computer Society, (2008)SC-xScript: An Embedded Script Language for Scientific Computation in Embedded Systems., , , , , , and . SEKE, page 308-314. Knowledge Systems Institute Graduate School, (2011)