yusuke1997/dblp-id-title huggingface dataset:
A Feature-based Categorization of Multi-Level Modeling Approaches and Tools
Automated, traceable, and interactive domain modelling
Supporting Model Refinement with Equivalence Checking in the Context of Model-driven Engineering with UML-RT
Automating Feature Requests for User-Driven Model Evolution at Runtime
Automated Requirements Formalisation for Agile MDE
Joint Proceedings of MODELS'13 Invited Talks, Demonstration Session, Poster Session, and ACM Student Research Competition co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29 - October 4, 2013
Preface to the 1st Workshop on View-Oriented Software Engineering (VoSE)
Evaluating tool support for embedded operating system security: an experience feedback
Modular deployment of UML models for V&V activities and embedded execution
Automated Test Case Selection Using Feature Model: An Industrial Case Study
Applying Model Intelligence Frameworks for Deployment Problem in Real-Time and Embedded Systems
Incremental Consistency Checking for Complex Design Rules and Larger Model Changes
Digital Human Twin - A Human-Centric Extension of the Digital Twin Idiom
An Approach to Extend NDT in the Development of Web Applications into SOA-based Organizations
The Future of Modeling: User-Driven Open Source
Open Source: Innovation Platforms for MBSE?
Incremental symbolic execution of evolving state machines
Summary of the First International Workshop on Experiences and Empirical Studies in Software Modelling
Multilevel modelling of coloured petri nets
Towards Composite Model Transformations Using Distributed Graph Transformation Concepts
Formalizing Execution Semantics of UML Profiles with fUML Models
Change Propagation-based and Composition-based Co-evolution of Transformations with Evolving Metamodels
A Metamodel-Based Approach for Automatic User Interface Generation
Incremental Evaluation of Model Queries over EMF Models
A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data
2nd International Hands-On Workshop on Collaborative Modeling (HoWCoM 2023)
Testing Extensible Language Debuggers
Using Models to Enable Compliance Checking Against the GDPR: An Experience Report
Tenth International Workshop on OCL and Textual Modelling
Towards Bidirectional Engineering of Satellite Control Procedures Using Triple Graph Grammars
Putting Performance Engineering into Model-Driven Engineering: Model-Driven Performance Engineering
Modularizing and layering metamodels with the modular EMF designer
Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0
A Domain-Specific Language for Dependency Management in Model-Based Systems Engineering
Rule-Enhanced Business Process Modeling Language for Service Choreographies
Code Generation as a Service
Towards an Empirical Perspective on Multi-Level Modeling and a Comparison with Conventional Meta Modeling
Uncertainty-aware consistency checking in industrial settings
On the Rules for Inheritance in LML
Semantic Differencing of Activity Diagrams by a Translation into Finite Automata
Modelling and multi-objective optimization of quality attributes in variability-rich software
SysML models: studying safety and security measures impact on performance using graph tainting
Multilevel modelling for interoperability
Automated Provenance Collection at Runtime as a Cross-Cutting Concern
Towards SysML v2 as a Variability Modeling Language
Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications
The bicycle challenge in DMLA, where validation means correct modeling
Model-Based Traces
A Diagrammatic Approach to Model Completion
An Empirical Study on the Maturity of the Eclipse Modeling Ecosystem
Early experiences on model transformation testing
Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty
MDE-based Automated Provisioning and Management of Cloud Applications
Secure Data-Flow Compliance Checks between Models and Code Based on Automated Mappings
A Survey of Tool Use in Modeling Education
Tutorials at MODELS 2008
Designing and Generating Lesson Plans combining Open Educational Content and Generative AI
Proceedings of the 2nd International Workshop on Executable Modeling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 3, 2016
An LSTM-Based Neural Network Architecture for Model Transformations
User-Centric Model-Aware Recommendations for Industrial Domain-Specific Modelling Languages
How MetaEdit+ Supports Co-Evolution of Modeling Languages, Tools and Models
Towards Agile Model-based Systems Engineering
Mapping the UML2 Semantics of Associations to a Java Code Generation Model
Change-Driven Model Transformations
Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions
Generating Metamodels from Grammars by Chaining Translational and By-Example Techniques
Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation
Using LLMs for Use Case Modelling of IoT Systems: An Experience Report
Symbolic Reasoning for Early Decision-Making in Model-Based Systems Engineering
Towards the automatic discovery of platform transformation templates of legacy object-oriented systems
Modeling and Analyzing Information Flow in Development Teams as a Pipe System
Towards an Operationalization of the "Physics of Notations" for the Analysis of Visual Languages
Democratizing the development of recommender systems by means of low-code platforms
Language support for feature-oriented product line engineering
A Model-Driven Approach for Mobile Business Information Systems Applications
CSP(M): Constraint Satisfaction Problem over Models
Turning Models Inside Out
A Local-First Collaborative Modeling Approach with Replicated Data Types
How Do Developers Solve Software-engineering Tasks on Model-based Code Generators? An Empirical Study Design
A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects
On Leveraging Executable Language Engineering for Domain-Specific Transformation Languages
Optimization and reconfiguration of IEC 61499-based software architectures
Reactive links across multi-domain engineering models
Enriching megamodel management with collection-based operators
Runtime Monitoring of Human-Centric Requirements in Machine Learning Components: A Model-Driven Engineering Approach
AI-Driven Consistency of SysML Diagrams
Proceedings of the First Workshop on Experiences and Empirical Studies in Software Modelling, Wellington, New Zealand, October 17, 2011
Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches
A Cloud Architecture for an Extensible Multi-Paradigm Modeling Environment
Introducing Argumentative and Discursive Enterprise Leading and Management
Positioning of the low-code movement within the field of model-driven engineering
Teaching Object-Oriented Modeling and UML to Various Audiences
Proceedings of the 2nd International Workshop on Model-Driven Engineering for High Performance and CLoud computing co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, Florida, USA, September 29, 2013
Architecture Framework for Mapping Parallel Algorithms to Parallel Computing Platforms
Consistent co-evolution of models and transformations
Supporting robotic software migration using static analysis and model-driven engineering
MDA Game Design for Video Game Development by Genre
Gotten: A Model-Driven Solution to Engineer Domain-specific Metamorphic Testing Environments
An Expressive Aspect Composition Language for UML State Diagrams
Semantic Clone Detection for Model-Based Development of Embedded Systems
How to improve the understanding of roles in modeling
Qualitative Reasoning and Cyber-Physical Systems: Abstraction, Modeling, and Optimized Simulation
Applying CVL to business process variability management
Modeling bCMS Product Line Using Feature Model, Component Family Model and UML
Algebraic Models for Bidirectional Model Synchronization
Automating the design of recommender systems: from foundational aspects to actual development
Goal-Based Modeling and Analysis of Non-Functional Requirements
Resilience in Sirius Editors: Understanding the Impact of Metamodel Changes
OCL Support in an Industrial Environment
Connecting conceptual models using relational reference attribute grammars
Experiences of Teaching Model-based Development
Using Higher-order Transformations to Derive Variability Mechanism for Embedded Systems
(Not) Yet Another Metamodel For Traceability
Generating Class Contracts from Deterministic UML Protocol Statemachines
Detection of Linguistic Bad Smells in GRL Models: An NLP Approach
A Comparison of Model Migration Tools
Validating Industrial Requirements with a Contract-Based Approach
Model Driven Development of Advanced User Interfaces (MDDAUI) - MDDAUI'06 Workshop Report
Efficient Ontology-Based Modeling of Context-Aware In-Car Infotainment Systems - Benchmark Infrastructure and Design Guidelines
A General Methodology for Internalising Multi-Level Model Typing
Towards tracking "guilty" transformation rules: a requirements perspective
Doctoral Symposium Foreword
Evolution in a context of an model-integrated tool environment
Towards Semantics-Aware Merge Support in Optimistic Model Versioning
Model-Driven Development with SDL - Process, Tools, and Experiences
Automatability of Coupled Evolution of Metamodels and Models in Practice
Transforming domain models to efficient C# for the Danish pension industry
Resource Analysis and Automated Verification for the Thirty Meter Telescope using Executable SysML Models
On the Challenges of Model Decorations for Capturing Complex Metadata
Leveraging Models at Run-Time to Retrieve Information for Feature Location
Interoperability of Software Engineering Metamodels
A Multi-Paradigm Modelling Approach for the Engineering of Modelling Languages
From UML to Alloy and back again
An Architecture for the Integration of Product and Production Digital Twins in the Automotive Industry
Intensional View Definition with Constrained Incremental Transformation Rules
Debugging for Model Transformations
Experiences using OCL for business rules on financial messaging
Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal
Automation Support for System Simulation and Architecture Layout Design in Cyber-Physical Systems Engineering
Learning to Transform: Evaluating LLMs on Model Transformation by Example
Modeling Frames
Model execution adaptation?
gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior
A Server Side SOA Meta Model for Assigning Aspect Services
Towards incremental deductive verification for ATL
Towards Linked Data for Ecosystems of Digital Twins
Applying MDD in the Content Management System Domain: Scenarios and Empirical Assessment
UML Class Diagram Composition Using Software Requirements Specifications
Time Exceptions in Sequence Diagrams
Summary of the 6th International Workshop on Models@run.time
Mutating DAC and MAC Security Policies: A Generic Metamodel Based Approach
Evaluating Tool Support for Co-Evolution of Modeling Languages, Tools and Models
Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like?
Connecting Regulatory Requirements to Audit Outcomes: A Model-driven Approach to Auditable Compliance
Proceedings of the First International Workshop on Model-driven Engineering By Example co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, September 29, 2013
Integrating Performance Analysis in the Model Driven Development of Software Product Lines
From UML to Alloy and Back Again
3rd International Workshop on Metamodels, Schemas, Grammars and Ontologies
Meaningful metrics for multi-level modelling
Vision Paper: Towards Model-Based Energy Testing
Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty
Towards WCET Estimation of Graph Queries@Run.time
Interactive Debugging for Extensible Languages in Multi-Stage Transformation Environments
Adding Random Operations to OCL
Shall We Test Service-Based Models or Generated Code?
Declarative Model Transformation Execution Planning
Modeling and Reasoning with Multirelations, and their encoding in Alloy
Programmatic Muddle Management
Automated Refactoring of Unbounded Queries in Software Automation Platforms
Model-Driven Software Development of Safety-Critical Avionics Systems: an Experience Report
Comparative analysis of data persistence technologies for large-scale models
Precomputing reconfiguration strategies based on stochastic timed game automata
Multi-Level Modeling with DMLA: A Contribution to the MULTI Warehouse Challenge
Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings
Integrating Run-time Observations and Design Component Models for Cloud System Analysis
Verifying Deadlock and Nondeterminism in Activity Diagrams
Models and Evolution - ME2010
An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example
Modular language product lines: a graph transformation approach
M2AR: A Web-based Modeling Environment for the Augmented Reality Workflow Modeling Language
Towards a Semantics of Activity Diagrams with Semantic Variation Points
Forensic Debugging of Model Transformations
Reuse Considerations in Evolving Software Products: The Software Product Line Perspective
Feature-based Development of State Transition Diagrams with Property Preservation
Mining human factors general trends from +100k UML class diagrams
Dethroning Programming Languages as Endorsed Means for Fine-grained UML Behaviour Modelling in Open Source MDE
Domain-Specific Methods and Tools for the Design of Advanced Interactive Techniques
First Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2008)
On the importance and challenges of FOSD
Hierarchical Model Exploration for Exposing Off-nominal Behaviors
Performance Modeling of Distributed Collaboration Services with Independent Inputs/Outpus
Modelling program verification tools for software engineers
A megamodel for Software Process Line modeling and evolution
Advancing Domain-Specific High-Integrity Model-Based Tools: Insights and Future Pathways
Integrating Modeling Tools in the Development Lifecycle with OSLC: A Case Study
Report of the 14th International Workshop on Aspect-Oriented Modeling
Third International Workshop on Models@run.time
A Comparative Study of Large Language Models for Goal Model Extraction
Proceedings of the Workshop on Extreme Modeling co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2013), Miami, Florida, USA, September 29, 2013
First International Modeling Security Workshop
NEURAL-UML: Intelligent Recognition System of Structural Elements in UML Class Diagram
Comparing Value-Driven Methods: an Experiment Design
EMF modeling in traffic surveillance experiments
A Model-Driven Approach for Software Parallelization
Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications
Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I
Model-driven performance prediction of systems of systems
Interface Verification Using Executable Reference Models: An Application in the Automotive Infotainment
On the Specification of Non-functional Properties of Systems by Observation
Towards Inconsistency Management by Process-Oriented Dependency Modeling
A Model-Based Framework for Statically and Dynamically Checking Component Interactions
Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System
Time semantics of executable activity diagrams for relativized conformance testing
Modeling Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study
Supporting Incremental Synchronization in Hybrid Multi-view Modelling
On the Challenges of Integrating Digital Twins
A model-driven approach for cobotic cells based on Petri nets
Towards a Unifying Approach for Performance-Driven Software Model Refactoring
Extending UML Templates Towards Flexibility
Software Modeling in Education: The 6th Educators' Symposium at MODELS 2010
Generating Examples for Knowledge Abstraction in MDE: a Multi-Objective Framework
Debugging Non-determinism: a Petrinets Modelling, Analysis, and Debugging Tool
A Semantic Model to Fight Social Exclusion
Extended Traits for Model Driven Software Development
OCL Pattern Matching
Towards Scalable Validation of Low-Code System Models: Mapping EVL to VIATRA Patterns
Facilitating Agile Prototyping of Cloud Applications - A Model-based Approach
Towards supporting multiple execution environments for UML/OCL models at runtime
Visual animation of B specifications using executable DSLs
From Conceptual Models to Knowledge Graphs: A Generic Model Transformation Platform
Model Checking of UML-RT Models Using Lazy Composition
Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation
A Framework for Incorporating Usability into Model Transformations
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency
Feature-oriented modularization of deep learning APIs
Model-Driven Quantum Code Generation Using Large Language Models and Retrieval-Augmented Generation
A Proposal of Features to Support Analysis and Debugging of Declarative Model Transformations with Graphical Syntax by Embedded Visualizations
Query-Driven Soft Interconnection of EMF Models
Embedded System Construction - Evaluation of Model-Driven and Component-Based Development Approaches
A simulation study of real-time MPEG traffic using forward error control scheme
Towards automatic synthesis of QoS preserving implementations from object-oriented design models
A Multi-Granularity Energy Profiling Approach and a Quantitative Study of a Web Browser
An Interactive Object Based Multimedia System for IP Networks
An efficient methodology for constructing and managing a 3-D world
Scalable Online Feasibility Tests for Admission Control in a Java Real-Time System
Scalable Group Membership Service for Mobile Internet
Middleware Design and Human Factor
The society of distributed objects
DEAL: an object-oriented language for distributed real-time systems
On Constructing Overlay Network to Support Distributed Real-Time Virtual Environment Applications
Protocol for groups of pseudo-active replicated objects
Provision of Multimedia Services in a Mobile Ad Hoc Network
A Word for Operational Flexibility in Distributed Safety-Critical Systems
A 2-phase N-modular redundancy algorithm
Paths: programming with system resources in support of real-time distributed applications
Value-driven resource assignment in object-oriented real-time dependable systems
Adaptive Protocols For Survivability Of Transactions Operating On Replicated Objects
GUI Approach to Programming of TMO Frames
Experiments with WCET-Oriented Programming and the Single-Path Architecture
An Adaptive Distributed System Based on Conditional Dependencies
Schedulability in Model-based Software Development for Distributed Real-Time Systems
A Guided Tour on Total Order Specifications
A meta-model for fault management
Enhancing Dependability of the Battlefield Single Integrated Picture through Metrics for Modeling and Simulation of Time-Critical Scenarios
Schedulability Analysis of an Event-Based Real-Time Protocol Framework
The DREAM library support for PCD and RTO.k programming in C++
The Chimera Methodology: designing dynamically reconfigurable real-time software using port-based objects
A time domain beamformer object oriented analysis and design
On-board preventive maintenance: analysis of effectiveness and optimal duty period
A Trustworthy Web Services Framework for Business Processes Integration
Toward optimal assignment of human functions in complex defense systems via uniform object modeling and real-time simulation
The Starfish System: Providing Intrusion Detection and Intrusion Tolerance for Middleware Systems
JavaMaC and Runtime Monitoring for Geoinformatics Grid Services
A Distributed Adaptive Scheduler for QoS Support in Compose|Q
Design and optimization of complex real-time dependable systems
Object-oriented software development with fault tolerance for distributed real-time systems
Synthesis Aspects of the PARADISE Design Environment
Implementation of a transparent RPC for distributed object-oriented systems
On-line prediction of execution times - a basis for adaptive scheduling
Object-based checkpoints in distributed systems
Real-Time Based Strong Consistency for Distributed Objects
Steering of real-time systems based on monitoring and checking
Reliable Compare & Swap for Fault-Tolerant Synchronization
Position paper: resource management for complex distributed systems
High-level Integrated Design Environment for dependability (HIDE)
Multiple invariant system design for fault-tolerant real-time applications
System development based on a real-time object model
QoS issues for wide-area CORBA-based object systems
Integration of time in canonical testers for real-time systems
Measuring OS support for real-time CORBA ORBs
Input-Dependency Analysis for Hard Real-Time Software
A Cluster-Based TMO-Structured Scalable Approach for Location Information Systems
Enhancing DNS Security using the SSL Trust Infrastructure
An FPGA-based Key-Store for Improving the Dependability of Security Services
Distributed real-time objects: the ANSA approach
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation
Quality of service (QoS): a model for information
Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems
Workshop Committees
Event-Driven Support of Real-Time Sentient Objects
Real-time programming in the concurrent object-oriented language TAO
Component-Based Software Engineering for Resource-Constraint Systems: What are the Needs?
Search-based Execution-Time Verification in Object-Oriented and Component-Based Real-Time System Development
An analysis of the communication service in responsive systems
An object-based model for dependable real-time distributed systems
On the reliability of dependable soft real-time cooperating systems
Process-oriented development of embedded systems: modeling behavior and dependability
Issues in Providing Quality of Service in a Joint Battlespace Infosphere
Specification and analysis of real-time systems in Statecharts
Using Co-ordinated Atomic Actions for Building Complex Web Applications: A Learning Experience
Formal timing analysis of OMT designs using LIMITS
Proposal of an integrated object-oriented environment for the design of supervisory software for real-time industrial automation systems
Towards Universal Software Substrate for Distributed Embedded Systems
Proceedings of WORDS '94. The First Workshop on Object-Oriented Real-Time Dependable Systems, Dana Point, California, USA, October 24-25, 1994
Multiple Failure Correction in the Time-Triggered Architecture
An Architecture and a General Optimization Framework for Resource Management in Dynamic, Distributed Real-Time Systems
Handling FT-CORBA Compliant Interoperable Object Group References
A framework of secure object system architecture
Object Testing in ITEE
Real-time behaviour in a heterogeneous environment?
Ada95 object-oriented and real-time support for development of software fault tolerance reusable components
A TMO-Based Software Architecture for Distributed Real-Time Multimedia Processing
Deriving Interaction-Prone Scenarios in Feature Interaction Filtering with Use Case Maps
Mobile Middleware Solutions for the Adaptive Management of Multimedia QoS to Wireless Portable Devices
Middleware for Real-Time Distributed Objects: Needs and Requirements from Different Application Domains
Re-) Configurable Real-Time Operating Systems and Their Applications