TACAS - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 1483

2024

Explainable Online Monitoring of Metric First-Order Temporal LogicLeonardo Lima 0001, Jonathan Julián Huerta y Munive, Dmitriy Traytel. TACAS 2024: 288-307 [doi]

On Dependent Variables in Reactive SynthesisS. Akshay 0001, Eliyahu Basa, Supratik Chakraborty, Dror Fried. TACAS 2024: 123-143 [doi]

Z3-Noodler: An Automata-based String SolverYu-Fang Chen 0001, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc. TACAS 2024: 24-33 [doi]

Weakest Precondition Inference for Non-Deterministic Linear Array ProgramsSumanth Prabhu 0001, Deepak D'Souza, Supratik Chakraborty, R. Venkatesh 0001, Grigory Fedyukovich. TACAS 2024: 175-195 [doi]

State of the Art in Software Verification and Witness Validation: SV-COMP 2024Dirk Beyer 0001. TACAS 2024: 299-329 [doi]

Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational DomainsLukas Westhofen 0001, Christian Neurohr, Jean Christoph Jung, Daniel Neider. TACAS 2024: 167-187 [doi]

A Parallel and Distributed Quantum SAT Solver Based on Entanglement and TeleportationShang-Wei Lin 0001, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sanán, Yon Shin Teo. TACAS 2024: 363-382 [doi]

Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model CheckingMuhammad Osama 0003, Anton Wijs. TACAS 2024: 23-43 [doi]

Pareto Curves for Compositionally Model Checking String Diagrams of MDPsKazuki Watanabe 0003, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges. TACAS 2024: 279-298 [doi]

Training for Verification: Increasing Neuron Stability to Scale DNN VerificationDong Xu 0021, Nusrat Jahan Mozumder, Hai Duong, Matthew B. Dwyer. TACAS 2024: 24-44 [doi]

Verification under TSO with an infinite Data DomainParosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Shashwat Garg. TACAS 2024: 276-295 [doi]

JPF: From 2003 to 2023Cyrille Artho, Pavel Parízek, Daohan Qu, Varadraj Galgali, Pu (Luke) Yi. TACAS 2024: 3-22 [doi]

Auction-Based SchedulingGuy Avni, Kaushik Mallik, Suman Sadhukhan. TACAS 2024: 153-172 [doi]

Witch 3: Validation of Violation Witnesses in the Witness Format 2.0 - (Competition Contribution)Paulína Ayaziová, Jan Strejcek. TACAS 2024: 341-346 [doi]

CTMCs with Imprecisely Timed ObservationsThom S. Badings, Matthias Volk 0001, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen 0001. TACAS 2024: 258-278 [doi]

CPAchecker 2.3 with Strategy Selection - (Competition Contribution)Daniel Baier, Dirk Beyer 0001, Po-Chun Chien, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger 0002, Marian Lingsch Rosenfeld, Martin Spiessl, Henrik Wachowitz, Philipp Wendler. TACAS 2024: 359-364 [doi]

ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution)Levente Bajczi, Zsófia Ádám, Zoltán Micskei. TACAS 2024: 330-334 [doi]

Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution)Levente Bajczi, Csanád Telbisz, Márk Somorjai, Zsófia Ádám, Mihály Dobos-Kovács, Dániel Szekeres, Milán Mondok, Vince Molnár. TACAS 2024: 412-417 [doi]

EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution)Levente Bajczi, Dániel Szekeres, Milán Mondok, Zsófia Ádám, Márk Somorjai, Csanád Telbisz, Mihály Dobos-Kovács, Vince Molnár. TACAS 2024: 371-375 [doi]

Formally Verifying an Efficient SorterBernhard Beckert, Peter Sanders 0001, Mattias Ulbrich, Julian Wiesler, Sascha Witt. TACAS 2024: 268-287 [doi]

Automated Software Verification of HyperlivenessRaven Beutner. TACAS 2024: 196-216 [doi]

Asynchronous Subtyping by Trace RelaxationLaura Bocchi, Andy King, Maurizio Murgia 0001. TACAS 2024: 207-226 [doi]

Learning Explainable and Better Performing Representations of POMDP StrategiesAlexander Bork, Debraj Chakraborty 0002, Kush Grover, Jan Kretínský, Stefanie Mohr. TACAS 2024: 299-319 [doi]

