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 |
|---|---|---|
| 2023 | Inferring Needless Write Memory Accesses on Ethereum Bytecode. | Elvira Albert, Jess Correas, Pablo Gordillo, Guillermo Romn-Dez, Albert Rubio |
| 2023 | A Matrix-Based Approach to Parity Games. | Saksham Aggarwal, Alejandro Stuckey de la Banda, Luke Yang, Julian Gutierrez |
| 2023 | Optimal Stateless Model Checking for Causal Consistency. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, S. Krishna, Ashutosh Gupta, Omkar Tuppe |
| 2023 | Parameterized Verification under TSO with Data Types. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Amit Godbole, Yacoub G. Hendi, Shankara Narayanan Krishna, Stephan Spengler |
| 2022 | Maximizing Branch Coverage with Constrained Horn Clauses. | Ilia Zlatkin, Grigory Fedyukovich |
| 2022 | Verified First-Order Monitoring with Recursive Rules. | Sheila Zingg, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel |
| 2022 | A Theoretical Analysis of Random Regression Test Prioritization. | Pu Yi, Hao Wang, Tao Xie, Darko Marinov, Wing Lam |
| 2022 | Efficient Neural Network Analysis with Sum-of-Infeasibilities. | Haoze Wu, Aleksandar Zeljic, Guy Katz, Clark W. Barrett |
| 2022 | Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution). | Tong Wu, Peter Schrammel, Lucas C. Cordeiro |
| 2022 | Verifying Fortran Programs with CIVL. | Wenhao Wu, Jan Hckelheim, Paul D. Hovland, Stephen F. Siegel |
| 2022 | A New Approach for Active Automata Learning Based on Apartness. | Frits W. Vaandrager, Bharat Garhewal, Jurriaan Rot, Thorsten Wimann |
| 2022 | HOLL: Program Synthesis for Higher Order Logic Locking. | Gourav Takhar, Ramesh Karri, Christian Pilato, Subhajit Roy |
| 2022 | NeuReach: Learning Reachability Functions from Simulations. | Dawei Sun, Sayan Mitra |
| 2022 | Adiar Binary Decision Diagrams in External Memory. | Steffan Christ Slvsten, Jaco van de Pol, Anna Blume Jakobsen, Mathias Weller Berg Thomasen |
| 2022 | Automatic Repair for Network Programs. | Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo |
| 2022 | Alpinist: An Annotation-Aware GPU Program Optimizer. | mer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs |
| 2022 | Moving Definition Variables in Quantified Boolean Formulas. | Joseph E. Reeves, Marijn J. H. Heule, Randal E. Bryant |
| 2022 | Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic. | Ritam Raha, Rajarshi Roy, Nathanal Fijalkow, Daniel Neider |
| 2022 | MaskD: A Tool for Measuring Masking Fault-Tolerance. | Luciano Putruele, Ramiro Demasi, Pablo F. Castro, Pedro R. D'Argenio |
| 2022 | Automated Translation of Natural Language Requirements to Runtime Monitors. | Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou |
| 2022 | LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions. | Brandon Paulsen, Chao Wang |
| 2022 | Synthesis of Compact Strategies for Coordination Programs. | Kedar S. Namjoshi, Nisarg Patel |
| 2022 | Forest GUMP: A Tool for Explanation. | Alnis Murtovi, Alexander Bainczyk, Bernhard Steffen |
| 2022 | GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution). | Malte Mues, Falk Howar |
| 2022 | ZDD Boolean Synthesis. | Yi Lin, Lucas M. Tabajara, Moshe Y. Vardi |
276–300 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