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)
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
1Milan Ceska Jr., Petr Pilar, Nicola Paoletti, Lubos Brim, Marta Z. Kwiatkowska PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Vladimír Still, Petr Rockai, Jiri Barnat DIVINE: Explicit-State LTL Model Checker - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maria Christakis, K. Rustan M. Leino, Peter Müller 0001, Valentin Wüstholz Integrated Environment for Diagnosing Verification Errors. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peter Schrammel, Daniel Kroening 2LS for Program Analysis - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matthias Heizmann, Daniel Dietsch, Marius Greitschus, Jan Leike, Betim Musa, Claus Schätzle, Andreas Podelski Ultimate Automizer with Two-track Proofs - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Aleksandar Chakarov, Yuen-Lam Voronin, Sriram Sankaranarayanan Deductive Proofs of Almost Sure Persistence and Recurrence Properties. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kasper Søe Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman JDart: A Dynamic Symbolic Analysis Framework. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Caterina Urban, Arie Gurfinkel, Temesghen Kahsai Synthesizing Ranking Functions from Bits and Pieces. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Karlheinz Friedberger CPA-BAM: Block-Abstraction Memoization with Value Analysis and Predicate Analysis - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rupak Majumdar Robots at the Edge of the Cloud. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Filip Konecný PTIME Computation of Transitive Closures of Octagonal Relations. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tom van Dijk, Jaco van de Pol Multi-core Symbolic Bisimulation Minimisation. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov Faster Statistical Model Checking for Unbounded Temporal Properties. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen Safety-Constrained Reinforcement Learning for MDPs. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniel Neider, Shambwaditya Saha, P. Madhusudan Synthesizing Piece-Wise Functions by Learning Classifiers. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hugues Evrard DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexander Nadel, Vadim Ryvchin Bit-Vector Optimization. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ricardo Almeida, Lukás Holík, Richard Mayr Reduction of Nondeterministic Tree Automata. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Radu Iosif, Adam Rogalewicz, Tomás Vojnar Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luca Compagna, Daniel Ricardo dos Santos, Serena Elisa Ponta, Silvio Ranise Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yaron Velner, Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham Some Complexity Results for Stateful Network Verification. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rajdeep Mukherjee, Michael Tautschnig, Daniel Kroening v2c - A Verilog to C Translator. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin Efficient Syntax-Driven Lumping of Differential Equations. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kedar S. Namjoshi, Richard J. Trefler Parameterized Compositional Model Checking. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Alessandro Abate Safety Verification of Continuous-Space Pure Jump Markov Processes. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pallavi Maiya, Rahul Gupta, Aditya Kanade, Rupak Majumdar Partial Order Reduction for Event-Driven Multi-threaded Programs. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001 Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016). Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Joachim Klein 0001, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller 0001 Advances in Symbolic Probabilistic Model Checking with PRISM. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Herbert O. Rocha, Raimundo S. Barreto, Lucas C. Cordeiro Hunting Memory Bugs in C Programs with Map2Check - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Julien Lange, Nobuko Yoshida Characteristic Formulae for Session Types. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri The xSAP Safety Analysis Platform. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz 0001, Daniel Thoma Runtime Monitoring with Union-Find Structures. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman T2: Temporal Property Verification. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Henning Günther, Alfons Laarman, Georg Weissenbacher Vienna Verification Tool: IC3 for Parallel Software - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Egor George Karpenkov LPI: Software Verification with Local Policy Iteration - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Cédric Favre, Hagen Völzer, Peter Müller 0001 Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets). Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Avanzini, Georg Moser, Michael Schaper TcT: Tyrolean Complexity Tool. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stefan Löwe CPA-RefSel: CPAchecker with Refinement Selection - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhe Chen, Zhemin Wang, Yunlong Zhu, Hongwei Xi, Zhibin Yang Parametric Runtime Verification of C Programs. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan 0001 Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba, Jakob Haahr Taankvist Online and Compositional Learning of Controllers with Application to Floor Heating. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar Run Forester, Run Backwards! - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christof Löding, P. Madhusudan, Daniel Neider Abstract Learning Frameworks for Synthesis. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marsha Chechik, Jean-François Raskin (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jan Friso Groote, Anton Wijs An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michal Kotoun, Petr Peringer, Veronika Soková, Tomás Vojnar Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniel Neider, Ufuk Topcu An Automaton Learning Approach to Solving Safety Games over Infinite Graphs. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marta Kwiatkowska, David Parker 0001, Clemens Wiltsche PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sicun Gao, Damien Zufferey Interpolants in Nonlinear Theories Over the Reals. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Manchun Zheng, John G. Edenhofner, Ziqing Luo, Mitchell J. Gerrard, Michael S. Rogers, Matthew B. Dwyer, Stephen F. Siegel CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marek Chalupa, Martin Jonás, Jiri Slaby, Jan Strejcek, Martina Vitovská Symbiotic 3: New Slicer and Error-Witness Generation - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu 0003 Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Frantisek Blahoudek, Matthias Heizmann, Sven Schewe, Jan Strejcek, Ming-Hsien Tsai Complementing Semi-deterministic Büchi Automata. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad Approaching the Coverability Problem Continuously. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniel Poetzl, Daniel Kroening Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexander Faithfull, Jesper Bengtson, Enrico Tassi, Carst Tankink Coqoon - An IDE for Interactive Proof Development in Coq. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sung-Shik T. Q. Jongmans, Farhad Arbab PrDK: Protocol Programming with Automata. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yuhui Lin, Pierre Le Bras, Gudmund Grov Developing and Debugging Proof Strategies by Tinkering. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Souha Ben Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Olli Saarikivi, Keijo Heljanko LCTD: Tests-Guided Proofs for C Programs on LLVM - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar Probabilistic CTL*: The Deductive Way. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, Sriram Sankaranarayanan Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Radu Calinescu, Kenneth Johnson, Colin Paterson FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexey Bakhirkin, Nir Piterman Finding Recurrent Sets with Backward Analysis and Trace Partitioning. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gudmund Grov, Vytautas Tumas Tactics for the Dafny Program Verifier. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Junkil Park, Miroslav Pajic, Insup Lee, Oleg Sokolsky Scalable Verification of Linear Controller Software. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Constantin Enea, Azadeh Farzan On Atomicity in Presence of Non-atomic Writes. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan Acceleration in Multi-PushDown Systems. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dogan Ulus, Thomas Ferrère, Eugene Asarin, Oded Maler Online Timed Pattern Matching Using Derivatives. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001 Software Verification and Verifiable Witnesses - (Report on SV-COMP 2015). Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan Gardner, Aurora Schmidt, Erik Zawadzki, André Platzer A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicolas Basset, Marta Z. Kwiatkowska, Ufuk Topcu, Clemens Wiltsche Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives. 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
1Shrawan Kumar, 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
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
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
1Caterina Urban FuncTion: An Abstract Domain Functor for Termination - (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
1Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar Nested Antichains for WS1S. 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
1Reng Zeng, Zhuo Sun, Su Liu, Xudong He A Method for Improving the Precision and Coverage of Atomicity Violation Predictions. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud Parallel Explicit Model Checking for Generalized Büchi Automata. 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
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
1Byron Cook, Heidy Khlaaf, Nir Piterman Fairness for Infinite-State Systems. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution). 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
1Thomas Ströder, Cornelius Aschermann, Florian Frohn, Jera Hensel, Jürgen Giesl AProVE: Termination and Memory Safety of C Programs - (Competition Contribution). 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
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
1Yann Thierry-Mieg Symbolic Model-Checking Using ITS-Tools. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ocan Sankur Symbolic Quantitative Robustness Analysis of Timed Automata. 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
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
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
1Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta HyComp: An SMT-Based Model Checker for Hybrid Systems. 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
1Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar Forester: Shape Analysis Using Tree Automata - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 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 Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license