dblp: MODELS 2020 (original) (raw)

default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches
• 

Venues:

• no matches
• 

Publications:

• no matches
• 

23rd MODELS 2020: Virtual Event, Canada

• 

• 

• 

• 

• 
  jump to

  • MDE process support
  • Systems engineering
  • Model analysis, query and generation
  • Requirements and variability
  • Behavioural modelling and model transformations
  • Applications: Security, data quality and education

• 

• > Home > Conferences and Workshops > MODELS

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

• 
  • 
  • 
  • 
  • 
    Eugene Syriani, Houari A. Sahraoui, Juan de Lara, Silvia Abrahão:
    MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020. ACM 2020, ISBN 978-1-4503-7019-6

MDE process support

• 
  • 
  • 
  • 
  • 
    Beatriz Sánchez, Dimitris S. Kolovos, Richard F. Paige:
    To build, or not to build: ModelFlow, a build solution for MDE projects. 1-11
• 
  • 
  • 
  • 
  • 
    Dimitris S. Kolovos, Alfonso de la Vega, Justin C. Cooper:
    Efficient generation of graphical model views via lazy model-to-text transformation. 12-23
• 
  • 
  • 
  • 
  • 
    Angela Barriga, Rogardt Heldal, Ludovico Iovino, Magnus Marthinsen, Adrian Rutle:
    An extensible framework for customizable model repair. 24-34
• 
  • 
  • 
  • 
  • 
    Arvid Butting, Jerome Pfeiffer, Bernhard Rumpe, Andreas Wortmann:
    A compositional framework for systematic modeling language reuse. 35-46
• 
  • 
  • 
  • 
  • 
    Gilles Vanwormhoudt, Matthieu Allon, Olivier Caron, Bernard Carré:
    Template based model engineering in UML. 47-56
• 
  • 
  • 
  • 
  • 
    José Antonio Hernández López, Jesús Sánchez Cuadrado:
    MAR: a structure-based search engine for models. 57-67
• 
  • 
  • 
  • 
  • 
    Wael Kessentini, Vahid Alizadeh:
    Interactive metamodel/model co-evolution using unsupervised learning and multi-objective search. 68-78

Systems engineering

• 
  • 
  • 
  • 
  • 
    Imke Drave, Bernhard Rumpe, Andreas Wortmann, Joerg K. Berroth, Gregor Hoepfner, Georg Jacobs, Kathrin Spuetz, Thilo Zerwas, Christian Guist, Jens Kohl:
    Modeling mechanical functional architectures in SysML. 79-89
• 
  • 
  • 
  • 
  • 
    Jörg Christian Kirchhof, Judith Michael, Bernhard Rumpe, Simon Varga, Andreas Wortmann:
    Model-driven digital twin construction: synthesizing the integration of cyber-physical systems with their information systems. 90-101
• 
  • 
  • 
  • 
  • 
    Betty H. C. Cheng, Robert Jared Clark, Jonathon Emil Fleck, Michael Austin Langford, Philip K. McKinley:
    AC-ROS: assurance case driven adaptation for the robot operating system. 102-113
• 
  • 
  • 
  • 
  • 
    Barbara Schütt, Thilo Braun, Stefan Otten, Eric Sax:
    SceML: a graphical modeling framework for scenario-based testing of autonomous vehicles. 114-120
• 
  • 
  • 
  • 
  • 
    Abel Gómez, Markel Iglesias-Urkia, Aitor Urbieta, Jordi Cabot:
    A model-based approach for developing event-driven architectures with AsyncAPI. 121-131
• 
  • 
  • 
  • 
  • 
    Hui Song, Rustem Dautov, Nicolas Ferry, Arnor Solberg, Franck Fleurey:
    Model-based fleet deployment of edge computing applications. 132-142
• 
  • 
  • 
  • 
  • 
    Frikk H. Fossdal, Rogardt Heldal, Jens Dyvik, Adrian Rutle:
    A parametric model for creating customized fabrication machines. 143-153
• 
  • 
  • 
  • 
  • 
    Sophie Wood, Nicholas Matragkas, Dimitris S. Kolovos, Richard F. Paige, Simos Gerasimou:
    Supporting robotic software migration using static analysis and model-driven engineering. 154-164

Model analysis, query and generation

