yusuke1997/dblp-id-title huggingface dataset:
Combining Low-Code Programming and SDL-Based Modeling with Snap! in the Industry 4.0 Context
Deriving Effective Permissions for Modeling Artifacts from Fine-grained Access Control Rules
Transforming Relational Model Queries to Triple Graph Grammars
Shortcomings of the Embedding of OCL into QVT ImperativeOCL
Feature-oriented refinement of models, metamodels and model transformations
An MBSE approach for Virtual Verification & Validation of Systems with Digital Twins
Going from the Past back to the Future: Incrementally Reconstructing a Metamodel History
A runtime model for fUML
A Focus+Context Approach to Alleviate Cognitive Challenges of Editing and Debugging UML Models
Rapid GUI development on legacy systems: a runtime model-based solution
Modeling and Enactment Support for Early Detection of Inconsistencies in Engineering Processes
DSL/Model Co-Evolution in Industrial EMF-Based MDSE Ecosystems
Toward a model-driven access-control enforcement mechanism for pervasive systems
Bringing DSE to Life: Exploring the Design Space of an Industrial Automotive Use Case
ResyDuo: Combining Data Models and CF-Based Recommender Systems to Develop Arduino Projects
Basic Operations over Models Containing Subset and Union Properties
MBSE Tool Selection Process: Feedback from a Railway Case Study
Report on the 1st International Workshop on Debugging in Model-Driven Engineering (MDEbug'17)
Transformation of TOCL temporal properties into OCL
ThingML: a language and code generation framework for heterogeneous targets
Reliable counterparts: efficiently testing causal relationships in digital twins
Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration
Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach
Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies
Improving the Developer Experience with a Low-Code Process Modelling Language
On Understanding Teaching Modeling in Computer Science as an Ecosystem
Revising the Comparison Criteria for Composition
DSL Tool Development with Transformations and Static Mappings
Using HCI-Patterns with Model-based Generation of Advanced User-Interfaces
Concern-Oriented Software Design
Socio-technical Automotive Security Design Patterns: Applying a Stakeholder-Based Approach to Securing Self-Driving Vehicles
Identification and Optimisation of Type-Level Model Queries
Runtime Models Based on Dynamic Decision Networks: Enhancing the Decision-making in the Domain of Ambient Assisted Living Applications
Towards Debugging the Matching of Henshin Model Transformations Rules
A Feasibility Study on Using Classifying Terms in Alloy
Applying MDE Tools at Runtime: Experiments upon Runtime Models
Consistent Resource Utilization for Cross-Platform and Replicable Load-Testing: a Position Paper
Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems, QUASOSS '10, Oslo, Norway, October 4, 2010
Automatic Generation of Workflow-Extended Domain Models
Mitigating Hallucinations in SysML v2 Generation Using LLMs and a Tri-Layered Knowledge Graph Reasoning Framework
Timeline exploration of model differences in source code repositories through graphical and textual views
LUV is not the answer: continuous delivery of a model driven development platform
Abstract vs concrete clabjects in dual deep instantiation
SCCD Debugger: a Debugger for Statecharts and Class Diagrams
Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools
Keeping clients' models up-to-date with Edelta
EmbeddedMontiArc: Textual modeling alternative to Simulink (Tool Demonstration)
Using Reference Attribute Grammar-Controlled Rewriting for Energy Auto-Tuning
Two Opportunities and Challenges of Automatic Layout in Visual Languages
Towards Re-Engineering Digital Twins: Preliminary Experiments on Three Use Cases
Towards Model-Based Generation and Optimization of AUTOSAR Runnable-to-Task Mapping
A Generic Framework for Realizing Semantic Model Differencing Operators
MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, Companion Proceedings
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse
A Plugin-Based Language to Experiment with Model Transformation
ArchFeature: A Modeling Environment Integrating Features into Product Line Architecture
UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance
7th International Workshop on Human Factors in Modeling / Modeling of Human Factors (HuFaMo 2023)
DSLFORGE: Textual Modeling on the Web
Pragmatic Issues in Multilevel Modeling Insights from Modeling the MULTI-Warehouse Challenge in MLM-USE
Melanee and DMLA - A Contribution to the MULTI 2021 Collaborative Comparison Challenge
Introducing MyPetri.net: A Petri Net Editor and Simulator for Students
Traceability for Mutation Analysis in Model Transformation
Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition
On abstraction in the OMG hierarchy: systems, models, and descriptions
Robotic system testing with AMSA framework
Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 29, 2014
Modeling Moods
Challenges for reuse in collaborative modeling environments
Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers
An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink
Using Ptolemy II as a Framework for Virtual Entity Integration and Orchestration in Digital Twins
Model transformation testing: the state of the art
The Epsilon Playground
Bayesian Reasoning Over Models
Integrating goal-oriented and use case-based requirements engineering: The missing link
Panels at MoDELS 2006
GrTP: Transformation Based Graphical Tool Building Platform
A Performant Low-Code System for the Timely Implementation of Road Safety Regulations
Run-time Software Architectural Models for Adaptation, Recovery and Evolution
Tool support for the teaching of state-based behavior modeling
Model-Based System Verification: A Formal Framework for Relating Analyses, Requirements, and Tests
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams
CONDEnSe: Contract Based Design Synthesis
Joint Proceedings of the Workshop on Model-Driven Engineering for the Internet of Things (MDE4IoT) & of the Workshop on Interplay of Model-Driven and Component-Based Software Engineering (ModComp) Co-located with the IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), Munich, Germany, September 15 and 17, 2019
Modeling as a Service: A Survey of Existing Tools
Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations
OCL for (Meta-)Models in Multiple Application Domains
Challenges of DevOps ready IoT Testbed
Engineering Automotive Digital Twins on Standardized Architectures: A Case Study
A GNN-based Recommender System to Assist the Specification of Metamodels and Models
Scenarios@run.time - Distributed Execution of Specifications on IoT-connected Robots
Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing
Towards Facilitating the Exploration of Informal Concepts in Formal Modeling Tools
AToMPM: A Web-based Modeling Environment
Executing Models by Filmstripping: Enhancing Validation by Filmstrip Templates and Transformation Alternatives
Towards employing ABM and MAS integrated with MBSE for the lifecycle of sCPSoS
DiNeROS: A Model-Driven Framework for Verifiable ROS Applications with Petri Nets
Runtime modeling and analysis of IoT systems
Interactive Behavior-driven Development: a Low-code Perspective
OCL-based test case prioritisation using AgileUML
Teaching in a Software Design Studio: Implications for Modeling Education
Concern Visibility in Base Station Development - An Empirical Investigation
A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence
A Domain-Specific Language for the Development of Heterogeneous Multi-robot Systems
Using multi level-modeling techniques for managing mapping information
Integrating Formal Methods with Model-Driven Engineering
A Generic Language for Query and Viewtype Generation By-Example
CMSEBA 2014 Workshop Report
Expressive and Efficient Model Transformation with an Internal DSL of Xtend
Using sketch recognition for capturing developer's mental models
Model Transformation as an Optimization Problem
Understanding Metalanguage Integration by Renarrating a Technical Space Megamodel
Introduction to ACES-MB 2015
Developing a Quality Framework for Model-Driven Engineering
Model-Driven Development Processes and Practices: Foundations and Research Perspectives
A Comparative Analysis of ChatGPT-Generated and Human-Written Use Case Descriptions
A Model-Driven Approach to Support Engineering Changes in Industrial Robotics Software
Implementation of the Concept-Driven Approach in an Object-Oriented Analysis and Design Course
Model-Based Timing Analysis and Deployment Optimization for Heterogeneous Multi-core Systems using Eclipse APP4MC
Evaluating Student Work in Modelling Courses
Generating Edit Operations for Profiled UML Models
Workshops at MODELS 2008
Scalable Graph Query Evaluation and Benchmarking with Realistic Models
Towards a General Composition Semantics for Rule-Based Model Transformation
Model-Driven Development of Context-Aware Web Applications Based on a Web Service Context Management Architecture
MAR: a structure-based search engine for models
Schema inference for multi-model data
An Accuracy Information Annotation Model for Validated Service Behavior Specifications
Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, NFPinDSML '12, Innsbruck, Austria, October 1-5, 2012
A Query Structured Approach for Model Transformation
Towards model-driven development of access control policies for web applications
On the Suitability of LSP and DAP for Domain-Specific Languages
A process for continuous validation of self-adapting component based systems
Feature-Oriented Modelling in BIP: A Case Study
Engineering Process Transformation to Manage (In)consistency
Supporting Diverse Notations in MPS' Projectional Editor
Experiences Threat Modeling at Microsoft
What do 449 MDE Practitioners Think About MDE?
Stream my models: Reactive peer-to-peer distributed models@run.time
Towards Ontology-Driven User Experience Assessment of Collaborative Modeling Tools
Agile versus MDE - Friend or Foe?
Cloud DSL: A Language for Supporting Cloud Portability by Describing Cloud Entities
Lazy Execution of Model-to-Model Transformations
Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings
Computer Assisted Integration of Domain-Specific Modeling Languages Using Text Analysis Techniques
Security Requirements Elicitation Using Method Weaving and Common Criteria
Model Based STPA for Assisted Driving Functions
Posters Track
A profiler for the matching process of henshin
Cross-IDE remote debugging of model management programs through the Debug Adapter Protocol
Model-driven Generation of a BPMS Portal Based on Interaction Flow Modeling Language Models
The Computational Notebook Paradigm for Multi-paradigm Modeling
A text model - Use your favourite M2M for M2T
Event-based Synchronization of Model-Based Multimodal User Interfaces
Using Model-Driven Development Tools for Object-Oriented Modeling Education
Runtime Debugging Using Reverse-Engineered UML
Scaling Up Model Driven Engineering - Experience and Lessons Learnt
A Model-driven and Template-based Approach for Requirements Specification
Models Meet Data: Challenges to Create Virtual Entities for Digital Twins
The Evolution of CloudML and its Applications
Anticipating Implementation-Level Timing Analysis for Driving Design-Level Decisions in EAST-ADL
Modeling Security Protocols using UML2
The Story of AADL
Executable Modeling with fUML and Alf in Papyrus: Tooling and Experiments
Architectural Aspects in UML
Searching for model migration strategies
Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers
Multi-Perspective Modeling and Performance Analysis of Software Product Lines
Engineering Digital Twins with Statecharts: A Smart Home Application
Multi-step Iterative Automated Domain Modeling with Large Language Models
Using an Ontology to Suggest Design Patterns Integration
A tool for the convergence of multilevel modelling approaches
Model-Driven Engineering for Software Migration in a Large Industrial Context
Towards Scalable Search-Based Model Engineering with MDEOptimiser Scale
Concern-Oriented Software Design with TouchRAM
Contract-Aware Slicing of UML Class Models
Extensible Global Model Management with Meta-model Subsets and Model Synchronization
Model-based software Refactoring Driven by Performance Analysis
On the Support of Qualified Associations in OCL
Composing Your Compositions of Variability Models
Mapping OCL into SQL: Challenges and Opportunities Ahead
Partitioning Embedded Real-Time Control Software based on Communication Dependencies
MDE Adoption in Industry: Challenges and Success Criteria
Towards Model-Based Adoption for Requirements Elicitation in Railway - the Role of Collaborative and Participatory Modelling
How and Why is Change Modeled? - A Scoping Literature Review
Using UML Statecharts with Knowledge Logic Guards
IoT Cooking Workflows for End-Users: A Comparison Between Behaviour Trees and the DX-MAN Model
Balancing Model Usability and Verifiability with SBVR and Answer Set Programming
Blackbox Learning of Parametric Dependencies for Performance Models
A Model-Based Testing Approach for Cockpit Display Systems of Avionics
On Additivity in Transformation Languages
An Example Application of a Multi-level Concrete Syntax Specification with Copy-and-Complete Semantics
On Developing and Operating GLSP-based Web Modeling Tools: Lessons Learned from BIGUML
Detection and Handling of Model Smells for MATLAB/Simulink models
Inferring Meta-models for Runtime System Data from the Clients of Management APIs
Mastering Reference Architectures with Modeling Assistants
The MULTI Process Challenge
A tool for the automation of efficient multi-robot choreography planning and execution
Towards a categorical approach for meta-modelling epistemic game theory
Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain
The 8th Educators' Symposium @ MODELS 2012: software modeling in education
Discrete-Continuous Semantic Adaptations for Simulating SysML Models in VHDL-AMS
On the Quest for Flexible Modelling
Integrating System Modeling and Cost Models Using Meta-Modeling Techniques
Towards an adaptive city journey planner with MDE
Consistent Modeling of Agility: Applications of Flexible Multi-Level Modeling
A Scenario-based MDE Process for Developing Reactive Systems: A Cleaning Robot Example
Inferring Metamodel Relaxations Based on Structural Patterns to Support Model Families
Timing-Aware Software-in-the-Loop Simulation of Automotive Applications with FMI 3.0
Zen-RUCM: A Tool for Supporting a Comprehensive and Extensible Use Case Modeling Framework
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations
Simplify model design in MDE approaches
RapidMS: A Tool for Supporting Rapid Microservices Generation and Refinement from Requirements Model
Transformation-Based Parallelization of Request-Processing Applications
Using the ModelSet dataset to support machine learning in model-driven engineering
Software Performance Engineering with Performance Antipatterns and Code-level Probabilistic Analysis
Identification of Simulink model antipattern instances using model clone detection
Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines
xtUML: Current and Next State of a Modeling Dialect
Towards a Formal Specification of Multi-paradigm Modelling
Assessing the Quality of Meta-models
Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars
Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA
Towards Automating Interface Control Documents Elaboration and Management
The path towards the automatic provision of blended modeling environments
Modeling Approach and Evaluation Criteria for Adaptable Architectural Runtime Model Instances
Model Everything but with Intellectual Property Protection - The Deltachain Approach
Multi-faceted Practical Modeling Education for Software Engineering
Collaborative modelling and metamodelling with MetaEdit+
Unintended Changes: How LLMs Corrupt and Correct Textual Models
PRoBIFy: Formal-based Probabilistic Behavior Modeling for Verification of Autonomous Vehicles
PapyrusRT: Modelling and Code Generation (Invited Presentation)
Domain-Level Observation and Control for Compiled Executable DSLs
A Survey on Incremental Model Transformation Approaches
A scalable querying scheme for memory-efficient runtime models with history
On the synthesis of protocol state machines from contracts
Modeling: The Heart and Soul of Engineering Smart Ecosystems
Empirical Activity: Assessing the Perceptual Properties of the Size Visual Variation in UML Sequence Diagram
Encapsulation, Operator Overloading, and Error Class Mechanisms in OCL
Refactoring-Safe Modeling of Aspect-Oriented Scenarios
Validating Emergent Behaviours in Systems-of-Systems through Model Transformations
Towards the next generation of reactive model transformations on low-code platforms: three research lines
A Model Cleansing Pipeline for Model-Driven Engineering: Mitigating the Garbage In, Garbage Out Problem for Open Model Repositories
Automated Grading of Use Cases
A Model Transformation Semantics and Analysis Methodology for SecureUML
Quality Guidelines for Research Artifacts in Model-Driven Engineering
From Simulation to Operation: Using Design Time Artifacts to Ensure the Safety of Advanced Driving Assistance Systems at Runtime
Interface protocol inference to aid understanding legacy software components
Model Patches in Model-Driven Engineering
Towards Reinforcement Learning for In-Place Model Transformations
Comparing the comprehensibility of numeric versus symbolic contribution labels in goal models: an experimental design
Model-based Power Consumption Analysis of Smartphone Applications
Model Driven Performability Analysis of Service Configurations with Reliable Messaging
Flexible Model Element Introduction Policies for Aspect-Oriented Modeling
Enabling Model Testing of Cyber-Physical Systems
MDE for machine learning-enabled software systems: a case study and comparison of MontiAnna & ML-Quadrat
ModelMine: a tool to facilitate mining models from open source repositories
Digital Twins of Socio-Technical Ecosystems to Drive Societal Change
Nautilus: Implementation of an Evolution Approach for Graph Databases
An Approach to Testing Java Implementation against Its UML Class Model
A Conceptual Framework for Fine-Grained Quality Assessment in Version Graphs
A Model-Driven Approach for System Administration
Misconceptions about Potency-Based Deep Instantiation
ML4CREST: Machine Learning for CPS Models
A Multi-Platform Specification Language and Dataset for the Analysis of DevOps Pipelines
Caching Strategies for Run-time Probabilistic Model Checking
A feature-oriented approach: from usage scenarios to automated system of systems validation in the automotive domain
Automatic Software Synthesis of Static and Dynamic Dataflow Process Networks
Towards sound, optimal, and flexible building from megamodels
Participatory agent-based modelling in healthcare: a domain-specific modelling language approach
A Metamodel Transformation Framework for the Migration of WebML Models to MDA
AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph
Choosing and adapting design notations in the principled development of complex systems simulations for research
Executing Robot Task Models in Dynamic Environments
Guided Development with Multiple Domain-Specific Languages
Using composite feature models to support agile software product line evolution
Systematically deriving domain-specific transformation languages
A Feature-based Survey of Model View Approaches
Twin2Clouds: Cost-Aware Digital Twin Engineering and Deployment Across Federated Clouds
Modeling cyber-physical systems: model-driven specification of energy efficient buildings
Proceedings of the 1st Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, OSS4MDE@MoDELS 2014, Valencia, Spain, September 28, 2014
Model-driven paradigms: the evolution of a university course
Artifact or Process Guidance, an Empirical Study
Classifying changes to models via changeset metrics
Test mocks for low-code applications built with OutSystems
Transformation of Models Containing Uncertainty
Engineering a Digital Twin for Diagnosis and Treatment of Multiple Sclerosis
Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees
Executable Domain Specific Language for Message-Based System Integration
On Artificial Intelligence for Simulation and Design Space Exploration in Gas Turbine Design
Guided Architecture Trade Space Exploration: Fusing Model Based Engineering & Design by Shopping
Property-Based Locking in Collaborative Modeling
Incremental Checking of OCL Constraints through SQL Queries
A Real-Time Multi-modal Framework for Human-Centric Requirements Engineering in Autonomous Vehicles
Towards Checking Consistency-Breaking Updates between Models and Generated Artifacts
Data-Flow Based Model Analysis and Its Applications
Validated Multi-layer Meta-modeling via Intrinsically Modeled Operations
Maintenance of Multi-level Models - An Analysis of Elementary Change Operations
Classification of Model Transformation Tools: Pattern Matching Techniques
AI-based User Emotion Recognition from Interaction Data: Challenges and Guidelines for Training Data Creation
A Common Framework for Synchronization in Requirements Modelling Languages
EvoSL: A Large Open-Source Corpus of Changes in Simulink Models & Projects
DSML4TinyOS: Code Generation for Wireless Devices
Exploring model repositories by means of megamodel-aware search operators
A Tool to Edit and Verify IoT System Architecture Model
A Systematic Mapping Study on Modeling for Industry 4.0
Domain-Specific Model Transformation in Building Quantity Take-Off
Checking concurrent behavior in UML/OCL models
SafetyMet: A Metamodel for Safety Standards
Model-Based Development of Engine Control Systems: Experiences and Lessons Learnt
28th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2025, Grand Rapids, MI, USA, October 5-10, 2025
Towards the Derivation of Encryption Rules for Encryption-Based Access Control for Delta-Based Model Representations - The DEBAC Approach
Model-Based Coverage-Driven Test Suite Generation for Software Product Lines
Unified LTL Verification and Embedded Execution of UML Models
Ontology-Based Modeling of Context-Aware Systems
Model-checking of space systems designed with TASTE/SDL
Semantically Configurable Consistency Analysis for Class and Object Diagrams
Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection
Ensuring OSGi Component Based Properties at Runtime with Behavioral Types
Multi-perspectives on Feature Models
Real-Time Collaborative Modeling across Language Workbenches - a Case on Jetbrains MPS and Eclipse Spoofax
Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard
Environment-Centric Contracts for Design of Cyber-Physical Systems
Towards the Coordination and Verification of Heterogeneous Systems with Data and Time