Bartocci, Ezio

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Bartocci, Ezio
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Filter:
Author:  Falcone, Ylies

Results 1-4 of 4 (Search time: 0.002 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 ; Falcone, Ylies Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction)Konferenzbeitrag Inproceedings2016
4Bartocci, Ezio ; Bonakdarpour, Borzoo ; Falcone, Ylies First International Competition of Software for Runtime VerificationKonferenzbeitrag Inproceedings2014

Contributing Publications Mitbeteiligte Publikationen

Filter:
Author:  Falcone, Ylies

Results 1-2 of 2 (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