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 51 matches
- 2020
- Hao Wu, Joseph Timoney:
Verifying OCL Operational Contracts via SMT-based Synthesising. MODELSWARD 2020: 249-259 - Pascal André, Mohammed El Amin Tebib:
Refining Automation System Control with MDE. MODELSWARD 2020: 425-432 - Mohammad Z. Anjum, Silvana Togneri MacMahon, Fergal McCaffery:
Development of Health Software using Behaviour Driven Development - BDD. MODELSWARD 2020: 149-157 - Erika Rizzo Aquino, Pierre de Saqui-Sannes, Rob A. Vingerhoeds:
A Methodological Assistant for Use Case Diagrams. MODELSWARD 2020: 227-236 - Davide Arcelli:
Towards a Generalized Queuing Network Model for Self-adaptive Software Systems. MODELSWARD 2020: 457-464 - Shaun Azzopardi, Christian Colombo, Gordon J. Pace:
A Technique for Automata-based Verification with Residual Reasoning. MODELSWARD 2020: 237-248 - Shaun Azzopardi, Christian Colombo, Gordon J. Pace:
CLARVA: Model-based Residual Verification of Java Programs. MODELSWARD 2020: 352-359 - Don S. Batory, Najd Altoyan:
Aocl : A Pure-Java Constraint and Transformation Language for MDE. MODELSWARD 2020: 319-327 - Karima Berramla, El Abbassia Deba, Jiechen Wu, Houari A. Sahraoui, Abou El Hassan Benyamina:
Model Transformation by Example with Statistical Machine Translation. MODELSWARD 2020: 76-83 - Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler:
Integer Overflow Detection in Hardware Designs at the Specification Level. MODELSWARD 2020: 41-48 - Anila Sahar Butt, Nicholas J. Car, Peter Fitch:
Towards Ontology Driven Provenance in Scientific Workflow Engine. MODELSWARD 2020: 105-115 - Georgiana Caltais, Stefan Leue, Hargurbir Singh:
Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela. MODELSWARD 2020: 360-372 - Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth:
Model-to-Model Transformations for Efficient Time-domain Verification of Concurrent Models by NuSMV Modules. MODELSWARD 2020: 287-298 - Walmir Oliveira Couto, Emerson Cordeiro Morais, Marcos Didonet Del Fabro:
Classifying Unstructured Models into Metamodels using Multi Layer Perceptrons. MODELSWARD 2020: 271-278 - Said Daoudagh, Eda Marchetti:
Defining Controlled Experiments Inside the Access Control Environment. MODELSWARD 2020: 167-176 - Surafel Demissie, Frank Keenan, Róisín Loughran, Fergal McCaffery:
Improving Multi-domain Stakeholder Communication of Embedded Safety-critical Development using Agile Practices: Expert Review. MODELSWARD 2020: 49-56 - Christophe Duhil, Jean-Philippe Babau, Eric Lépicier, Jean-Luc Voirin, Juan F. Navas:
Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink. MODELSWARD 2020: 279-286 - Christoph Etzel, Florian Hofhammer, Bernhard Bauer:
Towards Metrics for Analyzing System Architectures Modeled with EAST-ADL. MODELSWARD 2020: 441-448 - Joachim Fischer, Birger Møller-Pedersen, Andreas Prinz:
Real Models are Really on M0 - Or How to Make Programmers Use Modeling. MODELSWARD 2020: 307-318 - Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace:
Themulus: A Timed Contract-calculus. MODELSWARD 2020: 193-204 - Daniela Genius, Ilias Bournias, Ludovic Apvrille, Roselyne Chotin:
High-level Partitioning and Design Space Exploration for Cyber Physical Systems. MODELSWARD 2020: 84-91 - Sébastien Gérard:
About Synergies between Model-based Engineering and Artificial Intelligence. MODELSWARD 2020: 9 - Giancarlo Guizzardi:
Conceptual Models as Ontological Contracts. MODELSWARD 2020: 5 - Noël Hagemann, Reinhard Pröll, Bernhard Bauer:
Towards Abstract Test Execution in Early Stages of Model-driven Software Development. MODELSWARD 2020: 216-226 - Knut Hinkelmann, Emanuele Laurenzi, Andreas Martin, Devid Montecchiari, Maja Spahic, Barbara Thönssen:
ArchiMEO: A Standardized Enterprise Ontology based on the ArchiMate Conceptual Model. MODELSWARD 2020: 417-424 - Lars Huning, Padma Iyenghar, Elke Pulvermüller:
A UML Profile for Automatic Code Generation of Optimistic Graceful Degradation Features at the Application Level. MODELSWARD 2020: 336-343 - Padma Iyenghar, Lars Huning, Elke Pulvermüller:
Early Synthesis of Timing Models in AUTOSAR-based Automotive Embedded Software Systems. MODELSWARD 2020: 26-38 - Sven Jacobitz, Xiaobo Liu-Henke:
The Seamless Low-cost Development Platform LoRra for Model based Systems Engineering. MODELSWARD 2020: 57-64 - Ivan Jovanovikj, Enes Yigitbas, Stefan Sauer, Gregor Engels:
Concept-based Co-migration of Test Cases. MODELSWARD 2020: 449-456 - Stefan Kapferer, Olaf Zimmermann:
Domain-specific Language and Tools for Strategic Domain-driven Design, Context Mapping and Bounded Context Modeling. MODELSWARD 2020: 299-306
skipping 21 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 14:52 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