Author of the publication

TERMOS: A Formal Language for Scenarios in Mobile Computing Systems.

, , , , and . MobiQuitous, volume 73 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 285-296. Springer, (2010)

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

Analytics of resource transients in cloud-based applications., , , , and . IJCC, 2 (2/3): 191-212 (2013)Robustness Testing Techniques and Tools., , , , , and . Resilience Assessment and Evaluation of Computing Systems, Springer, (2012)Scenario-based Automated Evaluation of Test Traces of Autonomous Systems., , and . DECS@SAFECOMP, HAL, (2013)SEViz: A Tool for Visualizing Symbolic Execution., , and . ICST, page 1-8. IEEE Computer Society, (2015)Classifying the Correctness of Generated White-Box Tests: An Exploratory Study., and . CoRR, (2017)Model-Based Regression Testing of Autonomous Robots., , , and . SDL Forum, volume 10567 of Lecture Notes in Computer Science, page 119-135. Springer, (2017)Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles., , , , , , , , and . MoDELS, page 89-94. IEEE, (2019)Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers., and . DepCoS-RELCOMEX, page 191-198. IEEE Computer Society, (2006)TERMOS: A Formal Language for Scenarios in Mobile Computing Systems., , , , and . MobiQuitous, volume 73 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 285-296. Springer, (2010)Mobile Systems from a Validation Perspective: a Case Study., , , and . ISPDC, page 85-92. IEEE Computer Society, (2007)