Name Card

Full name Familienname, Vorname
Strichman, Ofer
 
Main Affiliation Organisations­zuordnung
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-9 of 9 (Search time: 0.004 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Ivrii Alexander - 2020 - Proceedings of the 20th Conference on Formal Methods in...pdf.jpgIvrii, Alexander ; Strichman, Ofer Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020Proceedings Tagungsband 2020
210_Runtime Verification on FPGAs with LTLf Specifications.pdf.jpgTracy II, Tommy ; Tabajara, Lucas ; Vardi, Moshe ; Skadron, Kevin Runtime Verification on FPGAs with LTLf SpecificationsInproceedings Konferenzbeitrag 2020
312_EUFicient Reachability for Software with Arrays.pdf.jpgBueno, Denis ; Cox, Arlen ; Sakallah, Karem EUFicient Reachability for Software with ArraysInproceedings Konferenzbeitrag 2020
411_Distributed Bounded Model Checking.pdf.jpgChatterje, Prantik ; Roy, Subhajit ; Phi Diep, Bui ; Lal, Akash Distributed Bounded Model CheckingInproceedings Konferenzbeitrag 2020
515_Reactive Synthesis from Extended Bounded Response LTL Specifications.pdf.jpgCimatti, Alessandro ; GEATTI, Luca ; Gigante, Nicola ; MONTANARI, Angelo ; Tonetta, Stefano Reactive Synthesis from Extended Bounded Response LTL SpecificationsInproceedings Konferenzbeitrag 2020
607_Effective System Level Liveness Verification.pdf.jpgFedotov, Alexander ; Keiren, Jeroen ; Schmaltz, Julien Effective System Level Liveness VerificationInproceedings Konferenzbeitrag 2020
714_Incremental Verification by SMT_based Summary Repair.pdf.jpgAsadi, Sepideh ; Blicha, Martin ; Hyvärinen, Antti ; Fedyukovich, Grigory ; Sharygina, Natasha Incremental Verification by SMT-based Summary RepairInproceedings Konferenzbeitrag 2020
808_Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration.pdf.jpgDureja, Rohit ; Baumgartner, Jason ; Kanzelman, Robert ; Williams, Mark ; Kristin Y. Rozier Accelerating Parallel Verification via Complementary Property Partitioning and Strategy ExplorationInproceedings Konferenzbeitrag 2020
902_Formal Verification for Natural and Engineered Biological Systems.pdf.jpgKugler, Hillel Formal Verification for Natural and Engineered Biological SystemsInproceedings Konferenzbeitrag 2020