Dissipative quadratizations of polynomial ODE systemsYubo Cai, Gleb Pogudin. TACAS 2024: 323-342 [doi]

Bubaak-SpLit: Split what you cannot verify (Competition contribution)Marek Chalupa, Cedric Richter. TACAS 2024: 353-358 [doi]

CPV: A Circuit-Based Program VerifierPo-Chun Chien, Nian-Ze Lee. TACAS 2024: 365-370 [doi]

Mata: A Fast and Simple Finite Automata LibraryDavid Chocholatý, Tomás Fiedor, Vojtech Havlena, Lukás Holík, Martin Hruska, Ondrej Lengál, Juraj Síc. TACAS 2024: 130-151 [doi]

TaSSAT: Transfer and Share SATMd. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule. TACAS 2024: 34-42 [doi]

Automate where Automation Fails: Proof Strategies for Frama-C/WPLoïc Correnson, Allan Blanchard, Adel Djoudi, Nikolai Kosmatov. TACAS 2024: 331-339 [doi]

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive SynthesisMatthias Cosler, Christopher Hahn, Ayham Omar, Frederik Schmitt. TACAS 2024: 45-67 [doi]

Deciding Boolean Separation Logic via Small ModelsTomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger. TACAS 2024: 188-206 [doi]

On-The-Fly Algorithm for Reachability in Parametric Timed GamesMikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol. TACAS 2024: 194-212 [doi]

Scalable Tree-based Register Automata LearningSimon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson 0001, Konstantinos Sagonas, Fredrik Tåquist. TACAS 2024: 87-108 [doi]

Fully Generalized Reactivity(1) SynthesisRüdiger Ehlers, Ayrat Khalimov 0003. TACAS 2024: 83-102 [doi]

DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic TheoriesNick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes. TACAS 2024: 3-23 [doi]

Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIIBernd Finkbeiner, Laura Kovács, editors, Volume 14572 of Lecture Notes in Computer Science, Springer, 2024. [doi]

Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IBernd Finkbeiner, Laura Kovács, editors, Volume 14570 of Lecture Notes in Computer Science, Springer, 2024. [doi]

Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIBernd Finkbeiner, Laura Kovács, editors, Volume 14571 of Lecture Notes in Computer Science, Springer, 2024. [doi]

Happy Ending: An Empty Hexagon in Every Set of 30 PointsMarijn J. H. Heule, Manfred Scheucher. TACAS 2024: 61-80 [doi]

A State-of-the-Art Karp-Miller Algorithm Certified in CoqThibault Hilaire, David Ilcinkas, Jérôme Leroux. TACAS 2024: 370-389 [doi]

OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in RustNils Husung, Clemens Dubslaff, Holger Hermanns, Maximilian A. Köhl. TACAS 2024: 255-275 [doi]

Fast Symbolic Computation of Bottom SCCsAnna Blume Jakobsen, Rasmus Skibdahl Melanchton Jørgensen, Jaco van de Pol, Andreas Pavlogiannis. TACAS 2024: 110-128 [doi]

Forward and Backward Constrained Bisimulations for Quantum CircuitsAntonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski. TACAS 2024: 343-362 [doi]

Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution - (Competition Contribution)Martin Jonás, Kristián Kumor, Jakub Novák, Jindrich Sedlácek, Marek Trtík, Lukás Zaoral, Paulína Ayaziová, Jan Strejcek. TACAS 2024: 406-411 [doi]

Gray-Box Fuzzing via Gradient Descent and Boolean Expression CoverageMartin Jonás, Jan Strejcek, Marek Trtík, Lukás Urban. TACAS 2024: 90-109 [doi]

Speculative SAT Modulo SATHari Govind V. K., Isabel Garcia-Contreras, Sharon Shoham, Arie Gurfinkel. TACAS 2024: 43-60 [doi]

CESAR: Control Envelope Synthesis via Angelic RefinementsAditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer. TACAS 2024: 144-164 [doi]

SootUp: A Redesign of the Soot Static Analysis FrameworkKadiray Karakaya, Stefan Schott, Jonas Klauke, Eric Bodden, Markus Schmidt, Linghui Luo, Dongjie He. TACAS 2024: 229-247 [doi]

