Author of the publication

Testing Time Goal-Driven Requirements with Model Checking Techniques.

, , , , and . ECBS, page 503-514. IEEE Computer Society, (2007)

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

Formal Passive Testing of Service-Oriented Systems., , and . IEEE SCC, page 610-613. IEEE Computer Society, (2010)A Framework for Modeling Cloud Infrastructures and User Interactions., , , , and . IEEE Access, (2019)Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets., , , and . Softw. Syst. Model., 18 (5): 2973-3003 (2019)Contractually Compliant Service Compositions., , and . ICSOC, volume 7084 of Lecture Notes in Computer Science, page 636-644. Springer, (2011)Time Ordering Architecture in SCA., , , , and . TAMoCo, volume 201 of Frontiers in Artificial Intelligence and Applications, page 117-126. IOS Press, (2009)WST: a tool supporting timed composite Web Services Model transformation., , , , and . Simul., 88 (3): 349-364 (2012)Timed Contract Compliance Under Event Timing Uncertainty., , and . JURIX, volume 302 of Frontiers in Artificial Intelligence and Applications, page 33-38. IOS Press, (2017)Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets., , , and . IEEE Access, (2018)Themulus: A Timed Contract-calculus., , , , and . MODELSWARD, page 193-204. SCITEPRESS, (2020)Mobile Applications for People with Parkinson's Disease: A Systematic Search in App Stores and Content Review., , , and . J. Univers. Comput. Sci., 25 (7): 740-763 (2019)