Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 34 matches
- 2020
- Dirk Beyer, Martin Spiessl:
MetaVal: Witness Validation via Verification. CAV (2) 2020: 165-177 - Shaull Almagor, Orna Kupferman:
Good-Enough Synthesis. CAV (2) 2020: 541-563 - Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer:
PrIC3: Property Directed Reachability for MDPs. CAV (2) 2020: 512-538 - Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens:
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft. CAV (2) 2020: 28-39 - Hugo Bazille, Blaise Genest, Cyrille Jégourel, Jun Sun:
Global PAC Bounds for Learning Discrete Time Markov Chains. CAV (2) 2020: 304-326 - Frantisek Blahoudek, Tomás Brázdil, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu:
Qualitative Controller Synthesis for Consumption Markov Decision Processes. CAV (2) 2020: 421-447 - Frantisek Blahoudek, Alexandre Duret-Lutz, Jan Strejcek:
Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization. CAV (2) 2020: 15-27 - Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kucera, Philipp J. Meyer:
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling. CAV (2) 2020: 372-397 - James Brotherston, Diana Costa, Aquinas Hobor, John Wickerson:
Reasoning over Permissions Regions in Concurrent Separation Logic. CAV (2) 2020: 203-224 - Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler:
Stochastic Games with Lexicographic Reachability-Safety Objectives. CAV (2) 2020: 398-420 - Yanju Chen, Chenglong Wang, Osbert Bastani, Isil Dillig, Yu Feng:
Program Synthesis Using Deduction-Guided Reinforcement Learning. CAV (2) 2020: 587-610 - Loris D'Antoni, Martin Helfrich, Jan Kretínský, Emanuel Ramneantu, Maximilian Weininger:
Automata Tutor v3. CAV (2) 2020: 3-14 - Claire Dross, Johannes Kanig:
Recursive Data Structures in SPARK. CAV (2) 2020: 178-189 - Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan:
Unbounded-Time Safety Verification of Stochastic Differential Dynamics. CAV (2) 2020: 327-348 - Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL. CAV (2) 2020: 64-76 - Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup:
Realizing ømega-regular Hyperproperties. CAV (2) 2020: 40-63 - Jacob Van Geffen, Luke Nelson, Isil Dillig, Xi Wang, Emina Torlak:
Synthesizing JIT Compilers for In-Kernel DSLs. CAV (2) 2020: 564-586 - Priyanka Golia, Subhajit Roy, Kuldeep S. Meel:
Manthan: A Data-Driven Approach for Boolean Function Synthesis. CAV (2) 2020: 611-633 - Kiran Gopinathan, Ilya Sergey:
Certifying Certainty and Uncertainty in Approximate Membership Query Structures. CAV (2) 2020: 279-303 - Arnd Hartmanns, Benjamin Lucien Kaminski:
Optimistic Value Iteration. CAV (2) 2020: 488-511 - Vasileios Klimis, George Parisis, Bernhard Reus:
Towards Model Checking Real-World Software-Defined Networks. CAV (2) 2020: 126-148 - Hari Govind Vediramana Krishnan, Yuting Chen, Sharon Shoham, Arie Gurfinkel:
Global Guidance for Local Generalization in Model Checking. CAV (2) 2020: 101-125 - Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan:
Decidable Synthesis of Programs with Uninterpreted Functions. CAV (2) 2020: 634-657 - Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. CAV (2) 2020: 475-487 - Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani:
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems. CAV (2) 2020: 461-474 - Kenneth L. McMillan, Oded Padon:
Ivy: A Multi-modal Verification Tool for Distributed Algorithms. CAV (2) 2020: 190-202 - Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo:
Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games. CAV (2) 2020: 349-371 - Azalea Raad, Josh Berdine, Hoang-Hai Dang, Derek Dreyer, Peter W. O'Hearn, Jules Villard:
Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic. CAV (2) 2020: 225-252 - Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan:
STMC: Statistical Model Checker with Stratified and Antithetic Sampling. CAV (2) 2020: 448-460 - Bat-Chen Rothenberg, Orna Grumberg:
Must Fault Localization for Program Repair. CAV (2) 2020: 658-680
skipping 4 more matches
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-04-24 11:21 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint