Author of the publication

An Eclipse Plug-in for the Java PathFinder Runtime Verification System.

, , , and . SEW, page 142-152. IEEE Computer Society, (2006)

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

Applying ARM in a healthcare system -- a case study., , , , and . SEDE, page 99-104. ISCA, (2007)IndML - An Industrial Markup Language., and . ADBIS Research Communications, page 185-194. Slovak University of Technology, Bratislava, (2002)Risk Characterization and Prototyping., , and . NOTERE, page 57-64. IEEE, (2010)Integrating User-Generated Content and Pervasive Communications, , , , , , , , , and 10 other author(s). IEEE Pervasive Computing, 7 (4): 58--61 (2008)Simulations of Risks for Monitoring and Prevention., , , , and . SEKE, page 602-607. Knowledge Systems Institute Graduate School, (2011)An Adaptive Resource Management Approach for a Healthcare System., , and . SEKE, page 286-291. Knowledge Systems Institute Graduate School, (2007)Risk Management through Real-Time Wearable Services., , , and . ICSEA, page 163-168. IEEE Computer Society, (2009)Hints on Quality Evaluation of Self-Systems.. SASO, page 185-186. IEEE Computer Society, (2014)Managing Non-functional Aspects in SOA through SLA., and . DEXA Workshops, page 701-705. IEEE Computer Society, (2008)Data Representation in Industrial Systems., and . ICEIS, page 163-178. (2002)