Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Christoph Scholl 0001, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid |
Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mikhail I. Gofman, Ruiqi Luo, Ayla C. Solomon, Yingbin Zhang, Ping Yang 0002, Scott D. Stoller |
RBAC-PAT: A Policy Analysis Tool for Role Based Access Control. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Saswat Anand, Patrice Godefroid, Nikolai Tillmann |
Demand-Driven Compositional Symbolic Execution. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps |
Interprocedural Analysis of Concurrent Programs Under a Context Bound. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani |
Efficient Interpolant Generation in Satisfiability Modulo Theories. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Edmund M. Clarke, Muralidhar Talupur, Helmut Veith |
Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani |
Automatically Refining Abstract Interpretations. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar |
Computing Simulations over Tree Automata. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Blanc, Daniel Kroening, Natasha Sharygina |
Scoot: A Tool for the Analysis of SystemC Models. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Kupferschmid, Jörg Hoffmann 0001, Kim Guldstrand Larsen |
Fast Directed Model Checking Via Russian Doll Abstraction. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gal Katz, Doron A. Peled |
Model Checking-Based Genetic Programming with an Application to Mutual Exclusion. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Guodong Li, Konrad Slind |
Trusted Source Translation of a Total Function Language. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gordon J. Pace, Gerardo Schneider |
Computation and Visualisation of Phase Portraits for Model Checking SPDIs. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michal Moskal |
Rocket-Fast Proof Checking for SMT Solvers. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hana Chockler, Orna Grumberg, Avi Yadgar |
Efficient Automatic STE Refinement Using Responsibility. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth L. McMillan |
Quantified Invariant Generation Using an Interpolating Saturation Prover. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Yih-Kuen Tsay, Yu-Fang Chen 0001, Ming-Hsien Tsai 0001, Wen-Chin Chan, Chi-Jian Luo |
GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun |
Accelerating Interpolation-Based Model-Checking. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sriram Sankaranarayanan 0001, Thao Dang 0001, Franjo Ivancic |
Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Miguel E. Andrés, Peter van Rossum |
Conditional Probabilities over Probabilistic and Nondeterministic Systems. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Barnat, Lubos Brim, Pavel Simecek, M. Weber |
Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gogul Balakrishnan, Thomas W. Reps |
Analyzing Stripped Device-Driver Executables. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Axel Legay, Andrzej S. Murawski, Joël Ouaknine, James Worrell 0001 |
On Automated Verification of Probabilistic Programs. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Martin De Wulf, Laurent Doyen 0001, Nicolas Maquet, Jean-François Raskin |
Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dana Fisman, Orna Kupferman, Yoad Lustig |
On Verifying Fault Tolerance of Distributed Protocols. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | C. R. Ramakrishnan 0001, Jakob Rehof (eds.) |
Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Mendonça de Moura, Nikolaj S. Bjørner |
Z3: An Efficient SMT Solver. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mayank Saksena, Oskar Wibling, Bengt Jonsson 0001 |
Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Azadeh Farzan, Yu-Fang Chen 0001, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang |
Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Laura Kovács |
Reasoning Algebraically About P-Solvable Loops. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Peter Boonstoppel, Cristian Cadar, Dawson R. Engler |
RWset: Attacking Path Explosion in Constraint-Based Test Generation. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sharad Malik |
Hardware Verification: Techniques, Methodology and Solutions. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans |
On Local Reasoning in Verification. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Salvatore La Torre, P. Madhusudan, Gennaro Parlato |
Context-Bounded Analysis of Concurrent Queue Systems. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Chao Wang 0001, Zijiang Yang 0006, Vineet Kahlon, Aarti Gupta |
Peephole Partial Order Reduction. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Eyad Alkassar, Norbert Schirmer, Artem Starostin |
Formal Pervasive Verification of a Paging Mechanism. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe |
RESY: Requirement Synthesis for Compositional Model Checking. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Wahl, Nicolas Blanc, E. Allen Emerson |
SVISS: Symbolic Verification of Symmetric Systems. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Amir M. Ben-Amram, Michael Codish |
A SAT-Based Approach to Size Change Termination with Global Ranking Functions. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Peter Csaba Ölveczky, José Meseguer 0001 |
The Real-Time Maude Tool. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Adam Bakewell, Dan R. Ghica |
On-the-Fly Techniques for Game-Based Software Model Checking. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Dejvuth Suwimonteerabuth |
SDSIrep: A Reputation System Based on SDSI. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Till Mossakowski, Christian Maeder, Klaus Lüttich |
The Heterogeneous Tool Set, Hets. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu |
State of the Union: Type Inference Via Craig Interpolation. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Emina Torlak, Daniel Jackson 0001 |
Kodkod: A Relational Model Finder. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke |
VCEGAR: Verilog CounterExample Guided Abstraction Refinement. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani |
Abstraction Refinement of Linear Programs with Arrays. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Blom, Jens R. Calamé, Bert Lisser, Simona Orzan, Jun Pang 0001, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs |
Distributed Analysis with mu CRL: A Compendium of Case Studies. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady |
Deciding Bit-Vector Arithmetic with Abstraction. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Zubair Malik, Aman Pervaiz, Sarfraz Khurshid |
Generating Representation Invariants of Structurally Complex Data. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric |
A Reachability Predicate for Analyzing Low-Level Software. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Edith Elkind, Blaise Genest, Doron A. Peled |
Detecting Races in Ensembles of Message Sequence Charts. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Rance Cleaveland |
THERE AND BACK AGAIN: Lessons Learned on the Way to the Market. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Marco Roveri, Stefano Tonetta |
Syntactic Optimizations for PSL Verification. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jacob Illum Rasmussen, Gerd Behrmann, Kim Guldstrand Larsen |
Complexity in Simplicity: Flexible Agent-Based State Space Exploration. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Grégory Batt, Calin Belta, Ron Weiss |
Model Checking Liveness Properties of Genetic Regulatory Networks. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nina Amla, Kenneth L. McMillan |
Combining Abstraction Refinement and SAT-Based Model Checking. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | David Harel, Itai Segall |
Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs, . |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Doyen 0001, Jean-François Raskin |
Improved Algorithms for the Automata-Based Approach to Model-Checking. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Salem Derisavi |
A Symbolic Algorithm for Optimal Markov Chain Lumping. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Orna Grumberg, Michael Huth 0001 (eds.) |
Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Thomas A. Henzinger |
Assume-Guarantee Synthesis. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yih-Kuen Tsay, Yu-Fang Chen 0001, Ming-Hsien Tsai 0001, Kang-Nien Wu, Wen-Chin Chan |
GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Davide D'Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston |
From Time Petri Nets to Timed Automata: An Untimed Approach. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen |
motor: The modestTool Environment. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hillel Kugler, Amir Pnueli, Michael J. Stern, E. Jane Albert Hubbard |
"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu |
A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Pavol Cerný, Swarat Chaudhuri |
Model Checking on Trees with Path Equivalences. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer |
Searching for Shapes in Cryptographic Protocols. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Max Goldman, Shmuel Katz |
MAVEN: Modular Aspect Verification. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Azadeh Farzan, P. Madhusudan |
Causal Dataflow Analysis for Concurrent Programs. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Saswat Anand, Corina S. Pasareanu, Willem Visser |
JPF-SE: A Symbolic Execution Extension to Java PathFinder. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis |
Multi-objective Model Checking of Markov Decision Processes. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Herbreteau, Grégoire Sutre, The Quang Tran |
Unfolding Concurrent Well-Structured Transition Systems. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tingting Han 0001, Joost-Pieter Katoen |
Counterexamples in Probabilistic Model Checking. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli |
Combined Satisfiability Modulo Parametric Theories. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Paritosh K. Pandya, Shankara Narayanan Krishna, Kuntal Loya |
On Sampling Abstraction of Continuous Time Logic with Durations. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Saswat Anand, Alessandro Orso, Mary Jean Harrold |
Type-Dependence Analysis and Program Transformation for Symbolic Execution. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine |
Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems). |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi |
Property-Driven Partitioning for Abstraction Refinement. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler |
Adaptor Synthesis for Real-Time Components. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Cortier, Gavin Keighren, Graham Steel |
Automatic Analysis of the Security of XOR-Based Key Management Schemes. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo F. Frias, Carlos López Pombo, Mariano M. Moscato |
Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu |
Refining Interface Alphabets for Compositional Verification. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sagar Chaki, Ofer Strichman |
Optimized L*-Based Assume-Guarantee Reasoning. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen |
Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Lijun Zhang 0001, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen |
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Condrat, Priyank Kalla |
A Gröbner Basis Approach to CNF-Formulae Preprocessing. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen |
Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann 0001, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann |
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Roman Manevich, Josh Berdine, Byron Cook, G. Ramalingam, Mooly Sagiv |
Shape Analysis by Graph Decomposition. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | K. Rustan M. Leino |
Verifying Object-Oriented Software: Lessons and Challenges. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Wojtczak, Kousha Etessami |
PReMo : An Analyzer for P robabilistic Re cursive Mo dels. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Jurdzinski, François Laroussinie, Jeremy Sproston |
Model Checking Probabilistic Timed Automata with One or Two Clocks. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Florian Horn 0001 |
Faster Algorithms for Finitary Games. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Panagiotis Manolios, Marc Galceran Oms, Sergi Oliva Valls |
Checking Pedigree Consistency with PCS. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
Pedigree Consistency checking, bioinformatics, SAT, computational biology, Boolean satisfiability, genetics |
1 | Magnus O. Myreen, Michael J. C. Gordon |
Hoare Logic for Realistically Modelled Machine Code. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker |
Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Martin Fränzle, Michael R. Hansen |
Deciding an Interval Logic with Accumulated Durations. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
metric-time temporal logic, multi-priced timed automata, Real-time systems, model-checking, decidability |
1 | Alessio Lomuscio, Franco Raimondi |
MCMAS: A Model Checker for Multi-agent Systems. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|