Publications
Export list as BibTeX file
- 2012Behavioral specification based runtime monitors for OSGi servicesJan Olaf Blech, Yliès Falcone, Harald Rueß and Bernhard Schätz
In
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change,
.
Springer,
DetailsBIB
- 2012Behavioral Specification Based Runtime Monitors for OSGi ServicesJan Olaf Blech, Yliès Falcone, Harald Rueß and Bernhard Schätz
In
Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
P,
pages 405–419,
DetailsURLDOIBIB
- 2012Towards Certified Runtime VerificationJan Olaf Blech, Yliès Falcone and Klaus Becker
In
Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM 2012),
Kyoto, Japan,
DetailsBIB