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 32 matches
- 2008
- Wil M. P. van der Aalst, Marlon Dumas, Florian Gottschalk, Arthur H. M. ter Hofstede, Marcello La Rosa, Jan Mendling:
Correctness-Preserving Configuration of Business Process Models. FASE 2008: 46-61 - Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel:
Deriving Non-zeno Behavior Models from Goal Models Using ILP. FASE 2008: 1-15 - Yoram Atir, David Harel, Asaf Kleinbort, Shahar Maoz:
Object Composition in Scenario-Based Programming. FASE 2008: 301-316 - Colin Atkinson, Dietmar Stoll:
Orthographic Modeling Environment. FASE 2008: 93-96 - Therese Berg, Bengt Jonsson, Harald Raffelt:
Regular Inference for State Machines Using Domains with Equality Tests. FASE 2008: 317-331 - Dénes Bisztray, Reiko Heckel, Hartmut Ehrig:
Verification of Architectural Refactorings by Rule Extraction. FASE 2008: 347-361 - Laura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec:
Engineering Service Oriented Applications: From StPowla Processes to SRML Models. FASE 2008: 163-178 - Artur Boronat, José Meseguer:
An Algebraic Semantics for MOF. FASE 2008: 377-391 - Juliana Küster Filipe Bowles, Sotiris Moschoyiannis:
When Things Go Wrong: Interrupting Conversations. FASE 2008: 131-145 - Achim D. Brucker, Burkhart Wolff:
HOL-OCL: A Formal Proof Environment for UML/OCL. FASE 2008: 97-100 - Javier Cámara, Gwen Salaün, Carlos Canal:
Clint: A Composition Language Interpreter (Tool Paper). FASE 2008: 423-427 - Gabriel Ciobanu, Maciej Koutny:
Modelling and Verification of Timed Interaction and Migration. FASE 2008: 215-229 - Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens:
What's in a Feature: A Requirements Engineering Perspective. FASE 2008: 16-30 - Subhajit Datta, Robert van Engelen:
COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems. FASE 2008: 332-346 - Jonathan J. Davies, Alastair R. Beresford, Alan Mycroft:
Language-Based Optimisation of Sensor-Driven Distributed Computing Applications. FASE 2008: 407-422 - Giovanni Denaro, Alessandra Gorla, Mauro Pezzè:
Contextual Integration Testing of Classes. FASE 2008: 246-260 - Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel:
Towards Faithful Model Extraction Based on Contexts. FASE 2008: 101-115 - Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange:
Consistent Integration of Models Based on Views of Visual Languages. FASE 2008: 62-76 - Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi:
A Model Checking Approach for Verifying COWS Specifications. FASE 2008: 230-245 - Mikolás Janota, Goetz Botterweck:
Formal Approach to Integrating Feature and Architecture Models. FASE 2008: 31-45 - Jan Jürjens, Jörg Schreck, Yijun Yu:
Automated Analysis of Permission-Based Security Using UMLsec. FASE 2008: 292-295 - Radu Kopetz, Pierre-Etienne Moreau:
Software Quality Improvement Via Pattern Matching. FASE 2008: 296-300 - François Lagarde, Huáscar Espinoza, François Terrier, Charles André, Sébastien Gérard:
Leveraging Patterns on Domain Models to Improve UML Profile Definition. FASE 2008: 116-130 - Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè:
A Formal Framework for Developing Adaptable Service-Based Applications. FASE 2008: 392-406 - Juan de Lara, Hans Vangheluwe:
Translating Model Simulators to Analysis Models. FASE 2008: 77-92 - Tiago Massoni, Rohit Gheyi, Paulo Borba:
Formal Model-Driven Program Refactoring. FASE 2008: 362-376 - Tarek Melliti, Pascal Poizat, Sonia Ben Mokhtar:
Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. FASE 2008: 146-162 - Naouel Moha, Yann-Gaël Guéhéneuc, Anne-Françoise Le Meur, Laurence Duchien:
A Domain Analysis to Specify Design Defects and Generate Detection Algorithms. FASE 2008: 276-291 - Till Mossakowski, Lutz Schröder, Sergey Goncharov:
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. FASE 2008: 199-214 - Fernando Orejas, Hartmut Ehrig, Ulrike Prange:
A Logic of Graph Constraints. FASE 2008: 179-198
skipping 2 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-10-20 16:04 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