×

zbMATH — the first resource for mathematics

Chatain, Thomas

Compute Distance To:
Author ID: chatain.thomas Recent zbMATH articles by "Chatain, Thomas"
Published as: Chatain, Thomas
Documents Indexed: 24 Publications since 2004

Publications by Year

Citations contained in zbMATH

14 Publications have been cited 59 times in 52 Documents Cited by Year
An inverse method for parametric timed automata. Zbl 1187.68286
André, Étienne; Chatain, Thomas; Fribourg, Laurent; Encrenaz, Emmanuelle
11
2009
Time supervision of concurrent systems using symbolic unfoldings of time Petri nets. Zbl 1175.68274
Chatain, Thomas; Jard, Claude
11
2005
Efficient on-the-fly algorithm for checking alternating timed simulation. Zbl 1262.68105
Bulychev, Peter; Chatain, Thomas; David, Alexandre; Larsen, Kim G.
7
2009
Building occurrence nets from reveals relations. Zbl 1293.68199
Balaguer, Andie; Chatain, Thomas; Haar, Stefan
6
2013
Complete finite prefixes of symbolic unfoldings of safe time Petri nets. Zbl 1234.68292
Chatain, Thomas; Jard, Claude
5
2006
Unfolding-based diagnosis of systems with an evolving topology. Zbl 1214.68242
Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara
3
2010
Unfolding-based diagnosis of systems with an evolving topology. Zbl 1160.68453
Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara
3
2008
On the well-foundedness of adequate orders used for construction of complete unfolding prefixes. Zbl 1184.68344
Chatain, Thomas; Khomenko, Victor
3
2007
Symbolic diagnosis of partially observable concurrent systems. Zbl 1110.68416
Chatain, Thomas; Jard, Claude
3
2004
Back in time Petri nets. Zbl 1390.68463
Chatain, Thomas; Jard, Claude
2
2013
Symbolic unfoldings for networks of timed automata. Zbl 1161.68615
Cassez, Franck; Chatain, Thomas; Jard, Claude
2
2006
Goal-driven unfolding of Petri nets. Zbl 1442.68132
Chatain, Thomas; Paulevé, Loïc
1
2017
Anti-alignments in conformance checking – the dark side of process models. Zbl 1346.68129
Chatain, Thomas; Carmona, Josep
1
2016
An inverse method for parametric timed automata. Zbl 1337.68150
André, Étienne; Chatain, Thomas; Fribourg, Laurent; Encrenaz, Emmanuelle
1
2008
Goal-driven unfolding of Petri nets. Zbl 1442.68132
Chatain, Thomas; Paulevé, Loïc
1
2017
Anti-alignments in conformance checking – the dark side of process models. Zbl 1346.68129
Chatain, Thomas; Carmona, Josep
1
2016
Building occurrence nets from reveals relations. Zbl 1293.68199
Balaguer, Andie; Chatain, Thomas; Haar, Stefan
6
2013
Back in time Petri nets. Zbl 1390.68463
Chatain, Thomas; Jard, Claude
2
2013
Unfolding-based diagnosis of systems with an evolving topology. Zbl 1214.68242
Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara
3
2010
An inverse method for parametric timed automata. Zbl 1187.68286
André, Étienne; Chatain, Thomas; Fribourg, Laurent; Encrenaz, Emmanuelle
11
2009
Efficient on-the-fly algorithm for checking alternating timed simulation. Zbl 1262.68105
Bulychev, Peter; Chatain, Thomas; David, Alexandre; Larsen, Kim G.
7
2009
Unfolding-based diagnosis of systems with an evolving topology. Zbl 1160.68453
Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara
3
2008
An inverse method for parametric timed automata. Zbl 1337.68150
André, Étienne; Chatain, Thomas; Fribourg, Laurent; Encrenaz, Emmanuelle
1
2008
On the well-foundedness of adequate orders used for construction of complete unfolding prefixes. Zbl 1184.68344
Chatain, Thomas; Khomenko, Victor
3
2007
Complete finite prefixes of symbolic unfoldings of safe time Petri nets. Zbl 1234.68292
Chatain, Thomas; Jard, Claude
5
2006
Symbolic unfoldings for networks of timed automata. Zbl 1161.68615
Cassez, Franck; Chatain, Thomas; Jard, Claude
2
2006
Time supervision of concurrent systems using symbolic unfoldings of time Petri nets. Zbl 1175.68274
Chatain, Thomas; Jard, Claude
11
2005
Symbolic diagnosis of partially observable concurrent systems. Zbl 1110.68416
Chatain, Thomas; Jard, Claude
3
2004
all top 5

