yusuke1997/dblp-id-title huggingface dataset:
Automated testing of metamodels and code co-evolution
Translation of ATL to AGT and application to a code generator for Simulink
Theme section on modeling and sustainability
The importance of flow in software development
Specification and automated validation of staged reconfiguration processes for dynamic software product lines
From single-objective to multi-objective reinforcement learning-based model transformation
The OsMoSys approach to multi-formalism modeling of systems
Grand challenges in model-driven engineering: an analysis of the state of the research
Theme section on model-driven requirements engineering
Guest editorial to the special issue on MODELS 2011
Guest editorial to the special issue on "modelling-foundations and applications"
Removing redundant multiplicity constraints in UML class models
Introduction to the theme section on Agile model-driven engineering
Formalizing requirements with object models and temporal constraints
A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY
ParDSL: a domain-specific language framework for supporting deployment of parallel algorithms
In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015
Variability testing in the wild: the Drupal case study
Change-driven model transformations - Change (in) the rule to rule the change
A cross-technology benchmark for incremental graph queries
Exploiting practical limitations of UML diagrams for model validation and execution
RBPMN: the value of roles for business process modeling
SoSyM reflections: the 2020 "State of the Journal" report
Efficient analysis of pattern-based constraint specifications
User journey games: automating user-centric analysis
A security requirements modelling language for cloud computing environments
Special section of BPMDS'2021 business process improvement
Evaluating the effort of composing design models: a controlled experiment
Bridging MDE and AI: a systematic review of domain-specific languages and model-driven practices in AI software systems engineering
A method for transforming knowledge discovery metamodel to ArchiMate models
A framework for FMI-based co-simulation of human-machine interfaces
Domain-specific discrete event modelling and simulation using graph transformation
Completion of SysML state machines from Given-When-Then requirements
The ForeMoSt approach to building valid model-based safety arguments
Simulation and analysis of MultEcore multilevel models based on rewriting logic
Model-driven optimal resource scaling in cloud
OIL: an industrial case study in language engineering with Spoofax
Guest editorial to the theme issue on domain-specific modeling in theory and applications
Guest editorial for the special section on MODELS 2014
Detecting cross-case associations in an event log: toward a pattern-based detection
A comparative study of students and professionals in syntactical model comprehension experiments
An interdisciplinary comparison of sequence modeling methods for next-element prediction
Heuristic search for equivalence checking
Quick fixing ATL transformations with speculative analysis
Theme section on performance modelling and engineering of software and systems
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty
A graph-theoretic method for the inductive development of reference process models
A method for digital business ecosystem design: situational method engineering in an action research project
MBFair: a model-based verification methodology for detecting violations of individual fairness
Software and systems modeling with graph transformations theme issue of the Journal on Software and Systems Modeling
Precise visual modeling: A case-study
Modeling and enforcing invariants of dynamic software architectures
A powertype-based metamodelling framework
Special section of BPMDS'2015: enabling value creation via business process modeling, development, and support
FloBP: a model-driven approach for developing and executing IoT-enhanced business processes
SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines
Procedure-modular specification and verification of temporal safety properties
An elucidation of blended modeling from an industrial perspective
Report on the state of the SoSyM journal (2023 summary)
A closer look at activity relationships to improve business process redesign
Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems
Template-based model generation
Effective development of automation systems through domain-specific modeling in a small enterprise context
KIPO: the knowledge-intensive process ontology
Handling causality and schedulability when designing and prototyping cyber-physical systems
A model-driven development approach for context-aware systems
Component-based verification using incremental design and invariants
Precise null-pointer analysis
BPMN-E2: a BPMN extension for an enhanced workflow description
Weaving variability into domain metamodels
Paradigm shift in mechanical system design: toward automated and collaborative design with digital twin web
VbTrace: using view-based and model-driven development to support traceability in process-driven SOAs
Modeling and reasoning about uncertainty in goal models: a decision-theoretic approach
Real-time collaborative multi-level modeling by conflict-free replicated data types
Guest editorial for EMMSAD'2022 special section
Extracting models from source code in software modernization
Refactoring OCL annotated UML class diagrams
Dirk Draheim, Gerald Weber: Form-oriented analysis. A new methodology to model form-based applications
Converting metamodels to graph grammars: doing without advanced graph grammar features
A systematic literature review of cross-domain model consistency checking by model management tools
Introduction to the theme issue on variability modeling of software-intensive systems
Correct-by-construction synthesis of model transformations using transformation patterns
A generic LSTM neural network architecture to infer heterogeneous model transformations
OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness
Special section of business process modeling, development and support (BPMDS) 2018: new perspectives for business process modeling, development and support
Reproducible execution of POSIX programs with DiOS
Modelling the interplay of security, privacy and trust in sociotechnical systems: a computer-aided design approach
Personal programming and the object computer
Unleashing textual descriptions of business processes
Agile model-based system development
OMEGA: correct development of real time and embedded systems
Correction to: Low-code development and model-driven engineering: Two sides of the same coin?
Guest editorial to the special section on SEFM'22
Synthesizing verified components for cyber assured systems engineering
A method of refinement in UML-B
Design rationale capture for process improvement in the globalised enterprise: an industrial study
Toward an execution system for self-healing workflows in cyber-physical systems
Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols
Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars
Mashup of metalanguages and its implementation in the Kermeta language workbench
Testing cockpit display systems of aircraft using a model-based approach
A benchmark for OCL engine accuracy, determinateness, and efficiency
Enhancing remaining time prediction in business processes by considering system-level and resource-level inter-case features
Can explainable artificial intelligence support software modelers in model comprehension?
Code generation by model transformation: a case study in transformation modularity
Models as the subject of research
A Methodological Approach for Object-Relational Database Design using UML
A functional size measurement method for object-oriented conceptual schemas: design and evaluation issues
Guest editorial for EMMSAD'2023 special section
Systematic approach for constructing an understandable state machine from a contract-based specification: controlled experiments
The Software Language Extension Problem
A transformation contract to generate aspects from access control policies
Efficient model similarity estimation with robust hashing
Safe reuse in modelling language engineering using model subtyping with OCL constraints
Introduction to the SoSyM theme issue on models and evolution
Object-oriented design: A goal-driven and pattern-based approach
DEPS: a model- and property-based language for system synthesis problems
Toward testing from finite state machines with symbolic inputs and outputs
Behavioral interfaces for executable DSLs
Bridging the chasm between MDE and the world of compilation
Clarifying matters of (meta-) modeling: an author's reply
Ceaml: A novel modeling language for enabling cloud and edge continuum orchestration
Gamifying model-based engineering: the PapyGame experience
Editorial to the theme section on model-based testing
TacoFlow: optimizing SAT program verification using dataflow analysis
An approach for reverse engineering of design patterns
A framework for conceptual characterization of ontologies and its application in the cybersecurity domain
Exchanging information in cooperative software validation
Visual query languages to design complex queries: a systematic literature review
A case study about the improvement of business process models driven by indicators
Event-driven temporal models for explanations - ETeMoX: explaining reinforcement learning
Synchronizing concurrent model updates based on bidirectional transformation
Applying design patterns in the search-based optimization of software product line architectures
Software engineering and formal methods: SEFM 2019 special section
Guest Editorial to the Special Section on MODELS 2007
Concern coverage in base station development: an empirical investigation
Extending UML with coordination contracts
Standards harmonization: theory and practice
Using reactive links to propagate changes across engineering models
Incremental model transformations with triple graph grammars for multi-version models and multi-version pattern matching
Systematizing modeler experience (MX) in model-driven engineering success stories
Literature review of reuse in business process modeling
A UML and OWL description of Bunge's upper-level ontology model
Example-driven meta-model development
Multi-dimensional multi-level modeling
Bridging the gap between IEEE 1471, an architecture description language, and UML
Editorial for the SoSyM issue 2014/04
Environment modeling and simulation for automated testing of soft real-time embedded software
Editorial to the theme issue on metamodelling
Mesoscale performance simulation of multicore processor systems
Design methods for the new database era: a systematic literature review
gLTSdiff: a generalized framework for structural comparison of software behavior
A systematic literature review on IoT-aware business process modeling views, requirements and notations
Improving query performance on dynamic graphs
Generating relational database transactions from eb 3 attribute definitions
Imperative versus declarative constraint specification languages: a controlled experiment
A method for describing the syntax and semantics of UML statecharts
An integrated multi-level modeling approach for industrial-scale data interoperability
Special section on uncertainty, modeling, CPSs and AI: honoring Prof. Antonio Vallecillo
In memory of Bernhard Schätz, long- time friend and SoSyM editor
The 2012 "State of the Journal" Report
Introduction to the Software Engineering and Formal Methods 2013 special issue
Model-driven development platform selection: four industry case studies
SoSyM reflections of 2017: a journal status report
A model-driven framework for developing multi-agent systems in emergency response environments
Improving the quality of use case models using antipatterns
A model-driven approach to machine learning and software modeling for the IoT
MBIPV: a model-based approach for identifying privacy violations from software requirements
iDOCEM: defining a common terminology for object-centric event logging and data-centric process modelling
A novel model-based testing approach for software product lines
Guest editorial to the special issue on UML2003
Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities
On model typing
An investigation of the relationship between joint visual attention and product quality in collaborative business process modeling: a dual eye-tracking study
Verifying Object-based Graph Grammars
Lessons learned from developing mbeddr: a case study in language engineering with MPS
Model projection relative to submetamodeling dimensions
SustainScrum: integrating sustainability assessment in a tailored Scrum process for computing quantitative sustainability indicators
Analysing the cognitive effectiveness of the WebML visual notation
What makes a good process model? - Lessons learned from process mining
Realizing strategic fit within the business architecture: the design of a Process-Goal Alignment modeling and analysis technique
Guidelines to derive an e 3 value business model from a BPMN process model: an experiment on real-world scenarios
Toward an ontology for EA modeling and EA model quality
Specification and automated verification of atomic concurrent real-time transactions
Qualifying input test data for model transformations
Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures
CHECKSUM: tracking changes and measuring contributions in cooperative systems modeling
Ten years of software and systems modeling - Reflecting on the past, looking to the future
An executable formal semantics for UML-RT
Analysing refactoring dependencies using graph transformation
A component-based end-to-end simulation of the Linux file system
Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements
Understanding and improving UML package merge
Characteristics, potentials, and limitations of open-source Simulink projects for empirical research
Static slicing of Use Case Maps requirements models
A feature-based survey of model view approaches
Model-based development
Formalizing the four-layer metamodeling stack with MetaMorph: potential and benefits
Event-driven grammars: relating abstract and concrete levels of visual languages
Evaluating user interface generation approaches: model-based versus model-driven development
Modeling with Gentleman: a web-based projectional editor
aCHAT-WF: Generating conversational agents for teaching business process models
Knowledge and software modeling using UML
From model transformation to incremental bidirectional model synchronization
Extending the Unified Modeling Language for ontology development
UML - the Good, the Bad or the Ugly? Perspectives from a panel of experts
Continuous situation-specific development of business models: knowledge provision, method composition, and method enactment
MIKADO: a smart city KPIs assessment modeling framework
Software engineering and formal methods
Model-based simulation of legal policies: framework, tool support, and validation
VMTL: a language for end-user model transformation
Modeling to improve quality or efficiency? An automotive domain perspective
Ark: a constraint-based method for architectural synthesis of smart systems
Lossless compaction of model execution traces
From well-formedness to meaning preservation: model refactoring for almost free
Trustworthy agent-based simulation: the case for domain-specific modelling languages
Variability in UML language and semantics
Deep specification and proof preservation for the CoqTL transformation language
SoSyM reflections: the 2021 "state of the journal" report
What makes life for process mining analysts difficult? A reflection of challenges
Bridging value modelling to ArchiMate via transaction modelling
Configuring use case models in product families
Detection and quantification of flow consistency in business process models
Styles in business process modeling: an exploration and a model
Formal verification of software source code through semi-automatic modeling
Model-checking software library API usage rules
Toward a framework for self-adaptive workflows in cyber-physical systems
Conceptual modelling of temporality and subjectivity as cross-cutting concerns
Inter-modelling with patterns
Blended modeling in commercial and open-source model-driven software engineering tools: A systematic study
Multi-view approaches for software and system modelling: a systematic literature review
Guest editorial for the theme section on modeling language engineering
A model-driven approach for vulnerability evaluation of modern physical protection systems
An executable metamodel refactoring catalog
A refinement-based approach to safe smart contract deployment and evolution
Automatic data collection for enterprise architecture models
On leveraging the fruits of research efforts in the arena of business process modeling formalisms: a map-driven approach for decision making
An analysis of capability meta-models for expressing dynamic business transformation
Semi-automatic service value network modeling approach based on external public data
A reconfiguration pattern for distributed embedded systems
A framework for qualitative assessment of domain-specific languages
Pattern reification as the basis for description-driven systems
Universal conceptual modeling: principles, benefits, and an agenda for conceptual modeling research
On the interpretation of binary associations in the Unified Modelling Language
On the adoption of blockchain for business process monitoring
FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development
Graphical composite modeling and simulation for multi-aircraft collision avoidance
Query-driven soft traceability links for models
On the relationship between models and ontologies
Safety behavior abstraction and model evolution in autonomous driving
Petri nets in systems biology
Metamodel specialization for graphical language support
Guest editorial for the special section on MODELS 2022
Modeling languages in Industry 4.0: an extended systematic mapping study
Proactive modeling: a new model intelligence technique
On building location aware applications using an open platform based on the NEXUS Augmented World Model
Managing the evolution of data-intensive Web applications by model-driven techniques
Model-driven engineering for mobile robotic systems: a systematic mapping study
Language-independent look-ahead for checking multi-perspective declarative process models
Editorial to theme section on interplay of model-driven and component-based software engineering
From enterprise models to low-code applications: mapping DEMO to Mendix; illustrated in the social housing domain
EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time
Formal translation of YAWL workflow models to the Alloy formal specifications: a testing application
Formalised EMFTVM bytecode language for sound verification of model transformations
Using DSLs to manage consistency in long-lived enterprise language specifications
Basic problems in multi-view modeling
An integrated metamodel-based approach to software model refactoring
An approach for modeling and detecting software performance antipatterns based on first-order logics
Promoting traits into model-driven development
Utilizing multi-level concepts for multi-phase modeling
Semi-automatic derivation of RESTful choreographies from business process choreographies
Reusing model validation methods for the continuous validation of digital twins of cyber-physical systems
The wild-west of modeling (Revisited)
Evaluating formal model verification tools in an industrial context: the case of a smart device life cycle management system
P-stable abstractions of hybrid systems
Model-integrating development of software systems: a flexible component-based approach
Requirement-driven model-based development methodology applied to the design of a real-time MEG data processing unit
In search of effective design abstractions
Experience with model-based performance, reliability, and adaptability assessment of a complex industrial architecture
Reducing accidental complexity in domain models
Industry 4.0 as a Cyber-Physical System study
Performance modeling and analysis of message-oriented event-driven systems
On the reuse and recommendation of model refactoring specifications
Going beyond templates: composition and evolution in nested OSTRICH
Foundations for Streaming Model Transformations by Complex Event Processing
A methodology for the selection of requirements engineering techniques
Automatic generation of atomic multiplicity-preserving search operators for search-based model engineering
Reference models: how can we leverage them?
Analysing the Linux kernel feature model changes using FMDiff
A framework for families of domain-specific modelling languages
A verified catalogue of OCL optimisations
Enhancing classic transformation languages to support multi-level modeling
Learning minimal automata with recurrent neural networks
Execution of UML models: a systematic review of research and practice
Linking models and their storage artifacts
Guest Editorial to the Special Issue on Language Engineering for Model-Driven Software Development
Modelling guidance in software engineering: a systematic literature review
Modeling presentation layers of web applications for testing
Predictions-on-chip: model-based training and automated deployment of machine learning models at runtime
Reference architectures modelling and compliance checking
Evaluation of a machine learning classifier for metamodels
Modeling context-aware and intention-aware in-car infotainment systems - Concepts and modeling processes
Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games
Model development guidelines for UML-RT: conventions, patterns and antipatterns
Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets
Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems
On the modeling and generation of service-oriented tool chains
Meta3: a code generator framework for domain-specific languages
Conformance checking in UML artifact-centric business process models
Relational interprocedural verification of concurrent programs
EB 3: an entity-based black-box specification method for information systems
A framework for automated multi-stage and multi-step product configuration of cyber-physical systems
Assert and negate revisited: Modal semantics for UML sequence diagrams
Model-based lifecycle management of software-intensive systems, applications, and services
On the application of process management and process mining to Industry 4.0
Editorial for the Speccial Issue UML 2001 Conference
The shape of feature code: an analysis of twenty C-preprocessor-based systems
Modeling and enforcing access control policies in conversational user interfaces
A framework to specify system requirements using natural interpretation of UML/MARTE diagrams
Protocol modelling: A modelling approach that supports reusable behavioural abstractions
The technological landscape of collaborative model-driven software engineering
An integrated semantics for reasoning about SysML design models using refinement
Model driven design and aspect weaving
Multidimensional context modeling applied to non-functional analysis of software
Model-driven management of BPMN-based business process families
Asynchronous session subtyping as communicating automata refinement
Automatically reasoning about metamodeling
Reasoning over time into models with DataTime
The journal on Software and Systems Modeling Matures