Search results for "verification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Yonit Kesten, Zohar Manna, Amir Pnueli	Verification of Clocked and Hybrid Systems.	Acta Informatica	2000	DBLP DOI BibTeX RDF
24	Lori A. Clarke	Finite state verification: An emerging technology for validating software systems (abstract only).	ISSTA	2000	DBLP DOI BibTeX RDF
24	Rajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Masahiro Fujita, Jacob A. Abraham, Donald S. Fussell	An efficient filter-based approach for combinational verification.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
24	Joachim Posegga, Harald Vogt	Byte Code Verification for Java Smart Card Based on Model Checking.	ESORICS	1998	DBLP DOI BibTeX RDF
24	Yatin Vasant Hoskote, Jacob A. Abraham, Donald S. Fussell, John Moondanos	Automatic verification of implementations of large circuits against HDL specifications.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
24	Robbie Vogt, Sridha Sridharan	Minimising Speaker Verification Utterance Length through Confidence Based Early Verification Decisions.	ICB	2009	DBLP DOI BibTeX RDF
24	Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin	Memory Usage Verification Using Hip/Sleek.	ATVA	2009	DBLP DOI BibTeX RDF
24	Manuel Fähndrich	Language-agnostic specification and verification: invited talk.	PLPV	2009	DBLP DOI BibTeX RDF	specifications, static analysis, abstract interpretation, contracts, net
24	Subir K. Roy	Top Level SOC Interconnectivity Verification Using Formal Techniques.	MTV	2007	DBLP DOI BibTeX RDF
24	Sanggyu Park, Soo-Ik Chae	A C/C++-Based Functional Verification Framework Using the SystemC Verification Library.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
24	Sudhindra Pandav, Konrad Slind, Ganesh Gopalakrishnan	Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification.	CHARME	2005	DBLP DOI BibTeX RDF
24	Hari Mony, Jason Baumgartner, Adnan Aziz	Exploiting Constraints in Transformation-Based Verification.	CHARME	2005	DBLP DOI BibTeX RDF
24	Jean-Pierre Jouannaud	Theorem Proving Languages for Verification.	ATVA	2004	DBLP DOI BibTeX RDF
24	Chun-Yao Wang, Shing-Wu Tung, Jing-Yang Jou	An automorphic approach to verification pattern generation for SoC design verification using port-order fault model.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
24	Iskander Kort, Sofiène Tahar, Paul Curzon	Hierarchical Verification Using an MDG-HOL Hybrid Tool.	CHARME	2001	DBLP DOI BibTeX RDF
24	Amir Pnueli, Elad Shahar	A Platform for Combining Deductive with Algorithmic Verification.	CAV	1996	DBLP DOI BibTeX RDF
24	Hans Eveking	Automatic Verification of Extensions of Hardware Descriptions.	CAV	1990	DBLP DOI BibTeX RDF
24	Elsa L. Gunter, Doron A. Peled	Unit Checking: Symbolic Model Checking for a Unit of Code.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
24	Edmund M. Clarke, Helmut Veith	Counterexamples Revisited: Principles, Algorithms, Applications.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
24	Luca de Alfaro	Game Models for Open Systems.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
24	Orna Kupferman, Nir Piterman, Moshe Y. Vardi	Fair Equivalence Relations.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
24	Aarti Gupta, Malay K. Ganai, Chao Wang 0001	SAT-Based Verification Methods and Applications in Hardware Verification.	SFM	2006	DBLP DOI BibTeX RDF
24	Werner Damm, Bengt Jonsson 0001	Eliminating Queues from RT UML Model Representations.	FTRTFT	2002	DBLP DOI BibTeX RDF	RT UML, verification of infinite state systems, protocol verification, Real-time distributed systems
24	Pasquale Noce	Formal Verification of Cryptographic Protocols with Isabelle/HOL.	Handb. Formal Anal. Verification Cryptogr.	2023	DBLP DOI BibTeX RDF
24	Denis Teyssou	Applying Design Thinking Methodology: The InVID Verification Plugin.	Video Verification in the Fake News Era	2019	DBLP DOI BibTeX RDF
24	Olga Papadopoulou, Markos Zampoglou, Symeon Papadopoulos, Ioannis Kompatsiaris	Verification of Web Videos Through Analysis of Their Online Context.	Video Verification in the Fake News Era	2019	DBLP DOI BibTeX RDF
24	Denis Teyssou, Jochen Spangenberg	Video Verification: Motivation and Requirements.	Video Verification in the Fake News Era	2019	DBLP DOI BibTeX RDF
24	Rolf Fricke, Jan Thomsen	Video Verification in the Newsroom.	Video Verification in the Fake News Era	2019	DBLP DOI BibTeX RDF
24	Christian Colombo 0001, Gordon J. Pace	Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges.	Lectures on Runtime Verification	2018	DBLP DOI BibTeX RDF
24	Adrian Francalanza, Jorge A. Pérez 0001, César Sánchez 0001	Runtime Verification for Decentralised and Distributed Systems.	Lectures on Runtime Verification	2018	DBLP DOI BibTeX RDF
24	Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger	Introduction to Runtime Verification.	Lectures on Runtime Verification	2018	DBLP DOI BibTeX RDF
24	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
24	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
24	Martin Sulzmann, Kai Stadtmüller	Trace-Based Run-Time Analysis of Message-Passing Go Programs.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
24	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
24	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
24	Sergey Frenkel	Probabilistic Model of Control-Flow Altering Based Malicious Attacks - (Poster Submission).	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
24	Johannes Kloos, Rupak Majumdar, Frank McCabe	Deferrability Analysis for JavaScript.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
24	Zhixing Xu, Aarti Gupta, Sharad Malik	Trace-based Analysis of Memory Corruption Malware Attacks.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
24	Marijn J. H. Heule, Benjamin Kiesl, Martina Seidl, Armin Biere	PRuning Through Satisfaction.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
24	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
24	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
24	Leonardo Alt, Antti E. J. Hyvärinen, Natasha Sharygina	LRA Interpolants from No Man's Land.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
24	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
24	Tatsuya Abe 0001	A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
24	George B. Sherwood	Embedded Functions for Test Design Automation.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
24	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
24	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
24	Manjeet Dahiya, Sorav Bansal	Modeling Undefined Behaviour Semantics for Checking Equivalence Across Compiler Optimizations.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
24	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
24	Daniel Grahl, Christoph Scheben	Functional Verification and Information Flow Analysis of an Electronic Voting System.	Deductive Software Verification	2016	DBLP DOI BibTeX RDF
24	Daniel Grahl, Richard Bubel, Wojciech Mostowski, Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß 0001	Modular Specification and Verification.	Deductive Software Verification	2016	DBLP DOI BibTeX RDF
24	Reiner Hähnle	Quo Vadis Formal Verification?	Deductive Software Verification	2016	DBLP DOI BibTeX RDF
24	Stijn de Gouw, Frank S. de Boer, Jurriaan Rot	Verification of Counting Sort and Radix Sort.	Deductive Software Verification	2016	DBLP DOI BibTeX RDF
24	Bernhard Beckert, Reiner Hähnle, Martin Hentschel 0002, Peter H. Schmitt	Formal Verification with KeY: A Tutorial.	Deductive Software Verification	2016	DBLP DOI BibTeX RDF
24	David Landsberg, Hana Chockler, Daniel Kroening	Probabilistic Fault Localisation.	Haifa Verification Conference	2016	DBLP DOI BibTeX RDF
24	Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu	Synthesis of Admissible Shields.	Haifa Verification Conference	2016	DBLP DOI BibTeX RDF
24	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
24	Egor George Karpenkov, David Monniaux	Formula Slicing: Inductive Invariants from Preconditions.	Haifa Verification Conference	2016	DBLP DOI BibTeX RDF
24	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
24	Vincent Bloemen, Jaco van de Pol	Multi-core SCC-Based LTL Model Checking.	Haifa Verification Conference	2016	DBLP DOI BibTeX RDF
24	Wei Jin 0001, Alessandro Orso	Improving Efficiency and Accuracy of Formula-Based Debugging.	Haifa Verification Conference	2016	DBLP DOI BibTeX RDF
24	Eli Arbel, Erez Barak, Bodo Hoppe, Shlomit Koyfman, Udo Krautz, Shiri Moran	Gating Aware Error Injection.	Haifa Verification Conference	2016	DBLP DOI BibTeX RDF
24	Xiangyu Li 0001, Marcelo d'Amorim, Alessandro Orso	Iterative User-Driven Fault Localization.	Haifa Verification Conference	2016	DBLP DOI BibTeX RDF
24	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
24	Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero	Improving Priority Promotion for Parity Games.	Haifa Verification Conference	2016	DBLP DOI BibTeX RDF
24	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
24	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
24	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
24	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
24	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
24	Heike Wehrheim, Oleg Travkin	TSO to SC via Symbolic Execution.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
24	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
24	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
24	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
24	Jianwen Li, Shufang Zhu 0001, Geguang Pu, Moshe Y. Vardi	SAT-Based Explicit LTL Reasoning.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
24	Jan Láník, Oded Maler	On Switching Aware Synthesis for Combinational Circuits.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
24	Christian Herrera, Bernd Westphal	Quasi-equal Clock Reduction: Eliminating Assumptions on Networks.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
24	Lenore D. Zuck, Sanjiva Prasad	Limited Mobility, Eventual Stability.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
24	Martin Nowack, Katja Tietze, Christof Fetzer	Parallel Symbolic Execution: Merging In-Flight Requests.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
24	Jakub Daniel, Pavel Parízek	PANDA: Simultaneous Predicate Abstraction and Concrete Execution.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
24	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
24	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
24	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
24	Georg Hofferek, Ashutosh Gupta	Suraq - A Controller Synthesis Tool Using Uninterpreted Functions.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
24	Roderick Bloem, Sharad Malik, Matthias Schlaipfer, Georg Weissenbacher	Reduction of Resolution Refutations and Interpolants via Subsumption.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
24	Angelo Gargantini, Paolo Vavassori	Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
24	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
24	Alfons Laarman, Anton Wijs	Partial-Order Reduction for Multi-core LTL Model Checking.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
24	Oleg Travkin, Heike Wehrheim	Handling TSO in Mechanized Linearizability Proofs.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
24	Yoav Katz, Eitan Marcus, Avi Ziv	Enhancing Scenario Quality Using Quasi-Events.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
24	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
24	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
24	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
24	Eugene Goldberg, Panagiotis Manolios	Partial Quantifier Elimination.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
24	Duc-Hiep Chu, Joxan Jaffar	A Framework to Synergize Partial Order Reduction with State Interpolation.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
24	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
24	Mohammad Reza Shoaei, Laura Kovács, Bengt Lennartson	Supervisory Control of Discrete-Event Systems via IC3.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
24	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
24	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