yusuke1997/dblp-id-title huggingface dataset:
Analyzing WSN-based IoT Systems using MDE Techniques and Petri-net Models
A Java Bytecode Metamodel for Composable Program Analyses
Mutation Operators for Object Constraint Language Specification
Solving the Class Responsibility Assignment Case with UML-RSDS
Towards Improving Agility in Model-driven Development
The TTC 2018 Social Media Case
Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, STAF 2015, L'Aquila, Italy, July 24, 2015
Computational Design Synthesis Using Model-Driven Engineering and Constraint Programming
fUML Activity Diagrams with RAG-controlled Rewriting: A RACR Solution of The TTC 2015 Model Execution Case
Improving Incremental and Bidirectional Evaluation with an Explicit Propagation Graph
A View-based Approach Towards an Engineering Platform for Industrial Automation in the Cloud
Bridging agility and automation: enhancing model-driven engineering with LLMs in scrum
Towards Formalization of Assembly Knowledge for Product and Assembly Trade-Off Analysis
AIPyCraft: AI-assisted software development lifecycle for 6G blockchain oracle validation
FIXML to Java, C# and C++ Transformations with QVTR-XSLT
Towards Constraint-Based Model Types: A Generalised Formal Foundation for Model Genericity
STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, Joint Workshop on Foundations and Practice of Visual Modeling and Data for Model-Driven Engineering, International workshop on MDE for Smart IoT Systems, 4th International Workshop on (Meta)Modeling for Healthcare Systems, and 20th International Workshop on OCL and Textual Modeling co-located with Software Technologies: Applications and Foundations, Federation of Conferences (STAF 2021), Virtual Event / Bergen, Norway, June 21-25, 2021
Efficiently Engineering IoT Architecture Languages - An Experience Report (Poster)
A research roadmap towards achieving scalability in model driven engineering
CISL - Core Insurance Service Layer
Continuing a Benchmark for UML and OCL Design and Analysis Tools
Proposal for a Multi-View Modelling Case Study: Component-Based Software Engineering with UML, Plug-ins, and Java
Reo Coordination Model for Simulation of Quantum Internet Software
Java Refactoring Case: A VIATRA Solution
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - Report on the MDE@DeRun 2018 Workshop
FormalMiner: A Formal Framework for Refinement Mining
The TTC 2014 FIXML Case: Rascal Solution
Model-Based Generation of Natural Language Specifications
Parallel In-place Model Transformations with LinTra
Ai-based and model-driven methods to guide citizens through processes in the public sector
Towards a Co-simulation Based Model Assessment Process for System Architecture
Scalability of Model Transformations: Position Paper and Benchmark Set
Visual Notation and Patterns for Abstract State Machines
STAF 2020 Workshop Proceedings: 4th Workshop on Model-Driven Engineering for the Internet-of-Things, 1st International Workshop on Modeling Smart Cities, and 5th International Workshop on Open and Original Problems in Software Language Engineering co-located with Software Technologies: Applications and Foundations federation of conferences (STAF 2020), Bergen, Norway, June 22-26, 2020
Towards dynamic views on heterogeneous models - the NeoJoin view definition language
Proceedings of the 10th Transformation Tool Contest (TTC 2017), co-located with the 2017 Software Technologies: Applications and Foundations (STAF 2017), Marburg, Germany, July 21, 2017
Model Optimisation for Feature Class Allocation Using MDEOptimiser: A TTC 2016 Submission
Morpheus: A Degradation Framework for Resilient IoT Systems
The TTC 2017 Outage System Case for Incremental Model Views
YAMTL Solution to the TTC 2018 Social Media Case
Human-Oriented Formal Modelling of Human-Computer Interaction: Practitioners' and Students' Perspectives
Complementing the B-Method with Model-Based Testing
Verifying SimpleGT Transformations Using an Intermediate Verification Language
Report on the Third Workshop on Verification of Model Transformations (VOLT 2014)
On the concurrent execution of model transformations with Linda
Experiences with an Internal DSL in the IoT Domain
Efficient Software Controller Variant Development and Validation (ECoVaDeVa) Overview of a Flemish ICON Project
Communication with Models
An Efficient Computation Strategy for allInstances()
A DSL for Encoding Models for Graph-Learning Processes
Towards Integration of Context-Based and Scenario-Based Development
SECT-AIR: Software Engineering Costs and Timescales - Aerospace Initiative for Reduction
The Tool Generation Challenge for Executable Domain-Specific Modeling Languages
Proceedings of the Workshop on Scalability in Model Driven Engineering, Budapest, Hungary, June 17, 2013
Leveraging LLMs to support co-evolution between definitions and instances of textual DSLs
Optimizing retrieval augmented generation for object constraint language
Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications
Patterns and Styles for Incremental Model Transformations
Personality Gaze Patterns Unveiled via Automatic Relevance Determination
Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems
Model-Driven Technologies for Data Mining Democratisation
Double-Pushout Rewriting in Context
Automated Annotations in Domain-Specific Models: Analysis of 23 Cases
The TTC 2014 Movie Database Case: Rascal Solution
The Fulib Solution to the TTC 2019 Truth Table to Binary Decision Diagram Case
Class Responsiblity Assignment Case: a Viatra-DSE Solution
Key-Value vs Graph-based data lakes for realizing Digital Twin systems (Poster)
Using LLMs to extract UML class diagrams from Java and Python programs: an empirical study
The SDMLib Solution to the Model Execution Case for TTC2015
Solving the Class Responsibility Assignment Case with Henshin and a Genetic Algorithm
The TTC 2014 Movie Database Case
Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER)
SeaClouds: Agile management of complex applications across multiple heterogeneous clouds
Compilation of Feature Models by Expert Vibing
Embedded UML Model Execution to Bridge the Gap Between Design and Runtime
Reference representation techniques for large models
Elementary Model Management Patterns
SheetGit: A Tool for Collaborative Spreadsheet Development
Toward a national repository of administrative procedures: web crawling and process modeling with large language models
Verifying OCL pre/post condition using Cyclone
Graph Rewriting Based Search for Molecular Structures: Definitions, Algorithms, Hardness
Find-Replace as a Service of Graph-Based DSL Tool Development Framework
Refinement Mining: Using Data to Sift Plausible Models
Applying Formal Reasoning to Model Transformation: The Meeduse solution
Towards a Cognitive Architecture for the Formal Analysis of Human Behaviour and Learning
Movie Database Case: An EMF-IncQuery Solution
STAF 2022 Workshop Proceedings: 10th International Workshop on Bidirectional Transformations (BX 2022), 2nd International Workshop on Foundations and Practice of Visual Modeling (FPVM 2022) and 2nd International Workshop on MDE for Smart IoT Systems (MeSS 2022) (co-located with Software Technologies: Applications and Foundations federation of conferences (STAF 2022)), Nantes, France, July 5-8, 2022
Bidirectional Transformations in Practice: An Automotive Perspective on Traceability Maintenance (Short Paper)
The SDMLib Solution to the MovieDB Case for TTC2014
Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models
Approximating Parikh Images for Generating Deterministic Graph Parsers
Formal Modelling as a Component of User Centred Design
Formalizing a Notion of Concentration Robustness for Biochemical Networks
A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems
YAMTL Solution to the TTC 2019 BibtexToDocBook Case
On the Need for Temporal Model Repositories
Temporal Logic Specification and Analysis for Model Transformations
Null Considered Harmful (for Transformation Verification)
Proceedings of the Projects Showcase, part of the Software Technologies: Applications and Foundations 2015 federation of conferences (STAF 2015), L'Aquila, Italy, July 22, 2015
Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, VOLT@STAF 2014, York, UK, July 21, 2014
Smart Home Model Verification with AnimUML (Poster)
A Prototyping Process for Medical Devices and Systems
OCL on life support: can we revitalize the community for a stronger future?
The Quest for Better Languages: Usage Patterns to the Rescue
IncQuery-D: incremental graph search in the cloud
Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, York, United Kingdom, July 25, 2014
Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator
Toward Product Lines of Mathematical Models for Software Model Management
Context-Aware Design of Reflective Middleware in the Internet of Everything
OOPSLE 2020: Open and Original Problems in Software Language Engineering
Solving the TTC Java Refactoring Case with FunnyQT
Towards a unified model-based engineering framework: integrating UML profiles into EMF
Metamodeling Architectures for Business Processess in Organizations
An NMF Solution to the Train Benchmark Case
Lowcomote: Training the Next Generation of Experts in Scalable Low-Code Engineering Platforms
A language workbench extension to generate conversational interfaces for domain-specific languages
3DVFH+: Real-Time Three-Dimensional Obstacle Avoidance Using an Octomap
An Experience Integrating Response-Time Analysis and Optimization with an MDE Strategy
Non-human Modelers: Challenges and Roadmap for Reusable Self-explanation
Towards Context Modeling in Space and Time
Accelerating Application Development in the Internet of Things using Model-driven Development
A-CPS: Automation in High-performance Cyber Physical Systems Development
Integrity Protection Against Insiders in Microservice-Based Infrastructures: From Threats to a Security Framework
Raising Abstraction in Timing Analysis for Vehicular Embedded Systems through Model-Driven Engineering
A Systematic Approach and Guidelines to Developing a Triple Graph Grammar
A SWOT Analysis of the Object Constraint Language
"Boring Formal Methods" or "Sherlock Holmes Deduction Methods"?
A Solution to the FIXML Case Study Using Triple Graph Grammars and eMoflon
Spatio-Temporal Models for Formal Analysis and Property-Based Testing
Audio Ergo Sum - A Personal Data Model for Musical Preferences
Specification and design refactorings for sustainable agile model-driven engineering
Pure Edge Computing Platform for the Future Internet
On the Emergence of Patterns for Spreadsheets Data Arrangements
Towards Model-Based Optimisation: Using Domain Knowledge Explicitly
Automated Consistency Preservation in Electronics Development of Cyber-Physical Systems
Exploring Applications of Formal Methods in the INSPEX Project
Software language translation by example
Train Benchmark Case: an EMF-INCQUERY Solution
Adding Regular Expression Operators to OCL
From Modeling to Test Case Generation in the Industrial Embedded System Domain
Analysis Techniques for Graph Transformation Systems
Multi-agent Systems with Virtual Stigmergy
Distributing Commas, and the Monad of Anchored Spans
The SDMLib Solution to the FIXML Case for TTC2014
Decentralized Model Persistence for Distributed Computing
Detecting and Preventing Power Outages in a Smart Grid using eMoflon
Measuring complexity of logical puzzles with metrics expressed in OCL *or* A case study on OCL diversity
Fragment-Based Diagnosis of Spreadsheets
Supporting Smart Cities Modeling with Graphical and Textual Editors
n + 1 Challenges for Software Language Engineering
Short-Cut Rules - Sequential Composition of Rules Avoiding Unnecessary Deletions
Checking Transformation Model Properties with a UML and OCL Model Validator
The TTC 2015 Train Benchmark Case for Incremental Model Validation
Tool Support for Model Splitting using Information Retrieval and Model Crawling Techniques
The CPSwarm Technology for Designing Swarms of Cyber-Physical Systems
Using Formal Methods to Validate Research Hypotheses: The Duolingo Case Study
Beyond Information Silos Challenges in Integrating Industrial Model-based Data
Spans of Delta Lenses
Proceedings of the 9th Transformation Tool Contest, co-located with the 2016 Software Technologies: Applications and Foundations (STAF 2016), Vienna, Austria, July 8, 2016
Towards Model-Based Communication Control for the Internet of Things
A Validity Analysis to Reify 2-valued Boolean Constraints
Deterministic Lazy Mutable OCL Collections
Mapping USE Specifications into Spec#
MONDO: Scalable Modelling and Model Management on the Cloud
Software Testing Innovation Alliance - the SHIP project -
Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
Refinement Based Formal Development of Human-Machine Interface
Solving the TTC 2014 Movie Database Case with UML-RSDS
Incremental Consistency Checking of Heterogeneous Multimodels
ECIM: European Cloud Marketplace for Intelligent Mobility
An Accelerated MapReduce-Based K-prototypes for Big Data
Interfacing Real-Time Systems for Advanced Co-Simulation - The ACOSAR Approach
Towards Scenario-Based Security Requirements Engineering for Cyber-Physical Systems
The Families to Persons Case
Checking Graph Programs for Confluence
The Movie Database Case: A Solution Using the Maude-based e-Motions Tool
Engineering Bidirectional Model Transformations (Short Paper)
An NMF Solution to the TTC 2018 Social Media Case
Solving the TTC 2014 Movie Database Case with GrGen.NET
Model-Driven Interaction Design for Social Robots
Transformation of Finite State Automata to Regular Expressions Using Henshin
Structuring legal text as preparation for chat-bot use
On the use of LLMs for design pattern detection in software models
Implementing OCL in Swift
Extracting Correspondences from Metamodels Using Metamodel Matching
A Model-Driven Solution for Financial Data Representation Expressed in FIXML
Models, More Models, and Then a Lot More
Evaluation of Model Comparison for Delta-Compression in Model Persistence
Composition of Advanced ( \mu )Services for the Next Generation of the Internet of Things
Solving the TTC'14 FIXML Case Study with SIGMA
Solving the State Elimination Case Study Using Epsilon
Exploring the use of large language models in domain-specific language development: an experience report
Using Reinforcement Learning to Handle the Runtime Uncertainties in Self-adaptive Software
Model Transformations Using LLMs Out-of-the-Box: Can Accidental Complexity Be Reduced?
An NMF Solution to the Java Refactoring Case
Evaluating a Graph Query Language for Human-Robot Interaction Data in Smart Environments
Automated Analysis, Validation and Suboptimal Code Detection in Model Management Programs
Software modelling for sustainable software engineering
Provider-agnostic knowledge graph extraction from user stories using large language models
Solved and Open Problems in Type Error Diagnosis
Collaborative Modelling with Version Control
Model-driven engineering in digital signal processing
Model Transformation Semantic Analysis by Transformation
Enterprise Architecture modelling with ArchiMate
Speak Well or Be Still: Solving Conversational AI with Weighted Attribute Grammars (Poster)
Towards the Verification of Hybrid Co-simulation Algorithms
A Unified Template for Model Transformation Design Patterns
Transforming Truth Tables to Binary Decision Diagrams Using the Role-based Synchronization Approach
Two MontiCore solutions to the TTC 2025 UVL to Dot case
Cognifying Model-Driven Software Engineering
From Hyperedge Replacement Grammars to Decidable Hyperedge Replacement Games
Two-Faced Data
Criteria for Orthographic Viewpoints
Proceedings of the 2nd Workshop on Scalability in Model Driven Engineering co-located with the Software Technologies: Applications and Foundations Conference, BigMDE@STAF2014, York, UK, July 24, 2014
A UML Profile for Privacy Enforcement
Model-Driven Development of Digital Twins for Supervision and Simulation of Sensor-and-Actuator Networks (Extended Abstract)
Hawk: towards a scalable model indexing architecture
Translating UML-RSDS OCL to ANSI C
Verification of the CD2RDBMS Transformation Case in Flora-2
Proceedings of the Doctoral Symposium at Software Technologies: Applications and Foundations 2015 Conference (STAF 2015), L'Aquila, Italy, July 20, 2015
Demo: Stabilization Technique in INTO-CPS
Co-simulation of Physical Model and Self-Adaptive Predictive Controller Using Hybrid Automata
Scalability in Model Driven Engineering: BigMDE'13 workshop summary
Implementing Nested FOR Loops as Spreadsheet Formulas
Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers
A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio
Quality-based Software-Selection and Hardware-Mapping as Model Transformation Problem
Large language models for game development: A mapping study on automated code generation
Programming Communication with the User in Multiplatform Spreadsheet Applications
Model-based Decoder Specifications for the Long-Term Preservation of Video Content
A JastAdd- and ILP-based Solution to the Software-Selection and Hardware-Mapping-Problem at the TTC 2018
Modeling for Making Smart City KPIs a User-friendly Tool for Smart City Design
Towards an Automated Classification of Spreadsheets
Digital twins for IoT systems: Exploiting synergies between industry and academia (extended abstract)
Optimized Declarative Transformation: First Eclipse QVTc Results
Scalable Model Exploration Through Abstraction and Fragmentation Strategies
Emergent Model-Driven Engineering Ecosystems by means of Patterns
Design Patterns for Model Transformations: Current Research and Future Directions
Open and Original Problems in Software Language Engineering 2025 workshop report
Swarm Intelligence Layer to Control Autonomous Agents (SWILT)
Solving the Quality-based Software-Selection and Hardware-Mapping Problem with ACO
Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars
Refactoring Java Programs using Spoon
Towards a Modeling and Analysis Environment for Industrial IoT systems
Proceedings of the 4rd Workshop on Scalable Model Driven Engineering part of the Software Technologies: Applications and Foundations (STAF 2016) federation of conferences, Vienna, Austria, July 8, 2016
Introduction of an OpenCL-Based Model Transformation Engine
Reflections on the Lack of Adoption of Domain Specific Languages
Truth Tables to Binary Decision Diagrams
Patterns in Model Engineering 2015 - a Workshop Summary
KI und BPM als Enabler der Digitalisierung in der Verwaltung
A JastAdd-based Solution to the TTC 2018 Social Media Case
An Operation-based Versioning Approach for Synchronous and Asynchronous Collaboration in Graphical Modeling Tools
Modeling Linked Open Data (Poster)
OCCIware - A Formal and Tooled Framework for Managing Everything as a Service
Viewpoints and Views in Hardware Platform Modeling for Safe Deployment
Using LLMs to extract OCL specifications from Java and Python programs: an empirical study
Mobile Health ID Card - Demonstrating the Realization of an mHealth Application in Austria
Model Slicing on Low-code Platforms
A Solution to the Java Refactoring Case Study using eMoflon
Case study: FIXML to Java, C# and C++
Solving the Movie Database Case with QVTo
Towards agile collaborative multi-view modeling with inconsistency tolerance
STAF 2019 Co-Located Events Joint Proceedings: 1st Junior Researcher Community Event, 2nd International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, and 1st Research Project Showcase Workshop co-located with Software Technologies: Applications and Foundations (STAF 2019), Eindhoven, The Netherlands, July 15 - 19, 2019
TrueGrid: Code the Table, Tabulate the Data
Probabilistic Modelling of Station Locations in Bicycle-Sharing Systems
Improving Memory Efficiency for Processing Large-Scale Models
Towards a Principle of Least Surprise for Bidirectional Transformations
Solving the FIXML2Code-case Study with HenshinTGG
Towards Flexible Model Analysis and Constraint Development: A Small Demo Based on Large Real-Life Data
Visualization of Formal Specifications for Understanding and Debugging an Industrial DSL
Workshop in OCL and Textual Modelling - Report on Recent Trends and Panel Discussions
Integrating and deploying heterogeneous components by means of a microservices architecture in the CROSSMINER project
A new set of metrics for measuring the complexity of OCL expressions
Aspectual Code Generators for Easy Generation of FIXML to OO Mappings
Proceedings of the STAF 2024 Workshops: AgileMDE 2024, LLM4MDE 2024, and MeSS 2024 co-located with the International Conference on Software Technologies: Applications and Foundations (STAF 2024) Enschede, The Netherlands, July 8-11, 2024
SmartGov Advanced decision support for Smart Governance
On the Definition of Parallel Independence in the Algebraic Approaches to Graph Transformation
Separating Topological Noise from Features Using Persistent Entropy
AToMPM Solution for the IMDB Case Study
A New Life for Legacy Language Definition Approaches?
Explaining Successful Docker Images Using Pattern Mining Analysis
Classifying and Avoiding Compatibility Issues in Networks of Bidirectional Transformations
A Formal Approach to Error Localization and Correction in Service Compositions
Towards Handling Latency in Interactive Software
A Microservice Reference Case Study for Design-Runtime Interaction in MDE
A High-Level Model Checking Language with Compile-Time Pruning of Local Variables
Views on UML Interactions as Spreadsheet Queries
Generating Synthetic Data for Real World Detection of DoS Attacks in the IoT
A process for continuous consistency-aware quality management
Towards an Open Set of Real-World Benchmarks for Model Queries and Transformations
Universal Variability Language to Dot
The TTC 2019 Live Case: BibTeX to DocBook
UML and OCL Transformation Model Analysis: Checking Invariant Independence
The SDMLib Solution to the TTC 2017 Families 2 Persons Case
Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations
An NMF Solution to the TTC 2019 Truth Tables to Binary Decision Diagrams Case
Empirical Study of Planning and Execution for Large Teams of Robots
A Heuristic Approach for Resolving the Class Responsibility Assignment Case
Proceedings of the 8th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, L'Aquila, Italy, July 24, 2015
The Class Responsibility Assignment Case
ReoLive: Analysing Connectors in Your Browser
ARTIST: Model-Based Stairway to the Cloud
Towards a Hybrid Verification Approach
Developing User and Recording Interfaces for Design Time and Runtime Models
Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
Proceedings of the 3rd Workshop on Scalable Model Driven Engineering part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, L'Aquila, Italy, July 23, 2015
eMoflon: : Neo - Consistency and Model Management with Graph Databases
Sorted collection and map types for OCL
Solving the TTC Families to Persons Case with FunnyQT
Language-Independent Model Transformation Verification
Experiences with an Approach to Abstract Handling of Content for Human Machine Interaction Applications
Towards a General Framework for Modeling, Simulating and Building Sensor/Actuator Systems and Robots for the Web of Things