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

A formal framework for software product lines., , and . Inf. Softw. Technol., 55 (11): 1925-1947 (2013)Transforming Information in RDF to Rewriting Logic., , , , , and . FMOODS, volume 3535 of Lecture Notes in Computer Science, page 227-242. Springer, (2005)FLOP, a free laboratory of programming., , and . Koli Calling, page 93-99. ACM, (2012)Observing intermediate structures in a parallel lazy functional language., , , and . PPDP, page 109-120. ACM, (2007)Fuzzy-Timed Automata., , and . FMOODS/FORTE, volume 6117 of Lecture Notes in Computer Science, page 140-154. Springer, (2010)IOCO as a Simulation., and . SEFM Workshops, volume 8368 of Lecture Notes in Computer Science, page 125-134. Springer, (2013)Cost-related interface for software product lines., , and . J. Log. Algebraic Methods Program., 85 (1): 227-244 (2016)Self-adaptive fuzzy-timed systems., , and . IEEE Congress on Evolutionary Computation, page 115-122. IEEE, (2011)FLOP: A User-Friendly System for Automated Program Assessment., , , and . J. Univers. Comput. Sci., 20 (9): 1304-1326 (2014)Formally comparing user and implementer model-based testing methods., , and . ICST Workshops, page 1-10. IEEE Computer Society, (2008)