yusuke1997/dblp-id-title huggingface dataset:
Enhancing Gameful Systems with a Domain Specific Language for Rules Lifecycle Management
Applying UI patterns for modeling dialogs
AI Assisted Domain Modeling Explainability and Traceability
Towards Concrete Syntax Based Find for Graphical Domain Specific Languages
On the Use of Signatures for Source Incremental Model-to-text Transformation
User-centred tooling for modelling of big data applications
Finite satisfiability of class diagrams: practical occurrence and scalability of the FiniteSat algorithm
On the use of UML documentation in software maintenance: Results from a survey in industry
System architecture synthesis for performability by logic solvers
Workshop on OCL and textual modeling: OCL 2012
Feature-Based Variability Meta-modeling for Service-Oriented Product Lines
Model Driven Development of Complex User Interface
How MAD are we? Empirical Evidence for Model-driven Agile Development
Model Management at Renault Virtual Simulation Team: State of Practice, Challenges and Research Directions
A model management approach for assurance case reuse due to system evolution
Proceedings of the International Workshop on Modelling in Automotive Software Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada. September 27, 2015
Melanee and DLM: a contribution to the MULTI collaborative comparison challenge
Multimodel-Driven Software Engineering for Evolving Enterprise Systems
Towards a better understanding of interactions with a domain modeling assistant
Comparing Six Modeling Approaches
Towards Modeling Role-Based Pageflow Definitions within Web Applications
Invariant preservation in iterative modeling
Towards Model-Driven Unit Testing
CASE 2.0: on key success factors for cloud-aided software engineering
Think Global, Act Local: Implementing Model Management with Domain-Specific Integration Languages
Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing co-located with 15th International Conference on Model Driven Engineering Languages and Systems (MODELS 2012), Innsbruck, Austria, October 01 - 05, 2012
Industrial Adoption of Automatically Extracted GUI Models for Testing
Model-Driven Approach for Automatic Model Information Aggregation in Structured Documents
An Interdisciplinary Course on Model-Based Systems Engineering
Proceedings of the 3rd International Workshop on Model-Driven Engineering on and for the Cloud 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 29, 2015
Waste Management Through Digital Twins and Business Process Modeling
The Complexity Paradox: An Analysis of Modeling Education Through the Lens of Complexity Science
Model Driven Design of IT Systems for Smart Grids
Model transformation for end-user modelers with VMTL
A Lightweight Framework for Testing Safety-critical Component-based Systems on Embedded Targets
Integration of Component Fault Trees into the UML
Supporting systematic literature reviews in computer science: the systematic literature review toolkit
Proceedings of the 11th International Workshop on Models@run.time co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint Malo, France, October 4, 2016
Verification and Validation Approaches for Model-Based Software Engineering
Reflecting on Model-based Code Generators Using Traceability Information
Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), Miami, FL, USA, September 29, 2013
Model-driven rule-based mediation in XML data exchange
Domain-level Debugging for Compiled DSLs with the GEMOC Studio
On Designing Applied DSLs for Non-Programming Experts in Evolving Domains
Qualitative models for the supervision of CPS simulations
Precise Semantics of EMF Model Transformations by Graph Transformation
A statecharts interpreter and compiler with semantic variability
Preliminary results of measuring flow experience in a software modeling tool: UmpleOnline
Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing
Contingent level classes: motivation, conceptualization, modeling guidelines, and implications for model management
On the Conceptualization of Tools for Traceability-Based Change Impact Analysis Using a Domain-Specific Modeling Approach
Proceedings of the ACM Student Research Competition at MODELS 2016 co-located with the 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), St. Malo, France, October 3-4, 2016
Bottom-Up Meta-Modelling: An Interactive Approach
Ambient Advisory Models: Augmenting Runtime Models Into Distributed Reasoning Agents
Model-Driven Transformations for Mapping Parallel Algorithms on Parallel Computing Platforms
Embedding-based Automated Assessment of Domain Models
A Systematic Approach to Connectors in a Multi-level Modeling Environment
Exploring the Fundamentals of Mutations in Deep Neural Networks
On the use of LLMs to support the development of domain-specific modeling languages
ReuseMe - Towards Aspect-Driven Reuse in Modelling Method Development
FMMLx and DLM - A Contribution to the MULTI Collaborative Comparison Challenge
DescribeML: a tool for describing machine learning datasets
Word Embeddings for Model-Driven Engineering
Proceedings of the 4th International Workshop on Model-Driven Web Engineering, MDWE@MoDELS 2008, Tolouse, France, September 30 , 2008
Towards Self-Explainable Cyber-Physical Systems
Domain-Specific Model Checking for Cyber-Physical Systems
Formal execution semantics for asynchronous constructs of AADL
A controlled experiment with Usability Inspection Techniques applied to Use Case Specifications: comparing the MIT 1 and the UCE techniques
Ontology driven design of EMF metamodels and well-formedness constraints
By Multi-layer to Multi-level Modeling
Nested OSTRICH: hatching compositions of low-code templates
Concern-oriented interfaces for model-based reuse of APIs
Towards an Ontology-based Approach for Heterogeneous Model Matching
Anatomy of a Visual Domain-Specific Language Project in an Industrial Context
Benchmarking Large Language Models for Root Cause Analysis in Train Control Software Testing
Compiling Protocols to Promela and Verifying their LTL Properties
Model Consistency Management of a Brewery Digital Twin
A Bottom Up Approach to Model Based Program Validation
Experimenting with Functional Features of the Object Constraint Language
Method and framework for security risks analysis guided by safety criteria
A Systematic Approach for Designing Mutation Operators for MDE Languages
Visual Variables in UML: a First Empirical Assessment
Defining MARTE's VSL as an Extension of Alf
Model-Based (Mechanical) Product Design
Towards Continuous Delivery for Domain Experts: Using MDE to Integrate Non-Programmers into a Software Delivery Pipeline
Using Models at Run Time to Detect Incomplete and Inconsistent Requirements
Product Lines of Graphical Modelling Languages
Security asset elicitation for collaborative models
Model Driven Grant Proposal Engineering
Virtual Verification of System Designs against System Requirements
Consistent Modeling Using Multiple UML Profiles
Synchronous Execution Semantics for Component & Connector Models
Integration of a graph-based model indexer in commercial modelling tools
Towards Verified Java Code Generation from Concurrent State Machines
Pattern-based development of Domain-Specific Modelling Languages
Adding Dependability Analysis Capabilities to the MARTE Profile
An Approach for Evolving Transformation Chains
Process Prediction with Digital Twins
Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams
3D Parametric Models for Aeroplanes - From Idea to Design
A Tool for Collaborative Evolution of Enterprise Architecture Models at Runtime
An extensible OCL virtual machine and code generator
Model Driven Security Engineering for the Realization of Dynamic Security Requirements in Collaborative Systems
Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings
A Feature-based Comparison of Melanee and Metadepth
Rapid interface generation method for heterogeneous models in Digital twins
Towards Examining the Complexity of Consistency
Support for Evaluation of Impact Models in Reuse Hierarchies with jUCMNav and TouchCORE
Model-based Generation of Interactive Digital TV Applications
Concern Driven Software Development
A UML2 Profile for Service Modeling
Teaching Software Modeling and Design
Towards Ontology Enabled Agent-Based Twinning for Cyber-Physical Systems
Automating Digital Twins Development in Industry 4.0
An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE
From Attack Trees to Attack-Defense Trees with Generative AI & Natural Language Processing
Multi-paradigm modeling for early analysis of ROS-based robotic applications using a library of AADL models
Validation of Derived Features and Well-Formedness Constraints in DSLs - By Mapping Graph Queries to an SMT-Solver
Summary of the 7th International Workshop on Models@run.time
Challenges in Model-Driven Software Engineering
White-box LLM-supported Low-code Engineering: A Vision and First Insights
GOURMET: A Methodology for Realizing Goal-Driven Self-Adaptation
Formalizing knowledge in multi-scale agent-based simulations
Automatic SysML-based safety analysis
Toward a Symbiotic Approach Leveraging Generative AI for Model Driven Engineering
Towards Collaborative Modeling Using a Concern-driven Version Control System
Visual ScatterUnit: A Visual Model-Driven Testing Framework of Wireless Sensor Networks Applications
Engineering a Digital Twin for the Monitoring and Control of Beer Fermentation Sampling
Detecting Patterns of Poor Design Solutions Using Constraint Propagation
Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis
COMMitMDE 2018 - 3rd International Workshop on Collaborative Modelling in MDE
Digital Engineering Hub Pathfinder
Model-based Privacy-related Continuous Risk Control for Trustworthy Smart IoT Systems
Actor-based runtime model of adaptable feedback control loops
Model-Driven Extraction and Analysis of Network Security Policies
Enlightening Modeling the Aristotelian Way with Light-Code
Live-UMLRT: A Tool for Live Modeling of UML-RT Models
Specifying Service Composition Using UML 2.x and Composition Policies
Towards flexible creation of multi-level models: bottom-up change support in the modeling and programming environment XModeler
Enhancing UML Extensions with Operational Semantics
Papyrus for Education (Invited Presentation)
Explicitly Modelling Model Debugging Environments
IMP-Logics: a metamodel for analysis and transformations of Datalog programs
Coordination and explanation of reconfigurations in self-adaptive high-performance systems
Language-Independent Change Management of Process Models
Towards a model transformation intent catalog
Self-adaptation with End-User Preferences: Using Run-Time Models and Constraint Solving
Towards a Measurement Framework for Security Risk Management
Verified bidirectional transformations by construction
Complex Model Transformations by Reinforcement Learning with Uncertain Human Guidance
Feature-oriented programming with Ruby
Sustainability Implications of Large Language Model use in Model-Driven Engineering
Machine learning methods for model classification: a comparative study
Usability of Development Tools: A CASE-Study
Second International Workshop on Models@run.time
A Graphical Approach to Risk Identification, Motivated by Empirical Investigations
Model-Based Reuse of APIs using Concern-Orientation
Semantic interoperability of clinical data
Consistency Is Key: Can Your Product Line Realise What It Models?
A Manifesto for Semantic Model Differencing
Focussing Multi-Objective Software Architecture Optimization Using Quality of Service Bounds
Adding a HenshinEngine to GEMOC Studio: An experience report
Automated and Transparent Model Fragmentation for Persisting Large Models
MDEoptimiser: a search based model engineering tool
A Study of Modeling Perception in a First-Time Modeling Class
Modeling and Validating Dynamic Adaptation
Formal Design Models for Distributed Embedded Control Systems
Verification of Non-functional Requirements Using Formal Semantics
Incorporating Security Requirements from Legal Regulations into UMLsec model
Learning UML database design and modeling with AutoER
Towards Active Participation of Domain Experts in Modeling Language Evolution
Query-based access control for secure collaborative modeling using bidirectional transformations
Model Size Matters
Partial Evaluation of OCL Expressions
Solution Discovery over Feature Toggling with Built-in Abstraction in OutSystems
AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems
A Model-Driven Approach for CI/CD
First International Workshop on Human Factors in Modeling (HuFaMo 2015) - Preface
Description and Implementation of a UML Style Guide
Towards access control for collaborative modelling apps
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2011)
Model Transformations? Transformation Models!
DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins
Challenges for Model-Integrating Components
Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 30, 2013
Model and Formalism Driven Development of Collaborative Applications
Automatic synthesis from UML/MARTE models using channel semantics
Scenario Integration via the Transformation and Manipulation of Higher-order Graphs
Matching Business Process Workflows across Abstraction Levels
Proceedings of the First International Workshop on Combining Modelling with Search- and Example-Based Approaches co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 28, 2014
Generating Model with Uncertainty by Means of JTL
Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation
Multi-level Modeling with DMLA - A Contribution to the MULTI Process Challenge
Graphical projectional editing in gentleman
Machine learning-based incremental learning in interactive domain modelling
The MULTI Warehouse Challenge
Prompting or Fine-tuning? A Comparative Study of Large Language Models for Taxonomy Construction
A Critique of the Authoritative Source of Truth Concept in Model-Based Systems Engineering
Model Extraction Using Context Information
Assisting in requirements goal modeling: a hybrid approach based on machine learning and logical reasoning
Workshops and Symposia at MODELS 2007
Disciplined Heterogeneous Modeling - Invited Paper
Towards model-based development of decentralised peer-to-peer data vaults
Automated generation of test scenario models for the system-level safety assurance of autonomous vehicles
Clabject Typing in MLM - the Double Life of a Clabject: A Position Paper
VARY 2012: VARiability for You
Continuous Delivery of Software on IoT Devices
A DSL for Model Mutation and its Applications to Different Domains
A tool for the synthesis of cryptographic orchestrators
A Tool for the Automatic Generation of Multimodel Editors
On reducing model transformation testing overhead
Proactive Quality Guidance for Model Evolution in Model Libraries
A model-based framework for probabilistic simulation of legal policies
Engineering tagging languages for DSLs
Engineering Interoperable Ecosystems of Digital Twins: A Web-based Approach
A Comparative Analysis of Energy Consumption Between Visual Scripting models and C++ in Unreal Engine: Raising Awareness on the importance of Green MDD
5th Workshop on Artificial Intelligence and Model-Driven Engineering (MDE 2023)
Foundations for Continuous Time Hierarchical Co-simulation
Towards integration-preserving customization of just-in-time adaptive interventions with composite clabjects in RDF and SHACL
A Model-driven Approach for Price/Performance Tradeoffs in Cloud-based MapReduce Application Deployment
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, Munich, Germany, September 15-20, 2019
Using Ontology Reasoning for Reverse Engineering Design Patterns
On the Transition from Design Time to Runtime Model-Based Assurance Cases
Model-based development of embedded systems' user interfaces
Formally Defining a Graphical Language for Monitoring and Checking Object Interactions
Engineering Android Applications Based on UML Activities
Digital Twins for Cyber-Biophysical Systems: Challenges and Lessons Learned
Seamless Model-Based Safety Engineering from Requirement to Implementation
Automatic generation of test models and properties from UML models with OCL constraints
Resolution of Interfering Product Fragments in Software Product Line Engineering
Modular Transformation from AF3 to nuXmv
Modelling and Analysis of Real Time and Embedded Systems - Using UML
Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings
GDF: A Gamification Design Framework Powered by Model-Driven Engineering
Educators' Symposium at MoDELS 2006
Slicing UML-based Models of Real-time Embedded Systems
A Model-Based Framework for Legal Policy Simulation and Legal Compliance Checking
Challenges of Integrating Model-Based Digital Twins for Vehicle Diagnosis
HoloWoT: A First Step Towards Mixed Reality Digital Twins for the Industrial Internet of Things
A Catalogue of Scenario Patterns for Validating and Verifying Model Behavior
Towards realizing test conditions for automated vehicles
Inclusive Model-Driven Engineering for Accessible Software
Natural language generation from class diagrams
A community-sourced view on engineering digital twins: a report from the EDT.Community
A Tool for Collaborative Consistency Checking During Modeling
The MOOC Hype: Can We Ignore It? Reflections on the Current Use of Massive Open Online Courses in Software Modeling Education
UML Miner: A Tool for Mining UML Diagrams
A Model-Based Framework for Security Policy Specification, Deployment and Testing
MMINT: A Graphical Tool for Interactive Model Management
Second International Workshop on the Model-Based Design of Trustworthy Health Information Systems MOTHIS 2008
Industrial Adoption of Model-Driven Engineering: Are the Tools Really the Problem?
Heterogeneous Coupled Evolution of Software Languages
Test-Driven Scenario Specification of Automotive Software Components
9th International Workshop on Aspect-Oriented Modeling
Incremental Model Synchronization for Efficient Run-Time Monitoring
Mapping Component Models on Distributed Architectures: Correctness Checking
From Single- to Multi-Variant Model Transformations: Trace-Based Propagation of Variability Annotations
Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible
Evaluation of Students' Modeling and Programming Skills
OCL libraries for software specification and representation
Model Based Architecting and Construction of Embedded Systems
IT Security Risk Analysis based on Business Process Models enhanced with Security Requirements
Scalable Armies of Model Clones through Data Sharing
Towards One Model Interpreter for Both Design and Deployment
SMOKE: Simulink Model Obfuscator Keeping Structure
Ensuring the consistency of information between two versions of a mechanical drawing
Comparing multi-level modeling approaches
Generating Synchronization Engines between Running Systems and Their Model-Based Views
New UX for Participatory Modeling
Framework for Dynamic Architecture Reconfiguration of Cloud Services
Parallel execution of first-order operations
Interactive metamodel/model co-evolution using unsupervised learning and multi-objective search
Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis
Automatic model repair using reinforcement learning
Opportunities for Digital Twins for the Provisioning, Management and Monitoring of Heterogeneous IoT Devices
The Grand Challenge of Scalability for Model Driven Engineering
Leveraging Modes and UML2 for Service Brokering Specifications
Quick fixing ATL model transformations
Report of the 15th International Workshop on Aspect-Oriented Modeling
Simulation Framework for Executing Component and Connector Models of Self-Driving Vehicles
Declarative Lifecycle Management in Digital Twins
From the Heterogeneity Jungle to Systematic Benchmarking
Coupling LLMs and Model-Driven Engineering to Support Synthetic Generation of BPMN Artifacts
Reusable Specification Templates for Defining Dynamic Semantics of DSLs
Multifaceted Consistency Checking of Collaborative Engineering Artifacts
DTChecker: A Real-Time Signal Monitoring and Property Specification Tool for Digital Twins
An Experimental Investigation of UML Modeling Conventions
Behavioural interoperability to support model-driven systems integration
Modeling mechanical functional architectures in SysML
Recovering traceability links between feature models and source code of product variants
A DSL to Feedback Formal Verification Results
Systematic Component-Oriented Language Reuse
xMOF: A Semantics Specification Language for Metamodeling
The Doctoral Symposium at MODELS 2010
Bridging state-based differencing and co-evolution
Towards Model Product Lines: Composition of EMF Models
Modeling Heterogeneous Points of View with ModHel'X
Survey of established practices in the life cycle of domain-specific languages
Do Professional Developers Benefit from Design Pattern Documentation? A Replication in the Context of Source Code Comprehension
Towards Modeling Process Mining for Graphical Editors
MoDELS 2006 Doctoral Symposium
Parsing SBVR-Based Controlled Languages
Improving software engineering education by modeling real-world implementations
Inference of Simulation Models in Digital Twins by Reinforcement Learning
Compositional MDA
From Interaction Overview Diagrams to Temporal Logic
Towards the Notation-Driven Development of DSMLs
Goal Modeling and MDSE for Behavior Assistance
Real-time design models to RTOS-specific models refinement verification
Automatic Change Recommendation of Models and Meta Models Based on Change Histories
Towards a Semi-Automated Model-Driven Method for the Generation of Web-based Applications from Use Cases
A Model-Driven Approach to the Engineering of Multiple User Interfaces
Scalable Model Edition, Query and Version Control Through Embedded Database Persistence
A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems
Semantic Specifications for Domain-Specific Modeling Languages
Incremental causal connection for self-adaptive systems based on relational reference attribute grammars
Join Point Patterns: A High-Level Join Point Selection Mechanism
Semantic-based Model Matching with EMFCompare
Improving Inconsistency Resolution with Side-Effect Evaluation and Costs
Multi-Platform Generative Development ofComponent & Connector Systems using Model and Code Libraries
Lessons Learned Building a Tool for Workflow +
A-posteriori typing for Model-Driven Engineering
17 th Educators Symposium at MODELS 2021
Using Higher-Order Transformations to Derive Variability Mechanism for Embedded Systems
Modeling user intentions for in-car infotainment systems using Bayesian networks
Multi-Language Modelling with Second Order Intensions
Diagram Definition: A Case Study with the UML Class Diagram
MDE for Publishing Data on the Semantic Web
Proceedings of the 5th Workshop on Models@run.time, Oslo, Norway, October 5th, 2010
Customizing the common variability language semantics for your domain models
Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings
Enhancing Model-Based Engineering of Product Lines by Adding Functional Safety
Towards a Model-driven Approach for Reverse Engineering Design Patterns
Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines