yusuke1997/dblp-id-title huggingface dataset:
Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques
Scenario animation for visual behavior models: A generic approach
Model-driven engineering of middleware-based ubiquitous services
Systematic review of matching techniques used in model-driven methodologies
Advanced prefetching and caching of models with PrefetchML
Empirical analysis of the tool support for software product lines
Merging of EMF models - Formal foundations
Adding higher-level semantics to Functional Mock-up Units for easier, faster, and more robust co-simulation connections
Modeling foundations for executable model-based testing of self-healing cyber-physical systems
Correction: A framework for embedded software portability and verification: from formal models to low-level code
Computing refactorings of state machines
From scenarios to code: An air traffic control case study
An efficient and scalable search engine for models
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic
Survey and classification of model transformation tools
Generating repairs for inconsistent models
FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing
Guaranteed master for interval-based cosimulation
Automated anonymity verification of the ThreeBallot and VAV voting systems
Editorial to the theme issue on multi-level modeling
Dash: declarative behavioural modelling in Alloy with control state hierarchy
Rigorous design of cyber-physical systems - Linking physicality and computation
Interactive web interfaces modeling, simulation and analysis using Colored Petri Nets
Least privilege analysis in software architectures
Model-based cloud resource management with TOSCA and OCCI
Graph and model transformation tools for model migration - Empirical results from the transformation tool contest
On submodels and submetamodels with their relation - A uniform formalization through inclusion properties
Adopting the concept of a function as an underlying semantic paradigm for modeling languages
Improving active participation during enterprise operations modeling with an extended story-card-method and participative modeling software
Scalable modeling technologies in the wild: an experience report on wind turbines control applications development
Synthesizing object life cycles from business process models
Suggesting model transformation repairs for rule-based languages using a contract-based testing approach
A search-based approach for detecting circular dependency bad smell in goal-oriented models
CalcGraph: taming the high costs of deep learning using models
Six years of modeling in SoSyM
SoSyM reflections of 2016: a journal status report
A Multi-Paradigm Modelling approach to live modelling
Checking security compliance between models and code
TEC-MAP: a taxonomy of evaluation criteria and its application to the multi-modelling of data and processes
Correction: Automaton-based comparison of Declare process models
Model-based engineering in the embedded systems domain: an industrial survey on the state-of-practice
A formal component model for UML based on CSP aiming at compositional verification
Informal description and analysis of geographic requirements: an approach based on problems
Guest editorial to the theme section on Trends in Enterprise Architecture Research
Visual notations in container orchestrations: an empirical study with Docker Compose
Enhancing the OPEN Process Framework with service-oriented method fragments
Incorporating message weights in UML-based analysis of behavioral dependencies in distributed systems
Experimenting with modeling-specific word embeddings
Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems
AI-driven streamlined modeling: experiences and lessons learned from multiple domains
Implementing associations: UML 2.0 to Java 5
A method for testing and validating executable statechart models
AI-powered model repair: an experience report - lessons learned, challenges, and opportunities
Web services-based tool-integration in the ETI platform
Nivel: a metamodelling language with a formal semantics
Model checking LTL properties over ANSI-C programs with bounded traces
SoSyM reflections: the 2018 "State of the Journal" report
On challenges of model transformation from UML to Alloy
Multi-objective exploration of architectural designs by composition of model transformations
Special section of BPMDS'2023
A technique for discovering BPMN collaboration diagrams
On the impact of size to the understanding of UML diagrams
Requirements-driven deployment - Customizing the requirements model for the host environment
Numeric semantics of class diagrams with multiplicity and uniqueness constraints
A language-parametric test amplification framework for executable domain-specific languages
Editorial to theme section on open environmental software systems modeling
Domain analysis of dynamic system reconfiguration
Correctly defined concrete syntax
Guest editorial for the special section on MODELS 2016
Reusable specification templates for defining dynamic semantics of DSLs
Contrasting dedicated model transformation languages versus general purpose languages: a historical perspective on ATL versus Java based on complexity and size
Introduction to the special issue on the 18th international conference on model driven engineering languages and systems (MODELS'15)
MUREQ: a multilayer framework for analyzing and operationalizing visualization requirements
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML
Guest editorial for the special section on SEFM 2020 and 2021
Incremental execution of temporal graph queries over runtime models with history and its applications
On Enterprise-Grade Tool Support for DEMO
Span(Graph): a canonical feedback algebra of open transition systems
A local and global tour on MOMoT
Communicating the Variability of a Software-Product Family to Customers
Modeling in advanced systems engineering
On the formal interpretation and behavioural consistency checking of SysML blocks
Modeling the Complex Living World
Introducing probabilistic reasoning within Event-B
Automated generation of smart contract code from legal contract specifications with Symboleo2SC
Erratum to: Introduction to the theme issue on variability modeling of software-intensive systems
Recommending metamodel concepts during modeling activities with pre-trained language models
Guest editorial to the special section on MODELS 2018
Integrating the analysis of multiple non-functional properties in model-driven engineering
Statistical prioritization for software product line testing: an experience report
Bridging the gap between formal semantics and implementation of triple graph grammars - Ensuring conformance of relational model transformation specifications and implementations
On enterprise coherence governance with GEA: a 15-year co-evolution of practice and theory
Accelerating similarity-based model matching using dual hashing
Using structural decomposition and refinements for deep modeling of software architectures
A fine-grained analysis of the support provided by UML class diagrams and ER diagrams during data model maintenance
Automatic generation of UML profile graphical editors for Papyrus
Understanding the need for assistance in software modeling: interviews with experts
Guest editorial to the special issue on MODELS 2009
Semantics of OCL specified with QVT
Formal validation of domain-specific languages with derived features and well-formedness constraints
Broadcast psi-calculi with an application to wireless protocols
Guiding the evolution of product-line configurations
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis
Refinement-based Validation of Event-B Specifications
Module superimposition: a composition technique for rule-based model transformation languages
Application of reflection in a model transformation language
Feature-based classification of bidirectional transformation approaches
From misuse cases to mal-activity diagrams: bridging the gap between functional security analysis and design
Implementing a Graph Transformation Engine in Relational Databases
Early timing analysis based on scenario requirements and platform models
Promoting social diversity for the automated learning of complex MDE artifacts
ModelXGlue: a benchmarking framework for ML tools in MDE
Synthesis of test scenarios using UML activity diagrams
Change patterns - Co-evolving requirements and architecture
A model-driven traceability framework for software product lines
A model template for reachability-based containment checking of imprecise observations in timed automata
Guest editorial to the special issue on "modeling: foundations and applications" (MODELS 2013)
Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods
An algorithm for generating model-sensitive search plans for pattern matching on EMF models
Heterogeneous megamodel management using collection operators
Supporting aspect orientation in business process management - From process modelling to process enactment
Towards high-level fuzzy control specifications for building automation systems
Toward a well-founded theory for multi-level conceptual modeling
Spider Graphs: a graph transformation system for spider diagrams
Supporting UML-based development of embedded systems by formal techniques
Graph-based traceability: a comprehensive approach
Correction to: Evaluation of a machine learning classifier for metamodels
Exploring how users engage with hybrid process artifacts based on declarative process models: a behavioral analysis based on eye-tracking and think-aloud
Model-based fleet deployment in the IoT-edge-cloud continuum
Questionnaire-based variability modeling for system configuration
Transitive-closure-based model checking (TCMC) in Alloy
Business processes in the agile organisation: a socio-technical perspective
Extending single- to multi-variant model transformations by trace-based propagation of variability annotations
Research software engineering and the importance of scientific models
Reusing semi-specified behavior models in systems analysis and design
A descriptive study of assumptions in STRIDE security threat modeling
From network traffic data to business activities: a conceptualization and a recognition approach
Transformation challenges: from software models to performance models
Towards standarized benchmarks of LLMs in software modeling tasks: a conceptual framework
VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics)
Scenario-based system design with colored Petri nets: an application to train control systems
Human factors in model-driven engineering: future research goals and initiatives for MDE
Aspects of abstraction in software development
On the use of domain knowledge for process model repair
A fractal enterprise model and its application for business development
Generating instance models from meta models
Metric propositional neighborhood logics on natural numbers
Why Johnny can't model
Active model learning of stochastic reactive systems (extended version)
Guest editorial to the special section on PoEM'2020
Conceptual distance of models and languages
Editorial for the SoSyM issue 2006/02
Modeling cultures of the embedded software industry: feedback from the field
Validating UML and OCL models in USE by automatic snapshot generation
The concepts of Petri nets
Thirteen years of SysML: a systematic mapping study
Model-based safety assessment with SysML and component fault trees: application and lessons learned
A generic framework for representing and analyzing model concurrency
Recent and simple algorithms for Petri nets
Introductory paper
Supporting the reconciliation of models of object behaviour
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification
IoT meets BPM: a bidirectional communication architecture for IoT-aware process execution
Automated resolution of connector architectures using constraint solving (ARCAS method)
Some Basic Tenets of Description
Current trends in digital twin development, maintenance, and operation: an interview study
A model-driven runtime environment for Web applications
Guest editorial to the theme section on Multi-Paradigm Modeling for Cyber-Physical Systems
Code generation for classical-quantum software systems modeled in UML
Analysing factors impacting BPMS performance: a case of a challenged technology adoption
Extract, model, refine: improved modelling of program verification tools through data enrichment
How does your model represent the system? A note on model fidelity, underspecification, and uncertainty
UML 3.0 and the future of modeling
Integration of data validation and user interface concerns in a DSL for web applications
Automatic generation of built-in contract test drivers
The 8th Annual State of SoSyM Report
A4WSN: an architecture-driven modelling platform for analysing and developing WSNs
Assessing event correlation in non-process-aware information systems
A case study on consistency management of business and IT process models in banking
Formal detection of feature interactions with logic programming and LOTOS
A modelling and simulation based process for dependable systems design
Improving user productivity in modeling tools by explicitly modeling workflows
Multi-perspective enterprise modeling: foundational concepts, prospects and future research challenges
Guest editorial to the special section on PoEM'2022
Using language workbenches and domain-specific languages for safety-critical software development
Model clone detection for rule-based model transformation languages
Performance models of storage contention in cloud environments
Special Section of BPMDS'2016: Business Processes in a Connected World
A graph grammar-based formal validation of object-process diagrams
Guest editorial to the special section on MODELS 2012
Facilitating the migration to the microservice architecture via model-driven reverse engineering and reinforcement learning
Report on the State of the SoSyM Journal end of 2022
Advanced testing and debugging support for reactive executable DSLs
A generic approach to detect design patterns in model transformations using a string-matching algorithm
Ontological Evaluation of the UML Using the Bunge-Wand-Weber Model
Aspectual templates in UML - Enhancing the semantics of UML templates in OCL
A manifesto for applicable formal methods
Improving manual reviews in function-centered engineering of embedded systems using a dedicated review model
Automated support for deriving test requirements from UML statecharts
A relational approach to defining and implementing transformations between metamodels
Using DevOps toolchains in Agile model-driven engineering
Message choreography modeling - A domain-specific language for consistent enterprise service integration
Use, potential, and showstoppers of models in automotive requirements engineering
UML vs. classical vs. rhapsody statecharts: not all models are created equal
Security modeling for service-oriented systems using security pattern refinement approach
Correction: MBFair: a model-based verification methodology for detecting violations of individual fairness
Implementing QVT-R via semantic interpretation in UML-RSDS
An experiment in model-driven conceptual database design
Adapting transformations to metamodel changes via external transformation composition
Distributed implementation of message sequence charts
Generating domain models from natural language text using NLP: a benchmark dataset and experimental comparison of tools
Applying CSP || B to information systems
Incremental execution of model-to-text transformations using property access traces
Enhancing secure business process design with security process patterns
Large language models as an "operating" system for software and systems modeling
ChronoSphere: a graph-based EMF model repository for IT landscape models
Compositional model analysis
Modeling research in recent years: special section on ECMFA 2017 and ECMFA 2018
Flexible and configurable verification policies with Omnibus
Specifying business rules in object-oriented analysis
Editorial - Model engineering
The Unit-B method: refinement guided by progress concerns
What can we learn from enterprise architecture models? An experiment comparing models and documents for capability development
Editorial to the theme section on model-driven engineering for digital twins
Models for formal methods and tools: the case of railway systems
Ontologies for finding journalistic angles
Model-driven development of mobile applications for Android and iOS supporting role-based app variability
Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework
Guest editorial to the special issue on MODELS 2010
Trade-off analysis for SysML models using decision points and CSPs
Application and evaluation of interlinked approaches for modeling changing capabilities
Measuring and achieving test coverage of attack simulations extended version
Using UML/MARTE to support performance tuning and stress testing in real-time systems
Domain object hierarchies inducing multi-level models
Realizing Model Transformation Chain interoperability
Coordinating large distributed relational process structures
3LConOnt: a three-level ontology for context modelling in context-aware computing
AuRUS: explaining the validation of UML/OCL conceptual schemas
Guest editorial for the special section on the 26th international conference on model-driven engineering languages and systems (MODELS 2023)
Measurement and classification of inter-actor dependencies in goal models
Heuristics for composite Web service decentralization
Bootstrapping MDE development from ROS manual code: Part 2 - Model generation and leveraging models at runtime
F-Alloy: a relational model transformation language based on Alloy
Live modeling in the context of state machine models and code generation
IAT/ML: a metamodel and modelling approach for discourse analysis
Model interoperability in building information modelling
Encoding process discovery problems in SMT
On model compatibility with referees and contexts
Extracting finite state representation of Java programs
PARMOREL: a framework for customizable model repair
Feature Nets: behavioural modelling of software product lines
Specification-driven model transformation testing
Classification and trend analysis of UML books (1997-2009)
Reflections on the standardization of SysML 2
An architecture framework for enterprise IT service availability analysis
Supporting method engineering with a low-code approach: the LOMET tool
Modular language product lines: concept, tool and analysis
Business process management as the "Killer App" for Petri nets
Constraint-driven modeling through transformation
Improving the accuracy of UML metamodel extensions by introducing induced associations
A semi-formal description of migrating domain-specific models with evolving domains
An empirical study of manual abstraction between class diagrams and code of open-source systems
End-to-end model-transformation comprehension through fine-grained traceability information
A model-driven method for describing and predicting the reliability of composite services
Metamodeling live sequence charts for code generation
CooPS - Towards a method for coordinating personalized services
Plug-and-play composition of features and feature interactions with statechart diagrams
Guest editorial to the theme issue on non-functional system properties in domain specific modeling languages
Assessing the impact of meta-model evolution: a measure and its automotive application
Performance analysis of aspect-oriented UML models
Specifying dynamic software system architectures
Uncertainty-Wise Cyber-Physical System test modeling
Petri nets for the control of discrete event systems
MOOGLE: a metamodel-based model search engine
Enhancing software model encoding for feature location approaches based on machine learning techniques
Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance
Managing design-time uncertainty
Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods
Empirically evaluating modeling language ontologies: the Peira framework
Synthesis of verifiable concurrent Java components from formal models
Improving repair of semantic ATL errors using a social diversity metric
Introduction to theme section on requirements formalisation
RoboChart: modelling and verification of the functional behaviour of robotic applications
Multi-level modeling: cornerstones of a rationale
WESSBAS: extraction of probabilistic workload specifications for load testing and performance prediction - a model-driven approach for session-based application systems
Requirements document relations
First Issue of the International Journal on Software and Systems Modeling
SAMM: an architecture modeling methodology for ship command and control systems
An architecture for coupled digital twins with semantic lifting
The many meanings of UML 2 Sequence Diagrams: a survey
A concern architecture view for aspect-oriented software design
A model-based reference architecture for complex assistive systems and its application
On theory and management of dependencies between models
Standards in software development and modeling
Fair treatment of evaluations in reviews
Automated conceptual model clustering: a relator-centric approach
Specification-driven predictive business process monitoring
Reuse in model-to-model transformation languages: are we there yet?
Modelling multi-criticality vehicular software systems: evolution of an industrial component model
What practitioners really want: requirements for visual notations in conceptual modeling
Special section: International Conference on Graph Transformation ICGT 2004
Model-based code generation works: But how far does it go? - on the role of the generator
ExpRunA : a domain-specific approach for technology-oriented experiments
The design of a language for model transformations
Modeling data protection and privacy: application and experience with GDPR
Benchmarking bidirectional transformations: theory, implementation, application, and assessment
Modeling for sustainability: Sustainable Development Goals (SDG) of the United Nations
Guest editorial for EMMSAD'2020 special section
Developing BP-driven web applications through the use of MDE techniques
Language-specific model checking of UML-RT models
Participatory modeling from a stakeholder perspective: On the influence of collaboration and revisions on psychological ownership and perceived model quality
From enterprise architecture to business models and back
Pragmatic specification of software behavior, configuration, and orchestration: the precision and usability of domain-specific modeling
A model for dynamic reconfiguration in service-oriented architectures
A structured operational semantics for UML-statecharts
Development of logical and technical architectures for automotive systems
Guest Editorial to the Special Issue on UML 2004
CEViNEdit: improving the process of creating cognitively effective graphical editors with GMF
Modeling agent organizations using roles
Model-driven engineering for digital twins: a systematic mapping study
A model-driven approach to automate the propagation of changes among Architecture Description Languages
Modeling modeling modeling
An ontological metamodel for cyber-physical system safety, security, and resilience coengineering
Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models
Uses of Verified Methods for Solving Non-Smooth Initial Value Problems
Algorithm for Sparse Approximate Inverse Preconditioners in the Conjugate Gradient Method
A Limitation for Underestimation Via Twin Arithmetic
The Bernstein Basis and its Applications in Solving Geometric Constraint Systems
Linear Interval Tolerance Problem and Linear Programming Techniques