yusuke1997/dblp-id-title huggingface dataset:
From Products to Product Lines: a Model-based Methodology
An approach to build consistent software architecture diagrams using devops system descriptors
Give me some REST: A Controlled Experiment to Study Effects and Perception of Model-Driven Engineering with a Domain-Specific Language
Preface to the 3rd Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2021)
FTG+PM for the Model-Driven Development of Wireless Sensor Network based IoT Systems
Example-Based Program Transformation
Approaching Model Edition as a Linear Logic Problem
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams
Architectural Descriptions as Boundary Objects in System and Design Work
Conflict Management for Multi-Level Models in Collaborative Modelling Environments
Model Composition Contracts
RM2MS: A Tool for Automatic Identification of Microservices from Requirements Models
Building VECM-based Systems with a Model Driven Approach: an Experience Report
Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018)
Querying Automotive System Models and Safety Artifacts with MMINT and Viatra
HiLA: High-Level Aspects for UML State Machines
Multilevel Modelling with MultEcore: A Contribution to the MULTI Process Challenge
Enhanced graph rewriting systems for complex software domains (SoSyM abstract)
Visualizations of Evolving Graphical Models in the Context of Model Review
Collaboration And Versioning Framework - A Systematic Top-Down Approach
Runtime Model Based Management of Diverse Cloud Resources
Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013)
Model-Driven Approach for Managing Human Interface Design Life Cycle
Insights collaboration space: a team collaboration app for the design of data-driven services
Feedback on the formal verification of UML models in an industrial context: the case of a smart device life cycle management system
A semi-automatic behavioral mediation approach based on models@runtime
Towards continuous modelling to enable DevOps: a preliminary study with practitioners
Validation of a Security Metamodel for the Development of Cloud Applications
Automatically Discovering Properties That Specify the Latent Behavior of UML Models
X3D-UML: 3D UML State Machine Diagrams
MultEcore: Combining the Best of Fixed-Level and Multilevel Metamodelling
Mediation-Based MLM in USE
7th International Workshop on Ocl4All: Modelling Systems with OCL
Associaton Types: Motivation, Specification and Implementation with the XModelerML
Modular Consistency Checking Between Heterogeneous Models Without Direct Data Exchange Between Collaborators
Development of a Meta-language and its Qualifiable Implementation for the Use in Safety-critical Software
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2010)
Specification of Invariability in OCL
ModelByVoice - towards a general purpose model editor for blind people
Enhancing collaborative modeling
Proceedings of the 6th International Workshop on Models and Evolution, ME@MoDELS 2012, Innsbruck, Austria, October 1-5, 2012
Executable AADL: Real-Time Simulation of AADL Models
Weaving Variability into Domain Metamodels
Refactoring Architecture Models for Compliance with Custom Requirements
On the Model-driven Synthesis of Adaptable Choreographies
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022
Performance Modeling in the Age of Big Data: Some reflections on current limitations
Preface to the Fourth International Workshop on Human Factors in Modeling (HuFaMo'19)
Co-Evolving Meta-Models and View Types in View-Based Development
Towards a Structured Workflow Language for Model Management
Enabling the Development of Cognitive Effective Visual DSLs
Intelligent run-time partitioning of low-code system models
The 3 rd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2010)
POLYGLOT for Gamified Education: Mixing Modelling and Programming Exercises
Conflicts as First-Class Entities: A UML Profile for Model Versioning
From Real Computational Independent Models to Information System Models: An MDE approach
A domain-specific language for simulation-based testing of IoT edge-to-cloud solutions
Online Img2UML Repository: An Online Repository for UML Models
Active Domain-Specific Languages: Making Every Mobile User a Modeller
Multi-language systems based on perspectives to promote modularity, reusability, and consistency
A Multi-Paradigm Modeling Foundation for Collaborative Multi-view Model/System Development
Proceedings of the Demonstrations Track of the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain, October 1st and 2nd, 2014
Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), Copenhagen, Denmark, October, 14, 2018
Modelling Tool Extension for Vulnerability Management
Panels at MODELS 2008
Purpose-driven model-driven engineering education
Designing MAS Organisation through an Integrated MDA/Ontology Approach
Limitations of Automating Model Migration in Response to Metamodel Adaptation
User Experience for Model-Driven Engineering: Challenges and Future Directions
Software supply chains (keynote)
Teaching software language engineering and usability through students peer reviews
Converting Executable Floating-Point Models to Executable and Synthesizable Fixed-Point Models
Validation and uncertainty in model-based design space exploration: an experience report
Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain
ATLTest: A White-Box Test Generation Approach for ATL Transformations
Monitoring Executions on Reconfigurable Hardware at Model Level
OCL Framework to Verify Extra-Functional Properties in Component and Connector Models
Dynamic and Generic Manipulation of Models: From Introspection to Scripting
Automatic Generation of Transformations for Software Process Tailoring
i 2 MAP : An Incremental and Iterative Modeling and Analysis Process
Lazy Evaluation for OCL
An integrated tool for trade-off analysis of quality-of-service attributes
Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples
Model-driven software engineering in the openETCS project: project experiences and lessons learned
Model-Driven Prompt Engineering
Comparative case studies in agile model-driven development
Using fUML as Semantics Specification Language in Model Driven Engineering
Component and Connector Views in Practice: An Experience Report
Learning Implicit and Explicit Control in Model Transformations by Example
Engineering Fit-for-Implementation Digital Twins Across the Total Product Lifecycle of Next-Generation Dental Restorative Materials: A Translational Intelligence Strategy for Real-World Impact
Tutorials at MODELS 2007
Proceedings of the 11th Workshop on Model-Driven Engineering, Verification and Validation co-located with 17th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MODELS 2014, Valencia, Spain, September 30, 2014
Extracting UML/OCL Integrity Constraints and Derived Types from Relational Databases
Towards Intelligent Tool-Support for AADL Based Modeling of Embedded Systems
Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management
AMOEBA-RT: Run-Time Verification of Adaptive Software
A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design
Applying Declarative Analysis to Software Product Line Models: An Industrial Study
The Coroutine Model of Computation
Model-Driven Optimization for Quantum Program Synthesis with MOMoT
Tool supported OCL refactoring catalogue
Automated video game world map synthesis by model-based techniques
Towards Personalized Change Propagation for Collaborative Modeling
Practical Aspects of the Integration of Agile Development and Model-driven Development: An Exploratory Study
Experiences Developing a Requirements Language Based on the Psychological Framework Activity Theory
Towards a configurable crossover operator for model-driven optimization
Ontology-Based Assessment of Functional Redundancy in Health Information Systems
TL : an abstract specification language for bidirectional transformations
Analysis of UML Activities with Dynamic Meta Modeling Techniques
Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Saint-Malo, France, October 2-7, 2016
Towards blended modeling and simulation of DevOps processes: the Keptn case study
Pattern-based debugging of declarative models
Proceedings of the Workshop on Modeling Security ( MODSEC08 ) held as part of the 2008 International Conference on Model Driven Engineering Languages and Systems ( MODELS ) Toulouse, France, September 28, 2008
Improving MBSE Tools UX with AI-Empowered Software Assistants
Supporting Debugging in a Heterogeneous, Globally Distributed Environment
OntoDSL : An Ontology-Based Framework for Domain-Specific Languages
Verifying UML Models Annotated with OCL Strings
Closing the gap between designers and developers in a low code ecosystem
Model-Based DevOps: Foundations and Challenges
Challenges for Automation in Adaptive Abstraction
A Generalized Stepping Semantics for Model Debugging
A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-Critical and Cyber-Physical Environments
Case study on automated and continuous reliability assessment of software-defined manufacturing based on digital twins
Towards Ontological Service-Driven Engineering of Digital Twins
Towards a collaborative approach for Digital Twin simulation models comprehension
Metamodel specialization for graphical modeling language support
CLARITY: Open-Sourcing the Model-Based Systems Engineering Solution Capella
PyDaQu: Python Data Quality Code Generation Based on Data Architecture
A Modelling Language to Support the Evolution of Multi-tenant Cloud Data Architectures
Generation of test strategies for Model-based Functional Safety testing using an Artifact-centric approach
A generic framework for model-set selection for the unification of testing and learning MDE tasks
Simulink Model Transformation for Backwards Version Compatibility
A Framework for Testing UML Activities Based on fUML
Situational development of low-code applications in manufacturing companies
Leveraging modeling concepts and techniques to address challenges in network management
Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven Development
Deriving Safety Assurance Case Argumentation from WF+ Models
Model-based fleet deployment of edge computing applications
Extracting Domain Models from Textual Requirements in the Era of Large Language Models
Towards a Generic Modeling Language for Contract-Based Design
Extending Version Control Systems to Ensure Semantic Model Consistency
Challenges and possible approaches for sustainable digital twinning
A RAG-based Feedback Tool to Augment UML Class Diagram Learning
Early Timing Analysis of Vehicular Systems: the Road from Single-core to Multi-core
Model Repositories: Will They Become Reality?
Teaching Software Modeling in a Simulated Project Environment
Implementing the MDETools'18 challenge with ThingML
Feature Models at Run Time: Feature Middleware for Multi-tenant SaaS applications
Supporting Digital Twins Systems Integrating the MERODE Approach
Towards Continuous Consistency Checking of DevOps Artefacts
18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30 - October 2, 2015
Models in Software Engineering, Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers
A Model-Driven Approach for the Development of CSCL Tools that Considers Pedagogical Usability
Stakeholder specific visualisation from heterogeneous modeling tools
Deep Specialization Integrating Powertypes into Deep Modeling
Traceability of Information Flow Requirements in Cyber-Physical Systems Engineering
A Modular Reference Structure for Component-based Architecture Description Languages
Rapid-Prototyping and Early Validation of Software Models through Uniform Integration of Hardware
Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation
Summary of the 6th International Workshop on Multi-Paradigm Modeling (MPM'12)
Incremental diagram layout for automated model migration
Putting the Pieces Together - Technical, Organisational and Social Aspects of Language Integration for Complex Systems
fUML-Driven Performance Analysis through the MOSES Model Library
Towards Modular Combination and Reuse of Languages with Perspectives
ARC 3 N: A Collaborative Uncertainty Catalog to Address the Awareness Problem of Model-Based Confidentiality Analysis
Towards Seamless Processor-In-The-Loop Testing With FMI 3.0
Goal-driven elaboration of OCL enriched UML class diagrams
Multi-level modelling in the Modelverse
(Multi-) Modeling Enterprises for Better Decisions
Extracting domain models from natural-language requirements: approach and industrial evaluation
TwinLang - A Digital Twin Modelling and Management Language
Model analytics for feature models: case studies for S.P.L.O.T. repository
Digital Twin Evolution for Sustainable Smart Ecosystems
SimQRi - A Query-oriented Tool for the Efficient Simulation and Analysis of Process Models
Modeling Languages for Automotive Digital Twins: A Survey Among the German Automotive Industry
On Metamodeling in Megamodels
Designing Models and Systems to Support IT Management: A Case for Multilevel Modeling
Multi-Language Support in TouchCORE
An exploratory study on performance engineering in model transformations
Challenges for code generated OCL execution
Obtaining Insights into the Interplay Between Systems and Software Engineering
ReMoDD Eclipse Plug-in: Collaborative Modeling Using a Model Repository
Vision Paper: The Essence of Structural Models
Using Meta-model Coverage to Qualify Test Oracles
An Evaluation of the Effectiveness of the Atomic Section Model
mel - model extractor language for extracting facts from models
From OCL-based model static analysis to quick fixes
Efficient Persistence and Query Techniques for Very Large Models
On-the-Fly Translation and Execution of OCL-Like Queries on Simulink Models
Practical experiences with multi-level modeling using FMMLx: a hierarchy of domain-specific modeling languages in support of life-cycle assessment
Developing an Ontological Sandbox: Investigating Multi-level Modelling's Possible Metaphysical Structures
A Declarative Approach to Heterogeneous Multi-Mode Modelling Languages
The 1 st Workshop on Quality in Modeling
Applying Multi-level Modeling to Data Integration in Product Line Engineering
Exploration of hardware topologies based on functions, variability and timing
Proceedings of the Doctoral Symposium at the 19th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems 2016 (MoDELS 2016), Saint Malo, France, October 2, 2016
MDEForge: an Extensible Web-Based Modeling Platform
Quality Assurance of Textual Models within Eclipse using OCL and Model Transformations
A Model-Based Framework for Exploring Conflict Dynamics
Proceedings of the 1st International Workshop on Executable Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada, September 27, 2015
Model-Driven Development of Digital Libraries: Generating the User Interface
Extracting Hardware Reconfiguration Models Based on Knowledge Synthesis from STEP Files
Modeling Requirements with RED
Safe Navigation in OCL
Model Finding and Model Completion with USE
Feature-oriented Modeling for Collaborative Virtual Environment Construction
Concurrency-aware Executable Domain-Specific Modeling Languages as Models of Concurrency
The 2 nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009)
Adding Spreadsheets to the MDE Toolkit
Piecewise Modelling with State Subtypes
An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design
Towards automatic determination of problem bounds for object instantiation in static model verification
Supporting inconsistency resolution through predictive change impact analysis
Papyrus for gamers, let's play modeling
Repository for Model Driven Development (ReMoDD)
Consistent Extra-Functional Properties Tagging for Component and Connector Models
Specifying a testing oracle for train stations
Co-Evolution of Meta-Modeling Syntax and Informal Semantics in Domain-Specific Modeling Environments - A Case Study of AUTOSAR
Modeling AI-Driven Workflows for Ecosystem Resilience Prediction
Abstract Interpretation for Block Diagrams - Two Case Studies
Towards Compositional Domain Specific Languages
Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis
Associations in Multi-Level-Modelling: Motivation, Conceptualization, Modelling Guidelines, and Implications for Model Management
Version Control for Models: From Research to Industry and Back Again
Addressing Multi-Domain Integration Challenge in Robotics using Model-Based Approach
Optimal mapping of task-based computation models over heterogeneous hardware using placer
Scalable Verification of Model Transformations
COMET: A ML-Based Tool for Evaluating the Effectiveness of Software Design Communication
Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada, September 28, 2015
Comparing the Developer Experience with two Multi-Agents Systems DSLs: SEA_ML++ and DSML4MAS - Study Design
Evaluating the Impact of Aspects on Inconsistency Detection Effort: A Controlled Experiment
Model&Metamodel, Metadata and Document Repository for Software and Data Integration
ModifRoundtrip: A Model-Based tool to reuse legacy transformations
Understanding the role of model transformation compositions in low-code development platforms
Summary of the Workshop Models@run.time at MoDELS 2006
Validation of Model Transformations - First Experiences Using a White Box Approach
Improving Timing Analysis for Matlab Simulink/Stateflow
Artifact Analysis of Smell Evolution and Maintenance Tasks in Simulink Models
Towards Integration of Modeling Methods for Cyber-Physical Systems
Model-Driven Simulation-Based Analysis for Multi-Robot Systems
A Model Driven Tool for Requirements and Hardware Engineering
Using Multilevel Business Artifacts for Knowledge Management in Analytics Projects
Heuristic-Based Recommendation for Metamodel - OCL Coevolution
Embedding Scenario-based Modeling in Statecharts
A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems
Multilevel modeling: what's in a level? A position paper
MDE Intelligence 2021: 3 rd Workshop on Artificial Intelligence and Model-Driven Engineering
Automated Generation and Configuration of Domain-Specific Recommender Systems
GEM: Towards a Model-Driven Graphical Editor Migration Framework
Towards Self-Adaptive Data Management in Digital Twins for Biodiversity Monitoring
Report on the 3rd MoDeVa Workshop - Model Design and Validation
Towards a model driven formal approach for merging data, access control and business processes
Using Behavioural Programming with Solver, Context, and Deep Reinforcement Learning for Playing a Simplified RoboCup-Type Game
A light-weight low-code platform for back-end automation
Efficient Model Querying with VMQL
UML Usage in Open Source Software Development : A Field Study
Proceedings of the 10th International Workshop on Models@run.time co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 29, 2015
Generating class contracts from UML protocol statemachines
Towards a Metamodel for the Rubus Component Model
Applying MTBE Manually: a Method and an Example
A Comparison of Standard Compliant Ways to Define Domain Specific Languages
Mediation-based MLM in FOModeLer
Proceedings of the 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages NFPinDSML2009 Affiliated with the 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009) Denver, Colorado, USA, October 4, 2009
Towards Semantic Modeling of Network Physical Devices
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2023 Companion, Västerås, Sweden, October 1-6, 2023
Meta-Modeling Runtime Models
The Influence of the Generator's License on Generated Artifacts
Effects of Model Merge on Developers' Brain Dynamics: An EEG Microstate Analysis
A Model-Driven Digital Twin for Manufacturing Process Adaptation
An Integrated Model-Based Tool Chain for Managing Variability in Complex System Design
A comprehensive framework for the analysis of automotive systems
QoS-aware model-based systems design using systems modeling language
Verifying UML-RT Protocol Conformance Using Model Checking
SHERPA: A Model-Driven Framework for Large Language Model Execution
Model Driven Security Management: Making Security Management Manageable in Complex Distributed Systems
Refactoring with Confidence: An Assistant for Repair-Integrated Refactoring in Block-based Industrial Models
Domain Specific Analysis of Statemachine Models of Reactive Systems
Proceedings of Doctoral Symposium co-located with 17th International Conference on Model Driven Engineering Languages and Systems (2014), Valencia, Spain, September 30, 2014
JAVACHECK: A Domain Specific Language for the Static Analysis of Java Code
Goals, Domains, and Enterprise Architecture in the Model-Driven Organization
Challenging Models: Formalizing Quests in Gamified Systems for Behavioral Change
Towards Automated Semantic Grouping in Workflows for Multi-Disciplinary Analysis
Proceedings of the 3rd Workshop on Extreme Modeling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, XM@MoDELS 2014, Valencia, Spain, September 29, 2014
Model checking as a service: towards pragmatic hidden formal methods
How does one Model Appropriately in Systems Engineering? An Initial Conceptual Model Framing Model Appropriateness
Early Experience with Agile Methodology in a Model-Driven Approach
Benefits from modelling and MDD adoption: expectations and achievements
Contract-Based Specification and Analysis of AADL Models
On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf
Domain Specific Methods and Tools for the Design of Advanced Interactive Techniques
Towards Concern-Oriented Design of Component-Based Systems
Towards LLM-enhanced Conflict Detection and Resolution in Model Versioning
In Praise of Use Cases
Usage scenarios for feature model synthesis
A value-based goal model analysis tool
Detecting Performance Bad Smells for Henshin Model Transformations
Transition to Model-Driven Engineering - What Is Revolutionary, What Remains the Same?
Aligning business and IT models in service-oriented architectures using BPMN and SoaML
On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set
Towards early emergent property understanding: merging behavior space exploration and model-based software engineering
An LSP infrastructure to build EMF language servers for web-deployable model editors
Probabilistic Update Scheduling for Digital Twins: A Semi-Markov Approach
Resource Contention Analysis of Cloud-based System through fUML-driven Model Execution
Extending Osate 2 for Custom Simulation of Virtual Devices
Consistency of Business Process Models and Object Life Cycles