Haifa Verification Conference

Keyphrases

Publications

2017

Zhixing Xu, Aarti Gupta, Sharad Malik
Trace-based Analysis of Memory Corruption Malware Attacks. Haifa Verification Conference (2017)
Sergey Frenkel
Probabilistic Model of Control-Flow Altering Based Malicious Attacks - (Poster Submission). Haifa Verification Conference (2017)
Cuong K. Chau, Warren A. Hunt Jr., Marly Roncken, Ivan E. Sutherland
A Framework for Asynchronous Circuit Modeling and Verification in ACL2. Haifa Verification Conference (2017)
Bernhard Beckert, Sarah Grebing, Mattias Ulbrich
An Interaction Concept for Program Verification Systems with Explicit Proof Object. Haifa Verification Conference (2017)
Marijn J. H. Heule, Benjamin Kiesl, Martina Seidl, Armin Biere
PRuning Through Satisfaction. Haifa Verification Conference (2017)
Martin Sulzmann, Kai Stadtmüller
Trace-Based Run-Time Analysis of Message-Passing Go Programs. Haifa Verification Conference (2017)
Leonardo Alt, Antti E. J. Hyvärinen, Natasha Sharygina
LRA Interpolants from No Man's Land. Haifa Verification Conference (2017)
Luca Pulina, Armando Tacchella
More Adaptive Does not Imply Less Safe (with Formal Verification). Haifa Verification Conference (2017)
Manjeet Dahiya, Sorav Bansal
Modeling Undefined Behaviour Semantics for Checking Equivalence Across Compiler Optimizations. Haifa Verification Conference (2017)
Koen Claessen, Jonatan Kilhamn, Laura Kovács, Bengt Lennartson
A Supervisory Control Algorithm Based on Property-Directed Reachability. Haifa Verification Conference (2017)
Ariel Rosenfeld, Odaya Kardashov, Orel Zang
ACAT: A Novel Machine-Learning-Based Tool for Automating Android Application Testing. Haifa Verification Conference (2017)
Tom Tervoort, I. S. W. B. Prasetya
APSL: A Light Weight Testing Tool for Protocols with Complex Messages. Haifa Verification Conference (2017)
Johannes Kloos, Rupak Majumdar, Frank McCabe
Deferrability Analysis for JavaScript. Haifa Verification Conference (2017)
Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Andrei Tatarnikov
MicroTESK: Specification-Based Tool for Constructing Test Program Generators. Haifa Verification Conference (2017)
Dirk Beyer, Thomas Lemberger
Software Verification: Testing vs. Model Checking - A Comparative Evaluation of the State of the Art. Haifa Verification Conference (2017)
Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. Haifa Verification Conference (2017)
George B. Sherwood
Embedded Functions for Test Design Automation. Haifa Verification Conference (2017)
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
A Symbolic Approach to Safety ltl Synthesis. Haifa Verification Conference (2017)
Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky
RATCOP: Relational Analysis Tool for Concurrent Programs. Haifa Verification Conference (2017)
Tatsuya Abe
A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models. Haifa Verification Conference (2017)
Ryo Watanabe, Kozo Okano, Toshifusa Sekizawa
Towards Verification of Robot Design for Self-localization. Haifa Verification Conference (2017)
Bernhard Garn, Fabian Würfl, Dimitris E. Simos
KERIS: A CT Tool of the Linux Kernel with Dynamic Memory Analysis Capabilities. Haifa Verification Conference (2017)

volume 10629, 2017

Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings Haifa Verification Conference 10629 (2017)

2016

volume 10028, 2016

Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings Haifa Verification Conference 10028 (2016)

2015

volume 9434, 2015

Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings Haifa Verification Conference 9434 (2015)