Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID28th CAV 2016: Toronto, ON, Canada
- Swarat Chaudhuri, Azadeh Farzan:
Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II. Lecture Notes in Computer Science 9780, Springer 2016, ISBN 978-3-319-41539-0
Verification in Practice
- Marco Gario
, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta, Kristin Yvonne Rozier:
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration. 3-22 - Stuart Pernsteiner, Calvin Loncaric, Emina Torlak, Zachary Tatlock, Xi Wang, Michael D. Ernst, Jonathan Jacky:
Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers. 23-41 - Alastair Reid, Rick Chen, Anastasios Deligiannis, David Gilday, David Hoyes, Will Keen, Ashan Pathirane, Owen Shepherd, Peter Vrabel, Ali Zaidi:
End-to-End Verification of Processors with ISA-Formal. 42-58 - Fengwei Xu, Ming Fu, Xinyu Feng, Xiaoran Zhang, Hui Zhang, Zhaohui Li:
A Practical Verification Framework for Preemptive OS Kernels. 59-79 - Mark Santolucito, Ennan Zhai, Ruzica Piskac:
Probabilistic Automated Language Learning for Configuration Files. 80-87
Concurrency
- Yu-Fang Chen, Lei Song, Zhilin Wu:
The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach. 91-111 - Anthony W. Lin, Philipp Rümmer:
Liveness of Randomised Parameterised Systems under Arbitrary Schedulers. 112-133 - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson:
Stateless Model Checking for POWER. 134-156 - Dmitry Chistikov, Rupak Majumdar, Filip Niksic:
Hitting Families of Schedules for Asynchronous Programs. 157-176 - Vladimir Herdt, Hoang Minh Le, Daniel Große, Rolf Drechsler:
ParCoSS: Efficient Parallelized Compiled Symbolic Simulation. 177-183
Constraint Solving II
- Zhoulai Fu, Zhendong Su:
XSat: A Fast Floating-Point Satisfiability Solver. 187-209 - Samuel Drews, Aws Albarghouthi:
Effectively Propositional Interpolants. 210-229 - Przemyslaw Daca, Thomas A. Henzinger, Andrey Kupriyanov:
Array Folds Logic. 230-248
Automata and Games
- Rajeev Alur, Salar Moarref, Ufuk Topcu:
Compositional Synthesis of Reactive Controllers for Multi-agent Systems. 251-269 - Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero:
Solving Parity Games via Priority Promotion. 270-290 - Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang:
A Simple Algorithm for Solving Qualitative Probabilistic Parity Games. 291-311 - Salomon Sickert, Javier Esparza, Stefan Jaax, Jan Kretínský:
Limit-Deterministic Büchi Automata for Linear Temporal Logic. 312-332 - Rüdiger Ehlers, Vasumathi Raman:
Slugs: Extensible GR(1) Synthesis. 333-339
Synthesis II
- Hassan Eldib, Meng Wu, Chao Wang:
Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits. 343-363 - Alexander Legg, Nina Narodytska, Leonid Ryzhyk:
A SAT-Based Counterexample Guided Method for Unbounded Synthesis. 364-382 - Loris D'Antoni, Roopsha Samanta, Rishabh Singh:
Qlose: Program Repair with Quantitative Objectives. 383-401 - Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi:
BDD-Based Boolean Functional Synthesis. 402-421 - Herbert Jordan, Bernhard Scholz, Pavle Subotic:
Soufflé: On Synthesis of Program Analyzers. 422-430
Model Checking II
- Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina:
Property Directed Equivalence via Abstract Simulation. 433-453 - Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager:
Combining Model Learning and Model Checking to Analyze TCP Implementations. 454-471 - Anton Wijs:
BFS-Based Model Checking of Linear-Time Properties with an Application on GPUs. 472-493 - Michele Sevegnani, Muffy Calder:
BigraphER: Rewriting and Analysis Engine for Bigraphs. 494-501 - Dirk Beyer, Matthias Dangl:
Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses. 502-509 - Adrien Champion, Alain Mebsout, Christoph Sticksel, Cesare Tinelli:
The Kind 2 Model Checker. 510-517
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-04-30 20:58 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:
