Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Steve McKeever |
Discerning Quantities from Units of Measurement. |
MODELSWARD |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Peter de Koning |
Rigorous Modelling of Quantities for Model-Based Systems Engineering. |
MODELSWARD |
2022 |
DBLP BibTeX RDF |
|
1 | Christophe Ponsard, Aurélien Masson, Ward Desmet |
Historical Knowledge Modelling and Analysis through Ontologies and Timeline Extraction Operators: Application to Computing Heritage. |
MODELSWARD |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Osama Maqbool, Jürgen Roßmann |
Formal Scenario-driven Logical Spaces for Randomized Synthetic Data Generation. |
MODELSWARD |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino |
SysML Models Verification Relying on Dependency Graphs. |
MODELSWARD |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Frederik Haxel, Alexander Viehl, Michael Benkel, Bjoern Beyreuther, Klaus Birken, Rolf Schmedes, Kim Grüttner, Daniel Mueller-Gritschneder |
Universal Safety Format: Automated Safety Software Generation. |
MODELSWARD |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Prisca Petelo, Abderrahmane Leshob, Imen Benzarti, Hafedh Mili |
Towards a Goal-oriented Method for Software Solutions Prioritization. |
MODELSWARD |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Copei, Christoph Eickhoff, Adam Malik, Natascha Nolte, Ulrich Norbisrath, Jonas Sorgalla, Jens H. Weber, Albert Zündorf |
From Monolithic Models to Agile Micromodels. |
MODELSWARD |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Shan Lu 0012, Alexey Tazin, Yanji Chen, Mieczyslaw M. Kokar, Jeff Smith |
Ontology-based Detection of Inconsistencies in UML/OCL Models. |
MODELSWARD |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Gayane Sedrakyan, Asad Abdi, Stéphanie M. van den Berg, Bernard P. Veldkamp, Jos van Hillegersberg |
Text-To-Model (TeToMo) Transformation Framework to Support Requirements Analysis and Modeling. |
MODELSWARD |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sándor Bácsi, Gergely Mezei |
Towards Model Transformation with Structural Level-spanning Patterns. |
MODELSWARD |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Lano, Qiaomu Xue |
Code Generation by Example. |
MODELSWARD |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Bastien Sultan, Ludovic Apvrille, Philippe Jaillon |
Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec. |
MODELSWARD |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Masamichi Kakeshita, Kenji Hisazumi, Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto |
Conversion Method of MATLAB/Simulink Model for a Functional Resonance Analysis Method-based Model. |
MODELSWARD |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Denisse Muñante, Bruno Traverson, Sophie Chabridon, Amel Bouzeghoub |
SHORE: A Model-driven Approach That Combines Goal, Semantic and Variability Models for Smart HOme self-REconfiguration. |
MODELSWARD |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Bures, Petr Hnetynka, Martin Krulis, Jan Pacovský |
Towards Model-driven Fuzzification of Adaptive Systems Specification. |
MODELSWARD |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Luís Ferreira Pires, Slimane Hammoudi, Edwin Seidewitz (eds.) |
Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2022, Online Streaming, February 6-8, 2022. |
MODELSWARD |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Markus Fockel, David Schubert, Roman Trentinaglia, Hannes Schulz, Wolfgang Kirmair |
Semi-automatic Integrated Safety and Security Analysis for Automotive Systems. |
MODELSWARD |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Callum McColl, Vladimir Estivill-Castro, Morgan McColl, René Hexel |
Verifiable Executable Models for Decomposable Real-time Systems. |
MODELSWARD |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Fatma Abdelhédi, Hela Rajhi, Gilles Zurfluh |
Extraction Process of the Logical Schema of a Document-oriented NoSQL Database. |
MODELSWARD |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron |
Scenario-assisted Deep Reinforcement Learning. |
MODELSWARD |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Markus Rabe 0001, Felix Stadler |
Modeling of Intralogistic Processes for the Implementation of Warehouse Management Systems. |
MODELSWARD |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Simon Brown |
The Lost Art of Software Architecture Modelling. |
MODELSWARD |
2022 |
DBLP BibTeX RDF |
|
1 | Padma Iyenghar, Friedrich Otte, Elke Pulvermüller |
AI-guided Model-Driven Embedded Software Engineering. |
MODELSWARD |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Guy Katz |
Towards Repairing Scenario-Based Models with Rich Events. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sasha Mile Rudan, Sinisa Rudan, Birger Møller-Pedersen |
Extending BPM(N) to Support Face-to-Virtual (F2V) Process Modeling. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Omair Rafique, Klaus Schneider 0001 |
Integrating Kahn Process Networks as a Model of Computation in an Extendable Model-based Design Framework. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Raoul C. Y. Nuijten, Pieter Van Gorp |
SciModeler: A Metamodel and Graph Database for Consolidating Scientific Knowledge by Linking Empirical Data with Theoretical Constructs. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Götz 0002, Matthias Tichy, Timo Kehrer |
Dedicated Model Transformation Languages vs. General-purpose Languages: A Historical Perspective on ATL vs. Java. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Bank, Thomas Buchmann, Bernhard Westfechtel |
Combining a Declarative Language and an Imperative Language for Bidirectional Incremental Model Transformations. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Tempia Calvino, Ludovic Apvrille |
Direct Model-checking of SysML Models. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Jovanovikj, Anu Tony Thottam, Vishal Joseph Vincent, Enes Yigitbas, Stefan Sauer 0001, Gregor Engels |
A Modeling Workbench for the Development of Situation-specific Test Co-migration Methods. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jim Logan |
A Modeler's Journey: From Hostility to Possibility. |
MODELSWARD |
2021 |
DBLP BibTeX RDF |
|
1 | Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek 0001, John Grundy 0001, Amani S. Ibrahim |
RCM-Extractor: Automated Extraction of a Semi Formal Representation Model from Natural Language Requirements. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yael Elinav, Alex Moshinky, Lior Siag, Nezer Jacob Zaidenberg |
HERO vs. Zombie: Identifying Zombie Guests in a Virtual Machine Environment. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Vera-Mejia, Maria Fernanda Granda, Otto Parra |
Empirical and Theoretical Evaluation of USE and OCLE Tools. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Maximilian Hammer, Ralph Maschotta, Alexander Wichmann, Tino Jungebloud, Francesco Bedini, Armin Zimmermann |
A Model-driven Implementation of PSCS Specification for C++. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Faezeh Khorram, Masoumeh Taromirad, Raman Ramsin |
SeGa4Biz: Model-Driven Framework for Developing Serious Games for Business Processes. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Felix Rinker, Laura Waltersdorfer, Kristof Meixner, Dietmar Winkler 0001, Arndt Lüder, Stefan Biffl |
Continuous Integration in Multi-view Modeling: A Model Transformation Pipeline Architecture for Production Systems Engineering. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rahad Khandoker, Omar Badreddin, Sayed Mohsin Reza |
Characterization of Software Design and Collaborative Modeling in Open Source Projects. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Steve McKeever |
From Quantities in Software Models to Implementation. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Simon Busard, Christophe Ponsard, Charles Pecheur |
Verification of Scenario-based Behavioural Models using Capella and PyNuSMV. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Debiasi, Felicien Ihirwe, Pierluigi Pierini, Silvia Mazzini, Stefano Tonetta |
Model-based Analysis Support for Dependable Complex Systems in CHESS. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sándor Bácsi, Dániel Palatinszky, Máté Hidvégi |
Towards Evolutionary Multi-layer Modeling with DMLA. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hanaa Alshareef, Sandro Stucki, Gerardo Schneider |
Transforming Data Flow Diagrams for Privacy Compliance. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Julieth Patricia Castellanos Ardila, Barbara Gallina |
Reusing (Safety-oriented) Compliance Artifacts while Recertifying. |
MODELSWARD |
2021 |
DBLP BibTeX RDF |
|
1 | Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler |
Performance Aspects of Correctness-oriented Synthesis Flows. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Ries, Nicolas Guelfi, Benjamin Jahic |
An MDE Method for Improving Deep Learning Dataset Requirements Engineering using Alloy and UML. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Slimane Hammoudi, Luís Ferreira Pires, Edwin Seidewitz, Richard Soley (eds.) |
Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2021, Online Streaming, February 8-10, 2021. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Albert Zündorf, Adrian Kunz, Christoph Eickhoff |
Addressing Industrial Needs with the Fulib Modeling Library. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Chinatsu Yamamoto, Ikuta Tanigawa, Kenji Hisazumi, Mikiko Sato, Takeshi Ohkawa, Nobuhiko Ogura, Harumi Watanabe |
Layer Modeling and Its Code Generation based on Context-oriented Programming. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marek Skotnica, Marta Aparício, Robert Pergl, Sérgio Guerreiro 0001 |
Process Digitalization using Blockchain: EU Parliament Elections Case Study. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek 0001, John Grundy 0001, Amani S. Ibrahim |
RCM: Requirement Capturing Model for Automated Requirements Formalisation. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Norbert Somogyi, Gábor Kövesdán, László Lengyel |
Towards a Model Transformation based Code Renovation Tool. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Hillenbrand |
Towards a Theory of Models in Systems Development Modeling. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Diego C. Sales, Leandro Buss Becker |
Approach for Evolving Sensing and Actuation Devices in Cyberphysical Systems Architectures. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Lämmel |
Megamodels on the Catwalk. |
MODELSWARD |
2021 |
DBLP BibTeX RDF |
|
1 | Bentley James Oakes, Ali Parsai, Simon Van Mierlo, Serge Demeyer, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe |
Improving Digital Twin Experience Reports. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Osama, Aya Zaki-Ismail, Mohamed Abdelrazek 0001, John Grundy 0001, Amani S. Ibrahim |
SRCM: A Semi Formal Requirements Representation Model Enabling System Visualisation and Quality Checking. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Takwa Kochbati, Shuai Li, Sébastien Gérard, Chokri Mraidha |
From User Stories to Models: A Machine Learning Empowered Automation. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Daniela Genius, Ludovic Apvrille |
Interfacing Digital and Analog Models for Fast Simulation and Virtual Prototyping. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Schahram Dustdar |
Towards Modeling the Modern Distributed Systems Fabric. |
MODELSWARD |
2021 |
DBLP BibTeX RDF |
|
1 | Stefan Biffl, Arndt Lüder, Kristof Meixner, Felix Rinker, Matthias Eckhart, Dietmar Winkler 0001 |
Multi-view-Model Risk Assessment in Cyber-Physical Production Systems Engineering. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jonnathan Lopes, Maicon Bernardino, Fábio Basso, Elder Rodrigues 0001 |
Textual Approach for Designing Database Conceptual Models: A Focus Group. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Deniz Cetinkaya, Mahmood Hosseini |
TranspLanMeta: A Metamodel for TranspLan Modeling Language. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Schröpfer, Thomas Buchmann, Bernhard Westfechtel |
A Framework for Projectional Multi-variant Model Editors. |
MODELSWARD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler |
Integer Overflow Detection in Hardware Designs at the Specification Level. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Liqun Wu, Axel Hahn |
A DSL-Driven Development Framework for Components to Provide Environmental Data in Simulation based Testing. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon |
A Model based Toolchain for the Cosimulation of Cyber-physical Systems with FMI. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Daniela Genius, Ilias Bournias, Ludovic Apvrille, Roselyne Chotin |
High-level Partitioning and Design Space Exploration for Cyber Physical Systems. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shaun Azzopardi, Christian Colombo 0001, Gordon J. Pace |
CLARVA: Model-based Residual Verification of Java Programs. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Giancarlo Guizzardi |
Conceptual Models as Ontological Contracts. |
MODELSWARD |
2020 |
DBLP BibTeX RDF |
|
1 | Sven Jacobitz, Xiaobo Liu-Henke |
The Seamless Low-cost Development Platform LoRra for Model based Systems Engineering. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Jovanovikj, Enes Yigitbas, Stefan Sauer 0001, Gregor Engels |
Concept-based Co-migration of Test Cases. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Karima Berramla, El Abbassia Deba, Jiechen Wu, Houari A. Sahraoui, Abou El Hassan Benyamina |
Model Transformation by Example with Statistical Machine Translation. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Ponsard, Denis Darquennes, Valéry Ramon, Jean-Christophe Deprez |
Assessment of EMF Model to Text Generation Strategies and Libraries in an Industrial Context. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Aranda García, María-Emilia Cambronero, Christian Colombo 0001, Luis Llana, Gordon J. Pace |
Themulus: A Timed Contract-calculus. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Fischer, Birger Møller-Pedersen, Andreas Prinz 0001 |
Real Models are Really on M0 - Or How to Make Programmers Use Modeling. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Sarazin, Sébastien Truptil, Aurélie Montarnal, Jacques Lamothe, Julien Commanay, Laurent Sagaspe |
Towards Model Transformation from a CBM Model to CEP Rules to Support Predictive Maintenance. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Anila Sahar Butt, Nicholas J. Car, Peter Fitch |
Towards Ontology Driven Provenance in Scientific Workflow Engine. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Gérard |
About Synergies between Model-based Engineering and Artificial Intelligence. |
MODELSWARD |
2020 |
DBLP BibTeX RDF |
|
1 | Ed Seidewitz |
On a Metasemantic Protocol for Modeling Language Extension. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Schröpfer, Thomas Buchmann, Bernhard Westfechtel |
A Generic Projectional Editor for EMF Models. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Georgiana Caltais, Stefan Leue, Hargurbir Singh |
Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Meier, Ruthbetha Kateule, Andreas Winter 0001 |
Operator-based Viewpoint Definition. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Slimane Hammoudi, Luís Ferreira Pires, Bran Selic (eds.) |
Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Guy Katz |
Guarded Deep Learning using Scenario-based Modeling. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gail C. Murphy |
The Need for Context in Software Engineering. |
MODELSWARD |
2020 |
DBLP BibTeX RDF |
|
1 | Massimiliano Luca, Alberto Montresor, Carlo Caprini, Daniele Miorandi |
An Architecture-independent Data Model for Managing Information Generated by Human-chatbot Interactions. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kapferer, Olaf Zimmermann |
Domain-specific Language and Tools for Strategic Domain-driven Design, Context Mapping and Bounded Context Modeling. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Lano, Shichao Fang |
Automated Synthesis of ATL Transformations from Metamodel Correspondences. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Said Daoudagh, Eda Marchetti |
Defining Controlled Experiments Inside the Access Control Environment. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Erika Rizzo Aquino, Pierre de Saqui-Sannes, Rob A. Vingerhoeds |
A Methodological Assistant for Use Case Diagrams. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Omar Masmali, Omar Badreddin |
Towards a Model-based Fuzzy Software Quality Metrics. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ferenc Attila Somogyi, Zoltán Theisz, Sándor Bácsi, Gergely Mezei, Dániel Palatinszky |
Multi-level Modeling without Classical Modeling Facilities. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Saeko Matsuura, Sae Ikeda, Kasumi Yokotae |
Automatic Verification of Behavior of UML Requirements Specifications using Model Checking. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Maysam Zoor, Ludovic Apvrille, Renaud Pacalet |
Impact of Security Measures on Performance Aspects in SysML Models. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Frank Nordemann, Ralf Tönjes, Elke Pulvermüller |
Resilient BPMN: Robust Process Modeling in Unreliable Communication Environments. |
MODELSWARD |
2020 |
DBLP DOI BibTeX RDF |
|