Edit Profile Chatain, Thomas Compute Distance To: Compute Author ID: chatain.thomas Published as: Chatain, Thomas Documents Indexed: 24 Publications since 2004 all top 5 Co-Authors 0 single-authored 7 Haar, Stefan 6 Jard, Claude 3 Balaguer, Sandie 2 André, Étienne 2 Baldan, Paolo 2 Encrenaz, Emmanuelle 2 Fribourg, Laurent 2 König, Barbara 2 Paulevé, Loïc 1 Balaguer, Andie 1 Bulychev, Peter E. 1 Carmona, Josep 1 Cassez, Franck 1 Comlan, Maurice 1 David, Alexandre 1 Delfieu, David 1 Fabre, Eric 1 Gastin, Paul 1 Hélouët, Loïc 1 Jezequel, Loïg 1 Khomenko, Victor 1 Koutny, Maciej 1 Larsen, Kim Guldstrand 1 Roux, Olivier H. 1 Schwoon, Stefan 1 Sznajder, Nathalie all top 5 Serials 1 Information Processing Letters 1 Information and Computation 1 International Journal of Foundations of Computer Science 1 Formal Methods in System Design 1 Fundamenta Informaticae 1 Logical Methods in Computer Science Fields 24 Computer science (68-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications 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.68286André, Étienne; Chatain, Thomas; Fribourg, Laurent; Encrenaz, Emmanuelle 11 2009 Time supervision of concurrent systems using symbolic unfoldings of time Petri nets. Zbl 1175.68274Chatain, Thomas; Jard, Claude 11 2005 Efficient on-the-fly algorithm for checking alternating timed simulation. Zbl 1262.68105Bulychev, Peter; Chatain, Thomas; David, Alexandre; Larsen, Kim G. 7 2009 Building occurrence nets from reveals relations. Zbl 1293.68199Balaguer, Andie; Chatain, Thomas; Haar, Stefan 6 2013 Complete finite prefixes of symbolic unfoldings of safe time Petri nets. Zbl 1234.68292Chatain, Thomas; Jard, Claude 5 2006 Unfolding-based diagnosis of systems with an evolving topology. Zbl 1214.68242Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara 3 2010 Unfolding-based diagnosis of systems with an evolving topology. Zbl 1160.68453Baldan, 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.68344Chatain, Thomas; Khomenko, Victor 3 2007 Symbolic diagnosis of partially observable concurrent systems. Zbl 1110.68416Chatain, Thomas; Jard, Claude 3 2004 Back in time Petri nets. Zbl 1390.68463Chatain, Thomas; Jard, Claude 2 2013 Symbolic unfoldings for networks of timed automata. Zbl 1161.68615Cassez, Franck; Chatain, Thomas; Jard, Claude 2 2006 Goal-driven unfolding of Petri nets. Zbl 1442.68132Chatain, Thomas; Paulevé, Loïc 1 2017 Anti-alignments in conformance checking – the dark side of process models. Zbl 1346.68129Chatain, Thomas; Carmona, Josep 1 2016 An inverse method for parametric timed automata. Zbl 1337.68150André, Étienne; Chatain, Thomas; Fribourg, Laurent; Encrenaz, Emmanuelle 1 2008 Goal-driven unfolding of Petri nets. Zbl 1442.68132Chatain, Thomas; Paulevé, Loïc 1 2017 Anti-alignments in conformance checking – the dark side of process models. Zbl 1346.68129Chatain, Thomas; Carmona, Josep 1 2016 Building occurrence nets from reveals relations. Zbl 1293.68199Balaguer, Andie; Chatain, Thomas; Haar, Stefan 6 2013 Back in time Petri nets. Zbl 1390.68463Chatain, Thomas; Jard, Claude 2 2013 Unfolding-based diagnosis of systems with an evolving topology. Zbl 1214.68242Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara 3 2010 An inverse method for parametric timed automata. Zbl 1187.68286André, Étienne; Chatain, Thomas; Fribourg, Laurent; Encrenaz, Emmanuelle 11 2009 Efficient on-the-fly algorithm for checking alternating timed simulation. Zbl 1262.68105Bulychev, Peter; Chatain, Thomas; David, Alexandre; Larsen, Kim G. 7 2009 Unfolding-based diagnosis of systems with an evolving topology. Zbl 1160.68453Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara 3 2008 An inverse method for parametric timed automata. Zbl 1337.68150André, É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.68344Chatain, Thomas; Khomenko, Victor 3 2007 Complete finite prefixes of symbolic unfoldings of safe time Petri nets. Zbl 1234.68292Chatain, Thomas; Jard, Claude 5 2006 Symbolic unfoldings for networks of timed automata. Zbl 1161.68615Cassez, Franck; Chatain, Thomas; Jard, Claude 2 2006 Time supervision of concurrent systems using symbolic unfoldings of time Petri nets. Zbl 1175.68274Chatain, Thomas; Jard, Claude 11 2005 Symbolic diagnosis of partially observable concurrent systems. Zbl 1110.68416Chatain, Thomas; Jard, Claude 3 2004 all cited Publications top 5 cited Publications 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 all top 5 Cited in 13 Serials 6 Discrete Event Dynamic Systems 5 Theoretical Computer Science 5 Journal of Logical and Algebraic Methods in Programming 4 Programming and Computer Software 3 Formal Methods in System Design 2 Information Processing Letters 2 Real-Time Systems 1 Acta Informatica 1 International Journal of Control 1 Science of Computer Programming 1 Information and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Logical Methods in Computer Science all top 5 Cited in 9 Fields 45 Computer science (68-XX) 8 Systems theory; control (93-XX) 5 Mathematical logic and foundations (03-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Category theory; homological algebra (18-XX) 2 Operations research, mathematical programming (90-XX) 1 Combinatorics (05-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year