Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID28th TACAS@ETAPS 2022: Munich, Germany - Part II
- Dana Fisman
, Grigore Rosu:
Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II. Lecture Notes in Computer Science 13244, Springer 2022, ISBN 978-3-030-99526-3
Probabilistic Systems
- Ji Guan, Nengkun Yu:
A Probabilistic Logic for Verifying Continuous-time Markov Chains. 3-21 - Alexander Bork, Joost-Pieter Katoen, Tim Quatmann:
Under-Approximating Expected Total Rewards in POMDPs. 22-40 - Arnd Hartmanns:
Correct Probabilistic Model Checking with Floating-Point Arithmetic. 41-59 - Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Correlated Equilibria and Fairness in Concurrent Stochastic Games. 60-78
Omega Automata
- Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani:
A Direct Symbolic Algorithm for Solving Stochastic Rabin Games. 81-98 - Antonio Casares, Alexandre Duret-Lutz, Klara J. Meyer, Florian Renkin, Salomon Sickert:
Practical Applications of the Alternating Cycle Decomposition. 99-117 - Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková:
Sky Is Not the Limit - Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation. 118-136 - Maurice Laveaux, Wieger Wesselink, Tim A. C. Willemse:
On-The-Fly Solving for Symbolic Parity Games. 137-155
Equivalence Checking
- Fabian Birkmann, Hans-Peter Deifel, Stefan Milius:
Distributed Coalgebraic Partition Refinement. 159-177 - Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos:
From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques. 178-195 - Simon Guilloud, Viktor Kuncak:
Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time. 196-214
Monitoring and Analysis
- Pu Yi, Hao Wang, Tao Xie, Darko Marinov, Wing Lam:
A Theoretical Analysis of Random Regression Test Prioritization. 217-235 - Sheila Zingg, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel:
Verified First-Order Monitoring with Recursive Rules. 236-253 - Ilia Zlatkin, Grigory Fedyukovich:
Maximizing Branch Coverage with Constrained Horn Clauses. 254-272 - Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonás:
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation. 273-291
Tools | Optimizations, Repair and Explainability
- Steffan Christ Sølvsten, Jaco van de Pol, Anna Blume Jakobsen, Mathias Weller Berg Thomasen:
Adiar Binary Decision Diagrams in External Memory. 295-313 - Alnis Murtovi, Alexander Bainczyk, Bernhard Steffen:
Forest GUMP: A Tool for Explanation. 314-331 - Ömer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs:
Alpinist: An Annotation-Aware GPU Program Optimizer. 332-352 - Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo:
Automatic Repair for Network Programs. 353-372
11th Competition on Software Verification: SV-COMP 2022
- Dirk Beyer:
Progress on Software Verification: SV-COMP 2022. 375-402 - Jera Hensel, Constantin Mensendiek, Jürgen Giesl:
AProVE: Non-Termination Witnesses for C Programs - (Competition Contribution). 403-407 - Lei Bu, Zhunyi Xie, Lecheng Lyu, Yichao Li, Xiao Guo, Jianhua Zhao, Xuandong Li:
BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution). 408-412 - Alex Coto, Omar Inverso, Emerson Sales, Emilio Tuosto:
A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution). 413-417 - Hernán Ponce de León, Thomas Haas, Roland Meyer:
Dartagnan: SMT-based Violation Witness Validation (Competition Contribution). 418-423 - Fei He, Zhihang Sun, Hongyu Fan:
Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution). 424-428 - Dirk Beyer, Martin Spiessl:
The Static Analyzer Frama-C in SV-COMP (Competition Contribution). 429-434 - Malte Mues, Falk Howar:
GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution). 435-439 - Will Leeson, Matthew B. Dwyer:
Graves-CPA: A Graph-Attention Verifier Selector (Competition Contribution). 440-445 - Falk Howar, Malte Mues:
GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution). 446-450 - Matthias Kettl, Thomas Lemberger:
The Static Analyzer Infer in SV-COMP (Competition Contribution). 451-456 - Henrich Lauko, Petr Rockai:
LART: Compiled Abstract Execution - (Competition Contribution). 457-461 - Marek Chalupa, Vincent Mihalkovic, Anna Rechtácková, Lukás Zaoral, Jan Strejcek:
Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution). 462-467 - Paulína Ayaziová, Marek Chalupa, Jan Strejcek:
Symbiotic-Witch: A Klee-Based Violation Witness Checker - (Competition Contribution). 468-473 - Zsófia Ádám, Levente Bajczi, Mihály Dobos-Kovács, Ákos Hajdu, Vince Molnár:
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution). 474-478 - Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski:
Ultimate GemCutter and the Axes of Generalization - (Competition Contribution). 479-483 - Tong Wu, Peter Schrammel, Lucas C. Cordeiro:
Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution). 484-489
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-10 21:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