Cited by 107 Authors

6 André, Étienne
5 Akshay, S.
5 Hélouët, Loïc
5 Larsen, Kim Guldstrand
5 Legay, Axel
5 Virbitskaite, Irina B.
4 Haar, Stefan
4 Lime, Didier
3 Baldan, Paolo
3 Chatain, Thomas
3 Genest, Blaise
3 Heindel, Tobias
3 König, Barbara
3 Pinchinat, Sophie
3 Roux, Olivier H.
3 Traonouez, Louis-Marie
3 Wąsowski, Andrzej
2 Beneš, Nikola
2 Bezděk, Peter
2 Corradini, Andrea
2 Fabre, Eric
2 Gastin, Paul
2 Marchand, Hervé
2 Pinna, G. Michele
2 Popova-Zeugmann, Louchka
2 Sobociński, Paweł
2 Sun, Jun
1 Barkaoui, Kamel
1 Barnat, Jiří
1 Benveniste, Albert
1 Bernardinello, Luca
1 Bertrand, Nathalie
1 Bollig, Benedikt
1 Bonet, Blai
1 Borovlev, V. A.
1 Borovlyov, Victor
1 Boucheneb, Hanifa
1 Bozzelli, Laura
1 Bushin, D. I.
1 Casu, Giovanni
1 Černá, Ivana
1 Chai, Xinwei
1 Chédor, Sébastien
1 Christoffersen, Peter F.
1 David, Alexandre
1 Delahaye, Benoît
1 Di Giampaolo, Barbara
1 Dong, JinSong
1 Dubtsov, Roman S.
1 Fahland, Dirk
1 Fournier, Paulin
1 Fribourg, Laurent
1 Gazagnaire, Thomas
1 Ghazel, Mohamed
1 Gößler, Gregor
1 Goubault, Eric
1 Gregorio-Rodríguez, Carlos
1 Gribovskaya, Nataliya S.
1 Hansen, Mikkel
1 Haslum, Patrik
1 Hickmott, Sarah L.
1 Inoue, Katsumi
1 Jard, Claude
1 Jovanović, Aleksandra Ž.
1 Kecir, Karim
1 Kern, Christian
1 Khomenko, Victor
1 Kılınç, Görkem
1 Konnov, Igor V.
1 Kumar, K. Narayan
1 La Torre, Salvatore
1 Liu, Yang
1 Llana, Luis
1 Lu, Xixi
1 Magnin, Morgan
1 Mardare, Radu
1 Mariegaard, Anders
1 Markey, Nicolas
1 Martinez, Claude
1 Martínez, Rafael García
1 Mimram, Samuel
1 Mokhov, Andrey
1 Morvan, Christophe
1 Mukund, Madhavan
1 Napoli, Margherita
1 Nyman, Ulrik
1 Paulevé, Loïc
1 Phawade, Ramchandra
1 Pomello, Lucia
1 Raclet, Jean-Baptiste
1 Ribeiro, Tony
1 Ringsmose, Julian Trier
1 Roux, Olivier F.
1 Schwoon, Stefan
1 Sidorova, Natalia
1 Spalazzi, Luca
1 Spegni, Francesco
1 Sproston, Jeremy
1 Srba, Jiří
1 Stefani, Jean-Bernard
...and 7 more Authors

Citations by Year