Search results for "verification"

Hits ?▲	Authors	Title	Venue	Year	Link
24	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
24	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
24	Emmanuel Sifakis, Laurent Mounier	Predictive Taint Analysis for Extended Testing of Parallel Executions.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
24	Anand Yeolekar, Divyesh Unadkat	Assertion Checking Using Dynamic Inference.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
24	Shoham Ben-David, Hana Chockler, Orna Kupferman	Attention-Based Coverage Metrics.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
24	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
24	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
24	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
24	Gal Katz, Doron A. Peled	Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
24	Tuomas Kuismin, Keijo Heljanko	Increasing Confidence in Liveness Model Checking Results with Proofs.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
24	Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene	Online Testing of LTL Properties for Java Code.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
24	Michael Codish, Yoav Fekete, Amit Metodi	Backbones for Equality.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
24	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
24	Hana Chockler, Dmitry Pidan, Sitvanit Ruah	Improving Representative Computation in ExpliSAT.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
24	Guodong Li, Indradeep Ghosh	Lazy Symbolic Execution through Abstraction and Sub-space Search.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
24	Oleg Travkin, Annika Mütze, Heike Wehrheim	SPIN as a Linearizability Checker under Weak Memory Models.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
24	Sabrina von Styp, Liyong Yu	Symbolic Model-Based Testing for Industrial Automation Software.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
24	Marco Bozzano, Alessandro Cimatti, Cristian Mattarei	Efficient Analysis of Reliability Architectures via Predicate Abstraction.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
24	Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron A. Peled, Jean Quilbeuf	Performance Evaluation of Process Partitioning Using Probabilistic Model Checking.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
24	Jörg Pfähler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif	Formal Specification of an Erase Block Management Layer for Flash Memory.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
24	Tali Rabetti, Ronny Morad, Alex Goryachev, Wisam Kadry, Richard D. Peterson	SLAM: SLice And Merge - Effective Test Generation for Large Systems.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
24	Sunha Ahn, Sharad Malik	Modeling Firmware as Service Functions and Its Application to Test Generation.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
24	Guodong Li, Indradeep Ghosh	PASS: String Solving with Parameterized Array and Interval Automaton.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
24	Kerstin Eder, João Lourenço, Onn Shehory (eds.)	Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers	Haifa Verification Conference	2012	DBLP DOI BibTeX RDF
24	Hana Chockler, Alexander Ivrii, Arie Matsliah	Computing Interpolants without Proofs.	Haifa Verification Conference	2012	DBLP DOI BibTeX RDF
24	Young Joo Kim, Moonzoo Kim, Tai-Hyo Kim	Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation.	Haifa Verification Conference	2012	DBLP DOI BibTeX RDF
24	Dima Elenbogen, Shmuel Katz, Ofer Strichman	Proving Mutual Termination of Programs.	Haifa Verification Conference	2012	DBLP DOI BibTeX RDF
24	Magdalena Widl	Test Case Generation by Grammar-Based Fuzzing for Model-Driven Engineering.	Haifa Verification Conference	2012	DBLP DOI BibTeX RDF
24	Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne	Defining and Model Checking Abstractions of Complex Railway Models Using CSP\|\|B.	Haifa Verification Conference	2012	DBLP DOI BibTeX RDF
24	Kristin Yvonne Rozier, Moshe Y. Vardi	Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking.	Haifa Verification Conference	2012	DBLP DOI BibTeX RDF
24	John Paul, Elena Guralnik, Anatoly Koyfman, Amir Nahir, Subrat Panda	Leveraging Accelerated Simulation for Floating-Point Regression.	Haifa Verification Conference	2012	DBLP DOI BibTeX RDF
24	Charlie Shucheng Zhu, Georg Weissenbacher, Sharad Malik	Coverage-Based Trace Signal Selection for Fault Localisation in Post-silicon Validation.	Haifa Verification Conference	2012	DBLP DOI BibTeX RDF
24	António Morgado 0001, Mark H. Liffiton, João Marques-Silva 0001	MaxSAT-Based MCS Enumeration.	Haifa Verification Conference	2012	DBLP DOI BibTeX RDF
24	Saddek Bensalem, Marius Bozga, Doron A. Peled, Jean Quilbeuf	Knowledge Based Transactional Behavior.	Haifa Verification Conference	2012	DBLP DOI BibTeX RDF
24	Roderick Bloem, Rolf Drechsler, Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Jaan Raik, Urmas Repinski, André Sülflow	FoREnSiC- An Automatic Debugging Environment for C Programs.	Haifa Verification Conference	2012	DBLP DOI BibTeX RDF
24	Robert Könighofer, Roderick Bloem	Repair with On-The-Fly Program Analysis.	Haifa Verification Conference	2012	DBLP DOI BibTeX RDF
24	Guillermo Rodríguez-Navas, Patrick J. Graydon, Iain Bate	From Fault Injection to Mutant Injection: The Next Step for Safety Analysis?	Haifa Verification Conference	2012	DBLP DOI BibTeX RDF
24	Edward A. Lee	Verifying Real-Time Software Is Not Reasonable (Today) - Abstract of Invited Talk.	Haifa Verification Conference	2012	DBLP DOI BibTeX RDF
24	Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard	Word Equations with Length Constraints: What's Decidable?	Haifa Verification Conference	2012	DBLP DOI BibTeX RDF
24	Norbert Manthey, Marijn Heule, Armin Biere	Automated Reencoding of Boolean Formulas.	Haifa Verification Conference	2012	DBLP DOI BibTeX RDF
24	David Harel	On Behavioral Programming.	Haifa Verification Conference	2012	DBLP DOI BibTeX RDF
24	Ricardo J. Dias, Vasco Pessanha, João Lourenço	Precise Detection of Atomicity Violations.	Haifa Verification Conference	2012	DBLP DOI BibTeX RDF
24	Jamil Mazzawi, Ziyad Hanna	Formal Analysis of Security Data Paths in RTL Design.	Haifa Verification Conference	2012	DBLP DOI BibTeX RDF
24	Ryan Kastner	Circuit Primitives for Monitoring Information Flow and Enabling Redundancy.	Haifa Verification Conference	2012	DBLP DOI BibTeX RDF
24	Orna Raz	Reducing Costs While Increasing Quality.	Haifa Verification Conference	2012	DBLP DOI BibTeX RDF
24	Marcela Simková, Ondrej Lengál	Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures.	Haifa Verification Conference	2012	DBLP DOI BibTeX RDF
24	Orna Kupferman, Sigal Weiner	Environment-Friendly Safety.	Haifa Verification Conference	2012	DBLP DOI BibTeX RDF
24	Kedar S. Namjoshi, Andreas Zeller, Avi Ziv (eds.)	Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
24	Sharon Barner, Ian G. Harris, Daniel Kroening, Orna Raz (eds.)	Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
24	John Harrison 0001	Formal Verification.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
24	Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane	Model-Based Verification and Analysis for Real-Time Systems.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
24	Michael Huth 0001, Jim Huan-Pu Kuo, Nir Piterman	Concurrent Small Progress Measures.	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
24	B. A. Krishna, Jonathan Michelson, Vigyan Singhal, Alok Jain	Liveness vs Safety - A Practical Viewpoint.	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
24	Arnab Sinha, Sharad Malik, Chao Wang 0001, Aarti Gupta	Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search.	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
24	Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina	Interpolation-Based Function Summaries in Bounded Model Checking.	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
24	Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly	Symbolic Testing of OpenCL Code.	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
24	Orna Kupferman, Dorsa Sadigh, Sanjit A. Seshia	Synthesis with Clairvoyance.	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
24	Kenneth Johnson, Simon Reed, Radu Calinescu	Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns.	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
24	Allon Adir, Ronen Levy, Tamer Salman	Dynamic Test Data Generation for Data Intensive Applications.	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
24	Ron Zeira, Dmitry Korchemny, Ron Shamir	Using Computational Biology Methods to Improve Post-silicon Microprocessor Testing.	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
24	Matthias Schlaipfer, Georg Hofferek, Roderick Bloem	Generalized Reactivity(1) Synthesis without a Monolithic Strategy.	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
24	Lei Bu, Yang Yang, Xuandong Li	IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata.	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
24	Merav Aharoni, Emanuel Gofman, Elena Guralnik, Anatoly Koyfman	Injecting Floating-Point Testing Knowledge into Test Generators.	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
24	Zurab Khasidashvili, Alexander Nadel	Implicative Simultaneous Satisfiability and Applications.	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
24	Ben Liblit	Automated Detection and Repair of Concurrency Bugs.	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
24	Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song	Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE.	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
24	Marijn Heule, Oliver Kullmann, Siert Wieringa, Armin Biere	Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads.	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
24	Ariel J. Birnbaum, Laurent Fournier, Steven Mittermaier, Avi Ziv	Reverse Coverage Analysis.	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
24	Armin Biere	Preprocessing and Inprocessing Techniques in SAT.	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
24	Thomas J. Ostrand, Elaine J. Weyuker	Can File Level Characteristics Help Identify System Level Fault-Proneness?	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
24	Michael Huth 0001, Jim Huan-Pu Kuo, Nir Piterman	The Rabin Index of Parity Games - (Extended Abstract).	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
24	Qichang Chen, Liqiang Wang, Zijiang Yang 0006	SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs.	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
24	Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina	Function Summaries in Software Upgrade Checking.	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
24	Shlomi Dolev, Jonathan Goldfeld, Rami Puzis	On-Line Detection and Prediction of Temporal Patterns.	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
24	Anthony C. J. Fox, Michael J. C. Gordon, Magnus O. Myreen	Specification and Verification of ARM Hardware and Software.	Design and Verification of Microprocessor Systems for High-Assurance Applications	2010	DBLP DOI BibTeX RDF
24	Warren A. Hunt Jr., Sol Swords, Jared Davis, Anna Slobodová	Use of Formal Verification at Centaur Technology.	Design and Verification of Microprocessor Systems for High-Assurance Applications	2010	DBLP DOI BibTeX RDF
24	Matthew Wilding, David A. Greve, Raymond J. Richards, David S. Hardin	Formal Verification of Partition Management for the AAMP7G Microprocessor.	Design and Verification of Microprocessor Systems for High-Assurance Applications	2010	DBLP DOI BibTeX RDF
24	Gerwin Klein, Thomas Sewell, Simon Winwood	Refinement in the Formal Verification of the seL4 Microkernel.	Design and Verification of Microprocessor Systems for High-Assurance Applications	2010	DBLP DOI BibTeX RDF
24	Matt Kaufmann, J Strother Moore	ACL2 and Its Applications to Digital System Verification.	Design and Verification of Microprocessor Systems for High-Assurance Applications	2010	DBLP DOI BibTeX RDF
24	Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams	10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.	Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems	2010	DBLP BibTeX RDF
24	Paul-André Melliès, Andrzej S. Murawski, Andrea Schalk, Igor Walukiewicz	10252 Executive Summary - Game Semantics and Program Verification.	Game Semantics and Program Verification	2010	DBLP BibTeX RDF
24	Bernd Becker 0001, Luca Cardelli, Holger Hermanns, Sofiène Tahar	10271 Abstracts Collection - Verification over discrete-continuous boundaries.	Verification over discrete-continuous boundaries	2010	DBLP BibTeX RDF
24	Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams	10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.	Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems	2010	DBLP BibTeX RDF
24	Florian Schupfer, Christoph Grimm 0001	Towards more Dependable Verification of Mixed-Signal Systems.	Verification over discrete-continuous boundaries	2010	DBLP BibTeX RDF
24	Paul-André Melliès, Andrzej S. Murawski, Andrea Schalk, Igor Walukiewicz	10252 Abstracts Collection - Game Semantics and Program Verification.	Game Semantics and Program Verification	2010	DBLP BibTeX RDF
24	João Lourenço	Understanding Transactional Memory (Extended Abstract).	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
24	Simone Rollini, Roberto Bruttomesso, Natasha Sharygina	An Efficient and Flexible Approach to Resolution Proof Reduction.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
24	Clark W. Barrett, Leonardo Mendonça de Moura, Silvio Ranise, Aaron Stump, Cesare Tinelli	The SMT-LIB Initiative and the Rise of SMT - (HVC 2010 Award Talk).	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
24	Shmuel Ur	Testing Concurrent Software.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
24	Eugene Goldberg, Panagiotis Manolios	SAT-Solving Based on Boundary Point Elimination.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
24	Uri Klein, Amir Pnueli	Revisiting Synthesis of GR(1) Specifications.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
24	Allon Adir, Amir Nahir, Avi Ziv, Charles Meissner, John Schumann	Reaching Coverage Closure in Post-silicon Validation.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
24	Robert Könighofer, Georg Hofferek, Roderick Bloem	Debugging Unrealizable Specifications with Model-Based Diagnosis.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
24	Yoav Hollander, Alan J. Hu, João Lourenço, Ronny Morad	Special Session on Debugging.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
24	Joseph Gil	Reflections on Spartan Programming and the No-Debugger Principle.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
24	Ariel Cohen 0002, Kedar S. Namjoshi, Yaniv Sa'ar, Lenore D. Zuck, Katya I. Kisyova	Parallelizing a Symbolic Compositional Model-Checking Algorithm.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
24	Charalambos Ioannides, Geoff Barrett, Kerstin Eder	Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
24	John M. Ludden, Michal Rimon, Bryan G. Hickerson, Allon Adir	Advances in Simultaneous Multithreading Testcase Generation Methods.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
24	Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith	An Introduction to Test Specification in FQL.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
24	Hana Chockler, Arie Gurfinkel, Ofer Strichman	Variants of LTL Query Checking.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF