On the public citation graph

Towards Enhanced Verification in Process Mining: A Ctmc-Based Probabilistic Model Checking Approach

https://doi.org/10.2139/ssrn.4800009
0 signed · 60 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/11575771_11openalex-extracted
Process Mining and Verification of Properties: An Approach Based on Temporal Logic
inferredcites →https://doi.org/10.1007/11841760_33openalex-extracted
Decision Mining in ProM
inferredcites →https://doi.org/10.1007/3-540-45785-2_4openalex-extracted
Discovering Workflow Performance Models from Timed Logs
inferredcites →https://doi.org/10.1007/3-540-54233-7_128openalex-extracted
Model-checking for probabilistic real-time systems
inferredcites →https://doi.org/10.1007/3-540-61474-5_75openalex-extracted
Verifying continuous time Markov chains
inferredcites →https://doi.org/10.1007/3-540-65306-6openalex-extracted
Lectures on Petri Nets I: Basic Models
inferredcites →https://doi.org/10.1007/978-3-030-58135-0_8openalex-extracted
Probabilistic Conformance Checking Based on Declarative Process Models
inferredcites →https://doi.org/10.1007/978-3-031-07727-2_11openalex-extracted
Probabilistic Model Checking of BPMN Processes at Runtime
inferredcites →https://doi.org/10.1007/978-3-031-08848-3_8openalex-extracted
Foundations of Process Enhancement
inferredcites →https://doi.org/10.1007/978-3-031-10769-6_4openalex-extracted
CTL$$^*$$ Model Checking for Data-Aware Dynamic Systems with Arithmetic
inferredcites →https://doi.org/10.1007/978-3-031-25383-6_18openalex-extracted
Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement
inferredcites →https://doi.org/10.1007/978-3-0346-0145-0_16openalex-extracted
Semantical Considerations on Modal Logic
inferredcites →https://doi.org/10.1007/978-3-319-56994-9_18openalex-extracted
Event Abstraction for Process Mining Using Supervised Learning Techniques
inferredcites →https://doi.org/10.1007/978-3-540-69387-1_58openalex-extracted
A Survey of Formal Verification for Business Process Modeling
inferredcites →https://doi.org/10.1007/978-3-540-71999-1openalex-extracted
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic
inferredcites →https://doi.org/10.1007/978-3-642-00328-8_11openalex-extracted
Trace Clustering in Process Mining
inferredcites →https://doi.org/10.1007/978-3-642-19345-3openalex-extracted
Process Mining: Discovery, Conformance and Enhancement of Business Processes
inferredcites →https://doi.org/10.1007/978-3-642-22110-1_47openalex-extracted
PRISM 4.0: Verification of Probabilistic Real-Time Systems
inferredcites →https://doi.org/10.1007/978-3-642-29860-8_11openalex-extracted
Runtime Verification of LTL-Based Declarative Process Models
inferredcites →https://doi.org/10.1007/978-3-642-32885-5_6openalex-extracted
Aligning Event Logs and Declarative Process Models for Conformance Checking
inferredcites →https://doi.org/10.1007/978-3-642-33143-5openalex-extracted
Fundamentals of Business Process Management
inferredcites →https://doi.org/10.1007/978-3-642-38697-8_17openalex-extracted
Discovering Block-Structured Process Models from Event Logs - A Constructive Approach
inferredcites →https://doi.org/10.1007/978-3-662-45563-0_5openalex-extracted
Log-Based Understanding of Business Processes through Temporal Logic Query Checking
inferredcites →https://doi.org/10.1007/s10844-017-0474-3openalex-extracted
Model mining
inferredcites →https://doi.org/10.1007/s10844-022-00759-9openalex-extracted
A natural language querying interface for process mining
inferredcites →https://doi.org/10.1007/s12243-020-00809-9openalex-extracted
Process mining on machine event logs for profiling abnormal behaviour and root cause analysis
inferredcites →https://doi.org/10.1016/j.accinf.2021.100514openalex-extracted
Embedding process mining into financial statement audits
inferredcites →https://doi.org/10.1016/j.is.2015.07.004openalex-extracted
BPMN Miner: Automated discovery of BPMN process models with hierarchical structure
inferredcites →https://doi.org/10.1016/j.is.2021.101724openalex-extracted
Stochastic process mining: Earth movers’ stochastic conformance
inferredcites →https://doi.org/10.1016/j.is.2021.101810openalex-extracted
Conformance checking over uncertain event data
inferredcites →https://doi.org/10.1016/j.is.2022.102033openalex-extracted
Probabilistic declarative process mining
inferredcites →https://doi.org/10.1016/j.is.2023.102197openalex-extracted
Stochastic-aware precision and recall measures for conformance checking in process mining
inferredcites →https://doi.org/10.1051/itmconf/20246000012openalex-extracted
Advancing verification of process mining models with quantitative model checking in stochastic environment
inferredcites →https://doi.org/10.1080/00031305.1992.10475879openalex-extracted
An Introduction to Kernel and Nearest-Neighbor Nonparametric Regression
inferredcites →https://doi.org/10.1108/jm2-03-2020-0077openalex-extracted
Process mining approach to formal business process modelling and verification: a case study
inferredcites →https://doi.org/10.1109/access.2018.2874937openalex-extracted
Formal Verification of Temporal Constraints for Mobile Service-Based Business Process Models
inferredcites →https://doi.org/10.1109/access.2024.3361650openalex-extracted
Tuning Machine Learning to Address Process Mining Requirements
inferredcites →https://doi.org/10.1109/ase.2017.8115635openalex-extracted
BProVe: A formal verification framework for business process models
inferredcites →https://doi.org/10.1109/csce60160.2023.00163openalex-extracted
Integrating Process Mining with Probabilistic Model Checking via Continuous Time Markov Chains
inferredcites →https://doi.org/10.1109/icet.2013.6743500openalex-extracted
Formal approach for compliance rules checking in business process models
inferredcites →https://doi.org/10.1109/icpm.2019.00015openalex-extracted
Directly Follows-Based Process Mining: Exploration & a Case Study
inferredcites →https://doi.org/10.1109/icpm.2019.00023openalex-extracted
Mining Uncertain Event Data in Process Mining
inferredcites →https://doi.org/10.1109/icpm49681.2020.00024openalex-extracted
An Entropic Relevance Measure for Stochastic Conformance Checking in Process Mining
inferredcites →https://doi.org/10.1109/icpm49681.2020.00028openalex-extracted
Process Mining Meets Causal Machine Learning: Discovering Causal Rules from Event Logs
inferredcites →https://doi.org/10.1109/icpm53251.2021.9576856openalex-extracted
Probabilistic Trace Alignment
inferredcites →https://doi.org/10.1109/icpm53251.2021.9576887openalex-extracted
An A*-Algorithm for Computing Discounted Anti-Alignments in Process Mining
inferredcites →https://doi.org/10.1109/icpm57379.2022.9980588openalex-extracted
Grammar-Based Process Model Representation for Probabilistic Conformance Checking
inferredcites →https://doi.org/10.1109/tkde.2004.47openalex-extracted
Workflow mining: discovering process models from event logs
inferredcites →https://doi.org/10.1109/tse.2003.1205180openalex-extracted
Model-checking algorithms for continuous-time markov chains
inferredcites →https://doi.org/10.1145/242223.242257openalex-extracted
Formal methods
inferredcites →https://doi.org/10.1145/3202710.3203151openalex-extracted
Hierarchical performance analysis for process mining
inferredcites →https://doi.org/10.1145/3600106openalex-extracted
Data-Aware Declarative Process Mining with SAT
inferredcites →https://doi.org/10.3217/jucs-013-05-0639openalex-extracted
Model Checking: Software and Beyond
inferredcites →https://doi.org/10.3233/fi-2009-136openalex-extracted
Process Discovery using Integer Linear Programming
inferredcites →https://doi.org/10.3390/fi15120378openalex-extracted
Statistical Model Checking in Process Mining: A Comprehensive Approach to Analyse Stochastic Processes
inferredcites →https://doi.org/10.5220/0004775401980203openalex-extracted
A Survey of Formal Business Process VerificationFrom Soundness to Variability
inferredcites →https://doi.org/10.5281/zenodo.6623377openalex-extracted
Process Mining meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement
inferredcites →https://doi.org/10.6100/ir628344openalex-extracted
Process mining and verification
inferredcites →https://doi.org/10.6100/ir770080openalex-extracted
Aligning observed and modeled behavior
inferredcites →https://doi.org/10.48550/arxiv.2306.10341openalex-snapshot
Tailoring Machine Learning for Process Mining
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.