Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
1995-1996 (48) 1997 (29) 1998 (30) 1999 (32) 2000 (37) 2001 (42) 2002 (36) 2003 (44) 2004 (44) 2005 (43) 2006 (36) 2007 (57) 2008 (40) 2009 (37) 2010 (38) 2011 (35) 2012 (49) 2013 (54) 2014 (56) 2015 (63) 2016 (70)
Publication types (Num. hits)
inproceedings(898) proceedings(22)
Venues (Conferences, Journals, ...)
TACAS(920)
Authors
Daniel Kroening(18) Andreas Podelski(17) Tomás Vojnar(15) Moshe Y. Vardi(14) Alessandro Cimatti(13) Doron A. Peled(13) Rupak Majumdar(13) Bernhard Steffen(12) Holger Hermanns(12) Joost-Pieter Katoen(12) Kim Guldstrand Larsen(12) Marta Z. Kwiatkowska(12) Parosh Aziz Abdulla(12) Thomas A. Henzinger(12) Edmund M. Clarke(11) P. Madhusudan(11) More (+10 of total 1605)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 103 occurrences of 81 keywords
Results
Found 920 publication records. Showing 920 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric SMACK+Corral: A Modular Verifier - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Clare Cini, Adrian Francalanza An LTL Proof System for Runtime Verification. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ermenegildo Tomasco, Omar Inverso, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato Verifying Concurrent Programs by Memory Unwinding. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hiroshi Unno 0001, Tachio Terauchi Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Matthias Dangl, Stefan Löwe, Philipp Wendler CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen 0001, Chih-Duo Hong, Nishant Sinha 0001, Bow-Yaw Wang Commutativity of Reducers. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Könighofer Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist Uppaal Stratego. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan 0001, Matthew Potok C2E2: A Verification Tool for Stateflow Models. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fabian Immler Verified Reachability Analysis of Continuous Systems. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christel Baier, Cesare Tinelli (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas SeaHorn: A Framework for Verifying C Programs (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shrawan Kumar 0001, Amitabha Sanyal, Uday P. Khedker Value Slice: A New Slicing Concept for Scalable Property Checking. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexander Nutz, Daniel Dietsch, Mostafa Mahmoud Mohamed, Andreas Podelski ULTIMATE KOJAK with Memory Safety Checks - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Emmanuel Fleury, Olivier Ly, Gérald Point, Aymeric Vincent Insight: An Open Binary Analysis Framework. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Abderahman Kriouile, Wendelin Serwe Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Matthias Heizmann, Daniel Dietsch, Jan Leike, Betim Musa, Andreas Podelski Ultimate Automizer with Array Interpolation - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Anton Wijs GPU Accelerated Strong and Branching Bisimilarity Checking. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Giles Reger, Helena Cuenca Cruz, David E. Rydeheard MarQ: Monitoring at Runtime with QEA. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Roberto Sebastiani, Patrick Trentin Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Jesús Correas Fernández, Guillermo Román-Díez Non-cumulative Resource Analysis. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Vince Molnár, Dániel Darvas, András Vörös 0001, Tamás Bartha Saturation-Based Incremental LTL Model Checking with Inductive Proofs. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dileep Kini, Mahesh Viswanathan 0001 Limit Deterministic and Probabilistic Automata for LTL ∖ GU. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson 0001, Carl Leonardsson, Konstantinos Sagonas Stateless Model Checking for TSO and PSO. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Bettina Könighofer, Robert Könighofer, Chao Wang 0001 Shield Synthesis: - Runtime Enforcement for Reactive Systems. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kedar S. Namjoshi, Richard J. Trefler Analysis of Dynamic Process Networks. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pablo González de Aledo, Pablo Sánchez Espeso FramewORk for Embedded System verification - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Salar Moarref, Ufuk Topcu Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk LTSmin: High-Performance Language-Independent Model Checking. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Julian Tschannen, Carlo A. Furia, Martin Nordio, Nadia Polikarpova AutoProof: Auto-Active Functional Verification of Object-Oriented Programs. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Soonho Kong, Sicun Gao, Wei Chen, Edmund M. Clarke dReach: δ-Reachability Analysis for Hybrid Systems. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Takashi Matsuoka, Edward Pierzchalski, Nathan Smyth Perentie: Modular Trace Refinement and Selective Value Tracking - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nikolaj S. Bjørner, Anh-Dung Phan, Lars Fleckenstein νZ - An Optimizing SMT Solver. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ruzica Piskac, Thomas Wies, Damien Zufferey GRASShopper - Complete Heap Verification with Mixed Specifications. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz Compositional Invariant Generation for Timed Systems. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Orna Kupferman Variations on Safety. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Omar Inverso, Ermenegildo Tomasco, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jiri Slaby, Jan Strejcek Symbiotic 2: More Precise Slicing - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kamil Dudka, Petr Peringer, Tomás Vojnar Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Arie Gurfinkel, Anton Belov FrankenBit: Bit-Precise Verification with Many Bits - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1D. A. van Beek, Wan J. Fokkink, Dennis Hendriks, Albert T. Hofkamp, Jasen Markovski, Joanna M. van de Mortel-Fronczak, Michel A. Reniers CIF 3: Model-Based Engineering of Supervisory Controllers. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Francesco Alberti, Silvio Ghilardi, Natasha Sharygina Decision Procedures for Flat Array Properties. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Erwan Jahier, Simplice Djoko Djoko, Chaouki Maiza, Eric Lafont Environment-Model Based Testing of Control Systems: Case Studies. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Roberto Carbone, Luca Compagna SATMC: A SAT-Based Model Checker for Security-Critical Systems. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Anton Wijs, Dragan Bosnacki GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hong Yi Chen, Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter W. O'Hearn Proving Nontermination via Safety. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Khalil Ghorbal, André Platzer Characterizing Algebraic Invariants by Differential Radical Invariants. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta IC3 Modulo Theories via Implicit Predicate Abstraction. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001 Status Report on Software Verification - (Competition Summary SV-COMP 2014). Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jaap Boender, Claudio Sacerdoti Coen On the Correctness of a Branch Displacement Algorithm. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Stefan Löwe, Mikhail U. Mandrykin, Philipp Wendler CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe 0001 FDR3 - A Modern Refinement Checker for CSP. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jan Leike, Matthias Heizmann Ranking Templates for Linear Loops. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jan Reineke 0001, Stavros Tripakis Basic Problems in Multi-View Modeling. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Vincent Cheval APTE: An Algorithm for Proving Trace Equivalence. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bernd Finkbeiner, Leander Tentrup Detecting Unrealizable Specifications of Distributed Systems. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Evren Ermis, Alexander Nutz, Daniel Dietsch, Jochen Hoenicke, Andreas Podelski Ultimate Kojak - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Klaus Havelund (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Reinbacher, Kristin Yvonne Rozier, Johann Schumann Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Román-Díez SACO: Static Analyzer for Concurrent Objects. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ting Wang 0004, Jun Sun 0001, Yang Liu 0003, Xinyu Wang 0001, Shanping Li Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jeremy Morse, Mikhail Ramalho, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer 0002 ESBMC 1.22 - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dieky Adzkiya, Bart De Schutter, Alessandro Abate Forward Reachability Computation for Autonomous Max-Plus-Linear Systems. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ermenegildo Tomasco, Omar Inverso, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Wenchao Li 0001, Dorsa Sadigh, S. Shankar Sastry, Sanjit A. Seshia Synthesis for Human-in-the-Loop Control Systems. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christian von Essen, Dimitra Giannakopoulou Analyzing the Next Generation Airborne Collision Avoidance System. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Huth 0001, Jim Huan-Pu Kuo PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gavin Lowe Concurrent Depth-First Search Algorithms. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rafael Caballero 0001, Enrique Martin-Martin, Adrián Riesco 0001, Salvador Tamarit EDD: A Declarative Debugger for Sequential Erlang Programs. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Arie Gurfinkel, Anton Belov, João Marques-Silva 0001 Synthesizing Safe Bit-Precise Invariants. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hassan Eldib, Chao Wang 0001, Patrick Schaumont SMT-Based Verification of Software Countermeasures against Side-Channel Attacks. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Daniel Kroening, Michael Tautschnig CBMC - C Bounded Model Checker - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Shaull Almagor, Udi Boker, Orna Kupferman Discounting in LTL. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Petr Müller, Tomás Vojnar CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Antti Siirtola Bounds2: A Tool for Compositional Multi-parametrised Verification. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christel Baier, Joachim Klein 0001, Sascha Klüppelholz, Steffen Märcker Computing Conditional Probabilities in Markovian Models Efficiently. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling 0001, Stefan Wissert, Andreas Podelski Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Oded Maler, Irini-Eleftheria Mens Learning Regular Languages over Large Alphabets. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xiaowei Huang 0001, Ron van der Meyden Symbolic Synthesis for Epistemic Specifications with Observational Semantics. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christian Herrera, Bernd Westphal, Andreas Podelski Quasi-Equal Clock Reduction: More Networks, More Queries. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marc Brockschmidt, Fabian Emmes, Stephan Falke 0001, Carsten Fuhs, Jürgen Giesl Alternating Runtime and Size Complexity Analysis of Integer Programs. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Normann Decker, Martin Leucker, Daniel Thoma Monitoring Modulo Theories. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker 0001, Mateusz Ujma Permissive Controller Synthesis for Probabilistic Systems. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan Verification of Concurrent Quantum Protocols by Equivalence Checking. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Arnd Hartmanns, Holger Hermanns The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti VeriMAP: A Tool for Verifying Programs through Transformations. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexander Linden 0001, Pierre Wolper A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang 0001 The Quest for Minimal Quotients for Probabilistic Automata. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jean-Francois Kempf, Marius Bozga, Oded Maler As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Anna Lisa Ferrara, P. Madhusudan, Gennaro Parlato Policy Analysis for Self-administrated Role-Based Access Control. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Boyang Li 0002, Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Mooly Sagiv Synthesis of Circular Compositional Program Proofs via Abduction. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Stefan Löwe CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jürgen Christ, Jochen Hoenicke, Alexander Nutz Proof Tree Preserving Interpolation. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Kshitij Bansal, Eric Koskinen, Thomas Wies, Damien Zufferey Structural Counter Abstraction. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jiri Slaby, Jan Strejcek, Marek Trtík Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Patrice Godefroid, Mihalis Yannakakis Analysis of Boolean Programs. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Aws Albarghouthi, Arie Gurfinkel, Yi Li 0008, Sagar Chaki, Marsha Chechik UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #101 - #200 of 920 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license