Enhancing GenMC's Usability and PerformanceMichalis Kokologiannakis, Rupak Majumdar, Viktor Vafeiadis. TACAS 2024: 66-84 [doi]

Small Test Suites for Active Automata LearningLoes Kruger, Sebastian Junges, Jurriaan Rot. TACAS 2024: 109-129 [doi]

Towards Safe Autonomous Driving: Model Checking a Behavior Planner during DevelopmentLukas König, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Küperkoch, Dennis Fassbender, Michael Hanselmann. TACAS 2024: 44-65 [doi]

IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOLHanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds 0001, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli. TACAS 2024: 311-330 [doi]

SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution)Nils Loose, Felix Mächtle, Florian Sieck, Thomas Eisenbarth 0001. TACAS 2024: 399-405 [doi]

Rabin Games and Colourful Universal TreesRupak Majumdar, Irmak Saglam, K. S. Thejaswini. TACAS 2024: 213-231 [doi]

ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution)Rafael Sá Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro. TACAS 2024: 376-380 [doi]

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov ChainsHannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler. TACAS 2024: 237-257 [doi]

PROTON: PRObes for Termination Or Not (Competition Contribution)Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh 0001, Supratik Chakraborty. TACAS 2024: 393-398 [doi]

Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution)Raphaël Monat, Marco Milanese, Francesco Parolini, Jérôme Boillot, Abdelraouf Ouadjaout, Antoine Miné. TACAS 2024: 387-392 [doi]

Most General Winning Secure Equilibria Synthesis in Graph GamesSatya Prakash Nayak, Anne-Kathrin Schmuck. TACAS 2024: 173-193 [doi]

A Logical Treatment of Finite AutomataNishant Rodrigues, Mircea Sebe, Xiaohong Chen 0002, Grigore Rosu. TACAS 2024: 350-369 [doi]

Goblint Validator: Correctness Witness Validation by Abstract Interpretation - (Competition Contribution)Simmo Saan, Julian Erhard, Michael Schwarz 0007, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl. TACAS 2024: 335-340 [doi]

Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution)Simmo Saan, Julian Erhard, Michael Schwarz 0007, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl. TACAS 2024: 381-386 [doi]

Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution)Frank Schüssele, Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Xinyu Jiang, Dominik Klumpp, Andreas Podelski. TACAS 2024: 418-423 [doi]

Decidable Verification under Localized Release-Acquire ConcurrencyAbhishek Kr Singh, Ori Lahav 0001. TACAS 2024: 235-254 [doi]

Accelerated Bounded Model Checking Using Interpolation Based SummariesMayank Solanki, Prantik Chatterjee, Akash Lal, Subhajit Roy 0001. TACAS 2024: 155-174 [doi]

Formally verified asymptotic consensus in robust networksMohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou. TACAS 2024: 248-267 [doi]

VeSCMul: Verified Implementation of S-C-Rewriting for Multiplier VerificationMertcan Temel. TACAS 2024: 340-349 [doi]

sc HaliVer: Deductive Verification and Scheduling Languages Join ForcesLars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand. TACAS 2024: 71-89 [doi]

Knor: reactive synthesis using OinkTom van Dijk, Feije van Abbema, Naum Tomov. TACAS 2024: 103-122 [doi]

AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution)Zhen Wang, Zhenbang Chen. TACAS 2024: 347-352 [doi]

Provable Preimage Under-Approximation for Neural NetworksXiyue Zhang, Benjie Wang, Marta Kwiatkowska. TACAS 2024: 3-23 [doi]

A Comprehensive Specification and Verification of the L4 Microkernel APILeping Zhang, Yongwang Zhao, Jianxin Li. TACAS 2024: 217-234 [doi]

Btor2-Cert: A Certifying Hardware-Verification Framework Using Software AnalyzersZsófia Ádám, Dirk Beyer 0001, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg. TACAS 2024: 129-149 [doi]

2023

Inferring Needless Write Memory Accesses on Ethereum BytecodeElvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio. TACAS 2023: 448-466 [doi]

EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution)Fatimah Aljaafari, Fedor Shmarov, Edoardo Manino, Rafael Menezes, Lucas C. Cordeiro. TACAS 2023: 541-546 [doi]

