Остановите войну!
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 25 matches
- 2013
- Andreas Abel, Allon Adir, Torsten Blochwitz, Lev Greenberg, Tamer Salman:
Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors. Haifa Verification Conference 2013: 182-198 - Sunha Ahn, Sharad Malik:
Modeling Firmware as Service Functions and Its Application to Test Generation. Haifa Verification Conference 2013: 61-77 - Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein:
Domain Types: Abstract-Domain Selection Based on Variable Usage. Haifa Verification Conference 2013: 262-278 - Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Online Testing of LTL Properties for Java Code. Haifa Verification Conference 2013: 95-111 - Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, Mitsuharu Yamamoto:
Modbat: A Model-Based API Tester for Event-Driven Systems. Haifa Verification Conference 2013: 112-128 - Shoham Ben-David, Hana Chockler, Orna Kupferman:
Attention-Based Coverage Metrics. Haifa Verification Conference 2013: 230-245 - Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron A. Peled, Jean Quilbeuf:
Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. Haifa Verification Conference 2013: 344-358 - Marco Bozzano, Alessandro Cimatti, Cristian Mattarei:
Efficient Analysis of Reliability Architectures via Predicate Abstraction. Haifa Verification Conference 2013: 279-294 - Hana Chockler, Dmitry Pidan, Sitvanit Ruah:
Improving Representative Computation in ExpliSAT. Haifa Verification Conference 2013: 359-364 - Maciej J. Ciesielski, Walter Brown, André Rossi:
Arithmetic Bit-Level Verification Using Network Flow Model. Haifa Verification Conference 2013: 327-343 - Michael Codish, Yoav Fekete, Amit Metodi:
Backbones for Equality. Haifa Verification Conference 2013: 1-14 - Wisam Kadry, Anatoly Koyfman, Dmitry Krestyashyn, Shimon Landa, Amir Nahir, Vitali Sokhin:
Improving Post-silicon Validation Efficiency by Using Pre-generated Data. Haifa Verification Conference 2013: 166-181 - Gal Katz, Doron A. Peled:
Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming. Haifa Verification Conference 2013: 246-261 - Tuomas Kuismin, Keijo Heljanko:
Increasing Confidence in Liveness Model Checking Results with Proofs. Haifa Verification Conference 2013: 32-43 - Tim Lange, Martin R. Neuhäußer, Thomas Noll:
Speeding Up the Safety Verification of Programmable Logic Controller Code. Haifa Verification Conference 2013: 44-60 - Guodong Li, Indradeep Ghosh:
PASS: String Solving with Parameterized Array and Interval Automaton. Haifa Verification Conference 2013: 15-31 - Guodong Li, Indradeep Ghosh:
Lazy Symbolic Execution through Abstraction and Sub-space Search. Haifa Verification Conference 2013: 295-310 - Jörg Pfähler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif:
Formal Specification of an Erase Block Management Layer for Flash Memory. Haifa Verification Conference 2013: 214-229 - Tali Rabetti, Ronny Morad, Alex Goryachev, Wisam Kadry, Richard D. Peterson:
SLAM: SLice And Merge - Effective Test Generation for Large Systems. Haifa Verification Conference 2013: 151-165 - Emmanuel Sifakis, Laurent Mounier:
Predictive Taint Analysis for Extended Testing of Parallel Executions. Haifa Verification Conference 2013: 129-144 - Sabrina von Styp, Liyong Yu:
Symbolic Model-Based Testing for Industrial Automation Software. Haifa Verification Conference 2013: 78-94 - Tao Su, John Lyle, Andrea S. Atzeni, Shamal Faily, Habib Virji, Christos Ntanos, Christos Botsikas:
Continuous Integration for Web-Based Software Infrastructures: Lessons Learned on the webinos Project. Haifa Verification Conference 2013: 145-150 - Oleg Travkin, Annika Mütze, Heike Wehrheim:
SPIN as a Linearizability Checker under Weak Memory Models. Haifa Verification Conference 2013: 311-326 - Anand Yeolekar, Divyesh Unadkat:
Assertion Checking Using Dynamic Inference. Haifa Verification Conference 2013: 199-213 - Valeria Bertacco, Axel Legay:
Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings. Lecture Notes in Computer Science 8244, Springer 2013, ISBN 978-3-319-03076-0 [contents]
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-05-03 09:29 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