Остановите войну!
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 65 matches
- 2012
- Jan Hoffmann, Klaus Aehlig, Martin Hofmann:
Resource Aware ML. CAV 2012: 781-786 - Aws Albarghouthi, Yi Li, Arie Gurfinkel, Marsha Chechik:
Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification. CAV 2012: 672-678 - Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina:
SAFARI: SMT-Based Abstraction for Arrays with Interpolants. CAV 2012: 679-685 - Stephan Arlt, Martin Schäf:
Joogie: Infeasible Code Detection for Java. CAV 2012: 767-773 - Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell:
Recent Developments in FDR. CAV 2012: 699-704 - Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal:
Detecting Fair Non-termination in Multithreaded Programs. CAV 2012: 210-226 - David Benqué, Sam Bourton, Caitlin Cockerton, Byron Cook, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Alex S. Taylor, Moshe Y. Vardi:
Bma: Visual Tool for Modeling and Analyzing Biological Networks. CAV 2012: 686-692 - Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph M. Wintersteiger:
Diagnosing Abstraction Failure for Separation Logic-Based Analyses. CAV 2012: 155-173 - Rastislav Bodík, Emina Torlak:
Synthesizing Programs with Constraint Solvers. CAV 2012: 3 - Sergiy Bogomolov, Goran Frehse, Radu Grosu, Hamed Ladan, Andreas Podelski, Martin Wehrle:
A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx. CAV 2012: 479-494 - Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Naiyong Jin, Jean-François Raskin:
Acacia+, a Tool for LTL Synthesis. CAV 2012: 652-657 - Aaron R. Bradley:
IC3 and beyond: Incremental, Inductive Verification. CAV 2012: 4 - Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný:
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. CAV 2012: 23-38 - Marc Brockschmidt, Richard Musiol, Carsten Otto, Jürgen Giesl:
Automated Termination Proofs for Java Programs with Cyclic Data. CAV 2012: 105-122 - Swarat Chaudhuri, Armando Solar-Lezama:
Euler: A System for Numerical Optimization of Programs. CAV 2012: 732-737 - Yu-Fang Chen, Bow-Yaw Wang:
Learning Boolean Functions Incrementally. CAV 2012: 55-70 - Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois C. Knoll:
MGSyn: Automatic Synthesis for Industrial Automation. CAV 2012: 658-664 - Duc-Hiep Chu, Joxan Jaffar:
A Complete Method for Symmetry Reduction in Safety Verification. CAV 2012: 616-633 - Alessandro Cimatti, Raffaele Corvino, Armando Lazzaro, Iman Narasamdya, Tiziana Rizzo, Marco Roveri, Angela Sanseviero, Andrei Tchaltsev:
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System. CAV 2012: 378-393 - Alessandro Cimatti, Alberto Griggio:
Software Model Checking via IC3. CAV 2012: 277-293 - Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi:
Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper. CAV 2012: 718-724 - David L. Dill:
Model Checking Cell Biology. CAV 2012: 2 - Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Alex Aiken:
Minimum Satisfying Assignments for SMT. CAV 2012: 394-409 - Evan Driscoll, Aditya V. Thakur, Thomas W. Reps:
OpenNWA: A Nested-Word Automaton Library. CAV 2012: 665-671 - Rüdiger Ehlers:
ACTL ∩ LTL Synthesis. CAV 2012: 39-54 - Javier Esparza, Andreas Gaiser, Stefan Kiefer:
Proving Termination of Probabilistic Programs Using Patterns. CAV 2012: 123-138 - Matthew Fredrikson, Richard Joiner, Somesh Jha, Thomas W. Reps, Phillip A. Porras, Hassen Saïdi, Vinod Yegneswaran:
Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement. CAV 2012: 548-563 - Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Maria Mateescu, Ali Sezgin:
Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits. CAV 2012: 294-309 - Shibashis Guha, Chinmay Narayan, S. Arun-Kumar:
On Decidability of Prebisimulation for Timed Automata. CAV 2012: 444-461 - Matthew Hague, Anthony Widjaja Lin:
Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters. CAV 2012: 260-276
skipping 35 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 13:46 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