• 
  • 
  • 
  • 
  • 
    Jan Oliver Ringert, Syed Waqee Wali:
    Semantic comparisons of Alloy models. 165-174
• 
  • 
  • 
  • 
  • 
    Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky, Holger Giese:
    A scalable querying scheme for memory-efficient runtime models with history. 175-186
• 
  • 
  • 
  • 
  • 
    Oszkár Semeráth, Aren A. Babikian, Anqi Li, Kristóf Marussy, Dániel Varró:
    Automated generation of consistent models with structural and attribute constraints. 187-199
• 
  • 
  • 
  • 
  • 
    Robert Hackman, Joanne M. Atlee, Alistair Finn Hackett, Michael W. Godfrey:
    _mel_- model extractor language for extracting facts from models. 200-210
• 
  • 
  • 
  • 
  • 
    Frédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour:
    Designing, animating, and verifying partial UML Models. 211-217

Requirements and variability

• 
  • 
  • 
  • 
  • 
    Alvaro Veizaga, Mauricio Alférez, Damiano Torre, Mehrdad Sabetzadeh, Lionel C. Briand, Elene Pitskhelauri:
    Leveraging natural-language requirements for deriving better acceptance criteria from models. 218-228
• 
  • 
  • 
  • 
  • 
    Ana Ivanchikj, Souhaila Serbout, Cesare Pautasso:
    From text to visual BPMN process models: design and evaluation. 229-239
• 
  • 
  • 
  • 
  • 
    Daniel Strüber, Anthony Anjorin, Thorsten Berger:
    Variability representations in class models: an empirical assessment. 240-251
• 
  • 
  • 
  • 
  • 
    Sanaa A. Alwidian, Daniel Amyot:
    "Union is power": analyzing families of goal models using union models. 252-262
• 
  • 
  • 
  • 
  • 
    Robbert Jongeling, Antonio Cicchetti, Federico Ciccozzi, Jan Carlson:
    Co-evolution of simulink models in a model-based product line. 263-273

Behavioural modelling and model transformations

• 
  • 
  • 
  • 
  • 
    Nafiseh Kahani, Mojtaba Bagherzadeh, James R. Cordy:
    Synthesis of state machine models. 274-284
• 
  • 
  • 
  • 
  • 
    Majid Babaei, Mojtaba Bagherzadeh, Juergen Dingel:
    Efficient reordering and replay of execution traces of distributed reactive systems in the context of model-driven development. 285-296
• 
  • 
  • 
  • 
  • 
    Zheng Cheng, Massimo Tisi, Joachim Hotonnier:
    Certifying a rule-based model transformation engine for proof preservation. 297-307
• 
  • 
  • 
  • 
  • 
    Raffaela Groner, Luis Beaucamp, Matthias Tichy, Steffen Becker:
    An exploratory study on performance engineering in model transformations. 308-319
• 
  • 
  • 
  • 
  • 
    Anthony Anjorin, Nils Weidmann, Robin Oppermann, Lars Fritsche, Andy Schürr:
    Automating test schedule generation with domain-specific languages: a configurable, model-driven approach. 320-331

Applications: Security, data quality and education

• 
  • 
  • 
  • 
  • 
    Katja Tuma, Laurens Sion, Riccardo Scandariato, Koen Yskout:
    Automating the early detection of security design flaws. 332-342
• 
  • 
  • 
  • 
  • 
    Thorsten Koch, Stefan Dziwok, Jörg Holtmann, Eric Bodden:
    Scenario-based specification of security protocols and transformation to security model checkers. 343-353
• 
  • 
  • 
  • 
  • 
    Arno Kesper, Viola Wenz, Gabriele Taentzer:
    Detecting quality problems in research data: a model-driven approach. 354-364
• 
  • 
  • 
  • 
  • 
    Weiyi Bian, Omar Alam, Jörg Kienzle:
    Is automated grading of models effective?: assessing automated grading of class diagrams. 365-376
• 
  • 
  • 
  • 
  • 
    Hüseyin Ergin, Wenjun Shi, Herart Dominggus Nurue, Jeff Gray:
    A model-driven alternative to programming in blocks using rule-based transformations. 377-383

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).

load links from unpaywall.org

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).

load content from archive.org

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 .

load data from openalex.org

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.

dblp was originally created in 1993 at:

since 2018, dblp has been operated and maintained by: