Author of the publication

Timed Contract Compliance Under Event Timing Uncertainty.

, , and . JURIX, volume 302 of Frontiers in Artificial Intelligence and Applications, page 33-38. IOS Press, (2017)

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

Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets., , , and . Softw. Syst. Model., 18 (5): 2973-3003 (2019)Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets., , , , and . Softw. Syst. Model., 20 (2): 505-538 (2021)Contractually Compliant Service Compositions., , and . ICSOC, volume 7084 of Lecture Notes in Computer Science, page 636-644. Springer, (2011)WST: a tool supporting timed composite Web Services Model transformation., , , , and . Simul., 88 (3): 349-364 (2012)A Framework for Modeling Cloud Infrastructures and User Interactions., , , , and . IEEE Access, (2019)Time Ordering Architecture in SCA., , , , and . TAMoCo, volume 201 of Frontiers in Artificial Intelligence and Applications, page 117-126. IOS Press, (2009)Formal Passive Testing of Service-Oriented Systems., , and . IEEE SCC, page 610-613. IEEE Computer Society, (2010)Studying the Impact of the User Subscription Times in Different Cloud Configurations., , , , , and . SEKE, page 211-216. KSI Research Inc., (2021)Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets., , , and . IEEE Access, (2018)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)