yusuke1997/dblp-id-title huggingface dataset:
Bidirectional model transformations in QVT: semantic issues and open questions
Detecting feature interaction in CPL
Editorial to the theme section on model-based design of cyber-physical systems
Event-B patterns and their tool support
Guest editorial to the special issue on model transformation
Use Case Maps as a property specification language
Growing the UML
Context-aware modeling for knowledge-intensive medicinal product development processes
Model-driven engineering city spaces via bidirectional model transformations
Evaluating the accessibility of a PoN-enabled misuse case notation by the red-green colorblind community
Models for the digital transformation
A systematic approach to generate B preconditions: application to the database domain
Formal modeling of biomedical signal acquisition systems: source of evidence for certification
Assessing the usefulness of a visual programming IDE for large-scale automation software
DropsBox: the Dresden Open Software Toolbox - Domain-specific modelling tools beyond metamodels and transformations
Integrated revision and variation control for evolving model-driven software product lines
Refactoring object constraint language specifications
Reengineering component-based software systems with Archimetrix
Engineering model transformations with transML
Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints
How do humans inspect BPMN models: an exploratory study
The RALph miner for automated discovery and verification of resource-aware process models
Model-driven development of asynchronous message-driven architectures with AsyncAPI
Special section of SoSyM dedicated to 50 years of Petri nets
Enhanced graph rewriting systems for complex software domains - Dynamic software architecture, non-functional requirements, and correctness by construction
Understanding MDE projects: megamodels to the rescue for architecture recovery
A platform independent model for the electronic marketplace domain
Wodel-Test: a model-based framework for language-independent mutation testing
Model aesthetics
A domain-specific modeling milestone
Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels
Mutation testing for temporal alloy models (extended version)
Using empirical studies to mitigate symbol overload in iStar extensions
A query-retyping approach to model transformation co-evolution
Modeling ecosystems of reference frameworks for assurance: a case on privacy impact assessment regulation and guidelines
Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems
Synchronization of abstract and concrete syntax in domain-specific modeling languages - By mapping models and live transformations
Consistency requirements in business process modeling: a thorough overview
Tool Support for Refinement of Non-functional Specifications
Effective product-line testing using similarity-based product prioritization
Where does model-driven engineering help? Experiences from three industrial cases
ModelSet: a dataset for machine learning in model-driven engineering
What is a process model composed of?
An exception handling framework for case management
Comparing and classifying model transformation reuse approaches across metamodels
Guest editorial to the Theme Section on enterprise modelling
Embedding domain-specific modelling languages in Maude specifications
Specification of invariability in OCL - Specifying invariable system parts and views
Repository mining for changes in Simulink and Stateflow models
A simple game-theoretic approach to checkonly QVT Relations
Does model driven engineering tame complexity?
An ontology-based framework for domain-specific modeling
FlexiSketch: a lightweight sketching and metamodeling approach for end-users
MORGAN: a modeling recommender system based on graph kernel
How effective is UML modeling ? - An empirical perspective on costs and benefits
Model-based assurance evidence management for safety-critical systems
A metamodel for the compact but lossless exchange of execution traces
SoSyM Special Section on Software Engineering and Formal Methods
Correct development of real time and embedded systems
Correction: iDOCEM
"No shit" or "Oh, shit!": responses to observations on the use of UML in professional practice
Testing models and model transformations using classifying terms
Maintaining consistency in networks of models: bidirectional transformations in the large
Formal semantics of static and temporal state-oriented OCL constraints
Modeling in the large: model libraries
On the benefits of file-level modularity for EMF models
Business process improvement with AB testing and reinforcement learning: grounded theory-based industry perspectives
An approach to clone detection in sequence diagrams and its application to security analysis
Reusing metamodels and notation with Diagram Definition
The uncertainty interaction problem in self-adaptive systems
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis
A visual language for modeling multiple perspectives of business process compliance rules
Nesting in Euler Diagrams: syntax, semantics and construction
A modeling-based approach for dependability analysis of a constellation of satellites
Exploring inconsistencies between modal transition systems
Lazy model checking for recursive state machines
Turning event logs into process movies: animating what has really happened
Lessons learned from building model-driven development tools
On the relationship between modeling and programming languages - Editorial for the SoSyM Issue 2012/01: Part 1
DEVS-based formalism for the modeling of routing processes
Guest editorial for EMMSAD'2021 special section
Decision-making under uncertainty: be aware of your priorities
Why it is so hard to use models in software development: observations
From process mining to augmented process execution
A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components
Modeling difficulties in creating conceptual data models
Definition and validation of model transformations
Testing Web applications by modeling with FSMs
Applying static code analysis for domain-specific languages
Accelerating task completion in mobile offloading systems through adaptive restart
A formal approach to model refactoring and model refinement
Inferring physical units in formal models
Correction: Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities
The KlaperSuite framework for model-driven reliability analysis of component-based systems
Efficient construction of family-based behavioral models from adaptively learned models
Antonio Vallecillo
Theme section of BPMDS'2014: the human perspective in business processes
Reflection on the differences between modeling and programming
Evaluating the appropriateness of the BPMN 2.0 standard for modeling service choreographies: using an extended quality framework
Guest editorial to the special section on SEFM 2009
Dinosaur meets Archaeopteryx? or: Is there an alternative for Rational's Unified Process?
Improving the definition of general constraints in UML
The evolution of model editors: browser- and cloud-based solutions
TURTLE-P: a UML profile for the formal validation of critical and distributed systems
DALEC: a framework for the systematic evaluation of data-centric approaches to process management software
Separation of non-orthogonal concerns in software architecture and design
Analysis of variability models: a systematic literature review
Formalization of UML state machines using temporal logic
Rigorous identification and encoding of trace-links in model-driven engineering
Producing robust use case diagrams via reverse engineering of use case descriptions
Uncertainty-aware environment simulation of medical devices digital twins
MoDMaCAO: a model-driven framework for the design, validation and configuration management of cloud applications based on OCCI
Theme section on models and evolution
A newly introduced Industry Voice Column
The evolution of modeling research challenges
Modeling the obsolescence of models
Modelling in low-code development: a multi-vocal systematic review
An approach for bug localization in models using two levels: model and metamodel
Privacy-enhanced BPMN: enabling data privacy analysis in business processes models
Teaching model-driven engineering from a relational database perspective
Model hybridization: towards a unifying theory for inductive and deductive reasoning
Supporting fine-grained generative model-driven evolution
Investigating expressiveness and understandability of hierarchy in declarative business process models
GReTL: an extensible, operational, graph-based transformation language
How to define modeling languages?
From analytical purposes to data visualizations: a decision process guided by a conceptual framework and eye tracking
Constraint-based test generation for automotive operating systems
Meta-environment and executable meta-language using smalltalk: an experience report
Designing secure business processes with SecBPMN
Systematic stereotype usage
Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime
Special section of BPMDS'2020 business process management meets data
Operation-based versioning as a foundation for live executable models
Interactive log-delta analysis using multi-range filtering
Continuous Evolution of Digital Twins using the DarTwin Notation
Domain specific modeling
Gamification of business process modeling education: an experimental analysis
A fundamental approach to model versioning based on graph modifications: from theory to implementation
Empirically evaluating OCL and Java for specifying constraints on UML models
Stateful component-based performance models
Quantitative modelling and analysis of BDI agents
A survey of approaches for verifying model transformations
SOCAM: a service-oriented computing architecture modeling method
A semi-automated BPMN-based framework for detecting conflicts between security, data-minimization, and fairness requirements
DataMock: An Agile Approach for Building Data Models from User Interface Mockups
ChatGPT in software modeling
Empirical evaluation of CMMN models: a collaborative process case study
Extraction and evolution of architectural variability models in plugin-based systems
Contract-based verification of discrete-time multi-rate Simulink models
The Petri net twist in explicit model checking
A component framework for system modeling based on high-level replacement systems
Effective application of process improvement patterns to business processes
A model-driven method for enacting the design-time QoS analysis of business processes
Formalizing and appling compliance patterns for business process compliance
SoSyM significantly reduces its backlog
Model-driven generative development of measurement software
On the persistent rumors of the programmer's imminent demise
An actor-based framework for asynchronous event-based cyber-physical systems
How are informal diagrams used in software engineering? An exploratory study of open-source and industrial practices
Introduction to the STAF 2015 special section
Using contexts to extract models from code
Searching textual and model-based process descriptions based on a unified data format
Integrated model-driven development of self-adaptive user interfaces
Evolution styles: foundations and models for software architecture evolution
Towards an integrated graph-based semantics for UML
A metrics suite for UML model stability
Design and automation of a COSMIC measurement procedure based on UML models
A framework for deadlock detection in core ABS
Guest Editorial to the Theme Section on Model-Driven Web Engineering
Expert' voice: The BabyUML discipline of programming
Introduction to the special section of the 20th International Conference on Model-Driven Engineering Languages and Systems (MODELS'17)
Formalizing the structural semantics of domain-specific modeling languages
On tracing reactive systems
Networcat: applying analysis techniques of shared memory software on message-passing distributed systems
MDWA: a model-driven Web augmentation approach - coping with client- and server-side support
An improved approach on the model checking for an agent-based simulation system
Generating process model collections
ReFlO: an interactive tool for pipe-and-filter domain specification and program generation
Verifying consistency of software product line architectures with product architectures
Automatic derivation of conceptual database models from differently serialized business process models
A model-based architecture for interactive run-time monitoring
An operational guide to monitorability with applications to regular properties
OSTRICH: a rich template language for low-code development (extended version)
More matters on (meta-)modelling: remarks on Thomas Kühne's "matters"
Guest editorial to the special section on PoEM'2021
Cyber security threat modeling based on the MITRE Enterprise ATT&CK Matrix
On the unification power of models
Model-based a-posteriori integration of engineering tools for incremental development processes
What makes a good modeling research contribution?
Model synchronization based on triple graph grammars: correctness, completeness and invertibility
Integration of DFDs into a UML-based Model-driven Engineering Approach
Identifying duplicate functionality in textual use cases by aligning semantic actions
Building European software architecture community: how far have we come?
Beyond loop bounds: comparing annotation languages for worst-case execution time analysis
Models for digitalization
Location-aware business process modeling and execution
Report on the State of the SoSyM Journal (2024 summary)
RaQuN: a generic and scalable n-way model matching algorithm
SoSyM special section on service-based software engineering
Design notations for secure software: a systematic literature review
CMMN evaluation: the modelers' perceptions of the main notation elements
Information science and the logic of models
Erratum to: Design for service compatibility - Behavioural compatibility checking and diagnosis
Using internal domain-specific languages to inherit tool support and modularity for model transformations
Survey of reliability and availability prediction methods from the viewpoint of software architecture
A model framework-based domain-specific composable modeling method for combat system effectiveness simulation
Adaptive caching for operation-based versioning of models
Evaluating the comprehension of means-ends maps
In memory of Heinrich Hussmann, long-time friend and SoSyM editor
Efficient parallel reasoning on fuzzy goal models for run time requirements verification
Meet OCL${^\sharp }$, a relational object constraint language
Unifying nominal and structural typing
Modelling on mobile devices
Lifting transformational models of product lines: a case study
Evaluating probabilistic models with uncertain model parameters
Models and temporal logical specifications for timed component connectors
Guest editorial to the theme section on multi-level modeling
On the use of large language models in model-driven engineering
From software extensions to product lines of dataflow programs
Empirical assessment of two approaches for specifying software product line use case scenarios
Guest editorial to the theme issue on traceability in model-driven engineering
Establishing interoperability between EMF and MSDKVS: an M3-level-bridge to transform metamodels and models
MDI: A Rule-based Multi-document and Tool Integration Approach
A generic model decomposition technique and its application to the Eclipse modeling framework
From subsets of model elements to submodels - A characterization of submodels and their properties
Pragmatic reuse for DSML development
Formal verification and validation of embedded systems: the UML-based MADES approach
Assessing the testing skills transfer of model-based testing on testing skill acquisition
Type inference in flexible model-driven engineering using classification algorithms
A toolkit for model manipulation
Extending organizational capabilities with Open Data to support sustainable and dynamic business ecosystems
Special section of business process modeling, development and support (BPMDS) 2019: transformative BPMDS
PSL: A semantic domain for flow models
On the complex nature of MDE evolution and its impact on changeability
Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL
Semantics of trace relations in requirements models for consistency checking and inferencing
Virtual network embedding: ensuring correctness and optimality by construction using model transformation and integer linear programming techniques
Probabilistic modelling and verification using RoboChart and PRISM
Scientific workflow execution in the cloud using a dynamic runtime model
Claimed advantages and disadvantages of (dedicated) model transformation languages: a systematic literature review
A behavioral analysis and verification approach to pattern-based design composition
Modeling should be an independent scientific discipline
SEFM: software engineering and formal methods
Formal methods in the scope of the Software and Systems Modeling journal
A benchmark of incremental model transformation tools based on an industrial case study with AADL
Modeling learning technology systems as business systems
Tracing security requirements in industrial control systems using graph databases
Semi-automated metamodel/model co-evolution: a multi-level interactive approach
Ontology-based security modeling in ArchiMate
Model transformation intents and their properties
Special section of BPMDS'2012: artefacts and processes for business process modeling and management
Design science in action: developing a modeling technique for eliciting requirements on business process management (BPM) tools
Formal verification of QVT transformations for code generation
An enterprise architecture framework for multi-attribute information systems analysis
Use cases - Yesterday, today, and tomorrow
Modelling assistants based on information reuse: a user evaluation for language engineering
Guest editorial for EMMSAD'2019 special section
Model-based requirements specification of real-time systems with UML, SysML and MARTE
Modeling customer-centric value of system architecture investments
Comprehensive analysis of FBD test coverage criteria using mutants
A system-theoretic assurance framework for safety-driven systems engineering
Does aspect-oriented modeling help improve the readability of UML state machines?
What will it take? A view on adoption of model-based methods in practice
The hidden models of model checking
An intermediate metamodel with scenarios and resources for generating performance models from UML designs
Boosting bug localization in software models of video games with simulations and component-specific genetic operations
A reference requirements set for public service provision enterprise architectures
Temporal property patterns for model-based testing from UML/OCL
The sustainability assessment framework toolkit: a decade of modeling experience
Verifying B proof rules using deep embedding and automated theorem proving
Colouring: execution, debug and analysis of QVT-relations transformations through coloured Petri nets
Design verification in model-based μ -controller development using an abstract component
On applying residual reasoning within neural network verification
MetaMorph: formalization of domain-specific conceptual modeling methods - an evaluative case study, juxtaposition and empirical assessment
Typing artifacts in megamodeling
Büchi automata for modeling component connectors
An efficient line-based approach for resolving merge conflicts in XMI-based models
Simplifying autonomic enterprise Java Bean applications via model-driven engineering and simulation
Machine learning for enterprise modeling assistance: an investigation of the potential and proof of concept
A repository for scalable model management
Agile MERODE: a model-driven software engineering method for user-centric and value-based development
Editorial to theme section on modeling in low-code development platforms
Formalization of the classification pattern: survey of classification modeling in information systems engineering
A survey on the design space of end-user-oriented languages for specifying robotic missions
How low-code platforms support digital twins of processes
A profile and tool for modelling safety information with design information in SysML
Code generation for a family of executable modelling notations
A participative end-user method for multi-perspective business process elicitation and improvement
Coupling solvers with model transformations to generate explorable model sets
Spectra: a specification language for reactive systems
Incorporating measurement uncertainty into OCL/UML primitive datatypes
Using two case studies to explore the applicability of VIATRA for the model-driven engineering of mechatronic production systems
From types to type requirements: genericity for model-driven engineering
Are models better read on paper or on screen? A comparative study
Fabricatable axis: an approach for modelling customized fabrication machines
Playground for multi-level modeling constructs
Model-based test case generation and prioritization: a systematic literature review
Integration of clinical and genomic data to enhance precision medicine: a case of study applied to the retina-macula
Contents for a Model-Based Software Engineering Body of Knowledge
A framework for evaluating tool support for co-evolution of modeling languages, tools and models
Graphic modeling in Distributed Autonomous and Asynchronous Automata (DA 3 )
Empirical study on the effectiveness and efficiency of model-driven architecture techniques
Developing configurations and solutions for logical puzzles with UML and OCL
Certifying delta-oriented programs
MDA Tool Components: a proposal for packaging know-how in model driven development
Composing domain-specific physical models with general-purpose software modules in embedded control software
Localized model transformations for building large-scale transformations
Mutation testing with hyperproperties
The quest for runware: on compositional, executable and intuitive models
A process mining-based analysis of business process work-arounds
Multi-paradigm modelling for cyber-physical systems: a descriptive framework
Unified verification and monitoring of executable UML specifications
A modeling methodology for collaborative evaluation of future automotive innovations
Defining business model key performance indicators using intentional linguistic summaries
Guest editorial to the special section on ECMFA and ICMT at STAF 2016 - Modeling and model transformations research in 2016
The 2014 "State of the Journal" report
Constructing and verifying a robust Mix Net using CSP
Applying MDD in the content management system domain
Tradeoffs in modeling performance of highly configurable software systems
Model checking multi-level and recursive nets
Rule-based update transformations and their application to model refactorings
Multilevel modeling of geographic information systems based on international standards
Guidelines for representing complex cardinality constraints in binary and ternary relationships
Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008
Corpus-based analysis of domain-specific languages
A lightweight approach to nontermination inference using Constrained Horn Clauses
Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines
The 2013 "State of the Journal" report
The triptych of conceptual modeling
Special section of BPMDS'2017: enabling business transformation by business process modeling, development and support
Optimization framework for DFG-based automated process discovery approaches
A metamodeling language supporting subset and union properties
Model-based qualitative risk assessment for availability of IT infrastructures