SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Conformance Checking with Uncertainty via SMT · Study

WorkConformance Checking with Uncertainty via SMT

Paolo Felli2022

OA

Workgreen2022

Conformance Checking with Uncertainty via SMT

Paolo Felli · Alessandro Gianola · Marco Montali · Andrey Rivkin · Sarah Winkler

13 citations·0/0 files stored·Lecture notes in computer science

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Business Process Modeling and Analysis Software Testing and Debugging Techniques Formal Methods in Verification

Abstract

No abstract was published for this record.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 13 citations exist upstream.

References

2012Process Mining Manifesto 2018Conformance Checking 2015Balanced multi-perspective checking of process conformance 2021Stochastic process mining: Earth movers’ stochastic conformance 2021Conformance checking over uncertain event data 2021CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT 2019Responsible Process Mining - A Data Quality Perspective 2020Optimized SAT encoding of conformance checking artefacts

Related works

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

2023Multi-perspective conformance checking of uncertain process traces: An SMT-based approacharticle · 8 shared references 2023Modelling Data-Aware Stochastic Processes - Discovery and Conformance Checkingother · 5 shared references 2023Everything there is to Know about Stochastically Known Logsother · 5 shared references 2019Extraction, correlation, and abstraction of event data for process miningarticle · 3 shared references 2021Conformance checking over uncertain event dataarticle · 3 shared references 2024Enjoy the silence: Analysis of stochastic Petri nets with silent transitionsarticle · 3 shared references

Details

Year2022

Typeother

Published2022-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations13

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-031-16103-2_15

openalex_workW4294837532

Links

Imported from OpenAlex (CC0) — nothing here is generated.