The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "VMCAI"( http://dblp.L3S.de/Venues/VMCAI )

URL (DBLP): http://dblp.uni-trier.de/db/conf/vmcai

Publication years (Num. hits)
2002 (23) 2003 (26) 2004 (27) 2005 (31) 2006 (29) 2007 (28) 2008 (27) 2009 (30) 2010 (28) 2011 (29) 2012 (30) 2013 (32) 2014 (28) 2015 (25) 2016 (27) 2017 (29) 2018 (25) 2019 (28)
Publication types (Num. hits)
inproceedings(485) proceedings(17)
Venues (Conferences, Journals, ...)
VMCAI(502)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 40 occurrences of 28 keywords

Results
Found 502 publication records. Showing 502 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Charlie Murphy, Zachary Kincaid A Practical Algorithm for Structure Embedding. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jochen Hoenicke, Tanja Schindler Solving and Interpolating Constant Arrays Based on Weak Equivalences. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Constantin Enea, Ruzica Piskac (eds.) Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tianhan Lu, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi 0001 Type-Directed Bounding of Collections in Reactive Programs. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hongfei Fu 0001, Krishnendu Chatterjee Termination of Nondeterministic Probabilistic Programs. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Normann Decker, Anton Pirogov Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Azalea Raad, Ori Lahav, Viktor Vafeiadis On the Semantics of Snapshot Isolation. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kimball Germane, Jay McCarthy, Michael D. Adams 0001, Matthew Might Demand Control-Flow Analysis. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jens Nicolay, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover Effect-Driven Flow Analysis. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jad Hamza, Viktor Kuncak Minimal Synthesis of String to String Functions from Examples. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xiaokang Qiu, Yanjun Wang A Decidable Logic for Tree Data-Structures with Measurements. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thanh-Toan Nguyen, Quang-Trung Ta, Wei-Ngan Chin Automatic Program Repair Using Formal Verification and Expression Templates. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Calvin Smith, Aws Albarghouthi Program Synthesis with Equivalence Reduction. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gereon Fox, Daniel Stan, Holger Hermanns Syntactic Partial Order Compression for Probabilistic Reachability. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tomoya Yamaguchi, Martin Brain, Chirs Ryder, Yosikazu Imai, Yoshiumi Kawamura Application of Abstract Interpretation to the Automotive Electronic Control System. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Quentin Bouillaguet, François Bobot, Mihaela Sighireanu, Boris Yakobowski Exploiting Pointer Analysis in Memory Models for Deductive Verification. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Denis Bueno, Karem A. Sakallah euforia: Complete Software Model Checking with Uninterpreted Functions. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Étienne André, Laurent Fribourg, Jean-Marc Mota, Romain Soulat Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Richard Huybers, Alfons Laarman A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis Mechanically Proving Determinacy of Hierarchical Block Diagram Translations. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nuno P. Lopes, Andrey Rybalchenko Fast BGP Simulation of Large Datacenters. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kimball Germane, Matthew Might Relatively Complete Pushdown Analysis of Escape Continuations. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime Parametric Timed Broadcast Protocols. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefan Haar, Juraj Kolcák, Loïc Paulevé Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Anja F. Karl, Robert Schilling, Roderick Bloem, Stefan Mangard Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rémy Boutonnet, Nicolas Halbwachs Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Clément Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz Static Analysis of Binary Code with Memory Indirections Using Polyhedra. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Arie Gurfinkel, Aarti Gupta Lazy but Effective Functional Synthesis. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Eric Butler, Emina Torlak, Zoran Popovic A Framework for Computer-Aided Design of Educational Domain Models. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cedric Baumann, Andrei Marian Dan, Yuri Meshman, Torsten Hoefler, Martin T. Vechev Automatic Verification of RMA Programs via Abstraction Extrapolation. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johannes Bader, Jonathan Aldrich, Éric Tanter Gradual Program Verification. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fabrizio Biondi, Michael A. Enescu, Annelie Heuser, Axel Legay, Kuldeep S. Meel, Jean Quilbeuf Scalable Approximation of Quantitative Information Flow in Programs. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato On Constructivity of Galois Connections. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Adi Prabawa, Mahmudul Faisal Al Ameen, Benedict Lee, Wei-Ngan Chin A Logical System for Modular Information Flow Verification. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yong Li 0031, Andrea Turrini, Lijun Zhang, Sven Schewe Learning to Complement Büchi Automata. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tanja Schindler, Dejan Jovanovic Selfless Interpolation for Infinite-State Model Checking. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Swen Jacobs, Mouhammad Sakr Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Julian Kranz, Axel Simon Modular Analysis of Executables Using On-Demand Heyting Completion. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Manjeet Dahiya, Sorav Bansal Automatic Verification of Intermittent Systems. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hila Peleg, Dan Rasin, Eran Yahav Generating Tests by Example. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Isil Dillig, Jens Palsberg (eds.) Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tomás Fiedor, Lukás Holík, Adam Rogalewicz, Moritz Sinn, Tomás Vojnar, Florian Zuleger From Shapes to Amortized Complexity. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andreas Humenberger, Maximilian Jaroschek, Laura Kovács Invariant Generation for Multi-Path Loops with Polynomial Assignments. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Samuele Buro, Isabella Mastroeni Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Brijesh Dongol, Radha Jagadeesan, James Riely, Alasdair Armstrong On abstraction and compositionality for weak-memory linearisability. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Milod Kazerounian, Niki Vazou, Austin Bourgerie, Jeffrey S. Foster, Emina Torlak Refinement Types for Ruby. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hila Peleg, Shachar Itzhaky, Sharon Shoham Abstraction-Based Interaction Model for Synthesis. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mahsa Najafzadeh, Marc Shapiro 0001, Patrick Eugster Co-Design and Verification of an Available File System. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nima Roohi, Mahesh Viswanathan 0001 Revisiting MITL to Fix Decision Procedures. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lenore D. Zuck, Kenneth L. McMillan, Jordan Torf P^5 : Planner-less Proofs of Probabilistic Parameterized Protocols. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberto Bruni, Roberto Giacobazzi, Roberta Gori Code Obfuscation Against Abstract Model Checking Attacks. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Or Ozeri, Oded Padon, Noam Rinetzky, Mooly Sagiv Conjunctive Abstract Interpretation Using Paramodulation. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Tomás Vojnar Counterexample Validation and Interpolation-Based Refinement for Forest Automata. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yijia Gu, Thomas Wahl Stabilizing Floating-Point Programs Using Provenance Analysis. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dejan Jovanovic Solving Nonlinear Integer Arithmetic with MCSAT. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hadrien Bride, Olga Kouchnarenko, Fabien Peureux Reduction of Workflow Nets for Generalised Soundness Verification. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zara Ahmed, David Benque, Sergey Berezin, Anna Caroline E. Dahl, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Jay Nanavati, Nir Piterman, Maik Riechert, Nikita Skoblov Bringing LTL Model Checking to Biologists. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yakir Vizel, Arie Gurfinkel, Sharon Shoham, Sharad Malik IC3 - Flipping the E in ICE. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexandre Maréchal, Michaël Périn Efficient Elimination of Redundancies in Polyhedra by Raytracing. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Hana Chockler, Masoud Ebrahimi 0002, Ofer Strichman Synthesizing Non-Vacuous Systems. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang 0001 Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher Dynamic Reductions for Model Checking Concurrent Software. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Supratik Chakraborty, Ashutosh Gupta, Rahul Jain 0001 Matching Multiplications in Bit-Vector Formulas. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Iago Abal, Claus Brabrand, Andrzej Wasowski Effective Bug Finding in C Programs with Shape and Effect Abstractions. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tushar Sharma, Thomas W. Reps Sound Bit-Precise Numerical Domains. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sandrine Blazy, David Bühler, Boris Yakobowski Structuring Abstract Interpreters Through State and Value Abstractions. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jiahong Jiang, Liqian Chen, Xueguang Wu, Ji Wang Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Asya Frumkin, Yotam M. Y. Feldman, Ondrej Lhoták, Oded Padon, Mooly Sagiv, Sharon Shoham Property Directed Reachability for Proving Absence of Concurrent Modification Errors. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yassamine Seladji Finding Relevant Templates via the Principal Component Analysis. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Igor V. Konnov 0001, Josef Widder, Francesco Spegni, Luca Spalazzi Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pascal Cuoq, Loïc Runarvot, Alexander Cherepanov Detecting Strict Aliasing Violations in the Wild. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall Static Analysis of Communicating Processes Using Symbolic Transducers. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Suvam Mukherjee, Arun Kumar, Deepak D'Souza Detecting All High-Level Dataraces in an RTOS Kernel. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anca Muscholl, Helmut Seidl, Igor Walukiewicz Reachability for Dynamic Parametric Processes. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vijay D'Silva, Daniel Kroening, Marcelo Sousa Independence Abstractions and Models of Concurrency. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wei Wang 0062, Clark W. Barrett, Thomas Wies Partitioned Memory Models for Program Analysis. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Radu Iosif, Cristina Serban Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vijay D'Silva, Marcelo Sousa Complete Abstractions and Subclassical Modal Logics. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Raphaël Monat, Antoine Miné Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pietro Ferrara, Omer Tripp, Peng Liu 0010, Eric Koskinen Using Abstract Interpretation to Correct Synchronization Faults. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Peter Müller 0001, Malte Schwerhoff, Alexander J. Summers Viper: A Verification Infrastructure for Permission-Based Reasoning. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Brain, Liana Hadarean, Daniel Kroening, Ruben Martins Automatic Generation of Propagation Complete SAT Encodings. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Simon Außerlechner, Swen Jacobs, Ayrat Khalimov Tight Cutoffs for Guarded Protocols with Fairness. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ilaria De Crescenzo, Salvatore La Torre A General Modular Synthesis Problem for Pushdown Systems. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hila Peleg, Sharon Shoham, Eran Yahav D^3 : Data-Driven Disjunctive Abstraction. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas A. Henzinger, Jan Otop, Roopsha Samanta Lipschitz Robustness of Timed I/O Systems. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Przemyslaw Daca, Ashutosh Gupta 0001, Thomas A. Henzinger Abstraction-driven Concolic Testing. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrew Sogokon, Khalil Ghorbal, Paul B. Jackson, André Platzer A Method for Invariant Generation for Polynomial Continuous Systems. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexandre Maréchal, Alexis Fouilhé, Tim King 0001, David Monniaux, Michaël Périn Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marko Doko, Viktor Vafeiadis A Program Logic for C11 Memory Fences. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun 0001 Regular Symmetry Patterns. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Egor George Karpenkov, David Monniaux, Philipp Wendler Program Analysis with Local Policy Iteration. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexander Bakst, Ranjit Jhala Predicate Abstraction for Linked Data Structures. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kamil Dudka, Lukás Holík, Petr Peringer, Marek Trtík, Tomás Vojnar From Low-Level Pointers to High-Level Containers. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sagar Chaki, Derrick Karimi Model Checking with Multi-threaded IC3 Portfolios. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas W. Reps, Aditya V. Thakur Automating Abstract Interpretation. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Frédéric Haziza, Lukás Holík, Roland Meyer 0001, Sebastian Wolff Pointer Race Freedom. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 502 (100 per page; Change: )
Pages: [1][2][3][4][5][6][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license