Buchumschlag

Tool-Assisted Conformance Checking to Reference Process Models

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Rumpe, Bernhard, Stachon, Max, Stüber, Sebastian, Voufo, Valdes
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering Formal Languages and Automata Theory 68N30 D.2.4
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
von: Grahl, Johanna, et al.
Veröffentlicht: (2025)

Contract-based Verification of Digital Twins
von: Naeem, Muhammad, et al.
Veröffentlicht: (2025)

Systematic Evaluation of Black-Box Checking for Fast Bug Detection
von: Pellen, Bram, et al.
Veröffentlicht: (2025)

New Fault Domains for Conformance Testing of Finite State Machines
von: Vaandrager, Frits, et al.
Veröffentlicht: (2024)

High-Performance Generation of Constrained Inputs
von: Crump, Addison, et al.
Veröffentlicht: (2025)

Contract Based Program Models for Software Model Checking
von: Amilon, Jesper, et al.
Veröffentlicht: (2025)

On the Marriage of Theory and Practice in Data-Aware Business Processes via Low-Code
von: Eldin, Ali Nour, et al.
Veröffentlicht: (2025)

A Language and Methodology based on Scenarios, Grammars and Views, for Administrative Business Processes Modelling
von: Ndadji, Milliam Maxime Zekeng, et al.
Veröffentlicht: (2020)

Model-checking real-time systems: revisiting the alternating automaton route
von: Bouyer, Patricia, et al.
Veröffentlicht: (2025)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
von: López, Hugo A., et al.
Veröffentlicht: (2024)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
von: Lauer, Alexander, et al.
Veröffentlicht: (2026)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
von: Helbling, Caleb, et al.
Veröffentlicht: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
von: Helbling, Caleb, et al.
Veröffentlicht: (2025)

Inferring Input Grammars from Code with Symbolic Parsing
von: Bettscheider, Leon, et al.
Veröffentlicht: (2025)

Automata Learning -- Expect Delays!
von: Dengler, Gabriel, et al.
Veröffentlicht: (2025)

Once and for all: how to compose modules -- The composition calculus
von: Fettke, Peter, et al.
Veröffentlicht: (2024)

Configuration Monitor Synthesis
von: Köhl, Maximilian A., et al.
Veröffentlicht: (2024)

ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification
von: Fang, Yue, et al.
Veröffentlicht: (2026)

Complete FSM Testing Using Strong Separability
von: Hierons, Robert M., et al.
Veröffentlicht: (2025)

A Simple Trace Semantics for Asynchronous Sequence Diagrams
von: Faitelson, David, et al.
Veröffentlicht: (2025)

Semi-Automatic Extraction of Formal Models from Object Oriented Code
von: van Spaendonck, P. H. M.
Veröffentlicht: (2024)

Ontology-Driven Model-to-Model Transformation of Workflow Specifications
von: Abreu, Francisco, et al.
Veröffentlicht: (2025)

Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving
von: Zheng, Xinyi, et al.
Veröffentlicht: (2025)

Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
von: Basile, Davide
Veröffentlicht: (2025)

Disjunction Composition of BDD Transition Systems for Model-Based Testing
von: Zameni, Tannaz, et al.
Veröffentlicht: (2026)

Twinning automata and regular expressions for string static analysis
von: Negrini, Luca, et al.
Veröffentlicht: (2020)

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
von: Hong, Chih-Duo, et al.
Veröffentlicht: (2025)

Parameterized Verification of Timed Networks with Clock Invariants
von: André, Étienne, et al.
Veröffentlicht: (2024)

Evaluating Massively Parallel Algorithms for DFA Minimisation, Equivalence Checking and Inclusion Checking
von: Heemstra, Jan, et al.
Veröffentlicht: (2025)

Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad
von: Lin, Yuanfei, et al.
Veröffentlicht: (2023)

Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
von: Ye, Kangfeng, et al.
Veröffentlicht: (2024)

On Minimization and Learning of Deterministic $ω$-Automata in the Presence of Don't Care Words
von: Löding, Christof, et al.
Veröffentlicht: (2022)

Black-box Context-free Grammar Inference for Readable & Natural Grammars
von: Arefin, Mohammad Rifat, et al.
Veröffentlicht: (2025)

TruncProof: A Guardrail for LLM-based JSON Generation under Token-Length Constraints
von: Kato, Yoshio, et al.
Veröffentlicht: (2026)

Type-safe Monitoring of Parameterized Streams
von: Baumeister, Jan, et al.
Veröffentlicht: (2026)

Automated Formalization of Probabilistic Requirements from Structured Natural Language
von: Mavridou, Anastasia, et al.
Veröffentlicht: (2025)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2022)

Probabilistic automatic complexity of finite strings
von: Gill, Kenneth
Veröffentlicht: (2024)

The $μ\mathcal{G}$ Language for Programming Graph Neural Networks
von: Belenchia, Matteo, et al.
Veröffentlicht: (2024)

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
von: Liyanage, Danushka, et al.
Veröffentlicht: (2025)