Edit Profile (opens in new tab) Kalyon, Gabriel Co-Author Distance Author ID: kalyon.gabriel Published as: Kalyon, Gabriel Documents Indexed: 5 Publications since 2007 Co-Authors: 9 Co-Authors with 5 Joint Publications 181 Co-Co-Authors all top 5 Co-Authors 0 single-authored 4 Le Gall, Tristan 4 Massart, Thierry Jacques 2 Marchand, Hervé 1 Geeraerts, Gilles 1 Maquet, Nicolas 1 Marchand, Herv 1 Meuter, Cédric 1 Raskin, Jean-François 1 Van Begin, Laurent Serials 2 Discrete Event Dynamic Systems 1 IEEE Transactions on Automatic Control Fields 3 Computer science (68-XX) 3 Systems theory; control (93-XX) Publications by Year Citations contained in zbMATH Open 3 Publications have been cited 5 times in 5 Documents Cited by ▼ Year ▼ Testing distributed systems through symbolic model checking. Zbl 1215.68042Kalyon, Gabriel; Massart, Thierry; Meuter, Cédric; Van Begin, Laurent 2 2007 Decentralized control of infinite systems. Zbl 1226.93013Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry 2 2011 Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation. Zbl 1242.93074Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry 1 2012 Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation. Zbl 1242.93074Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry 1 2012 Decentralized control of infinite systems. Zbl 1226.93013Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry 2 2011 Testing distributed systems through symbolic model checking. Zbl 1215.68042Kalyon, Gabriel; Massart, Thierry; Meuter, Cédric; Van Begin, Laurent 2 2007 all top 5 Cited by 12 Authors 3 Massart, Thierry Jacques 2 Kalyon, Gabriel 2 Meuter, Cédric 2 Van Begin, Laurent 1 Cai, Kai 1 Le Gall, Tristan 1 Lin, Liyong 1 Marchand, Hervé 1 Su, Rong 1 Tai, Ruochen 1 Zhang, Renyuan 1 Zhu, Yuting Cited in 3 Serials 2 Discrete Event Dynamic Systems 1 International Journal of Control 1 Information Processing Letters Cited in 2 Fields 3 Systems theory; control (93-XX) 2 Computer science (68-XX) Citations by Year