Stack-Aware HyperpropertiesAli Bajwa, Minjian Zhang 0002, Rohit Chadha, Mahesh Viswanathan 0001. TACAS 2023: 308-325 [doi]

Towards Formal XAI: Formally Approximate Minimal Explanations of Neural NetworksShahaf Bassan, Guy Katz. TACAS 2023: 187-207 [doi]

Verified reductions for optimizationAlexander Bentkamp, Ramon Fernández Mir, Jeremy Avigad. TACAS 2023: 74-92 [doi]

Multiparty Session Typing in Java, DeductivelyJelle Bouma, Stijn de Gouw, Sung-Shik Jongmans. TACAS 2023: 19-27 [doi]

Acacia-Bonsai: A Modern Implementation of Downset-Based LTL RealizabilityMichaël Cadilhac, Guillermo A. Pérez 0001. TACAS 2023: 192-207 [doi]

A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic SystemsKrishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic. TACAS 2023: 3-25 [doi]

Specifying and Verifying Higher-order Rust IteratorsXavier Denis, Jacques-Henri Jourdan. TACAS 2023: 93-110 [doi]

Antichains Algorithms for the Inclusion Problem Between ømega-VPLKyveli Doveri, Pierre Ganty, Luka Hadzi-Dokic. TACAS 2023: 290-307 [doi]

Korn - Software Verification with Horn Clauses (Competition Contribution)Gidon Ernst. TACAS 2023: 559-564 [doi]

WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal VerificationWenji Fang, Hongce Zhang. TACAS 2023: 11-18 [doi]

Active Learning for SAT Solver BenchmarkingTobias Fuchs, Jakob Bach, Markus Iser. TACAS 2023: 407-425 [doi]

Taming Large Bounds in Synthesis from Bounded-Liveness SpecificationsPhilippe Heim, Rayna Dimitrova. TACAS 2023: 251-269 [doi]

ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF SolvingMaximilian Heisinger, Martina Seidl, Armin Biere. TACAS 2023: 426-447 [doi]

Feature Necessity & Relevancy in ML Classifier ExplanationsXuanxiang Huang, Martin C. Cooper, António Morgado 0001, Jordi Planes, João Marques-Silva 0001. TACAS 2023: 167-186 [doi]

Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution)Soha Hussein, Qiuchen Yan, Stephen McCamant, Vaibhav Sharma, Michael W. Whalen. TACAS 2023: 553-558 [doi]

Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable VerificationNouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni 0001, Roopsha Samanta. TACAS 2023: 289-308 [doi]

CoPTIC: Constraint Programming Translated Into CMartin Mariusz Lester. TACAS 2023: 173-191 [doi]

Correct Approximation of Stationary DistributionsTobias Meggendorfer. TACAS 2023: 489-507 [doi]

The WhyRel Prototype for Modular Relational Verification of Pointer ProgramsRamana Nagasamudram, Anindya Banerjee 0001, David A. Naumann. TACAS 2023: 133-151 [doi]

Symbolic Model Checking for TLA+ Made FasterRodrigo Otoni, Igor Konnov 0001, Jure Kukovec, Patrick Eugster, Natasha Sharygina. TACAS 2023: 126-144 [doi]

A Formal CHERI-C Semantics for VerificationSeung-Hoon Park, Rekha R. Pai, Tom Melham. TACAS 2023: 549-568 [doi]

Timed Automata Verification and Synthesis via Finite Automata LearningOcan Sankur. TACAS 2023: 329-349 [doi]

Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov AlgorithmYahui Song, Wei-Ngan Chin. TACAS 2023: 569-587 [doi]

PyLTA: A Verification Tool for Parameterized Distributed AlgorithmsBastien Thomas, Ocan Sankur. TACAS 2023: 28-35 [doi]

Extending a High-Performance Prover to Higher-Order LogicPetar Vukmirovic, Jasmin Blanchette, Stephan Schulz 0001. TACAS 2023: 111-129 [doi]

Links

Filter by Year

[-]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

TACAS (TACAS)

Viewing Publication 1 - 100 from 1483

2024

2023

Links

Filter by Year [-]OR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

TACAS (TACAS)

Viewing Publication 1 - 100 from 1483

2024

2023

Filter by Year

[-]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1