On the public citation graph
Formal verification of static software models in MDE: A systematic review
0 signed · 118 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/11901181_37openalex-snapshot
Reasoning on UML Class Diagrams with OCL Constraints
inferredcites →https://doi.org/10.1007/3-540-44525-0_2openalex-snapshot
A Formal Mapping between UML Models and Object-Z Specifications
inferredcites →https://doi.org/10.1007/3-540-45949-9openalex-snapshot
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
inferredcites →https://doi.org/10.1007/3-540-48050-1_54openalex-snapshot
A Formal Framework for Reasoning on UML Class Diagrams
inferredcites →https://doi.org/10.1007/3-540-57419-0_5openalex-snapshot
Integrity constraints representation in Object-Oriented databases
inferredcites →https://doi.org/10.1007/978-3-540-69534-9_23openalex-snapshot
Decidable Reasoning in UML Schemas with Constraints
inferredcites →https://doi.org/10.1007/978-3-540-71209-1_49openalex-snapshot
Kodkod: A Relational Model Finder
inferredcites →https://doi.org/10.1007/978-3-540-72901-3_2openalex-snapshot
Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets
inferredcites →https://doi.org/10.1007/978-3-540-74782-6_5openalex-snapshot
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming
inferredcites →https://doi.org/10.1007/978-3-540-78743-3_8openalex-snapshot
HOL-OCL: A Formal Proof Environment for uml/ocl
inferredcites →https://doi.org/10.1007/978-3-540-85654-2_56openalex-snapshot
Providing Explanations for Database Schema Validation
inferredcites →https://doi.org/10.1007/978-3-642-02949-3_8openalex-snapshot
Consistency, Independence and Consequences in UML and OCL Models
inferredcites →https://doi.org/10.1007/978-3-642-13977-2_5openalex-snapshot
Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases
inferredcites →https://doi.org/10.1007/978-3-642-21768-5_12openalex-snapshot
Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models
inferredcites →https://doi.org/10.1007/978-3-642-21952-8_21openalex-snapshot
Extensive Validation of OCL Models by Integrating SAT Solving into USE
inferredcites →https://doi.org/10.1007/978-3-642-31491-9_5openalex-snapshot
Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations
inferredcites →https://doi.org/10.1007/978-3-642-33666-9_27openalex-snapshot
From UML and OCL to Relational Logic and Back
inferredcites →https://doi.org/10.1007/s10270-005-0089-yopenalex-snapshot
Validating UML and OCL models in USE by automatic snapshot generation
inferredcites →https://doi.org/10.1007/s10270-008-0110-3openalex-snapshot
On challenges of model transformation from UML to Alloy
inferredcites →https://doi.org/10.1007/s10270-009-0123-6openalex-snapshot
Efficient analysis of pattern-based constraint specifications
inferredcites →https://doi.org/10.1016/0167-6423(90)90091-qopenalex-snapshot
The Z notation: A reference manual
inferredcites →https://doi.org/10.1016/0169-023x(90)90020-eopenalex-snapshot
A formal approach to object-oriented databases
inferredcites →https://doi.org/10.1016/0306-4379(90)90048-topenalex-snapshot
On the satisfiability of dependency constraints in entity-relationship schemata
inferredcites →https://doi.org/10.1016/0920-5489(95)00024-oopenalex-snapshot
Object-Z: A specification language advocated for the description of standards
inferredcites →https://doi.org/10.1016/j.artint.2005.05.003openalex-snapshot
Reasoning on UML class diagrams
inferredcites →https://doi.org/10.1016/j.datak.2004.08.002openalex-snapshot
Checking query containment with the CQC method
inferredcites →https://doi.org/10.1016/j.datak.2007.04.005openalex-snapshot
25th International conference on conceptual modeling (ER 2006)
inferredcites →https://doi.org/10.1016/j.datak.2009.02.003openalex-snapshot
26th International Conference on Conceptual Modeling (ER 2007)
inferredcites →https://doi.org/10.1016/j.datak.2011.09.004openalex-snapshot
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
inferredcites →https://doi.org/10.1016/j.infsof.2009.04.004openalex-snapshot
Definitions and approaches to model quality in model-based software development – A review of literature
inferredcites →https://doi.org/10.1016/j.infsof.2009.04.009openalex-snapshot
A systematic review of UML model consistency management
inferredcites →https://doi.org/10.1016/j.scico.2007.01.013openalex-snapshot
USE: A UML-based specification environment for validating UML and OCL
inferredcites →https://doi.org/10.1016/s0306-4379(02)00010-8openalex-snapshot
Satisfiability of object-oriented database constraints with set and bag attributes
inferredcites →https://doi.org/10.1016/s0898-1221(97)90049-3openalex-snapshot
The b-book: Assigning programs to meanings
inferredcites →https://doi.org/10.1109/69.979977openalex-snapshot
Finite satisfiability of integrity constraints in object-oriented database schemas
inferredcites →https://doi.org/10.1109/date.2010.5457017openalex-snapshot
Verifying UML/OCL models using Boolean satisfiability
inferredcites →https://doi.org/10.1109/depcos-relcomex.2006.27openalex-snapshot
Formal Semantics and Reasoning about UML Class Diagram
inferredcites →https://doi.org/10.1109/formsera.2012.6229788openalex-snapshot
EMFtoCSP: A tool for the lightweight verification of EMF models
inferredcites →https://doi.org/10.1109/icstw.2008.54openalex-snapshot
Verification of UML/OCL Class Diagrams using Constraint Programming
inferredcites →https://doi.org/10.1109/inmic.2007.4557693openalex-snapshot
An Accessible Formal Specification of the UML and OCL Meta-Model in Isabelle/HOL
inferredcites →https://doi.org/10.1109/itsim.2008.4631599openalex-snapshot
Mapping from OCL/UML metamodel to PVS metamodel
inferredcites →https://doi.org/10.1109/mc.2006.145openalex-snapshot
Verified Software: A Grand Challenge
inferredcites →https://doi.org/10.1145/1858996.1859038openalex-snapshot
Verification-driven slicing of UML/OCL models
inferredcites →https://doi.org/10.1145/2089116.2089123openalex-snapshot
Verification and Validation of UML Conceptual Schemas with OCL Constraints
inferredcites →https://doi.org/10.14279/tuj.eceasst.24.334openalex-snapshot
Checking Unsatisfiability for OCL Constraints
inferredcites →https://doi.org/10.14279/tuj.eceasst.5.45openalex-snapshot
An MDA Framework Supporting OCL
inferredcites →https://doi.org/10.25561/95635openalex-snapshot
Mapping UML models incorporating OCL constraints into object-Z
inferredcites →https://doi.org/10.5381/jot.2019.18.2.e1openalex-snapshot
The 15th European Conference on Modelling Foundations and Applications (ECMFA).
inferredcites →https://doi.org/10.5555/1784489.1784516openalex-snapshot
Reasoning over extended ER models
inferredcites →https://doi.org/10.5555/1870926.1871248openalex-snapshot
Verifying UML/OCL models using Boolean satisfiability
inferredcites →https://doi.org/10.5555/2394101.2394141openalex-snapshot
UML2Alloy: a challenging model transformation
inferredcites →https://doi.org/10.5860/choice.34-3906openalex-snapshot
The B-book: assigning programs to meanings
inferredcites →https://doi.org/10.5860/choice.44-2746openalex-snapshot
Software abstractions: logic, language and analysis
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-33223-5_42openalex-snapshot
A Systematic Approach to Generate Diverse Instantiations for Conceptual Schemas
inferred← citeshttps://doi.org/10.1007/978-3-030-48077-6_3openalex-snapshot
Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering
inferred← citeshttps://doi.org/10.1007/978-3-030-65854-0_6openalex-snapshot
The AIQ Meta-Testbed: Pragmatically Bridging Academic AI Testing and Industrial Q Needs
inferred← citeshttps://doi.org/10.1007/978-3-032-08623-5_1openalex-snapshot
Interactive Repair of Inconsistencies in Conceptual Models
inferred← citeshttps://doi.org/10.1007/978-3-319-22969-0_8openalex-snapshot
Towards Domain Refinement for UML/OCL Bounded Verification
inferred← citeshttps://doi.org/10.1007/978-3-319-72814-8_3openalex-snapshot
A Symbolic Formulation for Models
inferred← citeshttps://doi.org/10.1007/978-3-319-72814-8_8openalex-snapshot
Re-utilizing Verification Results of UML/OCL Models
inferred← citeshttps://doi.org/10.1007/978-3-662-46675-9_15openalex-snapshot
Model-Based Formal Reasoning about Data-Management Applications
inferred← citeshttps://doi.org/10.1007/s10270-016-0520-6openalex-snapshot
An integrated multi-level modeling approach for industrial-scale data interoperability
inferred← citeshttps://doi.org/10.1007/s10270-017-0591-zopenalex-snapshot
A feature-based classification of formal verification techniques for software models
inferred← citeshttps://doi.org/10.1007/s10270-020-00809-2openalex-snapshot
Interface protocol inference to aid understanding legacy software components
inferred← citeshttps://doi.org/10.1007/s10270-020-00842-1openalex-snapshot
Uncertainty representation in software models: a survey
inferred← citeshttps://doi.org/10.1007/s10270-020-00847-wopenalex-snapshot
What is a process model composed of?
inferred← citeshttps://doi.org/10.1007/s10270-022-01056-3openalex-snapshot
Validation and verification in domain-specific modeling method engineering: an integrated life-cycle view
inferred← citeshttps://doi.org/10.1007/s10270-023-01131-3openalex-snapshot
Modeling and enforcing access control policies in conversational user interfaces
inferred← citeshttps://doi.org/10.1007/s11219-016-9324-8openalex-snapshot
Quality in model-driven engineering: a tertiary study
inferred← citeshttps://doi.org/10.1007/s11219-016-9350-6openalex-snapshot
Considerations about quality in model-driven engineering
inferred← citeshttps://doi.org/10.1007/s11227-025-07464-8openalex-snapshot
A Research landscape on formal verification of UML dynamic modeling
inferred← citeshttps://doi.org/10.1016/j.csi.2017.11.007openalex-snapshot
Formal verification approaches and standards in the cloud computing: A comprehensive and systematic review
inferred← citeshttps://doi.org/10.1016/j.datak.2016.11.001openalex-snapshot
Automated analysis of integrity constraints in multi-level models
inferred← citeshttps://doi.org/10.1016/j.infsof.2018.10.006openalex-snapshot
Identifying, categorizing and mitigating threats to validity in software engineering secondary studies
inferred← citeshttps://doi.org/10.1016/j.infsof.2020.106397openalex-snapshot
Quality Assessment in Systematic Literature Reviews: A Software Engineering Perspective
inferred← citeshttps://doi.org/10.1016/j.jss.2015.08.017openalex-snapshot
Backwards reasoning for model transformations: Method and applications
inferred← citeshttps://doi.org/10.1016/j.jss.2017.03.015openalex-snapshot
Simplification of UML/OCL schemas for efficient reasoning
inferred← citeshttps://doi.org/10.1016/j.jss.2021.111138openalex-snapshot
Detecting violations of access control and information flow policies in data flow diagrams
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102509openalex-snapshot
A domain-specific language for verifying software requirement constraints
inferred← citeshttps://doi.org/10.1016/j.scico.2021.102745openalex-snapshot
User-driven diverse scenario exploration in model finders
inferred← citeshttps://doi.org/10.1109/access.2021.3121222openalex-snapshot
More Than Two Decades of Research on Verification of UML Class Models: A Systematic Literature Review
inferred← citeshttps://doi.org/10.1109/access.2023.3276872openalex-snapshot
Cross-Platform Real-Time Collaborative Modeling: An Architecture and a Prototype Implementation via EMF.Cloud
inferred← citeshttps://doi.org/10.1109/access.2024.3428865openalex-snapshot
Definitions and Computational Properties of OCL: A Systematic Review
inferred← citeshttps://doi.org/10.1109/aswec.2015.25openalex-snapshot
Simplification and Verification of Software and Data Structure Models in the Engineering Domain
inferred← citeshttps://doi.org/10.1109/cist.2016.7805042openalex-snapshot
Automation in code generation: Tertiary and systematic mapping review
inferred← citeshttps://doi.org/10.1109/models-c59198.2023.00129openalex-snapshot
Towards an Extensible Architecture and Tool Support for Model-Based Verification
inferred← citeshttps://doi.org/10.1109/models.2017.31openalex-snapshot
Partial Evaluation of OCL Expressions
inferred← citeshttps://doi.org/10.1109/quatic.2018.00020openalex-snapshot
Fixing Defects in Integrity Constraints via Constraint Mutation
inferred← citeshttps://doi.org/10.1109/saner.2019.8668007openalex-snapshot
Improving Model Inference in Industry by Combining Active and Passive Learning
inferred← citeshttps://doi.org/10.1109/tse.2017.2777830openalex-snapshot
Smart Bound Selection for the Verification of UML/OCL Class Diagrams
inferred← citeshttps://doi.org/10.1134/s0361768826700325openalex-snapshot
Computer-Interpretable Format IDS++ for the Specification and Verification of Requirements in Construction: Idea, Concept, and Implementation
inferred← citeshttps://doi.org/10.1145/3019612.3019769openalex-snapshot
Formal verification of storm topologies through D-VerT
inferred← citeshttps://doi.org/10.1145/3161534.3161535openalex-snapshot
A model-driven approach for the formal verification of storm-based streaming applications
inferred← citeshttps://doi.org/10.1145/3243127.3243128openalex-snapshot
Applying graph kernels to model-driven engineering problems
inferred← citeshttps://doi.org/10.1145/3381032openalex-snapshot
Practical Constraint Solving for Generating System Test Data
inferred← citeshttps://doi.org/10.1145/3417990.3419224openalex-snapshot
A language agnostic approach to modeling requirements
inferred← citeshttps://doi.org/10.1145/3523056openalex-snapshot
Model Transformation Testing and Debugging: A Survey
inferred← citeshttps://doi.org/10.1145/3652620.3676877openalex-snapshot
Software Modeling Assistance with Large Language Models
inferred← citeshttps://doi.org/10.1145/3652620.3688339openalex-snapshot
Towards the Estimation of Quality Attributes on System Model Histories
inferred← citeshttps://doi.org/10.1145/3686397.3686415openalex-snapshot
Verification and Validation of Software System Class Models
inferred← citeshttps://doi.org/10.1145/3744920openalex-snapshot
On the Utility of Domain Modeling Assistance with Large Language Models
inferred← citeshttps://doi.org/10.1145/3837062.3839054openalex-snapshot
On the Use of LLMs to Diagnose and Repair UML/OCL models
inferred← citeshttps://doi.org/10.2139/ssrn.6299556openalex-snapshot
Applying LLMs for Automated Extraction of Business Logic from Source Code into DMN Models
inferred← citeshttps://doi.org/10.2139/ssrn.6818764openalex-snapshot
Large Language Model as a Code Generator in Simplified Domain-Specific Modelling
inferred← citeshttps://doi.org/10.30537/sjcms.v5i2.840openalex-snapshot
Ontology-Based Transformation and Verification of UML/OCL Constraints
inferred← citeshttps://doi.org/10.4028/www.scientific.net/amm.752-753.1097openalex-snapshot
Effective Extraction of State Invariant for Software Verification
inferred← citeshttps://doi.org/10.4067/s0718-33052020000300411openalex-snapshot
Process and progress of requirement formalization in Software Engineering
inferred← citeshttps://doi.org/10.48550/arxiv.1910.05564openalex-snapshot
What's My Process Model Composed of? A Systematic Literature Review of Meta-Models in BPM
inferred← citeshttps://doi.org/10.4995/thesis/10251/90628openalex-snapshot
A framework for evaluating the quality of modelling languages in MDE environments A framework for evaluating the quality of modelling languages in MDE environments
inferred← citeshttps://doi.org/10.5334/egems.286openalex-snapshot
DataGauge: A Practical Process for Systematically Designing and Implementing Quality Assessments of Repurposed Clinical Data
inferred← citeshttps://doi.org/10.5381/jot.2020.19.3.a20openalex-snapshot
History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany.
inferred← citeshttps://doi.org/10.5381/jot.2020.19.3.a7openalex-snapshot
Incremental Verification of UML/OCL Models.
inferred← citeshttps://doi.org/10.70675/de89abcdzc714z461cz8300z607cc2293274openalex-snapshot
Fédération de modèles hétérogènes avec des vues sur les modèles assistées par l’apprentissage automatique
inferred← citeshttps://doi.org/10.7238/in3wps.v0i0.2490openalex-snapshot
Bounded Verification of Software Models: Challenges and Opportunities
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.