Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Christine Hang, Panagiotis Manolios, Vasilis Papavasileiou |
Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ganesh Gopalakrishnan, Shaz Qadeer (eds.) |
Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst |
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Krystof Hoder, Nikolaj S. Bjørner, Leonardo Mendonça de Moura |
μZ- An Efficient Engine for Fixed Points with Constraints. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Peter, Rüdiger Ehlers, Robert Mattmüller |
Synthia: Verification and Synthesis for Timed Automata. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin |
A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandr Andreychenko, Linar Mikeev, David Spieler, Verena Wolf |
Parameter Identification for Markov Models of Biochemical Reactions. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Georges Morbé, Florian Pigorsch, Christoph Scholl 0001 |
Fully Symbolic Model Checking for Timed Automata. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Sergio Mover, Stefano Tonetta |
Efficient Scenario Verification for Hybrid Automata. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alastair F. Donaldson, Alexander Kaiser 0001, Daniel Kroening, Thomas Wahl |
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sriram Sankaranarayanan 0001, Ashish Tiwari 0001 |
Relational Abstractions for Continuous and Hybrid Systems. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tihomir Gvero, Viktor Kuncak, Ruzica Piskac |
Interactive Synthesis of Code Snippets. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Peter Buchholz 0001, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang 0001 |
Model Checking Algorithms for CTMDPs. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gal Katz, Doron A. Peled, Sven Schewe |
Synthesis of Distributed Control through Knowledge Accumulation. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | David A. Ramos, Dawson R. Engler |
Practical, Low-Effort Equivalence Verification of Real Code. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Bardin, Philippe Herrmann, Jérôme Leroux, Olivier Ly, Renaud Tabary, Aymeric Vincent |
The BINCOA Framework for Binary Code Analysis. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael Stepp, Ross Tate, Sorin Lerner |
Equality-Based Translation Validator for LLVM. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Radu Grosu, Grégory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci |
From Cardiac Cells to Genetic Regulatory Networks. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh 0002 |
Quantitative Synthesis for Concurrent Programs. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vigyan Singhal, Prashant Aggarwal |
Using Coverage to Deploy Formal Verification in a Simulation World. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | David Brumley, Ivan Jager, Thanassis Avgerinos, Edward J. Schwartz |
BAP: A Binary Analysis Platform. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | André Platzer |
Logic and Compositional Verification of Hybrid Systems - (Invited Tutorial). |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Manu Jose, Rupak Majumdar |
Bug-Assist: Assisting Fault Localization in ANSI-C Programs. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato |
Getting Rid of Store-Buffers in TSO Analysis. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Valeriy Balabanov, Jie-Hong R. Jiang |
Resolution Proofs and Skolem Functions in QBF Evaluation and Applications. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Josh Berdine, Byron Cook, Samin Ishtiaq |
SLAyer: Memory Safety for Systems-Level Code. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Beyer 0001, M. Erkan Keremoglu |
CPAchecker: A Tool for Configurable Software Verification. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Stefan Kiefer, Antonín Kucera 0001 |
Efficient Analysis of Probabilistic Programs with an Unbounded Counter. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Kroening, Joël Ouaknine, Ofer Strichman, Thomas Wahl, James Worrell 0001 |
Linear Completeness Thresholds for Bounded Model Checking. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, Wei-Ngan Chin |
FixBag: A Fixpoint Calculator for Quantified Bag Constraints. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Peter Habermehl, Lukás Holík, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar |
Forest Automata for Verification of Heap Manipulation. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ajith K. John, Supratik Chakraborty |
A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ranjit Jhala |
Using Types for Software Verification. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christian Müller 0009, Wolfgang J. Paul |
Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Byron Cook, Eric Koskinen, Moshe Y. Vardi |
Temporal Property Verification as a Program Analysis Task. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Monika Henzinger, Manas Joglekar, Nisarg Shah 0001 |
Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Clark W. Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King 0001, Andrew Reynolds 0001, Cesare Tinelli |
CVC4. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Brauer, Andy King, Jael Kriener |
Existential Quantification as Incremental SAT. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shuvendu K. Lahiri |
SMT-Based Modular Analysis of Sequential Systems Code. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell 0001 |
Language Equivalence for Probabilistic Automata. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | A. Prasad Sistla, Milos Zefran, Yao Feng |
Monitorability of Stochastic Dynamical Systems. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Domagoj Babic, Daniel Reynaud, Dawn Song |
Malware Analysis with Tree Automata Inference. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
PRISM 4.0: Verification of Probabilistic Real-Time Systems. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Guodong Li, Indradeep Ghosh, Sreeranga P. Rajan |
KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kyungmin Bae, José Meseguer 0001 |
State/Event-Based LTL Model Checking under Parametric Generalized Fairness. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Uri Klein, Kedar S. Namjoshi |
Formalization and Automated Verification of RESTful Behavior. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vasumathi Raman, Hadas Kress-Gazit |
Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jade Alglave, Luc Maranget |
Stability in Weak Memory Models. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Hague, Anthony Widjaja Lin |
Model Checking Recursive Programs with Numeric Data Types. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rahul Sharma 0001, Isil Dillig, Thomas Dillig, Alex Aiken |
Simplifying Loop Invariant Generation Using Splitter Predicates. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray 0001, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang 0001, Oded Maler |
SpaceEx: Scalable Verification of Hybrid Systems. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Oukseh Lee, Hongseok Yang, Rasmus Petersen |
Program Analysis for Overlaid Data Structures. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah |
Verification of Certifying Computations. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Kroening, Georg Weissenbacher |
Interpolation-Based Software Verification with Wolverine. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko |
HMC: Verifying Functional Programs Using Abstract Interpreters. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri |
Kratos - A Software Model Checker for SystemC. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kamil Dudka, Petr Peringer, Tomás Vojnar |
Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll 0001, Marco Roveri, Ralf Wimmer 0001 |
A Model Checker for AADL. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang 0001 |
PARAM: A Model Checker for Parametric Markov Models. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Ferrante, Maurizio Memoli, Margherita Napoli, Mimmo Parente, Francesco Sorrentino 0002 |
A NuSMV Extension for Graded-CTL Model Checking. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter |
Comfusy: A Tool for Complete Functional Synthesis. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Maged M. Michael |
Memory Management in Concurrent Algorithms. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Donzé |
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Roland Meyer 0001, Tim Strazny |
Petruchio: From Dynamic Networks to Nets. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur |
Model Checking of Linearizability of Concurrent List Implementations. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Robert K. Brayton, Alan Mishchenko |
ABC: An Academic Industrial-Strength Verification Tool. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Ehlers |
Symbolic Bounded Synthesis. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu |
Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Khalil Ghorbal, Eric Goubault, Sylvie Putot |
A Logical Product Approach to Zonotope Intersection. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ariel Cohen 0002, Kedar S. Namjoshi, Yaniv Sa'ar |
SPLIT: A Compositional LTL Verifier. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Satrajit Chatterjee, Michael Kishinevsky |
Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin |
Generating Litmus Tests for Contrasting Memory Consistency Models. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Caniart |
Merit: An Interpolating Model-Checker. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David R. Piegdon |
libalf: The Automata Learning Framework. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Salvatore La Torre, P. Madhusudan, Gennaro Parlato |
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber |
RATSY - A New Requirements Analysis Tool with Synthesis. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell |
Fences in Weak Memory Models. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies |
Local Verification of Global Invariants in Concurrent Programs. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Luca Pulina, Armando Tacchella |
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar 0002, Jakob Lichtenberg |
The Static Driver Verifier Research Platform. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala |
Dsolve: Safety Verification via Liquid Types. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Felix Klaedtke, Samuel Müller 0002 |
Policy Monitoring in First-Order Temporal Logic. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Susanne Graf, Doron A. Peled, Sophie Quinton |
Achieving Distributed Control through Model Checking. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sudipta Kundu, Malay K. Ganai, Chao Wang 0001 |
Contessa: Concurrency Testing Augmented with Symbolic Analysis. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vineet Kahlon, Chao Wang 0001 |
Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gogul Balakrishnan, Akash Lal |
There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Christopher L. Conway, Clark W. Barrett |
Verifying Low-Level Implementations of High-Level Datatypes. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Anil Seth |
Global Reachability in Bounded Phase Multi-stack Pushdown Systems. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marius Bozga, Radu Iosif, Filip Konecný |
Fast Acceleration of Ultimately Periodic Relations. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrey Rybalchenko |
Constraint Solving for Program Verification: Theory and Practice by Example. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Ganty, Rupak Majumdar, Benjamin Monmege |
Bounded Underapproximations. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin |
Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh 0002 |
Measuring and Synthesizing Systems in Probabilistic Environments. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann |
Robustness in the Presence of Liveness. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pasquale Malacaria |
Quantitative Information Flow: From Theory to Practice? |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha Chechik |
Abstract Analysis of Symbolic Executions. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yu-Fang Chen 0001, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai 0001, Yih-Kuen Tsay, Bow-Yaw Wang |
Automated Assume-Guarantee Reasoning through Implicit Learning. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Min Zhou 0001, Fei He 0001, Bow-Yaw Wang, Ming Gu 0001 |
On Array Theory of Bounded Elements. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Lijun Zhang 0001, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn |
Safety Verification for Probabilistic Hybrid Systems. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|