yusuke1997/dblp-id-title huggingface dataset:
Risk-based compatibility analysis in automotive systems engineering
Modeling in Agile Project Courses
Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg's Tax Law
A Generic Approach for Automatic Model Composition
Simulation as a Service for Cooperative Vehicles
Model Synchronization with the Role-oriented Single Underlying Model
DeepTelos and DMLA: a contribution to the MULTI 2022 collaborative comparison challenge
Deterministic UML Models for Interconnected Activities and State Machines
Property-Based Methods for Collaborative Model Development
From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach
Extending MagicGrid to Support Virtual Prototyping for Early System Performance Validation and Verification
Enabling semantic interoperability of asset administration shells through an ontology-based modeling method
Documenting Simulink designs of embedded systems
Doctoral Symposium at MODELS 2008
Constructive Alignment in Teaching Modeling
MCeT: Behavioral Model Correctness Evaluation using Large Language Models
Developing a Physical and Digital Twin: An Example Process Model
How to Analyze Modeling Approach Comparison Criteria
Preface to the 1st International Hands-on Workshop on Collaborative Modeling (HoWCoM 2021)
TyphonML: a modeling environment to develop hybrid polystores
Towards an Approach for Orchestrating Design Space Exploration Problems to Fix Multi-Paradigm Inconsistencies
Context-aware factors in rearchitecting two-level models into multilevel models
An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability
Usage profile and platform independent automated validation of service behavior specifications
Advanced visualization and interaction in GLSP-based web modeling: realizing semantic zoom and off-screen elements
Model Driven Performance Measurement and Assessment with MoDePeMART
Toward a unified conception of multi-level modelling: advanced requirements
Towards mutation analysis for use cases
Creating an accessible and understandable modelling language for cell-based simulations
Modeling Language Evolution for Model Family Support
Interaction Components Between Components based on a Middleware
Automated migration of EuGENia graphical editors to the web
Model-driven specification of adaptive cloud-based systems
Preface to the 1st Workshop on DevOps@MODELS
Analysis of ISO 26262 Compliant Techniques for the Automotive Domain
Example-Driven Modeling using Clafer
Evaluation of Automotive OTA Updates Using Assurance Cases
UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI 2
CertGraph: Towards a Comprehensive Knowledge Graph for Cloud Security Certifications
Employing classifying terms for testing model transformations
Chronos - Scalable Model Versioning, Querying & Persistence
Transitioning to the cloud?: a model-driven analysis and automated deployment capability for cloud services
Joint Proceedings of MODELS 2014 Poster Session and the ACM Student Research Competition (SRC) co-located with the 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 28 - October 3, 2014
Process-Aware Model-driven Development Environments
Towards a Search-based Interactive Configuration of Cyber Physical System Product Lines
Heterogeneous modeling of gesture-based 3D applications
Model Consistency ensured by Metamodel Integration
CASE Tools versus Pencil and Paper: A Student's Perspective on Modeling Software Design
A Digital Twin Architecture for the Provisioning, Management, and Monitoring of Heterogenous IoT Devices
A Model-Based and Automated Approach to Size Estimation of Embedded Software Components
Designing, animating, and verifying partial UML Models
Coping with Semantic Variation Points in Domain-Specific Modeling Languages
Towards Pattern-Based Optimization of Cloud Applications
DeepRuby: Extending Ruby with Dual Deep Instantiation
Merging Features in Featured Transition Systems
Context-aware traceability across heterogeneous modelling environments
Visual Modeling and Simulation of AUTOSAR Application Layer Models Using Modelica
Semantic Analysis of Domain Model Evolution in Model-Driven Software Development
Continuous Integration for Testing Full Robotic Behaviours in a GUI-stripped Simulation
Automated Classification of Metamodel Repositories: A Machine Learning Approach
An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools
AI Simulation by Digital Twins: Systematic Survey of the State of the Art and a Reference Framework
Runtime model validation with parallel object constraint language
Towards a Formal Framework for Multimodeling in Software Engineering
A Precise Style for Business Process Modelling: Results from Two Controlled Experiments
Model-based Block Diagram Recognition for Model Visualization Verification
Doctoral Symposium at MoDELS 2011
Traceability-Based Change Awareness
Towards Intelligent Model Management: An Exploratory Study and Road-mapping
An Online Education Platform for Teaching MDE
Model-Driven Engineering Meets the Platform-as-a-Service Model
Bridging Workflow Automation Tools and EMF Modeling Ecosystems
Validity frame concept as effort-cutting technique within the verification and validation of complex cyber-physical systems
Variability Modelling throughout the Product Line Lifecycle
The Future of Train Signaling
Tool-Support of Socio-Technical Coordination in the Context of Heterogeneous Modeling
CommonLang: A DSL for Defining Robot Tasks
Enhancing syntax expressiveness in domain-specific modelling
Domain analysis on an electronic health records system
Towards Safe Model Transformation for Constraint-driven Modeling
Towards Requirements Specification Collaboration Forum for Embedded Software Systems
Towards automating the analysis of integrity constraints in multi-level models
Detecting Quality Problems in Data Models by Clustering Heterogeneous Data Values
Correctness of Model Synchronization Based on Triple Graph Grammars
Extending OCL with Null-References
On the application of software modelling principles on ISO 15926
A Usable MDE-based Tool for Software Process Tailoring
Fragmenta: A theory of fragmentation for MDE
Model-Based Trust Analysis of LLM Conversations
Proceedings of the 13th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 3, 2016
Models@Runtime to Support the Iterative and Continuous Design of Autonomic Reasoners
Prototizer: Agile on Steroids
Air Quality Management: An Exemplar for Model-Driven Digital Twin Engineering
Bringing Ontology Awareness into Model Driven Engineering Platforms
Performance prediction upon toolchain migration in model-based software
Metamodel Refactoring using Constraint Solving: a Quality-based Perspective
Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 27, 2015
An ontology DSL for the co-design of mechatronic systems
Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic Execution
Simplified Specification Languages for Flexible and Agile Modelling
Investigating the Effects of Integrating Handcrafted Code in Model-Driven Engineering
Towards the Black-Box Aggregation of Language Components
Agile Model-Driven Engineering in Mechatronic Systems - An Industrial Case Study
Behavioural Verification in Embedded Software, from Model to Source Code
Automatic generation of detailed flight plans from high-level mission descriptions
Generic Meta-modelling with Concepts, Templates and Mixin Layers
Proceedings of the Fourth International Comparing Modeling Approaches Workshop 2013 co-located with the ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems ( MODELS 2013), Miami, Florida, USA, October 1, 2013
HPCML: a modeling language dedicated to high-performance scientific computing
txtUML
Coordinate Systems: Level Ascending Ontological Options
Slicing the Three-layer Architecture: A Semantic Foundation for Behavioural Specification
Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc
DeSARM: A Decentralized Mechanism for Discovering Software Architecture Models at Runtime in Distributed Systems
A declarative modelling framework for the deployment and management of blockchain applications
The secret life of OCL constraints
A composition algorithm for reusable workflow models
Breaking Down Barriers: Building Sustainable Microservices Architectures with Model-Driven Engineering
Behavioral Modelling and Composition of Object Slices Using Event Observation
Model-Driven Systems Engineering for Virtual Product Design
Towards Benchmarking Evolution Support in Model-to-Text Transformation Systems
Modeling tool for managing canvas-based models traceability in ML system development
Automating the early detection of security design flaws
Industrial experiences from multi-paradigmatic modelling of signal processing
MReplayer: a trace replayer of distributed UML-RT models
An Adjustable Transformation from OWL to Ecore
Efficient generation of graphical model views via lazy model-to-text transformation
A Modeling Methodology for Crop Representation in Digital Twins for Smart Farming
clooca : Web based tool for Domain Specific Modeling
Configurable Formal Methods for Extreme Modeling
Abstracting Complex Languages through Transformation and Composition
Composing textual modelling languages in practice
Using Domain-Specific Languages in the Design of HMIs: Experiences and Lessons Learned
A Framework for Specifying and Analyzing Temporal Properties of UML Class Models
Evolution towards teaching a holistic course in model-driven system development: modeling for enterprise architecture with business and system architecture and platform-based development
Proceedings of the Doctoral Symposium at the ACM/IEEE 10th International Conference on Model-Driven Engineering Languages and Systems, Nashville (TN), USA, October 1st, 2007
On Integrating Structure and Behavior Modeling with OCL
Specifying Overlaps of Heterogeneous Models for Global Consistency Checking
A Component-Based and Model-Driven Approach to Deal with Non-Functional Properties through Global QoS Metrics
Efficient Caching for Operation-Based Versioning
Towards a Deep Metamodelling Based Formalization of Component Models
A Toolchain for the Detection of Structural and Behavioral Latent System Properties
Classification and mapping of layout algorithms for usage in graph-like modeling languages
A Metamodel-Based Approach for Analyzing Security-Design Models
TractsTool: Testing Model Transformations based on Contracts
EARS-CTRL: Generating Controllers for Dummies
Uncertainty in coupled models of cyber-physical systems
State machine antipatterns for UML-RT
An overseer control methodology for data adaptable embedded systems
UML-based Cloud Application Modeling with Libraries, Profiles, and Templates
Towards a modular and flexible human-usable textual syntax for EMF models
SimuV: model-based configuration management for Simulink models
Modelling and comparing cloud computing service level agreements
Overview of the Modelling of the Physical World (MOTPW) Workshop at MODELS 2012
An Evaluation of Multi-Level Modeling Frameworks for Extensible Graphical Editing Tools
Constraint-Based Model Refactoring
The Role of Models and Megamodels at Runtime
How is ATL Really Used? Language Feature Use in the ATL Zoo
Educators Symposium
Accelerating similarity-based model matching using on-the-fly similarity preserving hashing
Leveraging Model-Driven Technologies for JSON Artefacts: The Shipyard Case Study
RaM: Causally-Connected and Requirements-Aware Runtime Models using Bayesian Learning
Gamification-based UML learning environment in virtual reality
Supporting Software Language Engineering by Automated Domain Knowledge Acquisition
Model transformations to satisfy all-configurations-transitions on statecharts
Summary of the First Workshop on the Analysis of Model Transformations (AMT 2012)
Feature Model for Collaborative Modeling Environments
Parallel Execution of ATL Transformation Rules
A Specification-Based Test Case Generation Method for UML/OCL
DoMoBOT: a bot for automated and interactive domain modelling
Multi-level modeling with XML
Stochastic Performance Analysis of Distributed Activities
Enabling Informed Sustainability Decisions: Sustainability Assessment in Iterative System Modeling
On Static and Dynamic Analysis of UML and OCL Transformation Models
Reusable MDA Components: A Testing-for-Trust Approach
On the Need for Multi-Level ADS Scenarios
Is automated grading of models effective?: assessing automated grading of class diagrams
Finding with NEMO: a recommender system to forecast the next modeling operations
Static- and Dynamic Consistency Analysis of UML State Chart Models
A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures
Towards behavioral consistency in heterogeneous modeling scenarios
Maximizing the Amount of Information Not Modelled in MDE
Proceedings of the 1st International Workshop on Collaborative Modelling in MDE (COMMitMDE 2016) co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), St. Malo, France, October 4, 2016
A Metamodel for Reengineering CI/CD Pipelines
Model-Driven Root Cause Analysis for Trustworthy AI: A Data-and-Model-Centric Explanation Framework
Practical Multi-level Modeling on MOF-compliant Modeling Frameworks
Preserving Multi-level Semantics in Conventional Two-Level Modeling Techniques
TrueChange (TM) Under the Hood: How We Check the Consistency of Large Models (Almost) Instantly
Improving the Definition of UML
Engineering Digital Twins: A Research Roadmap
Realizing Model Simplifications with QVT Operational Mappings
Enriching Reverse Engineering with Annotations
A Behavioral Programming Approach to Search Based Software Engineering
A Model-Driven Engineering Approach for Monitoring Machine Learning Models
Software Modeling Assistance with Large Language Models
SLIM - A Lightweight Environment for Synchronous Collaborative Modeling
Towards Efficient Evaluation of Rule-based Permissions for Fine-grained Access Control in Collaborative Modeling
Move your MDE teaching online: The MDENet Education Platform
Modeling the Internet
Task Models as a Mean to Identify and Justify Automations in Development Tasks
Proceedings of the 1st International Workshop on Transforming and Weaving Ontologies in Model Driven Engineering TWOMDE 2008, Toulouse, France, September 28, 2008
Tackling Model-Based Software Testing and Verification as a Search Problem
A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study
Evolution of the UML Interactions Metamodel
A Model-Based Approach to Managing Feature Binding Time in Software Product Line Engineering
Towards automatically extracting UML class diagrams from natural language specifications
Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools
Finding the Pattern You Need: The Design Pattern Intent Ontology
Measuring UML Models Using Metrics Defined in OCL within the SQUAM Framework
A general architecture for client-agnostic hybrid model editors as a service
Towards a Software Product Line for Machine Learning Workflows: Focus on Supporting Evolution
On explaining modeling principles with modeling examples: a classification catalog
Transformations Debugging Transformations
EESSMOD 2012 Workshop Summary
Queries and Constraints: A Comprehensive Semantic Model for UML2
DPLfw: A Framework for the Product-Line-Based Generation of Variable Content Documents
The problems with eclipse modeling tools: a topic analysis of eclipse forums
On the Semantics of Object-Oriented Data Structures and Path Expressions
A Note on Properties in Multi-Level Modeling
UCM4IoT: A Use Case Modelling Environment for IoT Systems
Bootstrapping MDE Development from ROS Manual Code - Part 2: Model Generation
Making the case for measuring mental effort
An Incremental Algorithm for High-Performance Runtime Model Consistency
Towards Evolving Secured Multi-Model Systems with Model Federation
Challenges in Teaching Modeling in Agile Software Engineering Courses
Commonalities for Preserving Consistency of Multiple Models
A requirement driven testing method for multi-disciplinary system design
Proceedings of the 9th Workshop on Models@run.time co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 30, 2014
A model-based approach for developing event-driven architectures with AsyncAPI
MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020
Synthesizing Verified Components for Cyber Assured Systems Engineering
Transforming Security Audit Requirements into a Software Architecture
Prolegomena of a Multi-Level Modeling Method Illustrated with the FMML x
Towards a low-code solution for monitoring machine learning model performance
Modeling Service Choreographies and Collaborative Tasks for Autonomous Mixed-Fleet Systems
Towards a Catalog of Non-Functional Requirements in Model Transformation Languages
MDHPCL 2012 workshop summary
A modular approach to integrate verification tools in model based development
Automated Encapsulation of UML Activities for Incremental Development and Verification
Template based model engineering in UML
Deepening Our Understanding on the Use of Models and Code in Game Software Engineering: A Controlled Experiment in Unreal Engine
Recursion and Iteration Support in USE Validator with AnATLyzer
Use Case Driven Iterative Development: Hurdles and Solutions
Optimizing Industrial Operations through Business Process Formalization
Multi-layered Model-based Design Approach towards System Safety and Security Co-engineering
Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems
Consistency Control for Model Versions in Evolving Model-Driven Software Product Lines
Applying Multilevel Modeling to the Development of Geographic Information Systems
Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon
Autonomic Management Policy Specification: From UML to DSML
IoTMoF: A Requirements-Driven Modelling Framework for IoT Systems
Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems
Domain-Specific Modeling Solution in MetaEdit+ for the Model Management Challenge
Incremental Model Transformation for the Evolution of Model-Driven Systems
Dissimilarity Measures for Clustering Space Mission Architectures
Teaching modeling to anyone the aristotelian way: anyone can cook a sound model
The impact of opt-in gamification on students' grades in a software design course
Empirical Validation of Measures for UML Class Diagrams: A Meta-Analysis Study
Ontologies and Software Modeling: Potentials, Experience and Challenges
PolyGloT-UML: A Gamified Framework for Enhancing UML Learning Paths
A model-driven approach for the extraction of network access-control policies
Applying a Model-Based Approach to IT Systems Development Using SysML Extension
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016
Repository Mining for Changes in Simulink Models
Technical debt in MDE: a case study on GMF/EMF-based projects
Improved traceability for bidirectional model transformations
Extensions and Scalability Experiments of a Generic Model-Driven Architecture for Variability Model Reasoning
MUTANT: Model-Driven Unit Testing using ASCII-art as Notational Text
Comparing LML and FMML x : A Contribution to the MULTI Collaborative Comparison Challenge
Contract-based product-assembly co-design
Reflections on Courses for Software Language Engineering
Enhancing model transformation synthesis using natural language processing
A Generic Framework for Analyzing Model Co-Evolution
To build, or not to build: ModelFlow, a build solution for MDE projects
Facilitating the Definition of General Constraints in UML
"Union is power": analyzing families of goal models using union models
Aspect-Oriented Modelling for Distributed Systems
Voice-Driven Modeling: Software Modeling Using Automated Speech Recognition
Formal Verification Integration Approach for DSML
Adopting Model Driven Software Development in Industry - A Case Study at Two Companies
MODELS Research Projects Symposium
Descriptive vs prescriptive models in industry
Towards Leveraging the Concept of Influence to Enhance Collaborative Cyber-Physical Systems Development
Taming Graphical Modeling
vOCL: A novel approach for UML constraints modeling
Approaching Collaborative Modeling as an Uncertainty Reduction Process
Implementation of the Conformance Relation for Incremental Development of Behavioural Models
Cost Estimation for Model-Driven Engineering
Taxonomy of Flexible Linguistic Commitments
A Methodological Approach to Developing Model Transformations
Automatic Generation of Secure Multidimensional Code for Data Warehouses by using QVT Transformations: an MDA Approach
Assessing Software Design Skills and their Relation with Reasoning Skills
Towards Efficient Offline Incremental Model-to-Text Transformations
A Human Behavior Exploration Approach Using LLMs for Cyber-Physical Systems
Semantic Model Differencing Utilizing Behavioral Semantics Specifications
Enterprise Models as Drivers for IT Security Management at Runtime
Second International Workshop on Human Factors in Modeling (HuFaMo 2016) - Preface
Pitfalls Analyzer: Quality Control for Model-Driven Data Science Pipelines
Digital TwinCity: a holistic approach towards comparative analysis of business processes
An Approach for Efficient Querying of Large Relational Datasets with OCL based Languages
Empirical Study: Comparing Hasselt with C# to Describe Multimodal Dialogs
A tool-assisted approach to engineer domain-specific languages (DSLs) using Rust
An approach for a simulation-based analysis of business processes using the systems modeling language (SysML)
Towards bridging ontological and closed-world modelling with synchronised EMF views of RDF models
A Vision on a New Generation of Software Design Environments
Second International Workshop on Model Size Metrics
Model Co-evolution and Consistency Management (MCCM'08)
An orthogonal access modifier model for feature-oriented programming
An Exploratory Study of Forces and Frictions Affecting Large-Scale Model-Driven Development
Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs
Catch Me If You Can - Debugging Support for Model Transformations
Maintaining consistency between system architecture and dynamic system models with SysML4Modelica
Models from Code, or Code as Models?
Integrating the Designer in-the-loop for Metamodel/Model Co-Evolution via Interactive Computational Search
openCAESAR Application to Power Balance Analysis in Early Space Mission Formulation
Mutation Testing of Java Bytecode: A Model-Driven Approach
Explicit Modelling of Model Debugging and Experimentation
Modeling the MoM 2025 Satellite Configuration Challenge with Vitruvius
Bridging Java Annotations and UML Profiles with JUMP
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018
OCL as a Constraint Generation Language
Detecting feature interactions in SPL requirements analysis models
Automated Domain Modeling with Large Language Models: A Comparative Study
Equation-Based Object-Oriented Modeling Languages and Tools - Report on the Workshop EOOLT 2010 at MODELS 2010 Oslo, Norway, October 3, 2010
Digital Behavioral Twins for Safe Connected Cars
A Foundation for the Composition of Multilevel Domain-Specific Languages
Supporting Early-Safety Analysis of IoT Systems by Exploiting Testing Techniques