yusuke1997/dblp-id-title huggingface dataset:
Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes
A Fuzzy Logic Based Approach for Model-Based Regression Test Selection
Proceedings of the 10th Workshop on Models and Evolution co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 2, 2016
An Idealistic Plan for Transforming Media Sources Into Books, Slides and Videos: Position Statement on "Textbooks 10 Years From Now"
Tools and Demonstrations Track
Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical Systems
A refined model of ill-definedness in project-based learning
A Common Integrated Framework for Heterogeneous Modeling Services
Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies
Decomposition of Test Cases in Model-Based Testing
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language
Partial models: a position paper
System Development at Run Time
Optimization of Incremental Queries in the Cloud
Automatic Synthesis of Heterogeneous CPU-GPU Embedded Applications from a UML Profile
Building Test Harness From Service-based Component Models
Consistency Management for Security Annotations for Continuous Verification
Towards model reuse in low-code development platforms based on knowledge graphs
Using software performance curves for dependable and cost-efficient service hosting
Concretize: A Model-Driven Tool for Scenario-Based Autonomous Vehicle Testing
From Secure Business Process Modeling to Design-Level Security Verification
Heuristic Inference of Model Transformation Definitions from Type Mappings
A New Approach of Qualitative Simulation for the Validation of Hybrid Systems
Incremental Model Synchronization with Triple Graph Grammars
Engineering Digital Twins for AI-Assisted Scientific Discovery: Case of Plasma-Enhanced Deposition
Creating Models for Simulating the Face
Removal of Redundant Elements within UML Activity Diagrams
Taming EMF and GMF Using Model Transformation
A Model-Driven Solution to Support Smart Mobility Planning
Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax
Low-code engineering for internet of things: a state of research
A Multipurpose Framework for Model-based Reuse-oriented Software Integration Synthesis
Mutation Testing for Temporal Alloy Models
An Approach to Employ Modeling in a Traditional Computer Science Curriculum or: Why Posing Essentials of the Object Constraint Language without Objects and Constraints?
On the Generalization Capabilities of LLMs for Reverse Engineering Sequence Diagrams
The visual inheritance structure to support the design of visual notations
Models in Conflict - Towards a Semantically Enhanced Version Control System for Models
On Developing Open Source MDE Tools: Our Eclipse Stories and Lessons Learned
Towards a Corpus of Use-Cases for Model-Driven Engineering Courses
Model-Driven Construction of Certified Binaries
EUnit: A Unit Testing Framework for Model Management Tasks
Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications
Digital twin as risk-free experimentation aid for techno-socio-economic systems
SOPHIA: a Modeling Language for Model-Based Safety Engineering
Towards Continuous Verification and Validation of Multi-Domain System Designs
Proceedings of the 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 29, 2014
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case
Symboleo2SC: from legal contract specifications to smart contracts
Edelta: An Approach for Defining and Applying Reusable Metamodel Refactorings
Specification of a Legacy Tool by Means of a Dependency Graph to Improve its Reusability
How to compare program comprehension in FOSD empirically: an experience report
Controlling a virtual rover using AutoFOCUS3
Using Common Criteria as Reusable Knowledge in Security Requirements Elicitation
A Low-Code Approach for Data View Extraction from Engineering Models with GraphQL
The Next Evolution of MDE: A Seamless Integration of Machine Learning into Domain Modeling
Towards transparent combination of model management execution strategies for low-code development platforms
OCL-Based Validation of a Railway Domain Profile
Specifying a Testing Oracle for Train Stations - Going beyond with Product Line Technology
17th International Workshop on Models and Evolution Special Theme: Sustainability (ME 2023)
Managing Variability of Cyber-Physical Production Systems: Towards Consistency Management
Co-evolution of simulink models in a model-based product line
Natural modeling: retrospective and perspectives an anthropological point of view
Execution Trace Analysis for a Precise Understanding of Latency Violations
Quality Assessment of UML Class Diagrams - A Study Comparing Experts and Students
OCL Visualization - A Reality Check
Synthesis of state machine models
JSMF: a Javascript Flexible Modelling Framework
Requirement-Driven Generation of Distributed Ledger Architectures
Does the combined use of class and sequence diagrams improve the source code comprehension?: results from a controlled experiment
Towards Rapid Design of Compartmental Models
Towards a Meta-Model for Quality-aware Self-Adaptive Systems Design
Proceedings of the First Workshop on the Analysis of Model Transformations, AMT@MODELS 2012, Innsbruck, Austria, October 2, 2012
Towards Test-Driven Semantics Specification
Feature modeling of two large-scale industrial software systems: Experiences and lessons learned
Domain-Specific Languages in Practice: A User Study on the Success Factors
Towards the practical adoption of LIDL: a toolchain for modeling human-machine interface software interactions
Summary of the 2006 Model Size Metrics Workshop
Model and Data Differences in an Enterprise Low-Code Platform
Formally Defining and Iterating Infinite Models
Experience in Specializing a Generic Realization Language for SPL Engineering at Airbus
A Digital Twin System for Oil And Gas Industry: A Use Case on Mooring Lines Integrity Monitoring
Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings
Domain-specific templates for refinement transformations
Unifying explanatory and constructive modeling: towards removing the gulf between ontologies and conceptual models
A comparative study of reinforcement learning techniques to repair models
A General Approach for Scenario Integration
Transformation Reuse: What is the Intent?
Towards a New Generation of Software Design Environments: Supporting the Use of Informal and Formal Notations with OctoUML
Trace-based Timing Analysis of Automotive Software Systems: an Experience Report
Reflexive and Evolutional Digital Service Ecosystems with Models at Runtime
On the Use of Active Operations for Incremental Bidirectional Evaluation of OCL
Correctly Defined Concrete Syntax for Visual Modeling Languages
JuNo-OPS: A DevOps Framework for the Engineering of Digital Twins for Built Assets
Transition from EBNF to Xtext
Application Logic Patterns - Reusable Elements of User-System Interaction
Metamodel Matching for Automatic Model Transformation Generation
Automatically Discovering Hidden Transformation Chaining Constraints
Tool-Supported Step-By-Step Debugging for the Object Constraint Language
Identifying Metamodel Inaccurate Structures During Metamodel/Constraint Co-Evolution
Program Abstraction and Re-Engineering: An Agile MDE Approach
Representation and Traversal of Large Clabject Models
Proceedings of the First International Workshop on Model-Driven Interoperability, MDI@MoDELS 2010, Oslo, Norway, October 3-5, 2010
A Lean Approach to Building Valid Model-Based Safety Arguments
Slicing of UML Models Using Model Transformations
Assessing the Impact of Hierarchy on Model - A Cognitive Perspective
EpiMDE: A-Model Driven Engineering Platform for Epidemiological Modeling
XModeler ML v3: Integrating Executable UML with a Multi-Level Language Engineering, Modeling, and Execution Environment
Flexible Modelling using Conversational Agents
Capturing the Intention of Model Changes
Design-Space Exploration in MDE: An Initial Pattern Catalogue
Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata
Modeling and Verification of Redundancy Policies
Data mining meets system modelling
Comparing Reuse Mechanisms for Model Transformation Languages: Design for an Empirical Study
Exploring the Use of Metaheuristic Search to Infer Models of Dynamic System Behaviour
NeoEMF: a Multi-database Model Persistence Framework for Very Large Models
Towards LLM Agents for Model-Based Engineering: A Case in Transformation Selection
Toward overcoming accidental complexity in organisational decision-making
ORM ontologies with executable derivation rules to support semantic search in large-scale data applications
A generic transformation algorithm to simplify the development of mapping models
Translating Timing Constraints during Vehicular Distributed Embedded Systems Development
Towards Model-Based Continuous Deployment of Secure IoT Systems
Model-driven Digital Twins for AECO
Behavioral Types for Space-aware Systems
Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets
Robust Hashing for Models
From a Series of (Un)fortunate Events to Global Explainability of Runtime Model-Based Self-Adaptive Systems
Interactivity and Collaboration in the Context of Heterogeneous Modeling
Behavior, Time and Viewpoint Consistency: Three Challenges for MDE
Detection of anomalous modeling behavior: a goal-driven data mining approach
Active Operations on Collections
Automated provenance graphs for models@run.time
Automated Grading of Class Diagrams
Rethinking How to Teach Analysis and Modelling of Business Requirements: A Serious Game Integrating GenAI
Towards Approximate Model Transformations
A story of levels
Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29, 2013
A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering
Managing Variability Complexity in Aspect-Oriented Modeling
Designing a Modeling Language for Customer Journeys: Lessons Learned from User Involvement
Textual diagram layout language and visualization algorithm
Analyzing realizability of choreographies using initiating and responding flows
How do we teach modelling and model-driven engineering?: a survey
Automatic selection of test execution plans from a video conferencing system product line
Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, PAME/VOLT 2016, co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Saint-Malo, France, October 2-3, 2016
Detecting human vulnerably in socio-technical systems: a naval case study
Managing Model Conflicts in Distributed Development
MOOGLE: A Model Search Engine
On the Conception of Executable Design Languages for Distributed Real-time Systems
Model-Based Run-Time Error Detection
Quality of Service-Oriented Software Systems (QUASOSS 2010)
Modeling Model Slicers
Identifying duplicate functionality in textual use cases by aligning semantic actions (SoSyM abstract)
How Students Plagiarize Modeling Assignments
Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST
Navigating the rover with xtUML
Knowledge-based Runtime Failure Detection for Industrial Automation Systems
UmpleRun: a Dynamic Analysis Tool for Textually Modeled State Machines using Umple
Generating Heterogeneous Codes for IoT Systems Based on CAPS
Proceedings of the Workshop on Models and Evolution co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain, Sept 28, 2014
Optimizing Hierarchical, Concurrent State Machines in Umple for Model Checking
A Model-Based System to Automate Cloud Resource Allocation and Optimization
Towards the Formal Verification of SysML v2 Models
Using MOOC technology and formative assessment in a conceptual modelling course: an experience report
Efficient analysis and execution of correct and complete model transformations based on triple graph grammars
A concern-oriented software engineering methodology for micro-service architectures
Keynote - Model-driven Analytics with Models@run.time: The Case of Cyber-Physical-Systems
Consistency Recovery in Interactive Modeling
Replacing traditional classroom lectures with lecture videos: an experience report
From (Imperfect) Object Diagrams to (Imperfect) Class Diagrams: New Ideas and Vision Paper
Community-based Software Development for MDE Tools
Modelling of Cyber-Physical Systems through Domain-Specific Languages: Decision, Analysis, Design
Comprehending Feature Models Expressed in CVL
Metamodel deprecation to manage technical debt in model co-evolution
Automobile: Aircraft or smartphone? Modeling challenges and opportunities in Automotive Systems (keynote)
Using trace alignments for measuring the similarity between a physical and its digital twin
Combining OCL and natural language: a call for a community effort
An Extensible Use Case Modeling Approach for Cyber-Physical Systems (CPSs)
Strengthening validation of model behavior through filmstrip templates in the tool USE
A diagram-centric modeling tool for systems of systems
Modeling and Enforcing Advanced Access Control Policies in Healthcare Systems with Sectet
Dynamic adaptation for distributed systems in model-driven engineering
Integration of Visual Contracts and Model Transformation for Enhanced MDE Development
Using Domain-Specific Modeling to Generate User Interfaces for Wizards
Models in Software Engineering - Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers
A Systematic Review on the Definition of UML Profiles
Research Questions for Validation and Verification in the Context of Model-Based Engineering
LLM-enabled Instance Model Generation
Generating effective test suites for model transformations using classifying terms
A Model Driven Approach to Building Domain Specific Search Engines
Towards a model driven refinement process through architecture evaluation
Summary of the 5th International Workshop on Models@run.time
Towards Providing Debugging in the Domain-Specific Modeling Languages for Software Agents
Incquery server for teamwork cloud: scalable query evaluation over collaborative model repositories
Towards Reasoning About Product Lines with Design Choices
Meaningful Composite Structures
Towards Flexible, Rigorous Refinement in Metamodeling
Multi-variability modeling and realization for software derivation in industrial automation management
Editorial to the Proceedings of the First International Workshop on Model-Driven Interoperability
Deriving Input Partitions from UML Models for Automatic Test Generation
Analysis of Source-to-Target Model Transformations in QueST
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009)
Polymorphic Templates: A design pattern for implementing agile model-to-text transformations
Modeling and Training of Neural Processing Systems
Modeling Facets of a Warehouse with the FMML x : A Contribution to the MULTI Warehouse Challenge
A Process for Integrating Agile Software Development and Model-driven Development
Privacy Requirement Modeling and Verification in Cloud Computing
Automated Chaining of Model Transformations with Incompatible Metamodels
20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017
Introduction to WUCOR 2015
Enabling language engineering for the masses
Automatic test amplification for executable models
Agile requirements traceability using domain-specific modelling languages
First International Workshop on Model Based Engineering for Robotics (RoSym'10)
Finding Models in Model-Based Development - (Abstract)
Towards the Co-Evolution of Models and Artefacts of Industrial Tools Through External Views
A Domain-Specific Language for Monitoring ML Model Performance
Consistency Rules for UML-based Domain-specific Language Models: A Literature Review
Integrating verifiable Assume/Guarantee contracts in UML/SysML
Library for model querying: IQuery
Towards an Ontological Framework for Validity Frames
Augmented enterprise models as a foundation for generating security-related software: requirements and objectives
An infrastructure for multi-level optimisation through property annotation and aggregation
Towards Measuring Digital Twins Fidelity at Runtime
SoSPa: A system of Security design Patterns for systematically engineering secure systems
Incremental View Model Synchronization Using Partial Models
Towards boosting the OpenMBEE platform with model-code consistency
Join potency: a way of combining separate multi-level models
Turning Low-Code Development Platforms into True No-Code with LLMs
Towards Multi-level Modeling of Just-in-Time Adaptive Interventions (JITAIs) in Mobile Health
Panel Discussion: Proposals for Improving OCL
Improving the Usability of OCL as an Ad-hoc Model Querying Language
History-aware explanations: towards enabling human-in-the-loop in self-adaptive systems
Role-Based Generic Model Refactoring
The MDELab tool framework for the development of correct model transformations with triple graph grammars
Towards Quality Driven Exploration of Model Transformation Spaces
Evaluating the Effort of Composing Design Models: A Controlled Experiment
Metamodels Relaxation for Model Family Support
Toward a Community-Curated Golden Dataset of UML Models
Towards a body of knowledge for model-based software engineering
Interfaces and Metainterfaces for Models and Metamodels
A tool for automatically selecting optimal model transformation chains
Supporting Agility in MDE Through Modeling Language Relaxation
Debugging Models in the Context of Automotive Software Development
Model-Driven Design of Ensemble-Based Component Systems
A low-code approach to support method engineering
A process model discovery approach for enabling model interoperability in signal engineering
Challenges in the Evolution of Metamodels: Smells and Anti-Patterns of a Historically-Grown Metamodel
Towards an Architecture-Centric Approach Dedicated to Model-Based Virtual Integration for Embedded Software Systems
Modelling Data Protection in Fog Computing Systems using UMLsec and SysML-Sec
How should teaching modeling and programming intertwine?
Experimenting low code with SDL and BPMN
Graph Query by Example
CPSA ML : a language and code generation framework for digital twin based monitoring of mobile cyber-physical systems
Semantic Adaptation Using CCSL Clock Constraints
Supporting Multiplicity and Hierarchy in Model-Based Configuration: Experiences and Lessons Learned
The DESIRE methodology for Early Pre-Verification of Digital System Architectures via Estimation and Back-Annotation
Benchmarx 2.0: A Benchmark for Concurrent Model Synchronisation Approaches
Artificial intelligence empowered domain modelling bot
Improving Test Models for Large Scale Industrial Systems: An Inquisitive Study
Modeling and Assessment of Systems Security
Monte Carlo Tree Search and GR(1) Synthesis for Robot Tasks Planning in Automotive Production Lines
Automated Mitigation of Frame Problem in UML Class Diagram Verification
Optimizing the Symbolic Execution of Communicating and Evolving State Machines
DTInsight: A Tool for Explicit, Interactive, and Continuous Digital Twin Reporting
Using Delta Model for Collaborative Work of Industrial Large-Scaled E/E Architecture Models
Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled Experiment
Fine-Grained Confidentiality and Authenticity Modeling and Verification for Embedded Systems
Cloud-based modeling in IoT domain: a survey, open challenges and opportunities
A Model-Driven Engineering Framework to Support the Functional Safety Process
Tolerant consistency management in model-driven engineering
Embedding Component Behavior DSLs into the MontiArcAutomaton ADL
Power of a Reasoner: Model Validation for SysML Model using openCAESAR
Executable models for Embedded Controllers Development - A Cloud Based Development Framework
Performance-driven stepwise refinement of component-based architectures
Toward Intelligent Generation of Tailored Graphical Concrete Syntax
Evolutionary Algorithm for Bug Localization in the Reconfigurations of Models at Runtime
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models
Architectural and Analytic Integration of Cyber-Physical System Models
EuGENia live: a flexible graphical modelling tool
Test Cases Generation for Model Transformations from Structural Information
GuiBuilder - A Tool for Model-Driven Development of Multimedia User Interfaces
Exploring Costs and Benefits of Using UML on Maintenance: Preliminary Findings of a Case Study in a Large IT Department
An Algebraic Instantiation Technique Illustrated by Multilevel Design Patterns
Dynamic Evolution of Context-Aware Systems with Models at Runtime
Bridging the Gap: Participatory Modeling for Stakeholder-Driven NoSQL Database Design
Contrary-to-Duties Constraints: From UML to Relational Model
Node-read: a visually accessible low-code software development extension
Enhancing Root Cause Analysis with Runtime Models and Interactive Visualizations
Big Metamodels Are Evil - Package Unmerge - A Technique for Downsizing Metamodels
The Fourth International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2012)
Mathematical Programming for Anomaly Analysis of Clafer Models
Process mining in software systems: Discovering real-life business transactions and process models from distributed systems
The quest for open source projects that use UML: mining GitHub
Fine-Grained Software Evolution Using UML Activity and Class Models
Consolas: A Model-Based Tool for Automatic Configuration and Deployment of Cloud Applications
Solving the instance model-view update problem in AADL
Fully verifying transformation contracts for declarative ATL
Metamodel-based definition of interaction with visual environments
Taming Multi-Paradigm Integration in a Software Architecture Description Language
Tool Support for Collaborative Software Quality Management
An Approach to Analyzing Temporal Properties in UML Class Models
Analyzing Regulatory Conformance in Medical Research Systems Using Multi-Paradigm Modeling
Text2VQL: Teaching a Model Query Language to Open-Source Language Models with ChatGPT
Using Formative Assessment and Feedback to Train Novice Modelers in Business Process Modeling
Towards an End-to-End Metamodeling Approach Using Rust
Model-based diagnosis patterns for model checking
Proceedings of the Second International Workshop on Human Factors in Modeling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint Malo, France, October 4, 2016
Enhancing the realism of autonomous driving simulation with real-time co-simulation
Towards Hybrid Model Persistence
On the Relation between Class-Count and Modeling Effort
Managing Design-Time Uncertainty
A Metamodeling Framework for Promoting Flexibility and Creativity Over Strict Model Conformance
An automated model based testing approach for platform games
Towards Distributing Effort in Validating Run-Time Models for Internet of Things Architectures
On Computing Instructions to Repair Failed Model Refinements
Towards Model-Driven Self-Explanation for Autonomous Decision-Making Systems