Остановите войну!
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 41 matches
- 2008
- Gogul Balakrishnan, Malay K. Ganai:
PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes. SEFM 2008: 268-278 - Gilles Barthe, César Kunz, David Pichardie, Julián Samborski-Forlese:
Preservation of Proof Pbligations for Hybrid Verification Methods. SEFM 2008: 127-136 - Puneet Bhateja, Madhavan Mukund:
Tagging Make Local Testing of Message-Passing Systems Feasible. SEFM 2008: 171-180 - Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão:
A Generalized Model-Based Test Generation Method. SEFM 2008: 139-148 - Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta:
Object Models with Temporal Constraints. SEFM 2008: 249-258 - Agostino Cortesi:
Widening Operators for Abstract Interpretation. SEFM 2008: 31-40 - Simplice Djoko Djoko, Rémi Douence, Pascal Fradet:
Specialized Aspect Languages Preserving Classes of Properties. SEFM 2008: 227-236 - Stefan Edelkamp, Damian Sulewski:
Flash-Efficient LTL Model Checking with Minimal Counterexamples. SEFM 2008: 73-82 - Pietro Ferrara:
Static Analysis of the Determinism of Multithreaded Programs. SEFM 2008: 41-50 - Martin Fränzle, Michael R. Hansen:
Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations. SEFM 2008: 63-72 - Kurt Geihs, Philipp A. Baer, Roland Reichle, Jens Wollenhaupt:
Ontology-Based Automatic Model Transformations. SEFM 2008: 387-391 - Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar:
Restricted Broadcast Process Theory. SEFM 2008: 345-354 - Roberto Giacobazzi:
Abstract Interpretation in Code Security. SEFM 2008: 3 - Roberto Giacobazzi:
Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking. SEFM 2008: 7-18 - Christoph Gladisch:
Verification-Based Test Case Generation for Full Feasible Branch Coverage. SEFM 2008: 159-168 - Valentin Goranko, Dmitry Shkatov:
Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge. SEFM 2008: 237-246 - Bo Guo, Mahadevan Subramaniam:
Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover. SEFM 2008: 335-344 - Youcef Hammal:
Behavioral Compatibility of Active Components. SEFM 2008: 372-376 - Henri Hansen, Jaco Geldenhuys:
Cheap and Small Counterexamples. SEFM 2008: 53-62 - Peter Höfner, Ridha Khédri, Bernhard Möller:
Algebraic View Reconciliation. SEFM 2008: 85-94 - Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke:
Modeling Component Connectors: Synchronisation and Context-Dependency. SEFM 2008: 303-312 - Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff:
Specification-Based Testing for Software Product Lines. SEFM 2008: 149-158 - Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro:
Bridging the Gap between Interaction- and Process-Oriented Choreographies. SEFM 2008: 323-332 - Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez:
Extending Stream X-Machines to Specify and Test Systems with Timeouts. SEFM 2008: 201-210 - Marcel Vinícius Medeiros Oliveira, Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro:
CRefine: Support for the Circus Refinement Calculus. SEFM 2008: 281-290 - Alexander K. Petrenko, Olga L. Petrenko:
Formal Methods and Innovation Economy: Facing New Challenges. SEFM 2008: 367-371 - Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin:
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets. SEFM 2008: 259-267 - Sophie Quinton, Susanne Graf:
Contract-Based Verification of Hierarchical Systems of Components. SEFM 2008: 377-381 - Markus Roggenbach:
Tools for CSP. SEFM 2008: 213-214 - Rimvydas Ruksenas, Paul Curzon, Ann Blandford:
Modelling Rational User Behaviour as Games between an Angel and a Demon. SEFM 2008: 355-364
skipping 11 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-24 13:22 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