default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th ATVA 2015: Shanghai, China
- Bernd Finkbeiner, Geguang Pu, Lijun Zhang:
Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Lecture Notes in Computer Science 9364, Springer 2015, ISBN 978-3-319-24952-0 - Joost-Pieter Katoen
:
Probabilistic Programming: A True Verification Challenge. 1-3 - J Strother Moore:
Machines Reasoning About Machines: 2015. 4-13 - Ruud P. J. Koolen, Tim A. C. Willemse, Hans Zantema:
Using SMT for Solving Fragments of Parameterised Boolean Equation Systems. 14-30 - Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar:
Unfolding-Based Process Discovery. 31-47 - Ernst Althaus, Björn Beber, Joschka Kupilas, Christoph Scholl:
Improving Interpolants for Linear Arithmetic. 48-63 - Thibaut Girka, David Mentré, Yann Régis-Gianas:
A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences. 64-79 - Constantin Enea, Mihaela Sighireanu, Zhilin Wu:
On Automated Lemma Generation for Separation Logic with Inductive Definitions. 80-96 - Martin Schäf, Ashish Tiwari:
Severity Levels of Inconsistent Code. 97-113 - Martin Chapman, Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman, Michael Tautschnig:
Learning the Language of Error. 114-130 - Arnd Hartmanns, Holger Hermanns:
Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage. 131-147 - Yue Ben, A. Prasad Sistla:
Model Checking Failure-Prone Open Systems Using Probabilistic Automata. 148-165 - Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál:
Optimal Continuous Time Markov Decisions. 166-182 - Rachel Faran, Orna Kupferman:
Spanning the Spectrum from Safety to Liveness. 183-200 - Noé Hernández, Kerstin Eder, Evgeni Magid, Jesús Savage, David A. Rosenblueth:
Marimba: A Tool for Verifying Properties of Hidden Markov Models. 201-206 - Yongjian Li, Jun Pang, Yi Lv, Dongrui Fan, Shen Cao, Kaiqiang Duan:
ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols. 207-213 - Andrzej Mizera, Jun Pang, Qixia Yuan:
ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks. 214-220 - Mohamed Nassim Seghir, David Aspinall:
EviCheck: Digital Evidence for Android. 221-227 - Vladimir Herdt, Hoang Minh Le, Daniel Große, Rolf Drechsler:
Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules. 228-233 - Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos:
A Contextual Equivalence Checker for IMJ ∗. 234-240 - Thomas Ferrère, Oded Maler, Dejan Nickovic:
Trace Diagnostics Using Temporal Implicants. 241-258 - Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa:
Test Case Generation of Actor Systems. 259-275 - Rachel Tzoref-Brill, Shahar Maoz:
Lattice-Based Semantics for Combinatorial Model Evolution. 276-292 - Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh:
Effective Verification of Replicated Data Types Using Later Appearance Records (LAR). 293-308 - Chao Wang, Yi Lv, Peng Wu:
TSO-to-TSO Linearizability Is Undecidable. 309-325 - Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang:
Formal Verification of Infinite-State BIP Models. 326-343 - Habib Saissi, Péter Bokor, Neeraj Suri:
PBMC: Symbolic Slicing for the Verification of Concurrent Programs. 344-360 - Steen Vester:
On the Complexity of Model-Checking Branching and Alternating-Time Temporal Logics in One-Counter Systems. 361-377 - Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard:
Hierarchical Information Patterns and Distributed Strategy Synthesis. 378-393 - Roderick Bloem, Rüdiger Ehlers, Robert Könighofer:
Cooperative Reactive Synthesis. 394-410 - Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos:
Game Semantic Analysis of Equivalence in IMJ. 411-428 - Paul Hunter, Guillermo A. Pérez, Jean-François Raskin:
Looking at Mean-Payoff Through Foggy Windows. 429-445 - Chuchu Fan, Sayan Mitra:
Bounded Verification with On-the-Fly Discrepancy Computation. 446-463 - Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle:
Formal Verification of Simulink/Stateflow Diagrams. 464-481 - Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, Naijun Zhan:
Decidability of the Reachability for a Family of Linear Vector Fields. 482-499 - Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski, Oded Maler:
Stochastic Local Search for Falsification of Hybrid Systems. 500-517
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-12-12 01:06 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:
