Thomas Chatain

Available identifiers

zbMath Open chatain.thomasMaRDI QIDQ453541

List of research outcomes

Publication	Date of Publication	Type
Concurrency in Boolean networks	2024-02-09	Paper
Generalized Alignment-Based Trace Clustering of Process Behavior	2024-01-29	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Thomas Chatain