default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th MODELSWARD 2019: Prague, Czech Republic
- Slimane Hammoudi, Luís Ferreira Pires, Bran Selic:
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019. SciTePress 2019, ISBN 978-989-758-358-2
Invited Speakers
- Hans Vangheluwe:
Multi-Paradigm Modelling of Cyber-Physical Systems. MODELSWARD 2019: 5 - Ed Seidewitz:
The Very Model of a Modern Meta-modeler. MODELSWARD 2019: 7
Papers
- Kaan Koseler, Kelsea McGraw, Matthew Stephan:
Realization of a Machine Learning Domain Specific Modeling Language: A Baseball Analytics Case Study. 13-24 - Johannes Schröpfer, Thomas Buchmann
:
Unifying Modeling and Programming with Valkyrie. 25-36 - Hui Zhao, Ludovic Apvrille, Frédéric Mallet:
Meta-models Combination for Reusing Verification Techniques. 37-48 - Vladimir Estivill-Castro, René Hexel:
Resolving the Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour. 49-61 - Aitziber Iglesias, Markel Iglesias-Urkia, Beatriz López-Davalillo, Santiago Charramendieta, Aitor Urbieta:
TRILATERAL: Software Product Line based Multidomain IoT Artifact Generation for Industrial CPS. 62-71 - Bastien Drouot, Joël Champeau:
Model Federation based on Role Modeling. 72-83 - Andrea Enrici, Ludovic Apvrille, Renaud Pacalet:
Efficient Data-Flow Analysis of UML/SysML Diagrams for Optimized Model Compilation of Hardware-software Systems. 84-95 - Mahmoud Husseini Orabi, Ahmed Husseini Orabi, Timothy C. Lethbridge:
Umple as a Template Language (Umple-TL). 96-104 - David Milward:
Model Driven Data Management in Healthcare. 105-116 - Johannes Meier, Heiko Klare, Christian Tunjic, Colin Atkinson, Erik Burger, Ralf Reussner, Andreas Winter:
Single Underlying Models for Projectional, Multi-View Environments. 117-128 - Hendrik Bünder:
Decoupling Language and Editor - The Impact of the Language Server Protocol on Textual Domain-Specific Languages. 129-140 - Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss:
On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers. 141-154 - Sandra Greiner, Bernhard Westfechtel:
Generic Framework for Evaluating Commutativity of Multi-Variant Model Transformations. 155-166 - Christoph Etzel, Bernhard Bauer:
Extending EAST-ADL for Modeling and Analysis of Partitions on Functional Architectures. 167-176 - Olaf Owe, Jia-Chun Lin, Elahe Fazeldehkordi:
A Flexible Framework for Program Evolution and Verification. 177-189 - Benedikt Walter, Jan Martin, Jonathan Schmidt, Hanna Dettki, Stephan Rudolph:
Executable State Machines Derived from Structured Textual Requirements - Connecting Requirements and Formal System Design. 193-200 - Benedikt Walter, Dennis Kaiser, Stephan Rudolph:
From Manual to Machine-executable Model-based Systems Engineering via Graph-based Design Languages. 201-208 - Philipp Lohmüller, Bernhard Bauer:
Software Product Line Engineering for Safety-critical Systems. 209-216 - Heiko Klare, Timur Saglam, Erik Burger, Ralf Reussner:
Applying Metamodel-based Tooling to Object-oriented Code. 217-228 - Jacques Verriet, Lennart Buit, Richard Doornbos, Bas Huijbrechts, Kristina Sevo, Jack Sleuters, Mark Verberkt:
Virtual Prototyping of Large-scale IoT Control Systems using Domain-specific Languages. 229-239 - Matthew Stephan:
Emerging Concepts and Trends in Collaborative Modeling: A Survey. 240-247 - Maurice Theobald, Jérémie Tatibouet:
Using fUML Combined with a DSML: An Implementation using Papyrus UML/SysML Modeler. 248-255 - Pascal André:
Case Studies in Model-Driven Reverse Engineering. 256-263 - Jakub Ondik, Karol Rástocný:
Interactive Visualization of Differences between Software Model Versions. 264-271 - Imke Drave, Robert Eikermann, Oliver Kautz, Bernhard Rumpe:
Semantic Differencing of Statecharts for Object-oriented Systems. 272-280 - Daniel-Cristian Craciunean:
Categorical Modeling Method, Proof of Concept for the Petri Net Language. 281-289 - Fumiya Tanaka, Kenji Hisazumi, Akira Fukuda:
DFEAM: Dynamic Feature-oriented Energy-aware Adaptive Modeling. 290-297 - Francesco Bedini, Ralph Maschotta, Alexander Wichmann, Armin Zimmermann:
Towards Automated fUML Model Verification with Petri Nets. 298-306 - Hongxing Liu, Jiali Sun, Shiyu Wang, Qing Yang, Yonghua Li:
Conceptual Story Modeling and Model-driven Architecture for Story Creation. 307-314 - Adrian Rumpold, Bernhard Bauer:
A Metamodel and Model-based Design Rule Checking DSL for Verification and Validation of Electronic Circuit Designs. 315-322 - Xin Zhao, Jeff Gray:
Design Guidelines for Feature Model Construction: Exploring the Relationship between Feature Model Structure and Structural Complexity. 323-331 - Sarra Roubi:
Towards Applying a Model Driven Approach to Generate Gamified Graphical User Interfaces. 332-336 - El Hadji Bassirou Toure, Ibrahima Fall, Alassane Bah, Mamadou Samba Camara, Mandicou Ba, Ahmad Fall:
A Language-oriented Approach for the Maintenance of Megamodel-based Complex Systems. 337-344 - Andreas Prinz, Alexander Shatalin:
How to Bootstrap a Language Workbench. 345-352 - Naziha Laaz, Samir Mbarki:
OntoIFML: Automatic Generation of Annotated Web Pages from IFML and Ontologies using the MDA Approach: A Case Study of an EMR Management Application. 353-361 - Berk Çirisci, M. Yusa Emek, Ege Sorguç, Kamer Kaya, Hüsnü Yenigün:
Using Synchronizing Heuristics to Construct Homing Sequences. 362-369 - David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon:
An Approach to Design Smart Grids and Their IT System by Cosimulation. 370-377 - Arthur Kühlwein, Sebastian Reiter, Wolfgang Rosenstiel, Oliver Bringmann:
Bridging XML and UML - An Automated Framework. 378-385 - Omair Rafique, Klaus Schneider:
Evaluating OpenCL as a Standard Hardware Abstraction for a Model-based Synthesis Framework: A Case Study. 386-393 - Sangita De, Michael Niklas, Jürgen Mottok, Premek Brada:
A Semantic Analysis of Interface Description Models of Heterogeneous Vehicle Application Frameworks: An Approach Towards Synergy Exploration. 394-401 - Kristof Meixner, Dietmar Winkler, Petr Novák, Stefan Biffl:
Towards Model-driven Verification of Robot Control Code using Abstract Syntax Trees in Production Systems Engineering. 402-409 - Virginia Cid-de-la-Paz, Leticia Morales-Trujillo, J. M. Ramos:
A Practical Medical Experience of Successfully Mixing Model-Driven Paradigm and Business Process Management Principles. 410-416 - Eric J. Rapos, Matthew Stephan:
IML: Towards an Instructional Modeling Language. 417-425 - Gábor Paller, Endri Bezati, Nebojsa Tausan, Gabor Farkas, Gábor Élö:
Dataflow-based Heterogeneous Code Generator for IoT Applications. 426-432 - Daniela Genius, Rodrigo Cortés Porto, Ludovic Apvrille, François Pêcheux:
A Tool for High-level Modeling of Analog/Mixed Signal Embedded Systems. 433-440 - Steve McKeever, Görkem Paçaci, Oscar Bennich-Björkman:
Quantity Checking through Unit of Measurement Libraries, Current Status and Future Directions. 441-447 - Iris Reinhartz-Berger, Anna Zamansky, Agnes Koschmider:
Towards Privacy-aware Software Reuse. 448-453 - Hadas Lapid, Assaf Marron, Smadar Szekely, David Harel:
Using Reactive-System Modeling Techniques to Create Executable Models of Biochemical Pathways. 454-464 - Anila Mjeda, Andrew Butterfield, John Noll:
Business Process Modeling Flexibility: A Formal Interpretation. 465-472 - Luis Galdo Seara, Renata Medeiros de Carvalho:
An Approach for Workflow Improvement based on Outcome and Time Remaining Prediction. 473-480 - Gergely Mezei, Ferenc Attila Somogyi, Zoltán Theisz, Dániel Urbán, Sándor Bácsi:
Towards Mainstream Multi-level Meta-modeling. 481-488 - Sara Gotti, Samir Mbarki:
IFVM Bridge: A Virtual Machine for IFML Models Execution in Combination with Domain Models. 489-494 - Ansgar Radermacher, Shuai Li, Matteo Morelli:
Application Configuration via UML Instance Specifications. 495-502 - Vera Pantelic, Alexander Schaap, Alan Wassyng, Victor Bandur, Mark Lawford:
Something is Rotten in the State of Documenting Simulink Models. 503-510 - Christoph Eickhoff, Martin Lange, Simon-Lennert Raesch, Albert Zündorf:
EMFeR: Model Checking for Object Oriented (EMF) Models. 511-518 - Patrick Rosenberger, Detlef Gerhard, Stefan Dumss:
Modelling the Behaviour of Context-aware Systems: State-of-the-Art Analysis and Introduction of a Customized UML Profile. 519-526 - Christophe Ponsard, Robert Darimont:
Towards Goal-oriented Analysis and Redesign of BPMN Models. 527-533 - Ivan Jovanovikj, Enes Yigitbas, Marvin Grieger, Stefan Sauer, Gregor Engels:
Modular Construction of Context-Specific Test Case Migration Methods. 534-541 - Julie S. Fant, Robert G. Pettit IV:
Model Assurance Levels (MALs) for Managing Model-based Engineering (MBE) Development Efforts. 542-549
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.
last updated on 2026-07-14 00:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
