Name Card

Full name Familienname, Vorname
Falcone, Yliès
 
Main Affiliation Organisations­zuordnung
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bartocci, Ezio ; Falcone, Ylies ; Leucker, Martin PrefaceKonferenzbeitrag Inproceedings2021
2Bartocci, Ezio ; Falcone, Ylies ; Francalanza, Adrian ; Reger, Giles Introduction to Runtime VerificationBuchbeitrag Book Contribution2018
3Bartocci, Ezio ; Deshmukh, Rupali Ganpat ; Donze, Alexandre ; Fainekos, Georgios ; Maler, Oded ; Nickovic, Dejan ; Sankaranarayanan, Sriram Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and ApplicationsBuchbeitrag Book Contribution 2018