default search action
27th TACAS@ETAPS 2021: Luxembourg
- Jan Friso Groote
, Kim Guldstrand Larsen
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I. Lecture Notes in Computer Science 12651, Springer 2021, ISBN 978-3-030-72015-5
Game Theory
- Benjamin Bisping
A Game for Linear-time-Branching-time Spectroscopy. 3-19 - Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi:
On Satisficing in Quantitative Games. 20-37 - Daniel Hausmann
Quasipolynomial Computation of Nested Fixpoints. 38-56
SMT Verification
- Seulkee Baek, Mario Carneiro, Marijn J. H. Heule:
A Flexible Proof Format for SAT Solver-Elaborator Communication. 59-75 - Randal E. Bryant, Marijn J. H. Heule:
Generating Extended Resolution Proofs with a BDD-Based SAT Solver. 76-93 - Tzu-Han Hsu
Bounded Model Checking for Hyperproperties. 94-112 - Makai Mann
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays. 113-132 - Muhammad Osama
SAT Solving with GPU Accelerated Inprocessing. 133-151 - Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Inês Lynce, Ruben Martins:
FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions. 152-169
Probabilities
- Jip Spel
Finding Provably Optimal Markov Chains. 173-190 - Roman Andriushchenko
Inductive Synthesis for Probabilistic Programs Reaches New Horizons. 191-209 - Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf:
Analysis of Markov Jump Processes under Terminal Constraints. 210-229 - Tim Quatmann
Multi-objective Optimization of Long-run Average and Total Rewards. 230-249 - Fabian Meyer
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes. 250-269 - Anjiang Wei, Pu Yi, Tao Xie, Darko Marinov, Wing Lam:
Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests. 270-287
Timed Systems
- Jaroslav Bendík
Timed Automata Relaxation for Reachability. 291-310 - Étienne André
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. 311-329 - Konstantinos Mamouras, Agnishom Chattopadhyay
Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring. 330-348
Neural Networks
- Daniel M. Yellin
Synthesizing Context-free Grammars from Recurrent Neural Networks. 351-369 - Andrea Peruffo
Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models. 370-388 - Pengfei Yang
Improving Neural Network Verification through Spurious Region Guided Refinement. 389-408
Analysis of Network Communication
- Stefan Schmid, Nicolas Schnepf, Jirí Srba
Resilient Capacity-Aware Routing. 411-429 - Lei Shi, Yahui Li, Boon Thau Loo, Rajeev Alur:
Network Traffic Classification by Program Synthesis. 430-448 - Rupak Majumdar
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. 449-467
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-11-26 20:32 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: