Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Frits W. Vaandrager |
Active Automata Learning: from L* to L#. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 1, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ning Dong, Roberto Guanciale, Mads Dam |
Refinement-Based Verification of Device-to-Device Information Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 123-132, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nestan Tsiskaridze, Maxwell Strange, Makai Mann, Kavya Sreedhar, Qiaoyi Liu, Mark Horowitz, Clark W. Barrett |
Automating System Configuration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 102-111, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Dureja, Arie Gurfinkel, Alexander Ivrii, Yakir Vizel |
IC3 with Internal Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 63-71, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Neta Bar Kama, Roope Kaivola |
Hardware Security Leak Detection by Symbolic Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 34-41, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Kuncak, Jad Hamza |
Stainless Verification System Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 2-7, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Aman Goel, Karem A. Sakallah |
Towards an Automatic Proof of Lamport's Paxos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 112-122, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Guy Amir, Michael Schapira, Guy Katz |
Towards Scalable Verification of Deep Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 193-203, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | |
Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![IEEE, 978-3-85448-046-4 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Márton Hajdú, Petra Hozzová, Laura Kovács, Andrei Voronkov |
Induction with Recursive Definitions in Superposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 1-10, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ori Lahav 0002, Guy Katz |
Pruning and Slicing Neural Networks using Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 1-10, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ankit Kumar, Panagiotis Manolios |
Mathematical Programming Modulo Strings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 261-270, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Peter Sewell |
Engineering with Full-scale Formal Architecture: Morello, CHERI, Armv8-A, and RISC-V. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 12, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dapeng Gao, Tom Melham |
End-to-End Formal Verification of a RISC-V Processor Extended with Capability Pointers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 24-33, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Kragl, Shaz Qadeer |
The Civl Verifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 143-152, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hari Govind V. K., Sharon Shoham, Arie Gurfinkel |
Logical Characterization of Coherent Uninterpreted Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 77-85, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal |
Celestial: A Smart Contracts Verification Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 133-142, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Saranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni, Deepraj Soni, Peng Wei 0004, Xiaofan Zhang 0001, Yuan Zhou, Luca P. Carloni, Deming Chen, Jason Cong, Ramesh Karri, Zhiru Zhang, Caroline Trippel, Clark W. Barrett, Subhasish Mitra |
Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 42-52, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Petar Vukmirovic, Jasmin Blanchette, Marijn J. H. Heule |
SAT-Inspired Eliminations for Superposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 231-240, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mark Santolucito |
The FMCAD 2021 Student Forum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 1, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Ivrii, Ofer Strichman |
Exploiting Isomorphic Subgraphs in SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 204-211, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jaroslav Bendík |
On Decomposition of Maximal Satisfiable Subsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 212-221, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina |
Lookahead in Partitioning SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 271-279, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael Rawson 0001, Giles Reger |
A Multithreaded Vampire with Shared Persistent Grounding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 280-284, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Vedad Hadzic, Roderick Bloem |
COCOALMA: A Versatile Masking Verifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 1-10, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Shuvendu K. Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar 0002, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal |
Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 169-178, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Liew, Paul Beame, Jo Devriendt, Jan Elffers, Jakob Nordström |
Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 194-204, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Byron Cook, Björn Döbel, Daniel Kroening, Norbert Manthey, Martin Pohlack, Elizabeth Polgreen, Michael Tautschnig, Pawel Wieczorkiewicz |
Using model checking tools to triage the severity of security bugs in the Xen hypervisor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 185-193, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Haoze Wu 0001, Alex Ozdemir, Aleksandar Zeljic, Kyle Julian, Ahmed Irfan, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett |
Parallelization Techniques for Verifying Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 128-137, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Florian Lonsing, Subhasish Mitra, Clark W. Barrett |
A Theoretical Framework for Symbolic Quick Error Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 1-10, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Pani, Georg Weissenbacher, Florian Zuleger |
Thread-modular Counter Abstraction for Parameterized Program Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 67-76, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vasileios Klimis, George Parisis, Bernhard Reus |
Model Checking Software-Defined Networks with Flow Entries that Time Out. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 179-184, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Fedotov, Jeroen J. A. Keiren, Julien Schmaltz |
Effective System Level Liveness Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 7-15, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Franz Brauße, Zurab Khasidashvili, Konstantin Korovin |
Selecting Stable Safe Configurations for Systems Modelled by Neural Networks with ReLU Activation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 119-127, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schrammel |
How testable is business software? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 1, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina |
Formal Methods with a Touch of Magic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 138-147, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Armin Biere |
Tutorial on World-Level Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 1, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Dureja, Jason Baumgartner, Robert Kanzelman, Mark Williams, Kristin Y. Rozier |
Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 16-25, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yutaka Nagashima |
Smart Induction for Isabelle/HOL (Tool Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 245-254, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Nadel |
On Optimizing a Generic Function in SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 205-213, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Ehlers, Ivan Gavran, Daniel Neider |
Learning Properties in LTL ∩ ACTL from Positive Examples Only. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 104-112, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia 0001, Corina S. Pasareanu |
Automating Compositional Analysis of Authentication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 113-118, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pamina Georgiou, Bernhard Gleiss, Laura Kovács |
Trace Logic for Inductive Loop Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 255-263, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schrammel |
The FMCAD 2020 Student Forum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 1, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Daniela Kaufmann, Mathias Fleury, Armin Biere |
The Proof Checkers Pacheck and Pastèque for the Practical Algebraic Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 264-269, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lauren Pick, Grigory Fedyukovich, Aarti Gupta |
Automating Modular Verification of Secure Information Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 158-168, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | |
2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![IEEE, 978-3-85448-042-6 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Hillel Kugler |
Formal Verification for Natural and Engineered Biological Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 1, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Reynolds 0001, Andres Nötzli, Clark W. Barrett, Cesare Tinelli |
Reductions for Strings and Regular Expressions Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 225-235, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Denis Bueno, Arlen Cox, Karem A. Sakallah |
EUFicient Reachability in Software with Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 57-66, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Simon Jantsch, Hans Harder, Florian Funke 0002, Christel Baier |
Switss: Computing Small Witnessing Subsystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 236-244, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | M. Fareed Arif, Daniel Larraz, Mitziu Echeverria, Andrew Reynolds 0001, Omar Chowdhury, Cesare Tinelli |
SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 93-103, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Nadel |
Anytime Algorithms for MaxSAT and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 1, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Xuankang Lin, He Zhu 0001, Roopsha Samanta, Suresh Jagannathan |
Art: Abstraction Refinement-Guided Training for Provably Correct Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 148-157, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Orna Kupferman |
From Correctness to High Quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 1, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina |
Incremental Verification by SMT-based Summary Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 77-82, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Aina Niemetz, Mathias Preiner |
Ternary Propagation-Based Local Search for more Bit-Precise Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 214-224, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Prantik Chatterjee, Subhajit Roy 0001, Bui Phi Diep, Akash Lal |
Distributed Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 47-56, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tommy Tracy II, Lucas M. Tabajara, Moshe Y. Vardi, Kevin Skadron |
Runtime Verification on FPGAs with LTLf Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 36-46, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta |
Reactive Synthesis from Extended Bounded Response LTL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp. 83-92, 2020, IEEE, 978-3-85448-042-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Kullmann, Ankit Shukla |
Autarkies for DQCNF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 179-183, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | S. Akshay 0001, Jatin Arora 0002, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah |
Knowledge Compilation for Boolean Functional Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 161-169, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Roderick Bloem, Hana Chockler, Masoud Ebrahimi 0002, Ofer Strichman |
Synthesizing Reactive Systems Using Robustness and Recovery Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 147-151, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Clark W. Barrett, Jin Yang (eds.) |
2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![IEEE, 978-0-9835678-9-9 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni |
KAIROS: Incremental Verification in High-Level Synthesis through Latency-Insensitive Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 105-109, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sujit Kumar Muduli, Pramod Subramanyan, Sayak Ray |
Verification of Authenticated Firmware Loaders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 110-119, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Polikarpova |
SuSLik: Synthesis of Safe Pointer-Manipulating Programs (Invited Tutorial). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 1, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman, Kristin Y. Rozier |
Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 1-9, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Dixon |
An Increasing Need for Formality (Keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 1, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Ogles, Peter Aldous, Eric Mercer |
Proving Data Race Freedom in Task Parallel Programs Using a Weaker Partial Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 55-63, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Meng Wu, Jingbo Wang 0006, Jyotirmoy Deshmukh, Chao Wang 0001 |
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 129-137, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei |
Verifying Relational Properties using Trace Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 170-178, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Dutra, Jonathan Bachrach, Koushik Sen |
GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 203-211, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Daniela Kaufmann, Armin Biere, Manuel Kauers |
Verifying Large Multipliers by Combining SAT and Computer Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 28-36, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Freark I. van der Berg, Jaco van de Pol |
Concurrent Chaining Hash Maps for Software Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 46-54, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dorsa Sadigh |
Safe and Interactive Autonomy: A Journey Starting from Formal Methods (Keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 1, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Nadel |
Anytime Weighted MaxSAT with Improved Polarity Selection and Bit-Vector Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 193-202, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ryan Berryhill, Andreas G. Veneris |
Chasing Minimal Inductive Validity Cores in Hardware Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 19-27, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry Mordvinov, Grigory Fedyukovich |
Property Directed Inference of Relational Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 152-160, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gideon Geier, Philippe Heim, Felix Klein 0001, Bernd Finkbeiner |
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 138-146, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Haniel Barbosa, Andrew Reynolds 0001, Daniel Larraz, Cesare Tinelli |
Extending enumerative function synthesis via SMT-driven classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 212-220, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Amer Tahat, Sarang Joshi, Pronnoy Goswami, Binoy Ravindran |
Scalable Translation Validation of Unverified Legacy OS Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 87-95, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Raj Kumar Gajavelly, Jason Baumgartner, Alexander Ivrii, Robert L. Kanzelman, Shiladitya Ghosh |
Input Elimination Transformations for Scalable Verification and Trace Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 10-18, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Neider, Oliver Markgraf |
Learning-Based Synthesis of Safety Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 120-128, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Aile Ge-Ernst, Christoph Scholl 0001, Ralf Wimmer 0001 |
Localizing Quantifiers for DQBF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 184-192, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nina Narodytska, Leonid Ryzhyk, Igor Ganichev, Soner Sevinc |
BDD-Based Algorithms for Packet Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 64-68, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Avi Ziv |
Challenges and Solutions in Post-Silicon Validation of High-end Processors (Invited Tutorial). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 1, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Florian Frohn, Jürgen Giesl |
Proving Non-Termination via Loop Acceleration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 221-230, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Faria Kalim, Karl Palmskog, Jayasi Mehar, Adithya Murali, Indranil Gupta, P. Madhusudan |
Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 96-104, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mark R. Greenstreet |
Integrating SMT with Theorem Proving for Verification of Analog and Mixed-Signal Circuits (Invited Tutorial). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 1, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ali Ebnenasir |
Verification and Synthesis of Symmetric Uni-Rings for Leads-To Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 78-86, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Grigory Fedyukovich |
The FMCAD 2019 Student Forum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 1, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Aellison Cassimiro T. dos Santos, Ben Schneider, Vivek Nigam |
TSNSCHED: Automated Schedule Generation for Time Sensitive Networking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 69-77, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jakub Kuderski, Jorge A. Navas, Arie Gurfinkel |
Unification-based Pointer Analysis without Oversharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 37-45, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen 0001, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer |
Trau: SMT solver for string constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-5, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Mattarei, Makai Mann, Clark W. Barrett, Ross G. Daly, Dillon Huff, Pat Hanrahan |
CoSA: Integrated Verification for Agile Hardware Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-5, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Eugene Goldberg |
Complete Test Sets And Their Approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-9, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sourav Anand, Nadia Polikarpova |
Automatic Synchronization for GPU Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-9, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bjørnar Luteberget, Koen Claessen, Christian Johansen |
Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-9, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nina Narodytska |
Formal Verification of Deep Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|