Conference Series: Formal Methods in Computer-Aided Design

Series cover Cover der Schriftenreihe
Weissenbacher_Cover_VLB.jpg picture
 
Title (de) Titel (de)
Conference Series: Formal Methods in Computer-Aided Design
 
Description (de) Beschreibung (de)
Formale Methoden in rechnerunterstützter Systementwicklung (FMCAD) ist eine Konferenzreihe über Theorie und Anwendung von formalen Methoden in Hardware- und Systemverifikation. FMCAD stellt ein führendes Forum für Forschende in Wissenschaft und Industrie dar, wo bahnbrechende Methoden, Technologien, theoretische Ergebnisse und Werkzeuge für formale Logik in Rechensystemen präsentiert und diskutiert werden können. FMCAD deckt formale Aspekte der rechnerunterstützten Systementwicklung, sowie Verifikation, Spezifikation, Synthese und Testung.
 
Title (en) Titel (en)
Conference Series: Formal Methods in Computer-Aided Design
 
Description (en) Beschreibung (en)
Formal Methods in Computer-Aided Design (FMCAD) is a conference series on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.
 
e-ISSN
2708-7824
 
Editor Herausgeber_in
 
Publisher Verlag
TU Wien Academic Press
 
First year in reposiTUm Erstes Jahr in reposiTUm
2020
 

Publications

Results 1-20 of 35 (Search time: 0.003 seconds).

Authors / EditorsTitleTypeIssue Date
1Dureja, Rohit ; Baumgartner, Jason ; Kanzelman, Robert ; Williams, Mark ; Rozier, Kristin Y. ; Ivrii, Alexander ; Strichman, Ofer Accelerating Parallel Verification via Complementary Property Partitioning and Strategy ExplorationInproceedings2020
2Lahiri, Shuvendu K. ; Lal, Akash ; Gopinath, Sridhar ; Nutz, Alexander ; Levin, Vladimir ; Kumar, Rahul ; Deisinger, Nate ; Lichtenberg, Jakob ; Bansal, Chetan ; Ivrii, Alexander ; Strichman, Ofer Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) costInproceedings2020
3Nadel, Alexander ; Ivrii, Alexander ; Strichman, Ofer Anytime Algorithms for MaxSAT and BeyondInproceedings2020
4Lin, Xuankang ; Zhu, He ; Samanta, Roopsha ; Jagannathan, Suresh ; Ivrii, Alexander ; Strichman, Ofer ART: Abstraction Refinement-Guided Training for Provably Correct Neural NetworksInproceedings2020
5Zhang, Zichao ; de Amorim, Arthur Azevedo ; Jia, Limin ; Pasareanu, Corina S. ; Ivrii, Alexander ; Strichman, Ofer Automating Compositional Analysis of Authentication ProtocolsInproceedings2020
6Pick, Lauren ; Fedyukovich, Grigory ; Gupta, Aarti ; Ivrii, Alexander ; Strichman, Ofer Automating Modular Verification of Secure Information FlowInproceedings2020
7Chatterje, Prantik ; Roy, Subhajit ; Phi Diep, Bui ; Lal, Akash ; Ivrii, Alexander ; Strichman, Ofer Distributed Bounded Model CheckingInproceedings2020
8Fedotov, Alexander ; Keiren, Jeroen J.A. ; Schmaltz, Julien ; Ivrii, Alexander ; Strichman, Ofer Effective System Level Liveness VerificationInproceedings2020
9Bueno, Denis ; Cox, Arlen ; Sakallah, Karem ; Ivrii, Alexander ; Strichman, Ofer EUFicient Reachability for Software with ArraysInproceedings2020
10Schrammel, Peter ; Ivrii, Alexander ; Strichman, Ofer The FMCAD 2020 Student ForumInproceedings2020
11Alamdari, Parand Alizadeh ; Avni, Guy ; Henzinger, Thomas A. ; Lukina, Anna ; Ivrii, Alexander ; Strichman, Ofer Formal Methods with a Touch of MagicInproceedings2020
12Kugler, Hillel ; Ivrii, Alexander ; Strichman, Ofer Formal Verification for Natural and Engineered Biological SystemsInproceedings2020
13Kupferman, Orna ; Ivrii, Alexander ; Strichman, Ofer From Correctness to High QualityInproceedings2020
14Schrammel, Peter ; Ivrii, Alexander ; Strichman, Ofer How testable is business software?Inproceedings2020
15Asadi, Sepideh ; Blicha, Martin ; Hyvärinen, Antti ; Fedyukovich, Grigory ; Sharygina, Natasha ; Ivrii, Alexander ; Strichman, Ofer Incremental Verification by SMT-based Summary RepairInproceedings2020
16Ehlers, Rüdiger ; Gavran, Ivan ; Neider, Daniel ; Ivrii, Alexander ; Strichman, Ofer Learning Properties in LTL ∩ ACTL from Positive Examples OnlyInproceedings2020
17Klimis, Vasileios ; Parisis, Georg ; Reus, Bernhard ; Ivrii, Alexander ; Strichman, Ofer Model Checking Software-Defined Networks with Flow Entries that Time OutInproceedings2020
18Nadel, Alexander ; Ivrii, Alexander ; Strichman, Ofer On Optimizing a Generic Function in SATInproceedings2020
19Wu, Haoze ; Ozdemir, Alex ; Zeljic, Aleksandar ; Julian, Kyle ; Irfan, Ahmed ; Gopinath, Divya ; Fouladi, Sadjad ; Katz, Guy ; Pasareanu, Corina ; Barrett, Clark ; Ivrii, Alexander ; Strichman, Ofer Parallelization Techniques for Verifying Neural NetworksInproceedings2020
20Ivrii, Alexander ; Strichman, Ofer Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020Proceedings2020