Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Pavel Parízek |
Hybrid Analysis for Partial Order Reduction of Programs with Arrays. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rigel Gjomemo, Kedar S. Namjoshi, Phu H. Phung, V. N. Venkatakrishnan, Lenore D. Zuck |
From Verification to Optimizations. |
VMCAI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kartik Nagar, Y. N. Srikant |
Path Sensitive Cache Analysis Using Cache Miss Paths. |
VMCAI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaj S. Bjørner, Arie Gurfinkel |
Property Directed Polyhedral Abstraction. |
VMCAI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gwen Salaün, Lina Ye |
Debugging Process Algebra Specifications. |
VMCAI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ratul Saha, Javier Esparza, Sumit Kumar Jha 0001, Madhavan Mukund, P. S. Thiagarajan |
Distributed Markov Chains. |
VMCAI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bishoksan Kafle, John P. Gallagher |
Tree Automata-Based Refinement with Application to Horn Clause Verification. |
VMCAI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Caterina Urban, Antoine Miné |
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation. |
VMCAI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mickael Randour, Jean-François Raskin, Ocan Sankur |
Variations on the Stochastic Shortest Path Problem. |
VMCAI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jiangchao Liu, Xavier Rival |
Abstraction of Arrays Based on Non Contiguous Partitions. |
VMCAI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pavithra Prabhakar, Miriam Garcia Soto |
Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems. |
VMCAI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng |
Abstracting and Counting Synchronizing Processes. |
VMCAI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh |
Bounded Implementations of Replicated Data Types. |
VMCAI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Maria Christakis, Peter Müller 0001, Valentin Wüstholz |
An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer. |
VMCAI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Reynolds 0001, Viktor Kuncak |
Induction for SMT Solvers. |
VMCAI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Ferrara 0001, Peter Müller 0001, Milos Novácek |
Automatic Inference of Heap Properties Exploiting Value Domains. |
VMCAI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Assalé Adjé, Pierre-Loïc Garoche |
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs. |
VMCAI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav |
Effective Abstractions for Verification under Relaxed Memory Models. |
VMCAI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Agostino Cortesi, Pietro Ferrara 0001, Marco Pistoia, Omer Tripp |
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications. |
VMCAI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer 0001, Bernd Becker 0001, Holger Hermanns |
Abstraction-Based Computation of Reward Measures for Markov Automata. |
VMCAI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | He Zhu 0001, Aditya V. Nori, Suresh Jagannathan |
Dependent Array Type Inference from Tests. |
VMCAI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot |
Abstracting Induction by Extrapolation and Interpolation. |
VMCAI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Khalil Ghorbal, Andrew Sogokon, André Platzer |
A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets. |
VMCAI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, Karen Rudie |
A Model for Industrial Real-Time Systems. |
VMCAI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter Backes, Jan Reineke 0001 |
Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction. |
VMCAI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Maria Christakis, Patrice Godefroid |
Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing. |
VMCAI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vicente Acuña, Andrés Aravena, Alejandro Maass, Anne Siegel |
Modeling Parsimonious Putative Regulatory Networks: Complexity and Heuristic Approach. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Miné |
Relational Thread-Modular Static Value Analysis by Abstract Interpretation. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cezara Dragoi, Thomas A. Henzinger, Helmut Veith, Josef Widder, Damien Zufferey |
A Logic-Based Framework for Verifying Consensus Algorithms. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Damien Massé |
Policy Iteration-Based Conditional Termination and Ranking Functions. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marius Bozga, Radu Iosif, Filip Konecný |
Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lei Song 0001, Lijun Zhang 0001, Jens Chr. Godskesen |
Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Kalmer Apinis |
Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dileep Kini, Mahesh Viswanathan 0001 |
Probabilistic Automata for Safety LTL Specifications. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Singh 0002, Rishabh Singh, Zhilei Xu, Rebecca Krosnick, Armando Solar-Lezama |
Modular Synthesis of Sketches Using Models. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Ferrara 0001 |
Generic Combination of Heap and Value Analyses in Abstract Interpretation. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Ehlers, Sanjit A. Seshia, Hadas Kress-Gazit |
Synthesis with Identifiers. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Loïg Jezequel, Javier Esparza |
Message-Passing Algorithms for the Verification of Distributed Protocols. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jan Leike, Ashish Tiwari 0001 |
Synthesis for Polynomial Lasso Programs. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Roderick Bloem, Robert Könighofer, Martina Seidl |
SAT-Based Synthesis Methods for Safety Specs. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wei Wang 0062, Clark W. Barrett, Thomas Wies |
Cascade 2.0. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bor-Yuh Evan Chang |
Refuting Heap Reachability. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Aminof, Swen Jacobs, Ayrat Khalimov 0001, Sasha Rubin |
Parameterized Model Checking of Token-Passing Systems. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Chao Wang 0001, Kevin Hoang |
Precisely Deciding Control State Reachability in Concurrent Traces with Limited Observability. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Gustavsson, Jan Gustafsson, Björn Lisper |
Timing Analysis of Parallel Software Using Abstract Execution. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth L. McMillan, Xavier Rival (eds.) |
Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nuno P. Lopes, José Monteiro 0001 |
Weakest Precondition Synthesis for Compiler Optimizations. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen (eds.) |
Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Peter Faymonville, Bernd Finkbeiner, Doron A. Peled |
Monitoring Parametric Temporal Logic. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Romano |
Practical Floating-Point Tests with Integer Code. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Laurent Doyen 0001, Emmanuel Filiot, Jean-François Raskin |
Doomsday Equilibria for Omega-Regular Games. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ben Hardekopf, Ben Wiedermann, Berkeley R. Churchill, Vineeth Kashyap |
Widening for Control-Flow. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Verifying Array Programs by Transforming Verification Conditions. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zhoulai Fu |
Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java. |
VMCAI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri |
Robustness Analysis of Networked Systems. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kedar S. Namjoshi, Richard J. Trefler |
Uncovering Symmetries in Irregular Process Networks. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vijay Victor D'Silva, Daniel Kroening |
Abstraction of Syntax. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sagar Chaki, Arie Gurfinkel, Soonho Kong, Ofer Strichman |
Compositional Sequentialization of Periodic Programs. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo |
Automatic Inference of Necessary Preconditions. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Slaby, Jan Strejcek, Marek Trtík |
ClabureDB: Classified Bug-Reports Database. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Ranzato |
Complete Abstractions Everywhere. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Podelski |
Automata as Proofs. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski |
Quantifying Information Leakage of Randomized Protocols. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan 0001 |
Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | He Zhu 0001, Suresh Jagannathan |
Compositional and Lightweight Dependent Type Inference for ML. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou |
A Constraint Solver Based on Abstract Domains. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Loris D'Antoni, Margus Veanes |
Static Analysis of String Encoders and Decoders. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Swen Jacobs, Viktor Kuncak, Philippe Suter |
Reductions for Synthesis Procedures. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Heule, K. Rustan M. Leino, Peter Müller 0001, Alexander J. Summers |
Abstract Read Permissions: Fractional Permissions without the Fractions. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yassamine Seladji, Olivier Bouissou |
Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Larraz, Enric Rodríguez-Carbonell, Albert Rubio |
SMT-Based Array Invariant Generation. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ayrat Khalimov 0001, Swen Jacobs, Roderick Bloem |
Towards Efficient Parameterized Synthesis. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Manchun Zheng, David Sanán, Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Yu Gu 0001 |
State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mathias John, Mirabelle Nebut, Joachim Niehren |
Knockout Prediction for Reaction Networks with Partial Kinetic Information. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Mendonça de Moura, Dejan Jovanovic |
A Model-Constructing Satisfiability Calculus. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni (eds.) |
Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martin Brain, Vijay Victor D'Silva, Leopold Haller, Alberto Griggio, Daniel Kroening |
An Abstract Interpretation of DPLL(T). |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Florian Leitner-Fischer, Stefan Leue |
Causality Checking for Complex System Models. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík |
All for the Price of Few. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David J. Pearce 0001 |
Sound and Complete Flow Typing with Unions, Intersections and Negations. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Christ, Evren Ermis, Martin Schäf, Thomas Wies |
Flow-Sensitive Fault Localization. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christian Dehnert, Joost-Pieter Katoen, David Parker 0001 |
SMT-Based Bisimulation Minimisation of Markov Models. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eran Yahav |
Abstraction-Guided Synthesis. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Simon Cruanes, Grégoire Hamon, Sam Owre, Natarajan Shankar |
Tool Integration with the Evidential Tool Bus. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival |
Reduced Product Combination of Abstract Domains for Shapes. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schrammel, Pavle Subotic |
Logico-Numerical Max-Strategy Iteration. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rayna Dimitrova, Bernd Finkbeiner, Máté Kovács, Markus N. Rabe, Helmut Seidl |
Model Checking Information Flow in Reactive Systems. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Evren Ermis, Jochen Hoenicke, Andreas Podelski |
Splitting via Interpolants. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Everett Morse, Nick Vrvilo, Eric Mercer, Jay McCarthy |
Modeling Asynchronous Message Passing for C Programs. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Vishwanath Raman |
Synthesizing Protocols for Digital Contract Signing. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Uri Klein, Nir Piterman, Amir Pnueli |
Effective Synthesis of Asynchronous Systems from GR(1) Specifications. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ranjit Jhala |
Software Verification with Liquid Types. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | K. Rustan M. Leino |
Automating Induction with an SMT Solver. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Kinder, Dmitry Kravchenko |
Alternating Control Flow Reconstruction. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sagar Chaki, Arie Gurfinkel, Ofer Strichman |
Regression Verification for Multi-threaded Programs. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli, Sophie Pinchinat |
Verification of Gap-Order Constraint Abstractions of Counter Systems. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kedar S. Namjoshi, Richard J. Trefler |
Local Symmetry and Compositional Verification. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stephen F. Siegel, Timothy K. Zirkel |
Loop Invariant Symbolic Execution for Parallel Programs. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christian von Essen, Barbara Jobstmann |
Synthesizing Efficient Controllers. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Swen Jacobs |
Lazy Synthesis. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|