yusuke1997/dblp-id-title huggingface dataset:
A survey on service composition languages
Model Driven Engineering, Verification and Validation (MoDeVVa 2023)
Proceedings of the 2nd International Workshop on Multi-Level Modelling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2015), Ottawa, Canada, September 27-28, 2015
Proceedings of the Modelling of the Physical World Workshop, MOTPW 2012, Innsbruck, Austria, October 1-5, 2012
Performance and Scalability of DMN-Based LCNC Platforms
Matching Model-Snippets
T □ : A Domain Specific Language for Rapid Workflow Development
Beyond discrete modeling: A continuous and efficient model for IoT
Metamodels to support database migration between heterogeneous data stores
Report on the Aachen OCL Meeting
Using Concept Traceability to Investigate UML Class Diagram Evolution in Long-Existing FOSS Projects
Contract-based Validation of Conceptual Design Bugs for Engineering Complex Machine Learning Software
Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019)
A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes
Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, September 29th, 2013
If You're Not Modeling, You're Just Programming: Modeling Throughout an Undergraduate Software Engineering Program
Demonstration of the DPMF for Data Protection Analysis
Formal Verification and Mathematical Optimization for Autonomous Vehicle Group Controllers
Meta-Modelling Meta-Learning
Proceedings of the 3rd International Workshop on Multi-Level Modelling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), Saint-Malo, France, October 4, 2016
4 th International Workshop on Models@run.time
Field Types for Deep Characterization in Multi-Level Modeling
Towards IoT Diversity via Automated Fleet Management
Teaching Tornado: from communication models to releases
Towards Integrating Low-Code in View-based Development
Formal Definition of MOF 2.0 Metamodel Components and Composition
UML Model Execution via Code Generation
Uncovering Students' Common Difficulties and Strategies During a Class Diagram Design Process: an Online Experiment
Three Cases of Feature-Based Variability Modeling in Industry
Towards Deep Reactions in Multi-Level, Multi-View Modeling
Towards migration-aware filtering in model differences application
Execution of UTP test cases using fUML
Variability Management in Domain-Specific Languages
Proceedings of the 1st International Workshop on Model-Driven Development Processes and Practices co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 28, 2014
Change-driven Incremental Symbolic Execution of Evolving State Machines
Towards qualifiable graphical editing of complex domain-specific models in safety-critical avionics
Step-wise refinement in multi-paradigm modeling
Immune System Computation and the Immunological Homunculus
Handling index-out-of-bounds in safety-critical embedded C code using model-based development
Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams
An analysis of software design understanding & motivation of engineering students
Proceedings of the Second Edition of the International Workshop on Experiences and Empirical Studies in Software Modelling, EESSMod@MoDELS 2012, Innsbruck, Austria, October 1-5, 2012
On validation of ATL transformation rules by transformation models
Integrating UML/OCL Derived Properties into Validation and Verification Processes
Static Analysis of Complex Event Processing Programs
In Search of the Essence of No-Code - Elements of Data Modeling
Model-Driven Assessment of Use Cases for Dependable Systems
MaRTS: A Model-Based Regression Test Selection Approach
Proceedings of the First International Workshop on Architecture Centric Virtual Integration co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, ACVI@MoDELS 2014, Valencia, Spain, September 29, 2014
Qualitative Tendencies for Hybrid System Simulation
Improving Solution Reuse in Automotive Embedded Applications using a Pattern Library Based Approach
Design Specification of Cyber-Physical Systems: Towards a Domain-Specific Modeling Language based on Simulink, Eclipse Modeling Framework, and Giotto
Experiences from Model-Driven Development of Homecare Services: UML Profiles and Domain Models
Model Transformation Design Patterns
CREST - A Continuous, REactive SysTems DSL
Unifying multi-level modeling: A position paper
Discovering Timing Feature Interactions with Timed UML 2 Interactions
A Classification of Dynamic Reconfiguration in Component and Connector Architecture Description
Arvisan: an Interactive Tool for Visualisation and Analysis of Low-Code Architecture Landscapes
Summary of the Extreme Modeling Workshop (XM 2012)
Novel Communication Channels in Software Modeling Education
Proceedings of the 2nd International Workshop on Transforming and Weaving Ontologies in Model Driven Engineering, TWOMDE@MoDELS 2009, Denver, CO, USA, October 4, 2009
When DevOps Meets Meta-Learning: A Portfolio to Rule them all
A two-steps model transformation to extend the scope of an analysis framework to standard modeling languages
Model Based Reengineering Of User Interfaces
Model-driven architectural risk analysis using architectural and contextualised attack patterns
Generating Software Architecture Description from Source Code using Reverse Engineering and Large Language Model
FPTC: Automated Safety Analysis for Domain-Specific Languages
Mapping Requirements to Features to Create Traceability in Product Line Models
UML Modeling for Visually-Impaired Persons
Quantitative Reactive Models
On executable models that are integrated with program code
Towards an Interoperable Model-driven Automated Assessment System for Computer Science Education
Chaining model transformations
Polymorphic Scenario-Based Specification Models: Semantics and Applications
Joint Proceedings of the 12th Educators Symposium (EduSymp 2016) and 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2016) co-located with the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint Malo, France, October 3, 2016
Collaborative creation and versioning of modeling languages with MetaEdit+
Eat your own DevOps: a model driven approach to justify continuous integration pipelines
Fifth International Workshop on Human Factors in Modeling / Modeling of Human Factors (HuFaMo'21)
Enabling Model Recommenders for Command-Enabled Editors
Hypersonic - Model Analysis as a Service
Challenges of Collaborative MBSE in the Presence of Practical Intellectual Property Requirements
Using free modeling as an agile method for developing domain specific modeling languages
Towards Semantic Integration of Plant Behavior Models with AutomationML's Intermediate Modeling Layer
Usability Inspection in Model-Driven Web Development: Empirical Validation in WebML
Towards Confidentiality in Multi-Model Inconsistency Detection for Systems Engineering
Validating Terrain Models in Digital Twins for Trustworthy sUAS Operations
Real-time model-driven engineering: an overview
From Builders to Editors: Bidirectional Transformations of Low-code Models
Sensitivity Analysis in Model-Driven Engineering
Enhancing Software Modeling Learning with AI-Powered Scaffolding
Automatic Derivation of Utility Functions for Monitoring Software Requirements
Early Deviation Detection in Modeling Activities of MDE Processes
Extendable Toolchain for Automatic Compatibility Checks
Reflecting on the past and the present with temporal graph-based models
4th International Workshop on Modeling in Low-Code Development Platforms (LowCode 2023)
Manufacturing Digital Twin Standards
Support for OCL libraries and static features
Functional validation of AADL models via model transformation to SystemC with ATL
Assisted authoring of model-based systems engineering documents
Bringing Intelligence to Sociotechnical IoT Sytems
Influence of Programming Style in Transformation Bad Smells: Mining of ETL Repositories
Using Adaptation Plans to Control the Behavior of Models@runtime
Investigating Simulation for Safety Analysis of Battery Systems in an Active Solar Car Project
Towards RSA-based HA configuration in Cloud
Assume-Guarantee Scenarios: Semantics and Synthesis
Multi-model consistency preservation
Towards a MOF/QVT-Based Domain Architecture for Model Driven Security
Towards an assessment grid for intelligent modeling assistance
5th International Workshop on Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS)
Domain-Specific Modelling Languages for Participatory Agent-Based Modelling in Healthcare
Incremental Model Transformations with Triple Graph Grammars for Multi-version Models
Using Runtime Models to Unify and Structure the Handling of Meta-information in Reflective Middleware
Interaction Design and Model-Driven Development
Engineering Low-Code Modelling Environments with Dandelion
Real Projects with Informal Models
Knowledge Base Development and Application Processes Applied on Product-Assembly Co-design
Towards a Taxonomy of Digital Twin Evolution for Technical Sustainability
Decomposition of Design Space Exploration Problems in the Context of model-based Development
Proceedings of the MODELS 2013 Doctoral Symposium co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, October 1, 2013
Using UML Activities for System-on-Chip Design and Synthesis
Proceedings of the 2nd International Workshop on The Globalization of Modeling Languages co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, GEMOC@Models 2014, Valencia, - Spain, September 28, 2014
Third Intenational Workshop on Quality in Modeling
On-Demand Cardiac Digital Twins: A Case Study on DevOps workflows for Digital Twin Platforms
MRegTest: A Replay-Based Regression Testing Tool for Distributed UML-RT Models
TwinOps - DevOps meets model-based engineering and digital twins for the engineering of CPS
Model-Based Engineering: A New Era Based on Papyrus and Open Source Tooling
Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study
Automatic assessment of students' software models using a simple heuristic and machine learning
Model-based specification, analysis and synthesis of servo controllers for lithoscanners
Meta Model Application for Consistency Management of Models for Avionic Systems Design
Leveraging natural-language requirements for deriving better acceptance criteria from models
SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations
From Monolithic to Microservice Architecture: The Case of Extensible and Domain-Specific IDEs
CHESS: an Open Source Methodology and Toolset for the Development of Critical Systems
3rd International Workshop on Model-Driven Engineering for Digital Twins (MoDDiT 2023)
Specifying Security Aspects in UML Models
The FTG+PM framework for multi-paradigm modelling: an automotive case study
Model-Driven Software Product Line Engineering of AI-Based Applications for Achieving Sustainable Development Goals: Vision Paper
Migrating from proprietary tools to open-source software for EAST-ADL metamodel generation and evolution
Teaching Modelling Literacy: An Artificial Intelligence Approach
A Tool For Feature-Requirement Traceability Using Requirement Canvas and Encapsulation
Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages
Instance specialization - a pattern for multi-level metamodelling
Atlas: A Toolset for Efficient Model-Driven Data Exchange in Data Spaces
Teaching Software Modelling in an Undergraduate Introduction to Software Engineering
Leveraging Multi-Level Modeling for Multi-Domain Quality Assessment
Model-Based Testing Using LSCs and S2A
QVTR 2 : A Rational and Performance-Aware Extension to the Relations Language
Systematic generation of standard compliant tool support of diagrammatic modeling languages
Instant and Incremental QVT Transformation for Runtime Models
Scenarios in the loop: integrated requirements analysis and automotive system validation
Assessing the Power of a Visual Modeling Notation - Preliminary Contemplations on Designing a Test
Product derivation for solution-driven product line engineering
Common Modeling Concepts and a Command Interface Towards Bisimilar Behavior of Different Domain-Specific Modeling Frameworks
A Model-Driven Approach to Trace Checking of Pattern-Based Temporal Properties
Efficient Model Loading through Static Analysis
Survey on Template-based Code Generation
Modeling Modeling
Cross-Language Support Mechanisms Significantly Aid Software Development
Proceedings of the First International Workshop on Human Factors in Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015
Mapping MOF-based Requirements Representations to Ontologies for Software Reuse
How to merge gamification efforts for programming and modelling: a tool implementation perspective
Enhancing Xtext for General Purpose Languages
Building deduplicated model repositories to assess domain-specific languages evolution
Reifier: Model-Driven Engineering of Component-Based and Service-Oriented JEE Applications
Proceedings of the International Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada, September 29, 2015
Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory
Partial Bidirectionalization of Model Transformation Languages
An OCL Semantics Specified with QVT
Usable Design Space Exploration in AutoFOCUS3
Applying Model Transformation and Event-B for Specifying an Industrial DSL
A multiplicity-preserving crossover operator on graphs
Quality Improvement for UML and OCL Models Through Bad Smell and Metrics Definition
From Transpilers to Semantic Libraries: Formal Verification With Pluggable Semantics
Cross-Detection of Mobile-specific Energy Hotspots: MBSE to the Rescue
Incremental backward change propagation of view models by logic solvers
Reusable Textual Notations for Domain-Specific Languages
Software Modeling in Education: The 7th Educators' Symposium at MoDELS 2011
Modern C++ as a modeling language for automated driving and human-robot collaboration
jjodel - A Reflective Cloud-Based Modeling Framework
Semantically Configurable Code Generation
A generic solution for weaving business code into executable models
A DSL for Explicit Semantic Adaptation
A Model-Driven Based Environment for Automatic Model Coordination
Requirements as First-Class Citizens: Integrating Requirements closely with Implementation Artifacts
Automatic Derivation of AADL Product Architectures in Software Product Line Development
Teaching Model-Driven Low-Code Development Platforms
Implicit requirements for ontological multi-level types in the UNICLASS classification
Proceedings of the 2nd Workshop on Flexible Model Driven Engineering co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), Saint-Malo, France, October 2, 2016
Domain-specific model differencing for graphical domain-specific languages
A Model-Driven Measurement Procedure for Sizing Web Applications: Design, Automation and Validation
DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems
Why is My Component and Connector Views Specification Unsatisfiable?
Language Protocols for Domain-Specific Debugging
Assigning Semantics to Graphical Concrete Syntaxes
Assembly Line: A Tool for Collaborative Modeling of Ontologies in Public Administration
Demonstration of Runtime Model Based Management of Diverse Cloud Resources
Satisfying requirements for pervasive service compositions
CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications
Model driven interoperability in practice: preliminary evidences and issues from an industrial project
Deductive reconstruction of MLT * for multi-level modeling
Re-Implementing Apache Thrift using Model-Driven Engineering Technologies: An Experience Report
Proceedings of the Educators' Symposium co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 30th, 2013
Open Issues for the development of 3D Multimodal Applications from an MDE perspective
Automated Suggestions of Security Enhancing Improvements for Software Architectures
A model-driven alternative to programming in blocks using rule-based transformations
Domain Specific Modeling Methodology for Reconfigurable Networked Systems
Teaching and learning about abstraction
Towards public understanding of software through modeling
An Observer-Based Notion of Model Inheritance
Aspect-Oriented User Requirements Notation: Aspects in Goal and Scenario Models
A Multi-level Approach for Model-based User Interface Development
Model Transformation by Example
Renarrating linguistic architecture: a case study
Concurrent and Distributed Model Transformations based on Linda
Supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation
ViMoTest: a low code approach to specify ViewModel-based tests with a projectional DSL using JetBrains MPS
Critical Systems Development Using Modeling Languages - CSDUML 2006 Workshop Report
Models. Models. Models. So What?
Using quality of service bounds for effective multi-objective software architecture optimization
Towards the Estimation of Quality Attributes on System Model Histories
Teaching Model Views with UML and OCL
Augmenting model-based systems engineering with knowledge
Towards the adoption of model based system safety engineering in the automotive industry
Towards an Integrated Framework for Model-Driven Security Engineering
Automatic Domain Model Migration to Manage Metamodel Evolution
Opportunities and Challenges for Deep Constraint Languages
IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud
fSysML: Foundational Executable SysML for Cyber-Physical System Modeling
Using the SCADE Toolchain to Generate Requirements-Based Test Cases for an Adaptive Cruise Control System
A Virtual Global Monorepo of Immutable Linked Data
Expressing Confidence in Models and in Model Transformation Elements
Tutorials at MoDELS 2006
From a Natural to a Formal Language with DSL Assistant
Enhancing development and consistency of UML models and model executions with USE studio
A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation
A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems
Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), held as part of the 2009 International Conference on Model Driven Engineering Languages and Systems ( MoDELS'09 ) Denver, Colorado, USA, October 6, 2009
Peculiarities of language engineering in multi-level environments or: Design by elimination: a contribution to the further development of multi-level modeling methods
Mining of DSLs and generator templates from reference applications
Facilitating Migration of Cloud Infrastructure Services: A Model-Based Approach
Preface of the 15th International Workshop on Models@run.time'21
A Critical Review of Applied MDA for Embedded Devices: Identification of Problem Classes and Discussing Porting Efforts in Practice
Mind the Ethics! The Overlooked Ethical Dimensions of GenAI in Software Modeling Education
Proceedings of the 2nd International Workshop on Model-Driven Engineering on and for the Cloud co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, CloudMDE@MoDELS 2014, Valencia, Spain, September 30, 2014
A DSL for Testing LLMs for Fairness and Bias
A Native Versioning Concept to Support Historized Models at Runtime
Using Smalltalk as a Reflective Executable Meta-language
A model-driven middleware approach to reduce the semantic gap between application domains and the generic infrastructure of smart cities
Modeling the Linguistic Architecture of Software Products
Transforming Platform-Independent to Platform-Specific Component and Connector Software Architecture Models
Towards Monitoring Cloud Services using Models@run.time
Runtime Monitoring of Functional Component Changes with Behavior Models
Complexity- and Performance Analysis of Different Controller Implementations on a Soft PLC
Model-based Student Admission
CoFMPy: A Python Framework for Rapid Prototyping of FMI-based Digital Twins
Extending Agile Practices in Automotive MDE
Proposing a Framework for Impact Analysis for Low-Code Development Platforms
Bridging the Gap between OpenMBEE and Git
Anticipating unanticipated tool interoperability using role models
Specifying Temporal Properties in UML Using Patterns: A Tool-Supported Approach
The UML Is More Than Boxes and Lines
A model-based representation of configuration knowledge
Towards Modelling Acceptance Tests as a Support for Software Measurement
GECO: Automatic Generator-Composition for Aspect-oriented DSLs
Interactive Dependency Graphs for Model Transformation Analysis
Lab-Scale Gantry Crane Digital Twin Exemplar
Model Transformation Product Lines
Towards Modeling and Predicting the Resilience of Ecosystems
Merging Models with the Epsilon Merging Language (EML)
Continuous integration support in modeling tools
Model checking message delivery times in SpaceWire networks
Reconciling TGGs with QVT
A Domain-Driven Model Generation Framework for Cyber-Physical Production Systems
Enhancing Model Management with Automated REST API Generation
Firmware Synthesis for Ultra-Thin IoT Devices Based on Model Integration
Precise Detection of Conflicting Change Operations Using Process Model Terms
Engaging End-User-Modelers: An Action Research Study
DevOpsML: towards modeling DevOps processes and platforms
SPML: A Visual Approach for Modeling Firewall Configurations
A Formal Metamodel for Problem Frames
Towards Declarative and Incremental Model Transformation
On the Specification of Non-Functional Properties of Systems by Observation
A Traceability-Driven Approach to Model Transformation Testing
Automatic transformation of abstract AUTOSAR architectures to timed automata
Modeling Autonomic Systems in the time of ML, DevOps and Microservices
Towards Evolution of Generic Variability Models
An Automotive Architecture Product Line for E/E Powertrain Architectures
Towards model-based bias mitigation in machine learning
Model-Driven Dynamic Generation of Context-Adaptive Web User Interfaces
Model-Based Resource Analysis and Synthesis of Service-Oriented Automotive Software Architectures
Exploring Potency
Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models
Picto web: a tool for complex model exploration
Proceedings of the VARiability for You Workshop - Variability Modeling Made Useful for Everyone, VARY '12, Innsbruck, Austria, September 30, 2012
Analyzing Behavioral Refactoring of Class Models
DataTime: a Framework to smoothly Integrate Past, Present and Future into Models
Proceedings of the MoDELS 2007 Workshop on Model Driven Development of Advanced User Interfaces, Nashville, Tennessee, USA, October 1, 2007
Non-functional requirements in model-driven software product line engineering
Scenario-based specification of security protocols and transformation to security model checkers
Towards Generating Structurally Realistic Models by Generative Adversarial Networks
Modeling the Full Stack: Frontend and Backend Generation with Extended Domain Models
NAOMI - An Experimental Platform for Multi-modeling