acm international conference proceeding series (2)
runtime verification (2)
2010 ieee second international conference on social computing, social computing (socialcom), 2010 ieee second international conference on (1)
2017 47th annual ieee/ifip international conference on dependable systems and networks (dsn), dependable systems and networks (dsn), 2017 47th annual ieee/ifip international conference on, dsn (1)
2017 ieee symposium on security and privacy (sp), security and privacy (sp), 2017 ieee symposium on, sp (1)
2019 ieee/aiaa 38th digital avionics systems conference (dasc), digital avionics systems conference (dasc), 2019 ieee/aiaa 38th (1)
2020 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2020 (1)
2023 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2023 (1)
2023 ieee conference on communications and network security (cns), communications and network security (cns), 2023 ieee conference on (1)
2024 ieee symposium on security and privacy (sp), symposium on security and privacy (sp), 2024 ieee, sp (1)
computer aided verification (9783319088662) (1)
frontiers of combining systems: 10th international symposium, frocos 2015, wroclaw, poland, september 21-24, 2015. proceedings (1)
ieee transactions on dependable and secure computing (1)
pediatric research (1)
pediatric research (ovid) (1)
proceedings of the 16th acm symposium: access control models & technologies (1)
proceedings of the 5th acm symposium: information, computer & communications security (1)
proceedings of the second acm conference data & application security & privacy (1)
systems (1)