Search results for "HAIFA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
104	Shmuel Ur	A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
99	Muli Ben-Yehuda	1st Annual Haifa Systems and Storage Conference (SYSTOR 2007): a message from the organizers.	ACM SIGOPS Oper. Syst. Rev.	2008	DBLP DOI BibTeX RDF
85	Alan J. Hu	Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
71	Rishiraj Bhattacharyya, Avradip Mandal, Mridul Nandi	Indifferentiability Characterization of Hash Functions and Optimal Bounds of Popular Domain Extensions.	INDOCRYPT	2009	DBLP DOI BibTeX RDF	Indifferentiability, Merkle-Damgård, HAIFA, Tree mode of operations with counter
66	Ofer Strichman, Rachel Tzoref-Brill (eds.)	Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
66	Ariel Rosenfeld, Odaya Kardashov, Orel Zang	ACAT: A Novel Machine-Learning-Based Tool for Automating Android Application Testing.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
66	Martin Sulzmann, Kai Stadtmüller	Trace-Based Run-Time Analysis of Message-Passing Go Programs.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
66	Koen Claessen, Jonatan Kilhamn, Laura Kovács, Bengt Lennartson	A Supervisory Control Algorithm Based on Property-Directed Reachability.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
66	Bernhard Beckert, Sarah Grebing, Mattias Ulbrich	An Interaction Concept for Program Verification Systems with Explicit Proof Object.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
66	Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky	RATCOP: Relational Analysis Tool for Concurrent Programs.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
66	Sergey Frenkel	Probabilistic Model of Control-Flow Altering Based Malicious Attacks - (Poster Submission).	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
66	Johannes Kloos, Rupak Majumdar, Frank McCabe	Deferrability Analysis for JavaScript.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
66	Ryo Watanabe, Kozo Okano, Toshifusa Sekizawa	Towards Verification of Robot Design for Self-localization.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
66	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	DBLP DOI BibTeX RDF
66	Dirk Beyer 0001, Thomas Lemberger 0002	Software Verification: Testing vs. Model Checking - A Comparative Evaluation of the State of the Art.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
66	Zhixing Xu, Aarti Gupta, Sharad Malik	Trace-based Analysis of Memory Corruption Malware Attacks.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
66	Marijn J. H. Heule, Benjamin Kiesl, Martina Seidl, Armin Biere	PRuning Through Satisfaction.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
66	Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Andrei Tatarnikov	MicroTESK: Specification-Based Tool for Constructing Test Program Generators.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
66	Tom Tervoort, I. S. W. B. Prasetya	APSL: A Light Weight Testing Tool for Protocols with Complex Messages.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
66	Leonardo Alt, Antti E. J. Hyvärinen, Natasha Sharygina	LRA Interpolants from No Man's Land.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
66	Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin 0001, Scott A. Smolka, Paolo Zuliani	SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
66	Tatsuya Abe 0001	A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
66	George B. Sherwood	Embedded Functions for Test Design Automation.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
66	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	DBLP DOI BibTeX RDF
66	Shufang Zhu 0001, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi	A Symbolic Approach to Safety ltl Synthesis.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
66	Luca Pulina, Armando Tacchella	More Adaptive Does not Imply Less Safe (with Formal Verification).	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
66	Manjeet Dahiya, Sorav Bansal	Modeling Undefined Behaviour Semantics for Checking Equivalence Across Compiler Optimizations.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
66	Roderick Bloem, Eli Arbel (eds.)	Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings	Haifa Verification Conference	2016	DBLP DOI BibTeX RDF
66	David Landsberg, Hana Chockler, Daniel Kroening	Probabilistic Fault Localisation.	Haifa Verification Conference	2016	DBLP DOI BibTeX RDF
66	Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu	Synthesis of Admissible Shields.	Haifa Verification Conference	2016	DBLP DOI BibTeX RDF
66	Nikolaj S. Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, George Varghese	ddNF: An Efficient Data Structure for Header Spaces.	Haifa Verification Conference	2016	DBLP DOI BibTeX RDF
66	Egor George Karpenkov, David Monniaux	Formula Slicing: Inductive Invariants from Preconditions.	Haifa Verification Conference	2016	DBLP DOI BibTeX RDF
66	Mathias Soeken, Pascal Raiola, Baruch Sterin, Bernd Becker 0001, Giovanni De Micheli, Matthias Sauer 0002	SAT-Based Combinational and Sequential Dependency Computation.	Haifa Verification Conference	2016	DBLP DOI BibTeX RDF
66	Vincent Bloemen, Jaco van de Pol	Multi-core SCC-Based LTL Model Checking.	Haifa Verification Conference	2016	DBLP DOI BibTeX RDF
66	Wei Jin 0001, Alessandro Orso	Improving Efficiency and Accuracy of Formula-Based Debugging.	Haifa Verification Conference	2016	DBLP DOI BibTeX RDF
66	Eli Arbel, Erez Barak, Bodo Hoppe, Shlomit Koyfman, Udo Krautz, Shiri Moran	Gating Aware Error Injection.	Haifa Verification Conference	2016	DBLP DOI BibTeX RDF
66	Fedor Shmarov, Paolo Zuliani	Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques.	Haifa Verification Conference	2016	DBLP DOI BibTeX RDF
66	Xiangyu Li 0001, Marcelo d'Amorim, Alessandro Orso	Iterative User-Driven Fault Localization.	Haifa Verification Conference	2016	DBLP DOI BibTeX RDF
66	Lukás Holík, Michal Kotoun, Petr Peringer, Veronika Soková, Marek Trtík, Tomás Vojnar	Predator Shape Analysis Tool Suite.	Haifa Verification Conference	2016	DBLP DOI BibTeX RDF
66	Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero	Improving Priority Promotion for Parity Games.	Haifa Verification Conference	2016	DBLP DOI BibTeX RDF
66	Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker 0001	Advancing Software Model Checking Beyond Linear Arithmetic Theories.	Haifa Verification Conference	2016	DBLP DOI BibTeX RDF
66	Nir Piterman (eds.)	Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
66	Ping Yeung, Eugene Mandel	Multi-Domain Verification of Power, Clock and Reset Domains.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
66	Andrew Becker, Djordje Maksimovic, David Novo, Mohsen Ewaida, Andreas G. Veneris, Barbara Jobstmann, Paolo Ienne	FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
66	Jin Hyun Kim, Axel Legay, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen	Resource-Parameterized Timing Analysis of Real-Time Systems.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
66	Jia Hui Liang, Vijay Ganesh, Ed Zulkoski, Atulan Zaman, Krzysztof Czarnecki 0001	Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
66	Heike Wehrheim, Oleg Travkin	TSO to SC via Symbolic Execution.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
66	Rajarshi Ray 0001, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu	XSpeed: Accelerating Reachability Analysis on Multi-core Processors.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
66	Balázs Kiss, Nikolai Kosmatov, Dillon Pariente, Armand Puccetti	Combining Static and Dynamic Analyses for Vulnerability Detection: Illustration on Heartbleed.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
66	Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder	Coverage-Driven Verification - An Approach to Verify Code for Robots that Directly Interact with Humans.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
66	Martin Leucker, Grigory Markin, Martin R. Neuhäußer	A New Refinement Strategy for CEGAR-Based Industrial Model Checking.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
66	Jianwen Li, Shufang Zhu 0001, Geguang Pu, Moshe Y. Vardi	SAT-Based Explicit LTL Reasoning.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
66	Jan Láník, Oded Maler	On Switching Aware Synthesis for Combinational Circuits.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
66	Christian Herrera, Bernd Westphal	Quasi-equal Clock Reduction: Eliminating Assumptions on Networks.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
66	Lenore D. Zuck, Sanjiva Prasad	Limited Mobility, Eventual Stability.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
66	Martin Nowack, Katja Tietze, Christof Fetzer	Parallel Symbolic Execution: Merging In-Flight Requests.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
66	Jakub Daniel, Pavel Parízek	PANDA: Simultaneous Predicate Abstraction and Concrete Execution.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
66	Sergiy Bogomolov, Christian Schilling 0001, Ezio Bartocci, Grégory Batt, Hui Kong 0004, Radu Grosu	Abstraction-Based Parameter Synthesis for Multiaffine Systems.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
66	Moab Arar, Michael L. Behm, Odellia Boni, Raviv Gal, Alex Goldin, Maxim Ilyaev, Einat Kermany, John R. Reysa, Bilal Saleh, Klaus-Dieter Schubert, Gil Shurek, Avi Ziv	The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
66	Eran Yahav (eds.)	Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
66	Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, Shmuel S. Tyszberowicz	Generating JML Specifications from Alloy Expressions.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
66	Georg Hofferek, Ashutosh Gupta	Suraq - A Controller Synthesis Tool Using Uninterpreted Functions.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
66	Roderick Bloem, Sharad Malik, Matthias Schlaipfer, Georg Weissenbacher	Reduction of Resolution Refutations and Interpolants via Subsumption.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
66	Angelo Gargantini, Paolo Vavassori	Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
66	Georges Morbé, Christian Miller, Christoph Scholl 0001, Bernd Becker 0001	Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
66	Alfons Laarman, Anton Wijs	Partial-Order Reduction for Multi-core LTL Model Checking.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
66	Oleg Travkin, Heike Wehrheim	Handling TSO in Mechanized Linearizability Proofs.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
66	Yoav Katz, Eitan Marcus, Avi Ziv	Enhancing Scenario Quality Using Quasi-Events.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
66	Juan Pablo Galeotti, Carlo A. Furia, Eva May, Gordon Fraser 0001, Andreas Zeller	DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
66	Gadi Aleksandrowicz, Alexander Ivrii, Oded Margalit, Dan Rasin	Generating Modulo-2 Linear Invariants for Hardware Model Checking.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
66	Mikhail Lukin, Maxim Buzdalov 0001, Anatoly Shalyto 0001	Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
66	John Derrick, Graeme Smith 0001, Lindsay Groves, Brijesh Dongol	Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
66	Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou 0001, Stavros Tripakis, Abhishek Udupa	Synthesizing Finite-State Protocols from Scenarios and Requirements.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
66	Eugene Goldberg, Panagiotis Manolios	Partial Quantifier Elimination.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
66	Duc-Hiep Chu, Joxan Jaffar	A Framework to Synergize Partial Order Reduction with State Interpolation.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
66	Oliver Schwarz, Mads Dam	Formal Verification of Secure User Mode Device Execution with DMA.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
66	Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina S. Pasareanu, Andreas Podelski, Thomas Strump	Assume-Guarantee Abstraction Refinement Meets Hybrid Systems.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
66	Mohammad Reza Shoaei, Laura Kovács, Bengt Lennartson	Supervisory Control of Discrete-Event Systems via IC3.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
66	Tianhai Liu, Mateus Araújo, Marcelo d'Amorim, Mana Taghdiri	A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
66	Jeroen Meijer, Gijs Kant, Stefan Blom, Jaco van de Pol	Read, Write and Copy Dependencies for Symbolic Model Checking.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
66	Robert Könighofer, Ronald Toegl, Roderick Bloem	Automatic Error Localization for Software Using Deductive Verification.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
66	Valeria Bertacco, Axel Legay (eds.)	Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
66	Armin Biere, Amir Nahir, Tanja E. J. Vos (eds.)	Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
66	Emmanuel Sifakis, Laurent Mounier	Predictive Taint Analysis for Extended Testing of Parallel Executions.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
66	Anand Yeolekar, Divyesh Unadkat	Assertion Checking Using Dynamic Inference.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
66	Shoham Ben-David, Hana Chockler, Orna Kupferman	Attention-Based Coverage Metrics.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
66	Sven Apel, Dirk Beyer 0001, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein	Domain Types: Abstract-Domain Selection Based on Variable Usage.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
66	Tao Su, John Lyle, Andrea S. Atzeni, Shamal Faily, Habib Virji, Christos Ntanos, Christos Botsikas	Continuous Integration for Web-Based Software Infrastructures: Lessons Learned on the webinos Project.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
66	Tim Lange 0001, Martin R. Neuhäußer, Thomas Noll 0001	Speeding Up the Safety Verification of Programmable Logic Controller Code.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
66	Wisam Kadry, Anatoly Koyfman, Dmitry Krestyashyn, Shimon Landa, Amir Nahir, Vitali Sokhin	Improving Post-silicon Validation Efficiency by Using Pre-generated Data.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
66	Gal Katz, Doron A. Peled	Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
66	Tuomas Kuismin, Keijo Heljanko	Increasing Confidence in Liveness Model Checking Results with Proofs.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
66	Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene	Online Testing of LTL Properties for Java Code.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
66	Michael Codish, Yoav Fekete, Amit Metodi	Backbones for Equality.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
66	Maciej J. Ciesielski, Walter Brown, André Rossi	Arithmetic Bit-Level Verification Using Network Flow Model.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
66	Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, Mitsuharu Yamamoto	Modbat: A Model-Based API Tester for Event-Driven Systems.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
66	Hana Chockler, Dmitry Pidan, Sitvanit Ruah	Improving Representative Computation in ExpliSAT.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
66	Andreas Abel 0004, Allon Adir, Torsten Blochwitz, Lev Greenberg, Tamer Salman	Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
66	Guodong Li, Indradeep Ghosh	Lazy Symbolic Execution through Abstraction and Sub-space Search.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
66	Oleg Travkin, Annika Mütze, Heike Wehrheim	SPIN as a Linearizability Checker under Weak Memory Models.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF