yusuke1997/dblp-id-title huggingface dataset:
A visual language for modeling and executing traceability queries
Formal foundation of consistent EMF model transformations by algebraic graph transformation
Multi-purpose, multi-level feature modeling of large-scale industrial software systems
Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets
Exploring the interaction of design variability and stochastic operational uncertainties in software-intensive systems through the lens of modeling
Kompren: modeling and generating model slicers
XTraQue: traceability for product line systems
Early-stage analysis of cyber-physical production systems through collaborative modelling
Verifying workflow processes: a transformation-based approach
Modeling big smart data
Guided architecture trade space exploration: fusing model-based engineering and design by shopping
Example-driven modeling: on effects of using examples on structural model comprehension, what makes them useful, and how to create them
Harvesting models from web 2.0 databases
On model-based analysis of organizational structures: an assessment of current modeling approaches and application of multi-level modeling in support of design and analysis of organizational structures
Securing critical infrastructures with a cybersecurity digital twin
How do I find reusable models?
Contract-based modeling and verification of timed safety requirements within SysML
OCL FO : first-order expressive OCL constraints for efficient integrity checking
Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries
Model-based testing of software for automation systems using heuristics and coverage criterion
Model-driven assessment of system dependability
Models as the subject of education
Introduction to the theme issue on performance modeling
Student experience with software modeling tools
Formal specification of non-functional properties of component-based software systems
Expressing aspectual interactions in design: evaluating three AOM approaches in the slot machine domain
Special section on ICMT at STAF 2018
Detection and resolution of conflicting change operations in version management of process models
GoRIM: a model-driven method for enhancing regulatory intelligence
A taxonomy of tool-related issues affecting the adoption of model-driven engineering
Automated formal verification of visual modeling languages by model checking
From low-level programming to full-fledged industrial model-based development: the story of the Rubus Component Model
Investigating a file transfer protocol using CSP and B
Modeling Multi-agent systems with ANote
An epistemic approach to the formal specification of statistical machine learning
The 2011 "State of the Journal" Report - Editorial for the SoSyM Issue 2012/01: Part 2
Lightweight string reasoning in model finding
Controllable and decomposable multidirectional synchronizations
Guest editorial for EMMSAD'2018 special section
Translating between Alloy specifications and UML class diagrams annotated with OCL
Model-based design: a report from the trenches of the DARPA Urban Challenge
Meta-modelling and graph grammars for multi-paradigm modelling in AToM 3
The 2015 "State of the Journal" report
Strategic business modeling: representation and reasoning
SQME: a framework for modeling and evaluation of software architecture quality attributes
Validation and verification in domain-specific modeling method engineering: an integrated life-cycle view
Editorial to the theme issue on model-driven service engineering
Diagrammatic physical robot models
Modeling dynamic structures
Using recommender systems to improve proactive modeling
Software engineering methods in other engineering disciplines
Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs
The next evolution of MDE: a seamless integration of machine learning into domain modeling
A UML Profile for the Design, Quality Assessment and Deployment of Data-intensive Applications
Impromptu: a framework for model-driven prompt engineering
The meaning of multiplicity of n-ary associations in UML
Model-based intelligent user interface adaptation: challenges and future directions
Automated generation of consistent, diverse and structurally realistic graph models
Mining team compositions for collaborative work in business processes
Extending the UML use case metamodel with behavioral information to facilitate model analysis and interchange
Scope in model transformations
Evaluating user acceptance of knowledge-intensive business process modeling languages
Counterexample classification
Transforming XML schemas into OWL ontologies using formal concept analysis
Clafer: unifying class and feature modeling
Understanding Declare models: strategies, pitfalls, empirical results
Modeling more software performance antipatterns in cyber-physical systems
Live process modeling with the BPMN Sketch Miner
Automatic verification of behavior preservation at the transformation level for relational model transformation
Automatic generation of basic behavior schemas from UML class diagrams
A UML-based quantitative framework for early prediction of resource usage and load in distributed real-time systems
Leveraging annotation-based modeling with Jump
Theme issue on Integrated Formal Methods
Supporting domain-specific model patterns with metamodeling
Deriving performance-relevant infrastructure properties through model-based experiments with Ginpex
Formal synthesis of application and platform behaviors of embedded software systems
A framework for the operationalization of monitoring in business intelligence requirements engineering
Specification and analysis of legal contracts with Symboleo
UML specification of access control policies and their formal verification
A situational method for semi-automated Enterprise Architecture Documentation
Handling nonconforming individuals in search-based model-driven engineering: nine generic strategies for feature location in the modeling space of the meta-object facility
Automatic maintenance of association invariants
Guest editorial for the special section on MODELS 2021
Experimental evaluation of a novel equivalence class partition testing strategy
Model-driven design space exploration for multi-robot systems in simulation
A technique for evaluating and improving the semantic transparency of modeling language notations
The Train Benchmark: cross-technology performance evaluation of continuous model queries
SimIMA: a virtual Simulink intelligent modeling assistant
Least-change bidirectional model transformation with QVT-R and ATL
Consistent specification of interface suites in UML
MUPPIT: a method for using proper patterns in model transformations
The complexities of the satisfiability checking problems of feature diagram sublanguages
Quo Vadis modeling?
Conceptualization, measurement, and application of semantic transparency in visual notations
SoSyM at 7 years
Behavioral specification of reactive systems using stream-based I/O tables
The design space of multi-language development environments
T-Core: a framework for custom-built model transformation engines
Case-based exploration of bidirectional transformations in QVT Relations
From use case maps to executable test procedures: a scenario-based approach
An executable object-oriented semantics and its application to firewall verification
Case model landscapes: toward an improved representation of knowledge-intensive processes using the fCM-language
A reference architecture for the development of GLSP-based web modeling tools
An example is worth a thousand words: Creating graphical modelling environments by example
Assessing model quality
Correction to: Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations
Test model coverage analysis under uncertainty: extended version
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism
Opportunities in intelligent modeling assistance
Holistic data-driven requirements elicitation in the big data era
Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon
Extracting LPL privacy policy purposes from annotated web service source code
Guest editorial: On Modeling Object-Oriented Information Systems
Advanced and efficient execution trace management for executable domain-specific modeling languages
Model transformation by example using inductive logic programming
Toward an analytical method for SLA validation
Logic formulas in models
Automated, interactive, and traceable domain modelling empowered by artificial intelligence
Models@run.time: a guided tour of the state of the art and research challenges
Guest editorial for EMMSAD'2017 special section
Broadened support for software and system model interchange
Editorial to the theme section on model-based engineering of smart systems
Unique identification of elements in evolving software models
An ontology-based approach to engineering ethicality requirements
Supporting inheritance hierarchy changes in model-based regression test selection
Deontic BPMN: a powerful extension of BPMN with a trusted model transformation
Heap-abstraction for an object-oriented calculus with thread classes
On the comprehension of workflows modeled with a precise style: results from a family of controlled experiments
On the realizability of collaborative services
A unifying framework for homogeneous model composition
Toward live domain-specific languages - From text differencing to adapting models at run time
Model transformations for migrating legacy deployment models in the automotive industry
Recommender systems in model-driven engineering
Towards the efficient development of model transformations using model weaving and matching transformations
SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language
Design and evaluation of a collaborative UML modeling environment in virtual reality
Linear parallel algorithms to compute strong and branching bisimilarity
Confluence of aspects for sequence diagrams
Execution trace analysis for a precise understanding of latency violations
Supporting data-aware processes with MERODE
Recommendations for visual feedback about problems within BPMN process models
Conflict management techniques for model merging: a systematic mapping review
Run-time threat models for systematic and continuous risk assessment
Redesign of UML class diagrams: a formal approach
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach
Model checking of spacecraft operational designs: a scalability analysis
Mixed-semantics composition of statecharts for the component-based design of reactive systems
Testing timed systems modeled by Stream X-machines
Accidental complexity in multilevel modeling revisited
Looking back at UML
HoloFlows: modelling of processes for the Internet of Things in mixed reality
Models: the fourth dimension of computer science
DSMCompare: domain-specific model differencing for graphical domain-specific languages
Modeling and enforcing secure object flows in process-driven SOAs: an integrated model-driven approach
An algebra of product families
Consistency management in industrial continuous model-based development settings: a reality check
A framework to support alignment of secure software engineering with legal regulations
Circular systems engineering
Using boundary objects and methodological island (BOMI) modeling in large-scale agile systems development
A logical approach to systems engineering artifacts: semantic relationships and dependencies beyond traceability - from requirements to functional and architectural views
Unifying classes and processes
CaRE: a refinement calculus for requirements engineering based on argumentation theory
Style-based modeling and refinement of service-oriented architectures
Composable partial multiparty session types for open systems
Explicit versus implicit models: What are good languages for modeling?
Integrating smart contracts into the modeling paradigm to harness the potential of models
A survey of traceability in requirements engineering and model-driven development
Goal-oriented modeling and verification of feature-oriented product lines
Implementation of a continuous delivery pipeline for enterprise architecture model evolution
Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations
Model modularity for reuse, libraries and composition: symbol management is key
Model-driven engineering with domain-specific meta-modelling languages
Correlating contexts and NFR conflicts from event logs
An interactive tool for UML class model evolution in database applications
Model-based ideal testing of hardware description language (HDL) programs
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development
A transformation-based approach to context-aware modelling
Full contract verification for ATL using symbolic execution
Reconciling software requirements and architectures with intermediate models
Guest editorial to the special section on model transformation
Online adaptation for autonomous unmanned systems driven by requirements satisfaction model
Specifying and executing behavioral requirements: the play-in/play-out approach
A reference framework for process-oriented software development organizations
Matters of (Meta-)Modeling
Modeling for the cloud
Five years of modeling in SoSyM
Evaluating data-centric process approaches: Does the human factor factor in?
ESUML-EAF: a framework to develop an energy-efficient design model for embedded software
A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties
An integrated conceptual model for information system security risk management supported by enterprise architecture management
Modularization of model transformations through a phasing mechanism
Platform independent Web application modeling and development with Netsilon
Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games
Toward a methodology for case modeling
Guest editorial to the special section of models 2019
Model transformations and tool integration
A collection operator for graph transformation
Scalable model views over heterogeneous modeling technologies and resources
Automated product line test case selection: industrial case study and controlled experiment
Business process modeling language selection for research modelers
Model execution tracing: a systematic mapping study
CoqTL: a Coq DSL for rule-based model transformation
Formal reconfiguration model for cloud resources
UML customization versus domain-specific languages
Improving engineering efficiency with PLM/ALM
Modeling event-based communication in component-based software architectures for performance predictions
Low-code development and model-driven engineering: Two sides of the same coin?
Model driven architecture: Principles and practice
Dealing with Forward and Backward Jumps in Workflow Management Systems
A model-based design approach for simulation and virtual prototyping of automotive control systems using port-Hamiltonian systems
Extending enterprise architecture modeling languages for domain specificity and collaboration: application to telecommunication service design
Matching events and activities by integrating behavioral aspects and label analysis
Automated synthesis of local time requirement for service composition
Feedback on our editorials
Transactional execution of hierarchical reconfigurations in cyber-physical systems
Theoretical foundations and implementation of business process diagrams' complexity management technique based on highlights
Consolidation of database check constraints
Editorial for the SoSyM issue 2015/03
SoSyM at three
Guest editorial for the special section on MODELS 2020
Requirements specification using templates: a model-driven approach
Model-driven process enactment for NFV systems with MAPLE
Property-based testing of web services by deriving properties from business-rule models
Formal analysis of human operator behavioural patterns in interactive surveillance systems
Supporting different process views through a Shared Process Model
Model-based verification of data protection mechanisms in collaborative business processes
A graph-based algorithm for consistency maintenance in incremental and interactive integration tools
STAIRS towards formal design with sequence diagrams
Knowledge-based construction of distributed constrained systems
Foundations of information technology based on Bunge's systemist philosophy of reality
Connecting databases with process mining: a meta model and toolset
Modeling of, for, and with digital twins
Petri and how he saw the world
Flexmi: a generic and modular textual syntax for domain-specific modelling
Mapping feature models onto domain models: ensuring consistency of configured domain models
Data warehouse concepts for model artifacts?
Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool
Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability
VPML: an approach to detect design patterns of MOF-based modeling languages
Bridging the model-to-code abstraction gap with fuzzy logic in model-based regression test selection
Practitioners' experiences with model-driven engineering: a meta-review
Model-based tool support for Tactical Data Links: an experience report from the defence domain
Workflow patterns put into context
Describing and assessing availability requirements in the early stages of system development
Automaton-based comparison of Declare process models
Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams
Reusable model transformations
Editorial for FACS 2021 special section (SoSyM)
State-based versus event-based specifications for information systems: a comparison of B and eb 3
Remarks on Egon Börger: "Approaches to model business processes: a critical analysis of BPMN, workflow patterns and YAWL, SOSYM 11: 305-318"
SoSyM reflections: the 2019 "state of the journal" report
Taming uncertainty with MDE: an historical perspective
Automatic derivation of BPEL4WS from IDEF0 process models
The KeY tool
A demonstration-based model transformation approach to automate model scalability
Managing time-awareness in modularized processes
A feature-based classification of formal verification techniques for software models
Jidoka: automation with a human touch
On the automation-supported derivation of domain-specific UML profiles considering static semantics
Non-functional properties in the model-driven development of service-oriented systems
Stress-testing remote model querying APIs for relational and graph-based stores
Models in simulation
Special section of BPMDS'2013: coping with complexity in business processes
Problem frame semantics for software development
Eugenia: towards disciplined and automated development of GMF-based graphical model editors
A framework for embedded software portability and verification: from formal models to low-level code
Search-based model transformation by example
Exploiting model driven technology: a tale of two startups
Extending interaction overview diagrams with activity diagram constructs
Verification of B + trees by integration of shape analysis and interactive theorem proving
Generation of hazard relation diagrams: formalization and tool support
UML formal semantics: lessons learned
A modular timed graph transformation language for simulation-based design
Special Section of BPMDS 2022 - reflections on interactions and responsibility in a digitized business processes ecosystem
Process mining: a two-step approach to balance between underfitting and overfitting
Artefacts in software engineering: a fundamental positioning
Consistent change propagation within models
Mining reading patterns from eye-tracking data: method and demonstration
Modeling Paradigms
A classification and rationalization of model-based software development
Addressing the evolution of automated user behaviour patterns by runtime model interpretation
Service feature modeling: modeling and participatory ranking of service design alternatives
Model-driven analysis and synthesis of textual concrete syntax
Change propagation and bidirectionality in internal transformation DSLs
Guest editorial to the special issue on MODELS 2008
Models in Software Engineering
An empirical approach toward the resolution of conflicts in goal-oriented models
Automatic security-flaw detection - towards a fair evaluation and comparison
A UML/OCL framework for the analysis of graph transformation rules
Digital twin and the asset administration shell
Automated generation of consistent models using qualitative abstractions and exploration strategies
Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference
A dependability profile within MARTE
Redescription mining-based business process deviance analysis
Adherence preserving refinement of trace-set properties in STAIRS: exemplified for information flow properties and policies
Uncertainty representation in software models: a survey
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation
Emerging OCL tools
Involving users in the development of a modeling language for customer journeys
Profiling users via their reviews: an extended systematic mapping study
Synchrony and asynchrony in conformance testing
Design for service compatibility - Behavioural compatibility checking and diagnosis
Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile
Supporting multiple perspectives in feature-based configuration
An overview of model checking practices on verification of PLC software
Instant and global consistency checking during collaborative engineering
Testing concurrent user behavior of synchronous web applications with Petri nets
A metamodel for modeling system features and their refinement, constraint and interaction relationships
A theme section on the central role of modeling in designing and explaining data-driven systems and software
Hazard-driven realization views for Component Fault Trees
MemoRec: a recommender system for assisting modelers in specifying metamodels
Holistic security requirements analysis for socio-technical systems
Guest editorial to the theme section on AI-enhanced model-driven engineering
Polymorphic scenario-based specification models: semantics and applications
Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-Logic
Effects of stability on model composition effort: an exploratory study
A data-driven approach for constructing multilayer network-based service ecosystem models
View-based model-driven software development with ModelJoin
A pattern-based approach for improving model quality
Epsilon Flock: a model migration language
Formalizing and verifying stochastic system architectures using Monterey Phoenix
Requirements for modelling tools for teaching
Dynamic constraint satisfaction problems over models
Editorial for the theme issue on model-based interoperability
Querying process models by behavior inclusion
Model-driven system-level validation and verification on the space software domain
Distributed model validation with Epsilon
Introduction to the theme issue on models for quality of software architecture
An extensible approach to implicit incremental model analyses
Design patterns for open tool integration
Genericity for model management operations
How to write a successful SoSyM submission
A compositional semantics of UML-RSDS
Resolving model inconsistencies using automated regression planning
Editorial to theme issue on model-driven engineering of component-based software systems
Supporting the internet-based evaluation of research software with cloud infrastructure
On the use of models for high-performance scientific computing applications: an experience report