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 |
|---|---|---|
| 2017 | Efficient Certified Resolution Proof Checking. | Lus Cruz-Filipe, Joo Marques-Silva, Peter Schneider-Kamp |
| 2017 | Precise Widening Operators for Proving Termination by Abstract Interpretation. | Nathanal Courant, Caterina Urban |
| 2017 | Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. | Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani |
| 2017 | VeriAbs: Verification by Abstraction (Competition Contribution). | Bharti Chimdyalwar, Priyanka Darke, Avriti Chauhan, Punit Shah, Shrawan Kumar, R. Venkatesh |
| 2017 | autoCode4: Structural Controller Synthesis. | Chih-Hong Cheng, Edward A. Lee, Harald Ruess |
| 2017 | Directed Automated Memory Performance Testing. | Sudipta Chattopadhyay |
| 2017 | Symbiotic 4: Beyond Reachability - (Competition Contribution). | Marek Chalupa, Martina Vitovsk, Martin Jons, Jiri Slaby, Jan Strejcek |
| 2017 | Interpolation-Based GR(1) Assumptions Refinement. | Davide G. Cavezza, Dalal Alrajeh |
| 2017 | Skink: Static Analysis of Programs in LLVM Intermediate Representation - (Competition Contribution). | Franck Cassez, Anthony M. Sloane, Matthew Roberts, Matthew Pigram, Pongsak Suvanpong, Pablo Gonzlez de Aledo Marugn |
| 2017 | ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2017 | Long-Run Rewards for Markov Automata. | Yuliya Butkova, Ralf Wimmer, Holger Hermanns |
| 2017 | JANI: Quantitative Model and Tool Interaction. | Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini |
| 2017 | Rewriting-Based Runtime Verification for Alternation-Free HyperLTL. | Noel Brett, Umair Siddique, Borzoo Bonakdarpour |
| 2017 | Proving Termination Through Conditional Termination. | Cristina Borralleras, Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2017 | Up-To Techniques for Weighted Systems. | Filippo Bonchi, Barbara Knig, Sebastian Kpper |
| 2017 | Counterexample-Guided Refinement of Template Polyhedra. | Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger |
| 2017 | RPP: Automatic Proof of Relational Properties by Self-composition. | Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto |
| 2017 | Software Verification with Validation of Results - (Report on SV-COMP 2017). | Dirk Beyer |
| 2017 | Almost Event-Rate Independent Monitoring of Metric Temporal Logic. | David A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel |
| 2017 | Congruence Closure with Free Variables. | Haniel Barbosa, Pascal Fontaine, Andrew Reynolds |
| 2017 | Rigorous Simulation-Based Analysis of Linear Hybrid Systems. | Stanley Bak, Parasara Sridhar Duggirala |
| 2017 | Maximizing the Conditional Expected Reward for Reaching the Goal. | Christel Baier, Joachim Klein, Sascha Klppelholz, Sascha Wunderlich |
| 2017 | Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults. | Guy Avni, Shubham Goel, Thomas A. Henzinger, Guillermo Rodrguez-Navas |
| 2017 | The Automatic Detection of Token Structures and Invariants Using SAT Checking. | Pedro R. G. Antonino, Thomas Gibson-Robinson, A. W. Roscoe |
| 2017 | CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution). | Pavel S. Andrianov, Karlheinz Friedberger, Mikhail U. Mandrykin, Vadim S. Mutilin, Anton Volkov |
626–650 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