Thomas Chatain

Available identifiers

zbMath Open chatain.thomasMaRDI QIDQ453541

List of research outcomes

Publication	Date of Publication	Type
Taking complete finite prefixes to high level, symbolically	2024-10-22	Paper
Concurrency in Boolean networks	2024-02-09	Paper
Generalized Alignment-Based Trace Clustering of Process Behavior	2024-01-29	Paper
Taking complete finite prefixes to high level, symbolically	2023-11-16	Paper
Pomset bisimulation and unfolding for reset Petri nets	2022-03-14	Paper
Optimized SAT encoding of conformance checking artefacts	2021-04-22	Paper
https://portal.mardi4nfdi.de/entity/Q5111631	2020-05-27	Paper
Boolean networks: beyond generalized asynchronicity	2018-08-10	Paper
Pomsets and unfolding of reset Petri nets	2018-06-26	Paper
Anti-alignments in Conformance Checking – The Dark Side of Process Models	2016-10-04	Paper
A Canonical Contraction for Safe Petri Nets	2015-11-12	Paper
Non-atomic Transition Firing in Contextual Nets	2015-08-27	Paper
An Inverse Method for Parametric Timed Automata	2015-03-23	Paper
Avoiding shared clocks in networks of timed automata	2013-11-28	Paper
Back in Time Petri Nets	2013-08-16	Paper
Building Occurrence Nets from Reveals Relations	2013-06-27	Paper
A concurrency-preserving translation from time Petri nets to networks of timed automata	2012-09-27	Paper
Avoiding shared clocks in networks of timed automata	2012-09-25	Paper
Unfolding-based diagnosis of systems with an evolving topology	2010-10-07	Paper
Factorization Properties of Symbolic Unfoldings of Colored Petri Nets	2010-06-22	Paper
On the well-foundedness of adequate orders used for construction of complete unfolding prefixes	2010-03-24	Paper
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation	2009-12-01	Paper
AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA	2009-11-19	Paper
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets	2009-04-02	Paper
Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems	2009-02-03	Paper
Unfolding-Based Diagnosis of Systems with an Evolving Topology	2008-11-25	Paper
Symbolic Unfoldings for Networks of Timed Automata	2008-09-04	Paper
Formal Modeling and Analysis of Timed Systems	2006-11-14	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004	2005-08-18	Paper

Research outcomes over time

This page was built for person: Thomas Chatain