yusuke1997/dblp-id-title huggingface dataset:
Package Merge in UML 2: Practice vs. Theory?
Dead or Alive: finding zombie features in the Linux kernel
Efficient validation of large models using the Mogwaı̈ tool
On the Application of Software Metrics to UML Models
MDEForgeWL: Towards cloud-based discovery and composition of model management services
Towards Runtime Monitoring for Responsible Machine Learning using Model-driven Engineering
Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous Driving
Requirements Modeling and Validation Using Bi-layer Use Case Descriptions
Modeling techniques for enterprise architecture documentation: experiences from practice
Model-Based Systems Engineering Perspectives: A Survey of Practitioner Experiences and Challenges
An Approach for Synthesizing Energy-Efficient Controllers for Production Systems from Scenario-Based Specifications
Towards a Unifying Model Transformation Bus
Use of Personalized Feedback Reports in a Blended Conceptual Modelling Course
Collaborative Model-Driven Software Engineering: A Systematic Update
A Method for Testing Model to Text Transformations
Simulation-Based Verification of Avionic Systems Deployed on IMA Architectures
Using UML and OCL Models to Realize High-Level Digital Twins
A Coordination-Based Model-Driven Method for Parallel Application Development
A framework for relating syntactic and semantic model differences
Introducing Variability into Aspect-Oriented Modeling Approaches
Comparing Comprehensibility of Modelling Languages for Specifying Behavioural Requirements
Towards Cloud-Based Software Process Modelling and Enactment
Enhanced Interoperability and Consistency in Heterogeneous Systems with CorrLang and OpenAPI
Towards flexible, incremental, and paradigm-agnostic consistency checking in multi-level modeling environments
LLM-Based Generation of Low-Code Development Platforms
Definition of Visual Language Editors Using Declarative Languages
Modelling and managing variability with feature assembly: an experience report
Mind Maps sans Frontières
Workshops and Symposia at MoDELS 2006
Verifying Semantic Conformance of State Machine-to-Java Code Generators
Educators' Symposium at MODELS 2009
Low-code vs. the developer: An empirical study on the developer experience and efficiency of a no-code platform
Proceedings of the First International Workshop on Feature-Oriented Software Development, FOSD 2009, Denver, Colorado, USA, October 6, 2009
Proposal for Improving the UML Abstract Syntax
The Effects of Education on Students' Perception of Modeling in Software Engineering
Rethinking the Traditional Design of Meta-Models: Layout Matters for the Graphical Modeling of Technical Systems
Bridging Engineering and Formal Modeling: WebGME and Formula Integration
A Pattern Language Verifier for Web-Based Enterprise Applications
Proceedings of the 7th Workshop on Multi-Paradigm Modeling co-located with the 16th International Conference on Model Driven Engineering Languages and Systems, MPM@MoDELS 2013, Miami, Florida, USA, September 30, 2013
Use Cases for Context Aware Model-Checking
Separating Local and Global Aspects of Runtime Model Reconfiguration
Verification of DSMLs using graph transformation: a case study with Alloy
Educators' Symposium
Toward Megamodels at Runtime
Measures to report the Location Problem of Model Fragment Location
Iterative Development of Transformation Models by Using Classifying Terms
DeepTelos for ConceptBase: A Contribution to the MULTI Process Challenge
A Look-Ahead Strategy for Rule-Based Model Transformations
Simplifying Model Transformation Chains by Rule Composition
Automatic Security-Flaw Detection Replication and Comparison
Active System Integrity Fences
Personalized and Automatic Model Repairing using Reinforcement Learning
A Generic Fault Model for Quality Assurance
Ground setting properties for an efficient translation of OCL in SMT-based model finding
Automated Derivation of UML Sequence Diagrams from User Stories: Unleashing the Power of Generative AI vs. a Rule-Based Approach
Introducing Usability Concerns Early in the DSL Development Cycle: FlowSL Experience Report
MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts
Spatio-Temporal Framework for Verifying Safety Rules in Autonomous Vehicles
Proceedings of the Doctoral Symposium at the 18th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems 2015 (MoDELS 2015), Ottawa, Canada, September 29, 2015
Union and Difference of Models, 10 years later
Manual Abstraction in the Wild: A Multiple-Case Study on OSS Systems' Class Diagrams and Implementations
Selective and Consistent Undoing of Model Changes
Formal Verification of QVT Transformations for Code Generation
Translating Target to Source Constraints in Model-to-Model Transformations
Towards the Characterization of Realistic Model Generators using Graph Neural Networks
SceML: a graphical modeling framework for scenario-based testing of autonomous vehicles
MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation
Blended Modelling - What, Why and How
Bad Modelling Teaching Practices
AnimUML as a UML Modeling and Verification Teaching Tool
Model-based Simplified Functional Size Measurement - an Experimental Evaluation with COSMIC Function Points
An Expeditious Approach to Modeling IDE Interaction Design
Coevolution assistance for enterprise architecture models
Run-time Monitoring of a Rover: MDE Research with Open Source Software and Low-cost Hardware
Aspect Model Unweaving
Industrial adaptation of MARTE for early scheduling analysis of component-based applications
Integrating OCL and Textual Modelling Languages
Wodel-Edu: An MDE Solution for the Generation and Evaluation of Diagram-based Exercises
Towards a Formal Account of a Foundational Subset for Executable UML Models
Featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL
Towards Personalized Learning Paths to Empower Competence Development in Model Driven Engineering Through the ENCORE Platform
Mod4J: A Qualitative Case Study of Model-Driven Software Development
Proceedings of the 2012 Extreme Modeling Workshop, XM '12, Innsbruck, Austria, October 1, 2012
Framework-Specific Modeling Languages with Round-Trip Engineering
A Model-Driven Approach to Automate Tuning of Continuous Controller Parameters
Reflective Systems Need Models at Run Time
Estimation, Impact and Visualization of Schema Evolution in Graph Databases
Evolution at the Core of Digital Twin Engineering
Mini Programming Worlds: Teaching MDSD via the Hamster Simulator
Testing M2M/M2T/T2M Transformations
The Relevance of Model-Driven Engineering Thirty Years from Now
Co-Evolution of Software Architecture and Fault Tree models: An Explorative Case Study on a Pick and Place Factory Automation System
Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, MPM@MODELS 2014, Valencia, Spain, September 30, 2014
A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems
A comparison of different Large Language Models for the generation of UML class diagrams
Debugging of Model Transformations and Contracts in SyVOLT
Requirements and Assessment of Languages and Frameworks for Adaptation Models
Modeling and Early Performance Estimation for Network Processor Applications
Managing Related Models in Vehicle Control Software Development
Evolving Multi-Tenant SaaS Cloud Applications Using Model-Driven Engineering
UML/OCL based Design and Analysis of Role-Based Access Control Policies
Challenges and Research Directions for Successfully Applying MBE Tools in Practice
Partial loading of XMI models
Towards systematic ensuring well-formedness of software product lines
Who Knows/Uses What of the UML: A Personal Opinion Survey
A Qualitative Study of Model Transformation Development Approaches: Supporting Novice Developers
Executable Modelling for Highly Parallel Accelerators
Experimenting with Multi-Level Models in a Two-Level Modeling Tool
Modeling Co-simulation: A First Experiment
Applying OMG D&C Specification and ECA Rules for Autonomous Distributed Component-Based Systems
Automated refactoring of ATL model transformations: a search-based approach
Developing a Modeling Tool Someone Wants to Use: Challenges, trends and solutions for how to develop modeling tools that people actually can and want to use
Space System Modeling Approach for Exploring of the Iced-Covered Ganymede Moon Subsurface Oceans
Concrete syntax-based find for graphical DSLs
A Multiparadigm Approach to Integrate Gestures and Sound in the Modeling Framework
GreyCat: A Framework to Develop Digital Twins at Large Scale
Combinations of Antipattern Heuristics in Software Architecture Optimization for Embedded Systems
Automated AADL Architecture Modeling: Leveraging Large Language Models for Safety-Critical Software
Tool-supported model-driven validation process for system architectures
Towards a Language Server Protocol Infrastructure for Graphical Modeling
Third International Workshop on Model Driven Development of Advanced User Interfaces
A Discrete-Event Simulator for Early Validation of Avionics Systems
dpDebugger: a Domain-Parametric Debugger for DSLs Using DAP and Language Protocols
Generating Domain-Specific Transformation Languages for Component & Connector Architecture Descriptions
Static extraction of IFML models for Android apps
Useware Modeling for Ambient Intelligent Production Environments
The Norwegian SISU Project: History and Long-term Impact of an Early MDD Effort
Static Analysis of BDI Agents on CPS using Petri Nets and MDE Techniques
Detecting Specification Errors in Declarative Languages with Constraints
A Mapping Language from Models to DI Diagrams
An Ecosystem of DSMLs for Building Commissioning
Towards Flexible Parsing of Structured Textual Model Representations
Meta-model Pruning
Model-Based Design of Computer-Controlled Game Character Behavior
Modeling and executing ConcurTaskTrees using a UML and SOIL-based metamodel
Model-checking legal contracts with SymboleoPC
Towards the Automatic Resolution of Architectural Variability in Software Product Line Architectures through Model Transformations
Transforming a Discourse Model to an Abstract User Interface Model
Modeling in LML with DOCL: A Contribution to the MULTI Warehouse Challenge
Endogenous Metamodeling Semantics for Structural UML 2 Concepts
An empirical study on the impact of introducing a modeling tool in a Requirement Engineering course
Component-Based and Model-Driven Engineering: what is the difference? A CBSE perspective
A novel methodology to construct digital twin models for spacecraft operations using fault and behaviour trees
Certifying a rule-based model transformation engine for proof preservation
Identifying the Weaknesses of UML Class Diagrams during Data Model Comprehension
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS Companion 2019, Munich, Germany, September 15-20, 2019
Model-Based Consistency Checks of Electric and Electronic Architectures against Requirements
Reducing Multiplicities in Class Diagrams
Micro-business behavior patterns associated with components in a requirements approach
Enhancing the communication value of UML models with graphical layers
A Qualitative Investigation of UML Modeling Conventions
Modeling Time(s)
Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II
DeepTelos Demonstration
Applicability of the ViMoTest Approach for Automated GUI Testing: A Field Study
Towards Model-Driven Test Case Concretization for End-to-end Combinatorial Testing
Exploiting Multi-level Modelling for Designing and Deploying Gameful Systems
iOCL: An Interactive Tool for Specifying, Validating and Evaluating OCL Constraints
Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering
Agile Model-driven Engineering of Financial Applications
Removing Redundancies and Deducing Equivalences in UML Class Diagrams
On Leveraging UML/OCL for Model Synchronization
MoDeVVa 2011 Workshop Summary
Efficient OCL-based Incremental Transformations
Iterative Evaluation of Domain-Specific Languages
PromptDeck: A No-Code Platform for Modular Prompt Engineering
Towards Model Driven Verifiable Deployment of Distributed Simulations in Cloud
Multi-Core Code Generation from Polychronous Programs with Time-Predictable Properties
Probabilistic Graph Queries for Design Space Exploration Under Uncertainty
Towards Model-Defined Cloud of Clouds
Improving Model-based Regression Test Selection
ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling
Ensuring models consistency in a smart grid cosimulation approach
Go with the flow: software engineers and distractions
Mismatches between Industry Practice and Teaching of Model-Driven Software Development
Goal models as run-time entities in context-aware systems
Generic Model Refactorings
Low-code experimentation on software products
Experiences with Teaching MPS in Industry: Towards Bringing Domain Specific Languages Closer to Practitioners
openCAESAR: Balancing Agility and Rigor in Model-Based Systems Engineering
A Model-Driven Approach to Graphical User Interface Runtime Adaptation
Local Optimizations in Eclipse QVTc and QVTr using the Micro-Mapping Model of Computation
Applying product line Use case modeling in an industrial automotive embedded system: Lessons learned and a refined approach
Towards Processing YAML Documents with Model Management Languages
LowCode 2021: 2 nd Workshop on Modeling in Low-Code Development Platforms
Gamification of Software Modelling Learning
Generative AI in Model-Driven Software Engineering Education: Friend or Foe?
An Empirical Investigation on Dynamic Modeling in Requirements Engineering
Fault-aware Pareto Frontier Exploration for Dependable System Architectures
Towards the verification of industrial communication protocols through a simulation environment based on QEMU and systemC
On Unifying Development Models and Runtime Models
Educators Symposium at MODELS 2008
Traceability analysis of wireless sensor network based IoT systems
Meta-Modelling Kindness
Potential Applications of Ontologies and Reasoning for Modeling and Software Engineering
Operational design for advanced persistent threats
SECTISSIMO: A Platform-Independent Framework for Security Services
Marine Data Observability using KPIS: An MDSE Approach
Modeling a Warehouse system using refinements and decomposition: A contribution to the MULTI Warehouse challenge
An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements
Goal-Oriented Machine Learning-Based Component Development Process
Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 2, 2016
An Infrastructure for Generating Run-time Model Traces for Maintenance Tasks
Solving the RoboSoccer Challenge Problem with UML-RT and Papyrus-RT
Preface to the OpenMBEE International Workshop
ARGON: A Model-Driven Infrastructure Provisioning Tool
On Properties of Modeling Approaches
Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study
Proceedings of the 2nd International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015
AutoMW: Model-based Automated Medical Writing
A Case of Industrial vs. Open-source OCL: Not So Different After All
Industrial Adoption of MDE for Embedded Control Software: A Qualitative Inquiry in the German Automotive Industry
Formal Support for QVT-Relations with Coloured Petri Nets
Security Analysis of a Biometric Authentication System Using UMLsec and JML
The Doctoral Symposium at MODELS 2009
Towards a Model-Driven Dynamic Architecture Reconfiguration Process for Cloud Services Integration
Model Driven Orchestration: Design for Service Compatibility
The Semantic Web as a Software Modeling Tool: An Application to Citizen Relationship Management
Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering
EXEMPLAR: an Experimental Information Repository for SBSE Research
EOQ: An Open Source Interface for a More DAMMMMN Domain-specific Model Utilization
Proceedings of the 3rd International Workshop on Experiences and Empirical Studies in Software Modeling co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, USA, October 1, 2013
Predicate abstractions for smart contract validation
Proceedings of the 8th Workshop on Models @ Run.time co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, FL, USA, September 29, 2013
Modeling and programming a leader-follower challenge problem with scenario-based tools
Towards a Model Development Environment Acknowledging Contradicting Dimensions in MDE
What can we learn from other Domains - Towards an Exploratory Process for the Extension of a Language based on Cross-Domain Knowledge Transfer
HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems
VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design
Towards the integration of security patterns in UML component-based applications
ModelMate: A recommender for textual modeling languages based on pre-trained language models
UML++: Enhancing Student Learning of Object-Oriented Modeling through Executable Objects
Bridging the Gap between Smart Home Platforms and Machine Learning using Relational Reference Attribute Grammars
Model-Based Codesign of Critical Embedded Systems
Magritte - A Meta-driven Approach to Empower Developers and End Users
Joint Proceedings of the First International Workshop On the Globalization of Modeling Languages (GEMOC 2013) and the First International Workshop: Towards the Model Driven Organization (AMINO 2013) Co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29 - October 04, 2013
Efficient use of local energy: An activity oriented modeling to guide Demand Side Management
Tool Use in Software Modelling Education
Pipelines Have Feelings Too: A Structured Way To Design CI/CD Pipelines
Openflexo as a Model Management Platform for the MoM 2025 Satellite Configuration Challenge
A build server for model-driven engineering
Tagging Model Properties for Flexible Communication
Using process algebra to statically analyze incremental propagation graphs
Using Feature Model to Build Model Transformation Chains
Requirements for Practical Model Merge - An Industrial Perspective
SQL-PL4OCL: An Automatic Code Generator from OCL to SQL Procedural Language
Modal Abstractions for Smart Contract Validation
Model-driven digital twin construction: synthesizing the integration of cyber-physical systems with their information systems
Integrating Prose as First-Class Citizens with Models and Code
Scribbler: From Collaborative Sketching to Formal Domain Specific Models and Back Again
Summary of the 6th International Workshop on Models and Evolution (ME 2012)
Multi-Level Constraints
OCL Rebuilt, From the Ground Up
An empirical study on visual programming docker compose configurations
Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset
Assessing the Use of Eclipse MDE Technologies in Open-Source Software Projects
Earth Science Digital Twins: A Systematic Literature Review
Formal Verification of SystemC Designs using the BLAST Software Model Checker
A Model-Driven Approach for Early Verification and Validation of Embedded Systems
UML class diagram simplification: what is in the developer's mind?
Automated generation of consistent models with structural and attribute constraints
Encoding Conceptual Models for Machine Learning: A Systematic Review
Towards tool support for agile modeling: sketching equals modeling
Dealing with the Coupled Evolution of Metamodels and Model-to-text Transformations
Model-Driven Security Workshop, MDsec 2012, In conjunction with MoDELS 2012, Innsbruck, Austria, October 1, 2012
Emerging New Roles for Low-Code Software Development Platforms
Querying and Annotating Model Histories with Time-Aware Patterns
SkeMo: Sketch Modeling for Real-Time Model Component Generation
Quantitative Conceptual Model Analysis for Evaluating Simple Class Diagrams made by Novices
BESMER: An Approach for Bad Smells Summarization in Systems Models
OCL2FOL+: Coping with Undefinedness
Metrics for OCL expressions: development, realization, and applications for validation
Using OCL for verified re-engineering
Summary of the 8th International Workshop on Models @ Run.time
A Survey of Federative Approaches for Model Management in MBSE
Model Sensemaking Strategies: Exploiting Meta-Model Patterns to Understand Large Models
Proceedings of the 12th Workshop on OCL and Textual Modelling, Innsbruck, Austria, September 30, 2012
Towards A Framework For Farm Scale Digital Twin
From Document-Based to Model-Based System and Software Engineering: Experience Report of a Selective Catalytic Reduction System Development
Modeling Relationships Between Feature Model Views
Barriers for Adopting FMI-Based Co-Simulation in Industrial MBSE Processes
A Multi-Robot Warehouse System: An Exemplar
Automatically learning formal models: an industrial case from autonomous driving development
Heterogeneous Megamodel Slicing for Model Evolution
Constructing Scalable Domain-Specific Graphical Modelling Languages
A Digital Shadow for Accurate Robot Motion Control: Integrating Data with Friction Models
MQT, an Approach for Run-Time Query Translation: From EOL to SQL
Teaching Model Driven Engineering from a Relational Database Perspective
Constructing Models with the Human-Usable Textual Notation
Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings
Modelling Adaptation Policies as Domain-Specific Constraints
Exploring Omniscient Debugging for Model Transformations
Tool Support for Live Formal Verification
On the Complex Nature of MDE Evolution
On the Impact of Layout Quality to Understanding UML Diagrams: Size Matters
An Adaptable Tool Environment for High-level Differencing of Textual Models
Modeling Cloud Architectures as Interactive Systems
Towards Rigorously Faking Bidirectional Model Transformations
Statechart Development Beyond WYSIWYG
Transforming Discourse Models to Structural User Interface Models
Morsa: A Scalable Approach for Persisting and Accessing Large Models
Negotiated grammar transformation
Co-evolution of Metamodels and Models through Consistent Change Propagation
SAC-OCL: A Tool for A Semi Automatic Co-evolution of OCL Constraints
Detecting Architectural Issues During the Continuous Integration Pipeline
A Comparative Analysis of Graph Transformation Engines for User Interface Development
Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment
Managing Digital Twins of The Test Lab with SystemLink Software
Doctoral Symposium
The Objects and Arrows of Computational Design
Towards an Extensible Architecture and Tool Support for Model-Based Verification
MoDeVVa 2010 Workshop Summary
Model-Based Software Engineering: A Multiple-Case Study on Challenges and Development Efforts
An extensible framework for customizable model repair
Secure MDE for Ethereum-based Decentralized Applications (ÐApps) Development
Gentleman: a light-weight web-based projectional editor generator
Concern-Based (de)composition of Model-Driven Software Development Processes
A Domain Specific Transformation Language to Support the Interactive Definition of Model Transformation Rules
Assessing the Impact of Hierarchy on Model Understandability - A Cognitive Perspective
MM-cat: A Tool for Modeling and Transformation of Multi-Model Data using Category Theory
Designing Elasticity Policies for Cloud-Native Applications with Slingshot