Yliès Falcone

Publikationen

Liste als BibTeX-Datei exportieren

• November 2012 Towards Certified Runtime Verification Jan Olaf Blech , Yliès Falcone und Klaus Becker In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM 2012), Kyoto, Japan, November 2012. ACM. Details DOI BIB
• 2012 Behavioral specification based runtime monitors for OSGi services Jan Olaf Blech , Yliès Falcone , Harald Rueß und Bernhard Schätz In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, . Springer, 2012. Details BIB
• 2012 Behavioral Specification Based Runtime Monitors for OSGi Services Jan Olaf Blech , Yliès Falcone , Harald Rueß und 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, Seiten 405–419, 2012. Details URL DOI BIB