Name Card

Full name Familienname, Vorname
Pasareanu, Corina
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
120_Parallelization Techniques for Verifying Neural Networks.pdf.jpgWu, Haoze ; Ozdemir, Alex ; Zeljic, Aleksandar ; Julian, Kyle ; Irfan, Ahmed ; Gopinath, Divya ; Fouladi, Sadjad ; Katz, Guy ; Pasareanu, Corina ; Barrett, Clark Parallelization Techniques for Verifying Neural NetworksKonferenzbeitrag Inproceedings 2020
2Grosu, Radu ; Bogomolov, Sergiy ; Frehse, Goran ; Greitschus, Marius ; Pasareanu, Corina ; Podelski, Andreas ; Strump, Thomas Assume-Guarantee Abstraction-Refinement Meets Hybrid SystemsKonferenzbeitrag Inproceedings2014