default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISoLA 2018: Limassol, Cyprus
- Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II. Lecture Notes in Computer Science 11245, Springer 2018, ISBN 978-3-030-03420-7
A Broader View on Verification: From Static to Runtime and Back
- Wolfgang Ahrendt, Marieke Huisman
, Giles Reger, Kristin Yvonne Rozier:
A Broader View on Verification: From Static to Runtime and Back (Track Summary). 3-7 - Borzoo Bonakdarpour, César Sánchez, Gerardo Schneider:
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification. 8-27 - Dana Fisman, Hillel Kugler:
Temporal Reasoning on Incomplete Paths. 28-52 - Bernhard Beckert, Mihai Herda, Stefan Kobischke, Mattias Ulbrich:
Towards a Notion of Coverage for Incomplete Program-Correctness Proofs. 53-63 - Jan H. Boockmann, Gerald Lüttgen, Jan Tobias Mühlberg:
Generating Inductive Shape Predicates for Runtime Checking and Formal Verification. 64-74 - Fonenantsoa Maurica, David R. Cok, Julien Signoles:
Runtime Assertion Checking and Static Verification: Collaborative Partners. 75-91 - Xiaohong Chen, Grigore Rosu:
A Language-Independent Program Verification Framework. 92-102 - Ankush Desai, Shaz Qadeer, Sanjit A. Seshia:
Programming Safe Robotics Systems: Challenges and Advances. 103-119 - Falk Howar, Dimitra Giannakopoulou, Malte Mues, Jorge A. Navas:
Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring. 120-136
Evaluating Tools for Software Verification
- Markus Schordan, Dirk Beyer, Stephen F. Siegel:
Evaluating Tools for Software Verification (Track Introduction). 139-143 - Dirk Beyer, Matthias Dangl:
Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach. 144-159 - Ziqing Luo, Stephen F. Siegel:
Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges. 160-178 - Pei-Hung Lin, Chunhua Liao, Markus Schordan, Ian Karlin:
Runtime and Memory Evaluation of Data Race Detection Tools. 179-196 - Dirk Beyer, Karlheinz Friedberger:
In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching. 197-215 - Denis Efremov, Mikhail U. Mandrykin, Alexey V. Khoroshilov:
Deductive Verification of Unmodified Linux Kernel Library Functions. 216-234 - Marc Jasper, Bernhard Steffen:
Synthesizing Subtle Bugs with Known Witnesses. 235-257
Statistical Model Checking
- Kim Guldstrand Larsen, Axel Legay:
Statistical Model Checking the 2018 Edition! 261-270 - Lei Bu, Doron Peled, Dashuan Shen, Yael Tzirulnikov:
Chasing Errors Using Biasing Automata. 271-286 - Cyrille Jégourel, Jun Sun, Jin Song Dong:
On the Sequential Massart Algorithm for Statistical Model Checking. 287-304 - Stefan Puch, Martin Fränzle, Sebastian Gerwinn:
Quantitative Risk Assessment of Safety-Critical Systems via Guided Simulation for Rare Events. 305-321 - Pranav Ashok, Tomás Brázdil, Jan Kretínský, Ondrej Slámecka:
Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes. 322-335 - Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards:
Lightweight Statistical Model Checking in Nondeterministic Continuous Time. 336-353 - Shiraj Arora, Axel Legay, Tania Richmond, Louis-Marie Traonouez:
Statistical Model Checking of Incomplete Stochastic Systems. 354-371 - Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia:
Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC - Experience and Outlook. 372-391 - Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem:
Mitigating Security Risks Through Attack Strategies Exploration. 392-413 - Josef Strnadel:
Statistical Model Checking of Processor Systems in Various Interrupt Scenarios. 414-429
RERS 2018
- Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar:
RERS 2018: CTL, LTL, and Reachability. 433-447
Doctoral Symposium
- Anna-Lena Lamprecht:
Track Introduction - Doctoral Symposium 2018. 451-456 - Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu:
Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking. 457-476 - Georgios V. Pitsiladis, Petros S. Stefaneas:
Implementation of Privacy Calculus and Its Type Checking in Maude. 477-493
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-01-06 01:44 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:
