yusuke1997/dblp-id-title huggingface dataset:
Model Checking of UML 2.0 Interactions
User-defined Signatures for Source Incremental Model-to-text Transformation
Collected Experience and Thoughts on Long Term Development of an Open Source MDE Tool
SiTra: Simple Transformations in Java
Towards extending the goal-oriented requirements language with emotion-oriented goals to support socio-technical systems
Feature location in models through a genetic algorithm driven by information retrieval techniques
Extending a UML and OCL Tool for Multi-levels: Applications Towards Model Quality Assessment
First International Workshop on the Model-Based Design of Trustworthy Health Information Systems
Hybrid Co-simulation: It's About Time
Eighth International Workshop on OCL Concepts and Tools
Heterogeneous Model Query Optimisation
Towards an Automated Fault Localizer while Designing Meta-models
Automated Synchronization of Enterprise Architecture Models with Deployment Models
Combining Textual and Web-Based Modeling
Architecture-driven Reduction of Specification Overhead for Verifying Confidentiality in Component-based Software Systems
Automated Semantic Analysis of Design Models
Towards Semantic Model-to-model Mapping of Cross-Domain Component Interfaces for Interoperability of Vehicle Applications
Architecting a security strategy measurement and management system
Scenario-Based Static Analysis of UML Class Models
Adapting Kirkpatrick's evaluation model to technology enhanced learning
Validation of System Behavior from an Integrated Semantics of Use Case and Design Models
Automatic Network Configuration for Real-Time, Distributed Industrial Automation Systems
Semantic Difference Analysis with Invariant Tracing for Class Diagrams Extended by OCL
Integrating Open-Source Modeling Projects: Collaborative Modeling with Papyrus and EMF Compare
Analyzing model changes with Loupe
Bidirectional Transformations in the Large
Proceedings of the 7th International Workshop on Model-based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain, September 30th, 2014
Reality Check for Model Transformation Reuse: The ATL Transformation Zoo Case Study
Deriving model-based safety and security assurance cases from design rationale of countermeasure patterns
Assurance via model transformations and their hierarchical refinement
From the Lowlands of UML to the Highlands of MLM: An Evolutionary, Tool-Supported Multi-Level Method for Teaching Multi-Level Modeling
Model-Driven Interoperability: MDI 2010
On the Execution of Deep Models
A Behavioral Coordination Operator Language (BCOoL)
TMI: tokenomics made easy for web3 applications
Towards Model Repair by Human Opinion-Guided Reinforcement Learning
Testing M2T/T2M Transformations
A Flexible Approach for Adding Middleware Completions to Software Performance Models
Towards Sketching Interfaces for Multi-paradigm Modeling
An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms
Proceedings of the ACM Student Research Competition at MODELS 2015 co-located with the ACM/IEEE 18th International Conference MODELS 2015, Ottawa, Canada, September 29, 2015
A formalism for describing modeling transformations for verification
Enhancing Flexibility in User Interaction Modeling by Adding Design Uncertainty to IFML
Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time
Towards software architecture runtime models for continuous adaptive monitoring
Proceedings of the Workshop on Models and Evolution co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, October 1, 2013
Does the Level of Detail of UML Models Affect the Maintainability of Source Code?
Model-Driven, Network-Context Sensitive Intrusion Detection
Automated Product Line Methodologies to Support Model-Based Testing
Synthesizing tests for combinatorial coverage of modal scenario specifications
Models in Conflict - A Semantically Enhanced Version Control System for Models
Language Support for Megamodel Renarration
A Lightweight Approach for the Automated Classification and Clustering of Metamodels
Teaching Domain-Specific Language Engineering and Model-Driven Software Development: A Competence-oriented Approach
Towards Domain-Specific Testing Languages for Software-as-a-Service
DarTwin made precise by SysMLv2 - An Experiment
Abstraction and Modelling - A Complementary Partnership
A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines
On Evaluating Multi-level Modeling
Towards an expressivity benchmark for mappings based on a systematic classification of heterogeneities
Component-based models for runtime control and monitoring of embedded systems
Viewpoints, formalisms, languages, and tools for cyber-physical systems
2 nd UML 2 Semantics Symposium: Formal Semantics for UML
Towards a Development Process for Multi-CPU Distributed Synchronous Software Applications
Using Constraints in Teaching Software Modeling
The Design of a Study Concerning the Capture of Important Design Bits at the Whiteboard
Towards a digital twin for cyber-physical production systems: a multi-paradigm modeling approach in the postal industry
Specifying overlaps of heterogeneous models for global consistency checking
Towards a Model-driven Approach for Context-aware Software
Summary of the Second International Workshop on Models and Evolution
User Perceptions of Code and Model Generation with Simulink in Industrial Settings - A Survey
Towards Business Process Models at Runtime
Applying Umple to the rover control challenge problem: A case study in model-driven engineering
28th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2025 - Companion, Grand Rapids, MI, USA, October 5-10, 2025
Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations
Towards a Multi-Domain Model-Driven Traceability Approach
Integrated Definition of Abstract and Concrete Syntax for Textual Languages
REAssistant: a Tool for Identifying Crosscutting Concerns in Textual Requirements
Model-driven round-trip software dependability engineering
Towards Platform Specific Energy Estimation for Executable Domain-Specific Modeling Languages
Language Agnostic Model Checking for SDL
Situational crime prevention for automotive cybersecurity
Test-Driven Development of Model Transformations
Efficient reordering and replay of execution traces of distributed reactive systems in the context of model-driven development
A Security Domain Model for Implementing Trusted Subject Behaviors
Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, GEMOC+MPM@MoDELS 2015, Ottawa, Canada, September 28, 2015
Moldable Debugging
JUMP - From Java Annotations to UML Profiles
Variability-aware Neo4j for Analyzing a Graphical Model of a Software Product Line
Prototyping of Distributed Embedded Systems Using AADL
Towards Business Application Product Lines
UML-VT: A Formal Verification Environment for UML Activity Diagrams
MoDeVVa Workshop Summary
Improving Collaboration Efficiency Between UX/UI Designers and Developers in a Low-Code Platform
Alignment of viewpoint heterogeneous design models: "Emergency Department" Case Study
Towards Reconstructing Architectural Models of Software Tools by Runtime Analysis
Cloud risk analysis by textual models
Developing and visualizing live model queries
Introducing the Active Map operation to unify and improve efficiency of active operations
UniTI: A Unified Transformation Infrastructure
Service-oriented Modeling of Mixed-Fleet Systems in SysML v2 in a Harbor Logistics Scenario
Model-Driven Development of Mobile Applications Allowing Role-Driven Variants
The use of UML class diagrams and its effect on code change-proneness
Towards Privacy-Preserving IoT Systems Using Model Driven Engineering
Panels at MODELS 2007
Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain
Software Evolution Management: Industrial Practices
A Metamodeling Approach to Pattern Specification
Debugging Paxos in the UML Multiverse
A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems
Automated Provisioning of Customized Cloud Service Stacks using Domain-Specific Languages
Improving Trace-Based Propagation of Feature Annotations in Model Transformations
Automated Verification of Model Transformations in the Automotive Industry
CdmCL, a Specific Textual Constraint Language for Common Data Model
Using IEC 61499 to Implement a Self-Organising Plug and Produce System
JSOI: A JSON-Based Interchange Format for Efficient Model Management
Type Inference Using Concrete Syntax Properties in Flexible Model-Driven Engineering
Efficient Test Suite Reduction by Merging Pairs of Suitable Test Cases
A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms
Modeling Adaptive Learning Agents for Domain Knowledge Transfer
A Model-driven Approach for Knowledge-based Engineering of Industrial Digital Twins
Design-Time Safety Assessment of Robotic Systems Using Fault Injection Simulation in a Model-Driven Approach
Towards Effective Mutation Testing for ATL
Automatic Impact Analysis of Software Architecture Migration on Model Driven Software Development
Proceedings of the MoDELS'06 Workshop on Model Driven Development of Advanced User Interfaces Genova, Italy, October 2, 2006
Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 30, 2014
ThingML+: Augmenting Model-Driven Software Engineering for the Internet of Things with Machine Learning
On the Inability of Existing Security Models to Cope with Data Mobility in Dynamic Organizations
A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models
Improving formal verification practicability through user oriented models and context-awareness
Semantic Variations Among UML StateMachines
Verifying Modelling Languages using Lightning: a Case Study
Scalable ontology-based V&V process for heterogeneous systems and applications
OSTRICH - A Type-Safe Template Language for Low-Code Development
Efficiently querying large-scale heterogeneous models
Practical multiverse debugging through user-defined reductions: application to UML models
Second Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2009)
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
A Model-Driven Measurement Approach
Breesse : bridging EMF, simulink and stateflow for model-based design of safety-critical systems
Teaching model-based systems engineering for industry 4.0: student challenges and expectations
Towards a digital Z framework based on a family of architectures and a virtual knowledge graph
Automatic Checklist Generation for the Assessment of UML Models
Translating OCL to Graph Patterns
An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning
Variability within Modeling Language Definitions
Curriculum for Modeling Security: Experiences and Lessons Learned
Towards feature-driven planning of product-line evolution
Model Driven Development of Graphical User Interfaces for Enterprise Business Applications - Experience, Lessons Learnt and a Way Forward
Recent Developments in OCL and Textual Modelling
Do we Still Need People? Comparing Human and LLM Personas in Political Modeling and Simulation
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017
A statistical analysis approach to assist model transformation evolution
FacadeMetamodel: Masking UML
Supporting Consensus-based Sofware Development: a Vision Paper
Towards Testing from Finite State Machines with Symbolic Inputs and Outputs
Architectural Mining: The Other Side of the MDD
A Comparison of Textual Modeling Languages: OCL, Alloy, FOML
Meta-modeling Runtime Models
Integrated Knowledge Centric Engineering: Delivering next-generation aircraft projects at pace
Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework
Automated Metamodel/Model Co-Evolution using a Multi-Objective Optimization Approach
Towards Systematic Engineering of Hybrid Graphical-Textual Domain-Specific Languages
Flexible Modelling for Requirements Engineering
What are the used UML diagrams? A Preliminary Survey
Generic Model Assist
Integrating an SMT-Based ModelFinder into USE
Semantics Preserving Model Composition
Hybrid Graphical-Textual DSL Editors: Vision, Requirements and Challenges
Model-Driven Design of City Spaces via Bidirectional Transformations
Towards Secure IoT Deployments: A DSL and Digital Twin-Based Emulation Platform for Security Verification
Towards the Co-evolution of Models, Code, and Assurance Cases: The CAID Framework
A Model-Driven Platform for Engineering Holistic Digital Twins
Visual modeling of RESTful conversations with RESTalk
MDE Support for Enterprise Architecture in an Industrial Context: the TEAP Framework Experience
Emerging Topics in Textual Modelling
Addressing non-functional requirements of adaptive IoT systems: a model-driven approach
Mind the Leak: Formalizing Confidentiality Preservation Assessment of Multi-Model Consistency Checking Systems
Lessons learned from evaluating MDE abstractions in an industry field study
Layered Class Diagrams: Supporting the Design Process
Model Based Coupling of Context Aware Middleware and Ambient Assisted Healthcare Systems
On teaching descriptive and prescriptive modeling
Revisiting Visitors for Modular Extension of Executable DSMLs
10th International Workshop on Multi-Level Modeling (MULTI 2023)
MDE Opportunities in Multi-Tenant Cloud Applications
Modeling Systemic Behavior by State-Based Holonic Modular Units
On Synergies between Model Transformations and Semantic Web Technologies
Specifying Intra-Component Dependencies for Synthesizing Component Behaviors
International Workshop on OCL and Textual Modeling (OCL 2023)
Automated model-based testing using the UML testing profile and QVT
A Generic Approach Simplifying Model-to-Model Transformation Chains
Model-Driven Web Engineering (MDWE 2008)
Interaction-based feature-driven model-transformations for generating e-forms
Domain Model-Based Data Stream Validation for Internet of Things Applications
A formally defined and formally provable EBNF-based constraint language for use in qualifiable software
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa '09, Denver, Colorado, USA, October 5, 2009
Deriving Operation Contracts from UML Class Diagrams
Towards Scalable Multidimensional Execution Traces for xDSMLs
From Prose to Prototype: Synthesising Executable UML Models from Natural Language
Business process modelling: five styles and a method to choose the most suitable one
Navigating the Low-Code Landscape: A Comparison of Development Platforms
Categorization of approaches to extend and reuse OCL
Extending Variability for OCL Interpretation
Towards Generating Model-Driven Speech Interfaces for Digital Twins
Modeling State Diagrams with And-Cross Transitions
An Ontological Representation of the UML Testing Profile for Digital Test and Evaluation
Towards refactoring of rule-based, in-place model transformation systems
Raising Time Awareness in Model-Driven Engineering: Vision Paper
Exploring Multi-Level Modeling Relations Using Variability Mechanisms
Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions
What's the grade of your diagram?: towards a streamlined approach for grading UML diagrams
Effort Used to Create Domain-Specific Modeling Languages
From classic to agile: experiences from more than a decade of project-based modeling education
Model-Based Quality Assurance of Automotive Software
Automating Instance Migration in Response to Ontology Evolution
Position Paper: Knowledge Sharing and Distances in Collaborative Modeling
C Code Verification based on the Extended Labeled Transition System Model
4th International Workshop on Language Engineering (ATEM 2007)
VARY - Variability for You
Operators for Template-Based MDE
Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2
MDA-Based Re-engineering with Object-Z
On the use of an internal DSL for enriching EMF models
Tool Paper: Combining Alf and UML in Modeling Tools - An Example with Papyrus -
Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages
Engineering Hybrid Graphical-Textual Languages with Sirius and Xtext: Requirements and Challenges
A Practical Perspective on the Design and Implementation of Service-Oriented Solutions
An Index for Software Engineering Models
Multi-paradigm modelling and synthesis of user interfaces
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, MODELS 2024, Linz, Austria, September 22-27, 2024
OCL meets CTL: Towards CTL-Extended OCL Model Checking
Recent Advances in Multi-paradigm Modeling
The influence of software design representation on the design communication of teams with diverse personalities
Practical design and implementation of an augmented reality based digital twin
Analyzing Enterprise Models Using Enterprise Architecture-Based Ontology
Driving Requirements Evolution by Engineers' Opinions
Simulation of Model Execution for Embedded Systems
Explicitly Modelling the Type/Instance Relation
Measuring the fidelity of digital twin systems
A unifying approach to connections for multi-level modeling
EMF Splitter: A Structured Approach to EMF Modularity
Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages
CouchEdit: a relaxed conformance editing approach
UmpleOnline as a Testbed for Modeling Empirical Studies: A Position Paper
Model-driven security: MDsec '12 Workshop at MoDELS 2012, Innsbruck, Austria
Integrating Ontological Domain Knowledge into a Robotic DSL
Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation
Modeling Cloud Messaging with a Domain-Specific Modeling Language
Flipped Top-Down is Systematic Bottom-Up
Enhancing UML State Machines with Aspects
A DSL and model transformations to specify learning corpora for modeling assistants
Introducing BIGUML: A Flexible Open-Source GLSP-Based Web Modeling Tool for UML
Fine-grained timed software in Simulink models
Rapid UI Development for Enterprise Applications: Combining Manual and Model-Driven Techniques
How to Live with Inconsistencies in Industrial Model-Based Development Practice
Towards Conflict-Free Collaborative Modelling using VS Code Extensions
On the Functional Interpretation of OCL
Validating the correctness of reactive systems specifications through systematic exploration
Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program
Model-based formal specification of a DSL library for a qualified code generator
Report of the Fourth Workshop on the Globalization of Modeling Languages (GEMOC 2016)
An extension for feature algebra
YANG-APR: Towards Supporting Evolution in Model-driven Network Management Systems
EvolveDB: a tool for model driven schema evolution
Improving reuse by means of asymmetrical model migrations: An application to the Orcc case study
PrefetchML: a framework for prefetching and caching models
Unification or Integration? The Challenge of Semantics in Heterogeneous Modeling Languages
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022
Expressing model relations as basis for structural consistency analysis in models@run.time
A Model-Based Framework for Software Performance Feedback
4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE
Towards a Model-Based Systems Engineering Framework for the Design and Configuration of Communication Networks in a Data-Driven and Interconnected Aircraft Cabin
Accurate and Consistent Graph Model Generation from Text with Large Language Models
Multi-scale model-based explanations for cyber-physical systems: the urban traffic case
OSATE-DIM solves the instance model-view update problem in AADL
Co-creation of models and metamodels for enterprise architecture projects
AI-assisted JSON Schema Creation and Mapping
Empirical Evaluation of the Conjunct Use of MOF and OCL
Preface to the 6th International Workshop on Multi-Level Modelling (MULTI 2019)
5 Years of 'Papyrusing' - Migrating Industrial Development from a Proprietary Commercial Tool to Papyrus (Invited Presentation)
An investigation into the effect of cluster-based preprocessing on software migration
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS 2021 Companion, Fukuoka, Japan, October 10-15, 2021
24th International Conference on Model Driven Engineering Languages and Systems, MODELS 2021, Fukuoka, Japan, October 10-15, 2021
Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses
Monitoring Model Specifications in Program Code Patterns
MDE to Manage Communications with and between Resource-Constrained Systems
Token-based plagiarism detection for metamodels
A language agnostic approach to modeling requirements: specification and verification
Model-Based, Platform-Independent Logging for Heterogeneous Targets
Model Transformation by Demonstration
A Visual Traceability Modeling Language
Eclipse Sirius Demonstration
Complementary Use Case Scenario Representations Based on Domain Vocabularies
Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract)
Monarch: Model-Based Development of Software Architectures
Summary of Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa'21)
Graphite: Automated Development of Hybrid Graphical-Textual DSL Editors
Integrating Language and Ontology Engineering
CPS simulation models categories in Extended Enterprises
CyprIoT project: an open source toolset to model and generate a network of things
Towards the Integration of Multi-Level and Multi-View Modelling for Interoperability
Crepe Complete: Multi-objective Optimization for Your Models
Towards Leveraging Artificial Intelligence for NoSQL Data Modeling, Querying and Quality Characterization
Model Transformations for Performability Analysis of Service Configurations
Unveiling Developers' Mindset Barriers to Software Modeling Adoption
On the Executable Nature of Models
EasyMOD: A Web-Based Modeling Tool for Non-MBSE Engineers
Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach
Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems
Towards Integrating Modeling and Programming Languages: The Case of UML and Java
Security Patterns for Automotive Systems
Infrastructure as runtime models: Towards Model-Driven resource management
Model-Driven Analysis and Synthesis of Concrete Syntax
MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems
An Approach for Synchronizing UML Models and Narrative Text in Literate Modeling
Enabling Inverse Reasoning in Enterprise Digital Twins using Multi-Objective Bayesian Optimization
Designing Syntax Embeddings and Assimilations for Language Libraries
Towards a Metamodel for Modular Simulation Environments
Preface to the 8th International Workshop on Multi-Level Modelling (MULTI 2021)
On Verifying ATL Transformations Using 'off-the-shelf' SMT Solvers