default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID24th TACAS 2018: Thessaloniki, Greece (Part of ETAPS 2018)
- Dirk Beyer, Marieke Huisman
:
Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II. Lecture Notes in Computer Science 10806, Springer 2018, ISBN 978-3-319-89962-6
Concurrent and Distributed Systems
- Philipp J. Meyer, Javier Esparza, Hagen Völzer:
Computing the Concurrency Threshold of Sound Free-Choice Workflow Nets. 3-19 - Peter Chini, Roland Meyer, Prakash Saivasan:
Fine-Grained Complexity of Safety Verification. 20-37 - A. R. Balasubramanian, Nathalie Bertrand, Nicolas Markey:
Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks. 38-54 - Cristian Mattarei, Clark W. Barrett, Shu-yu Guo, Bradley Nelson, Ben Smith:
EMME: A Formal Tool for ECMAScript Memory Model Evaluation. 55-71
SAT and SMT II
- Marijn J. H. Heule, Armin Biere:
What a Difference a Variable Makes. 75-92 - Radu Iosif, Xiao Xu:
Abstraction Refinement for Emptiness Checking of Alternating Data Automata. 93-111 - Andrew Reynolds, Haniel Barbosa, Pascal Fontaine:
Revisiting Enumerative Instantiation. 112-131 - Pierre Roux, Mohamed Iguernlala, Sylvain Conchon:
A Non-linear Arithmetic Procedure for Control-Command Software Verification. 132-151
Security and Reactive Systems
- Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. 155-175 - Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen:
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts. 176-193 - Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties. 194-200 - Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis:
The Refinement Calculus of Reactive Systems Toolset. 201-208
Static and Dynamic Program Analysis
- Lina Marsso, Radu Mateescu, Wendelin Serwe:
TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation. 211-228 - Stavros Aronis, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas:
Optimal Dynamic Partial Order Reduction with Observers. 229-248 - Elena Sherman, Matthew B. Dwyer:
Structurally Defined Conditional Data-Flow Static Analysis. 249-265 - Jan Leike, Matthias Heizmann:
Geometric Nontermination Arguments. 266-283
Hybrid and Stochastic Systems
- Stefan Schupp, Erika Ábrahám:
Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis. 287-302 - Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus:
AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic. 303-319 - Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann:
Multi-cost Bounded Reachability in MDP. 320-339 - Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards:
A Statistical Model Checker for Nondeterminism and Rare Events. 340-358
Temporal Logic and Mu-calculus
- Daniel Hausmann, Lutz Schröder, Hans-Peter Deifel:
Permutation Games for the Weakly Aconjunctive \mu μ -Calculus. 361-378 - Kedar S. Namjoshi, Richard J. Trefler:
Symmetry Reduction for the Local Mu-Calculus. 379-395 - Luca Bortolussi, Simone Silvetti:
Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models. 396-413
7th Competition on Software Verification (SV-COMP)
- Viktor Malík, Stefan Marticek, Peter Schrammel, Mandayam K. Srivas, Tomás Vojnar, Johanan Wahlang:
2LS: Memory Safety and Non-termination - (Competition Contribution). 417-421 - Liangze Yin, Wei Dong, Wanwei Liu, Yunchou Li, Ji Wang:
YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution). 422-426 - Pavel S. Andrianov, Vadim S. Mutilin, Mikhail U. Mandrykin, Anton A. Vasilyev:
CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis - (Competition Contribution). 427-431 - Zhao Duan, Cong Tian, Zhenhua Duan, C.-H. Luke Ong:
InterpChecker: Reducing State Space via Interpolations - (Competition Contribution). 432-436 - Rafael Menezes, Herbert Rocha, Lucas C. Cordeiro, Raimundo S. Barreto:
Map2Check Using LLVM and KLEE - (Competition Contribution). 437-441 - Marek Chalupa, Martina Vitovská, Jan Strejcek:
SYMBIOTIC 5: Boosted Instrumentation - (Competition Contribution). 442-446 - Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski:
Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). 447-451 - Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler:
Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). 452-456 - Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basak Chowdhury, R. Venkatesh, Advaita Datar, Raveendra Kumar Medicherla:
VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution). 457-462
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 2025-11-14 22:36 CET 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:
