Остановите войну!
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
- 2009
- Mithun Acharya, Tao Xie:
Mining API Error-Handling Specifications from Source Code. FASE 2009: 370-384 - Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng:
Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. FASE 2009: 155-170 - Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura:
Formal Specification and Analysis of Timing Properties in Software Systems. FASE 2009: 262-277 - Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt:
Control Dependence for Extended Finite State Machines. FASE 2009: 216-230 - Marco Autili, Paolo Di Benedetto, Paola Inverardi:
Context-Aware Adaptive Services: The PLASTIC Approach. FASE 2009: 124-139 - Artur Boronat, Reiko Heckel, José Meseguer:
Rewriting Logic Semantics and Verification of Model Transformations. FASE 2009: 18-33 - Paolo Bottoni, Esther Guerra, Juan de Lara:
Formal Foundation for Pattern-Based Modelling. FASE 2009: 278-293 - Achim D. Brucker, Burkhart Wolff:
hol-TestGen. FASE 2009: 417-420 - Radu Calinescu, Marta Z. Kwiatkowska:
CADS*: Computer-Aided Development of Self-* Systems. FASE 2009: 421-424 - Shaunak Chatterjee, Sudeep Juvekar, Koushik Sen:
SNIFF: A Search Engine for Java Using Free-Form Queries. FASE 2009: 385-400 - Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D. Stoller:
HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. FASE 2009: 425-439 - Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov:
Cross-Entropy-Based Replay of Concurrent Programs. FASE 2009: 201-215 - Allan Clark, Stephen Gilmore, Mirco Tribastone:
Scalable Analysis of Scalable Systems. FASE 2009: 1-17 - Alexander Fülleborn, Klaus Meffert, Maritta Heisel:
Problem-Oriented Documentation of Design Patterns. FASE 2009: 294-308 - Dimitra Giannakopoulou, Corina S. Pasareanu:
Interface Generation and Compositional Verification in JavaPathfinder. FASE 2009: 94-108 - Kathryn E. Gray, Alan Mycroft:
Logical Testing. FASE 2009: 186-200 - Frank Hermann, Hartmut Ehrig, Claudia Ermel:
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. FASE 2009: 325-339 - Marieke Huisman, Alejandro Tamalet:
A Formal Connection between Security Automata and JML Annotations. FASE 2009: 340-354 - Vilas Jagannath, Yun Young Lee, Brett Daniel, Darko Marinov:
Reducing the Costs of Bounded-Exhaustive Testing. FASE 2009: 171-185 - Erwan Jahier, Nicolas Halbwachs, Pascal Raymond:
Synchronous Modeling and Validation of Priority Inheritance Schedulers. FASE 2009: 140-154 - Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, Gerd Wierse:
Object Flow Definition for Refined Activity Diagrams. FASE 2009: 49-63 - Piotr Kosiuczenko:
On the Implementation of @pre. FASE 2009: 246-261 - Laura Kovács, Andrei Voronkov:
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. FASE 2009: 470-485 - Hillel Kugler, Cory Plock, Amir Pnueli:
Controller Synthesis from LSC Requirements. FASE 2009: 79-93 - K. Rustan M. Leino, Ronald Middelkoop:
Proving Consistency of Pure Methods and Model Fields. FASE 2009: 231-245 - Iman Narasamdya, Michaël Périn:
Certification of Smart-Card Applications in Common Criteria. FASE 2009: 309-324 - Hoan Anh Nguyen, Tung Thanh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. Nguyen:
Accurate and Efficient Structural Characteristic Feature Extraction for Clone Detection. FASE 2009: 440-455 - Jon Oldevik, Øystein Haugen, Birger Møller-Pedersen:
Confluence in Domain-Independent Product Line Transformations. FASE 2009: 34-48 - Vasanth Rajamani, Christine Julien, Jamie Payton, Gruia-Catalin Roman:
Inquiry and Introspection for Non-deterministic Queries in Mobile Networks. FASE 2009: 401-416 - Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter:
A Category-Theoretical Approach to the Formalisation of Version Control in MDE. FASE 2009: 64-78
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-05-31 22:39 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