Tools and Algorithms for Construction and Analysis of Systems
TACAS
A
CORE rank
CORE rank (raw)
A
Fields of research
Software Engineering
Papers indexed
1,576
1995–2026
Papers per year
199577 peak2026
Most published authors
TACAS papers
1,576 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2010 | Satisfiability Modulo the Theory of Costs: Foundations and Applications. | Alessandro Cimatti, Anders Franzn, Alberto Griggio, Roberto Sebastiani, Cristian Stenico |
| 2010 | Statistical Measurement of Information Leakage. | Konstantinos Chatzikokolakis, Tom Chothia, Apratim Guha |
| 2010 | AlPiNA: An Algebraic Petri Net Analyzer. | Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi |
| 2010 | The OpenSMT Solver. | Roberto Bruttomesso, Edgar Pek, Natasha Sharygina, Aliaksei Tsitovich |
| 2010 | JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. | Axel Belinfante |
| 2010 | On Weak Modal Compatibility, Refinement, and the MIO Workbench. | Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker |
| 2010 | Boom: Taking Boolean Program Model Checking One Step Further. | Grard Basler, Matthew Hague, Daniel Kroening, C.-H. Luke Ong, Thomas Wahl, Haoxian Zhao |
| 2010 | An Alternative to SAT-Based Approaches for Bit-Vectors. | Sbastien Bardin, Philippe Herrmann, Florian Perroud |
| 2010 | Preemption Sealing for Efficient Concurrency Testing. | Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer |
| 2010 | ACS: Automatic Converter Synthesis for SoC Bus Protocols. | Karin Avnit, Arcot Sowmya, Jorgen Peddersen |
| 2010 | Computing the Leakage of Information-Hiding Systems. | Miguel E. Andrs, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith |
| 2010 | Automated Termination Analysis for Programs with Second-Order Recursion. | Markus Aderhold |
| 2010 | When Simulation Meets Antichains. | Parosh Aziz Abdulla, Yu-Fang Chen, Luks Holk, Richard Mayr, Toms Vojnar |
| 2009 | Symbolic String Verification: Combining String Analysis and Size Analysis. | Fang Yu, Tevfik Bultan, Oscar H. Ibarra |
| 2009 | Transition-Based Directed Model Checking. | Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski |
| 2009 | Inferring Synchronization under Limited Observability. | Martin T. Vechev, Eran Yahav, Greta Yorsh |
| 2009 | Test Input Generation for Programs with Pointers. | Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens |
| 2009 | Hierarchical Set Decision Diagrams and Regular Models. | Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon |
| 2009 | Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints. | Christoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid |
| 2009 | Falsification of LTL Safety Properties in Hybrid Systems. | Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi |
| 2009 | Static Analysis Techniques for Parameterised Boolean Equation Systems. | Simona Orzan, Wieger Wesselink, Tim A. C. Willemse |
| 2009 | The YogiProject: Software Property Checking via Static Analysis and Testing. | Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur |
| 2009 | Satisfiability Procedures for Combination of Theories Sharing Integer Offsets. | Enrica Nicolini, Christophe Ringeissen, Michal Rusinowitch |
| 2009 | Memoised Garbage Collection for Software Model Checking. | Viet Yen Nguyen, Theo C. Ruys |
| 2009 | ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets. | Elina Pacini Naumovich, Simona Bernardi, Marco Gribaudo |
1,001–1,025 of 1,576← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems