| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Simone Fulvio Rollini, Ondrej Sery, Natasha Sharygina |
Leveraging Interpolant Strength in Model Checking.  |
CAV  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams |
An Axiomatic Memory Model for POWER Multiprocessors. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Brockschmidt, Richard Musiol, Carsten Otto, Jürgen Giesl |
Automated Termination Proofs for Java Programs with Cyclic Data. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | P. Madhusudan, Sanjit A. Seshia (eds.) |
Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiy Bogomolov, Goran Frehse, Radu Grosu, Hamed Ladan, Andreas Podelski, Martin Wehrle |
A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nishant Sinha, Nimit Singhania, Satish Chandra, Manu Sridharan |
Alternate and Learn: Finding Witnesses without Looking All over. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aditya V. Thakur, Thomas W. Reps |
A Method for Symbolic Computation of Abstract Operations. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Rebêlo |
SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aditya Zutshi, Sriram Sankaranarayanan, Ashish Tiwari |
Timed Relational Abstractions for Sampled Data Control Systems. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio M. de Paula, Alan J. Hu, Amir Nahir |
nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Fredrikson, Richard Joiner, Somesh Jha, Thomas W. Reps, Phillip A. Porras, Hassen Saïdi, Vinod Yegneswaran |
Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hague, Anthony Widjaja Lin |
Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Benque, Sam Bourton, Caitlin Cockerton, Byron Cook, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Alex S. Taylor, Moshe Y. Vardi |
Bma: Visual Tool for Modeling and Analyzing Biological Networks. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu-Fang Chen, Bow-Yaw Wang |
Learning Boolean Functions Incrementally. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Alberto Griggio |
Software Model Checking via IC3. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Venet |
The Gauge Domain: Scalable Analysis of Linear Inequality Invariants. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rastislav Bodík, Emina Torlak |
Synthesizing Programs with Constraint Solvers. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Duc-Hiep Chu, Joxan Jaffar |
A Complete Method for Symmetry Reduction in Safety Verification. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois Knoll |
MGSyn: Automatic Synthesis for Industrial Automation. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph M. Wintersteiger |
Diagnosing Abstraction Failure for Separation Logic-Based Analyses. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Arlt, Martin Schäf |
Joogie: Infeasible Code Detection for Java. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina |
SAFARI: SMT-Based Abstraction for Arrays with Interpolants. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rishabh Singh, Armando Solar-Lezama |
SPT: Storyboard Programming Tool. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Jégourel, Axel Legay, Sean Sedwards |
Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin Song Dong |
A Model Checker for Hierarchical Probabilistic Real-Time Systems. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Kretínský, Javier Esparza |
Deterministic Automata for the (F, G)-Fragment of LTL. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Thomas |
Synthesis and Some of Its Challenges. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Hoffmann 0002, Klaus Aehlig, Martin Hofmann |
Resource Aware ML. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rüdiger Ehlers |
ACTL ∩ LTL Synthesis. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný |
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ichiro Hasuo, Kohei Suenaga |
Exercises in Nonstandard Static Analysis of Hybrid Systems. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Köpf, Laurent Mauborgne, Martín Ochoa |
Automatic Quantification of Cache Side-Channels. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cheng-Shen Han, Jie-Hong Roland Jiang |
When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Naiyong Jin, Jean-François Raskin |
Acacia+, a Tool for LTL Synthesis. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Schwartz-Narbonne, Feng Liu, David I. August, Sharad Malik |
passert: A Tool for Debugging Parallel Programs. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Swarat Chaudhuri, Armando Solar-Lezama |
Euler: A System for Numerical Optimization of Programs. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Akash Lal, Shaz Qadeer, Shuvendu K. Lahiri |
A Solver for Reachability Modulo Theories. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | William R. Harris, Somesh Jha, Thomas W. Reps |
Secure Programming via Visibly Pushdown Safety Games. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rupak Majumdar, Majid Zamani |
Approximately Bisimilar Symbolic Models for Digital Control Systems. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Moskal |
From C to Infinity and Back: Unbounded Auto-active Verification with VCC. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David L. Dill |
Model Checking Cell Biology. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Schellhorn, Heike Wehrheim, John Derrick |
How to Prove Algorithms Linearisable. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Andreas Gaiser, Stefan Kiefer |
Proving Termination of Probabilistic Programs Using Patterns. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris J. Myers |
Formal Verification of Genetic Circuits. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Maxim Rondon, Alexander Bakst, Ming Kawaguchi, Ranjit Jhala |
CSolve: Verifying C with Liquid Types. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi |
Termination Analysis with Algorithmic Learning. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zyad Hassan, Aaron R. Bradley, Fabio Somenzi |
Incremental, Inductive CTL Model Checking. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vineet Kahlon, Chao Wang |
Lock Removal for Concurrent Trace Programs. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aws Albarghouthi, Yi Li, Arie Gurfinkel, Marsha Chechik |
Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rishabh Singh, Sumit Gulwani |
Synthesizing Number Transformations from Input-Output Examples. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Maria Mateescu, Ali Sezgin |
Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke |
Assume-Guarantee Abstraction Refinement for Probabilistic Systems. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Hopkins, Andrzej S. Murawski, C.-H. Luke Ong |
Hector: An Equivalence Checker for a Higher-Order Fragment of ML. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Raffaele Corvino, Armando Lazzaro, Iman Narasamdya, Tiziana Rizzo, Marco Roveri, Angela Sanseviero, Andrei Tchaltsev |
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Tiwari |
HybridSAL Relational Abstracter. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi |
Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron R. Bradley |
IC3 and beyond: Incremental, Inductive Verification. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shibashis Guha, Chinmay Narayan, S. Arun-Kumar |
On Decidability of Prebisimulation for Timed Automata. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Sharma 0001, Aditya V. Nori, Alex Aiken |
Interpolants as Classifiers. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal |
Detecting Fair Non-termination in Multithreaded Programs. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Alex Aiken |
Minimum Satisfying Assignments for SMT. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell |
APEX: An Analyzer for Open Probabilistic Programs. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Evan Driscoll, Aditya V. Thakur, Thomas W. Reps |
OpenNWA: A Nested-Word Automaton Library. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell |
Recent Developments in FDR. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa |
TRACER: A Symbolic Execution Tool for Verification. |
CAV |
2012 |
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 | Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell |
Language Equivalence for Probabilistic Automata. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
PRISM 4.0: Verification of Probabilistic Real-Time Systems. |
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 | David Brumley, Ivan Jager, Thanassis Avgerinos, Edward J. Schwartz |
BAP: A Binary Analysis Platform. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Kroening, Georg Weissenbacher |
Interpolation-Based Software Verification with Wolverine. |
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 | 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 | A. Prasad Sistla, Milos Zefran, Yao Feng |
Monitorability of Stochastic Dynamical Systems. |
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 | Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler |
SpaceEx: Scalable Verification of Hybrid Systems. |
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 | Christian Müller, Wolfgang Paul |
Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus. |
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 | André Platzer |
Logic and Compositional Verification of Hybrid Systems - (Invited Tutorial). |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Stefan Kiefer, Antonín Kucera |
Efficient Analysis of Probabilistic Programs with an Unbounded Counter. |
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 | Clark Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli |
CVC4. |
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 | Dirk Beyer, M. Erkan Keremoglu |
CPAchecker: A Tool for Configurable Software Verification. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang |
Time for Statistical Model Checking of Real-Time Systems. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hillel Kugler, Cory Plock, Andy Roberts |
Synthesizing Biological Theories. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang 0001 |
Model Checking Algorithms for CTMDPs. |
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 | Ranjit Jhala |
Using Types for Software Verification. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
Threader: A Constraint-Based Verifier for Multi-threaded Programs. |
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 | Georges Morbé, Florian Pigorsch, Christoph Scholl |
Fully Symbolic Model Checking for Timed Automata. |
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 | 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 | 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 | Christine Hang, Panagiotis Manolios, Vasilis Papavasileiou |
Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints. |
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 |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")