Call for Participation: Workshop on Recent Developments in Runtime Verification Techniques

 					Call for Participation 
	Workshop on Recent Developments in Runtime Verification Techniques

					September 16, 2011
			University of Twente, Enschede, The Netherlands

Runtime verification techniques are introduced to check the correctness of
software in its actual execution environment, where changes in the states of
software are checked against its formally specified properties. If any
failure is detected, diagnosis and recovery actions may be carried out to
identify the causes of the failure and to heal the software, respectively. 
The complexity of the today's software amplifies the need for employing
runtime verification techniques. In this workshop we discuss the recent
developments within this area including the practical applications and the
use of aspect-oriented languages in implementing these techniques. The
workshop consists of six presentations from the world authority experts in
this topic. At the end of the workshop, a discussion will take place
involving the presenters and the audience.


Program:

09:15 - 09:30 Opening

09:30 - 10:00 Runtime Verification of Traces under Recording Uncertainty,
Dr. Oleg Sokolsky, University of Pennsylvania 

10:00 - 10:30 Combining Multiple Verification Techniques Together,
Prof.Dr.Ir. Mehmet Aksit, University of Twente

10:30 - 11:00 Break

11:00 -11:30 Combining Modeling and Verification Techniques for the
Development of Embedded Software, Prof. Dr. Jozef Hooman, Radboud University
Nijmegen 

11:30 - 12:00 Prof. Wouter Joosen, Katholieke Universiteit Leuven 

12:00 - 12:30 Short discussion

12:30 - 13:15 Lunch

13:15 - 13:45 RV: A Runtime Verification Framework for Monitoring,
Dr.Grigore Rosu, University of Illinois at Urbana-Champaign

13:45 - 14:15 Event Composition Model: Achieving Naturalness in Runtime
Enforcement, Somayeh Malakuti, University of Twente

14:15 - 15:00 Discussion

15:00 - End of the workshop


Registration is free of charge, but is required due to the space limit. The
deadline for the registration is September 11, 2011. Please send an email
to:

    * Jeanette Rebel-de Boer: j.a.rebel-deboer[at]ewi.utwente.nl
    * Somayeh Malakuti: s.malakuti[at]ewi.utwente.nl

Web page (information and registration for lunch and workshop):
https://sites.google.com/site/rvtrese/home


__________________________________________________
announce mailing list    -    [email protected]

To unsubscribe and change options, go to:
http://aosd.net/mailman/listinfo/announce_aosd.net

Check out the AOSD.net Wiki: http://aosd.net/wiki