Edit Profile Raclet, Jean-Baptiste Compute Distance To: Compute Author ID: raclet.jean-baptiste Published as: Raclet, Jean-Baptiste Documents Indexed: 7 Publications since 2009 all top 5 Co-Authors 0 single-authored 2 Bertrand, Nathalie 2 Caillaud, Benoît 2 Legay, Axel 2 Pinchinat, Sophie 1 Avellaneda, Florent 1 Badouel, Eric 1 Benveniste, Albert 1 Dal Zilio, Silvano 1 Filali, Mamoun 1 Ouederni, Meriem 1 Passerone, Roberto 1 Verdier, Guillaume Serials 1 Science of Computer Programming 1 Fundamenta Informaticae Fields 7 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Publications by Year Citations contained in zbMATH 4 Publications have been cited 35 times in 29 Documents Cited by ▼ Year ▼ A modal interface theory for component-based design. Zbl 1242.68147Raclet, Jean-Baptiste; Badouel, Eric; Benveniste, Albert; Caillaud, Benoît; Legay, Axel; Passerone, Roberto 20 2011 Refinement and consistency of timed modal specifications. Zbl 1234.68250Bertrand, Nathalie; Pinchinat, Sophie; Raclet, Jean-Baptiste 8 2009 Modal event-clock specifications for timed component-based design. Zbl 1264.68053Bertrand, Nathalie; Legay, Axel; Pinchinat, Sophie; Raclet, Jean-Baptiste 5 2012 Ensuring reachability by design. Zbl 1362.68164Caillaud, Benoît; Raclet, Jean-Baptiste 2 2012 Modal event-clock specifications for timed component-based design. Zbl 1264.68053Bertrand, Nathalie; Legay, Axel; Pinchinat, Sophie; Raclet, Jean-Baptiste 5 2012 Ensuring reachability by design. Zbl 1362.68164Caillaud, Benoît; Raclet, Jean-Baptiste 2 2012 A modal interface theory for component-based design. Zbl 1242.68147Raclet, Jean-Baptiste; Badouel, Eric; Benveniste, Albert; Caillaud, Benoît; Legay, Axel; Passerone, Roberto 20 2011 Refinement and consistency of timed modal specifications. Zbl 1234.68250Bertrand, Nathalie; Pinchinat, Sophie; Raclet, Jean-Baptiste 8 2009 all top 5 Cited by 49 Authors 9 Legay, Axel 6 Larsen, Kim Guldstrand 5 Lüttgen, Gerald 5 Vogler, Walter 4 Fahrenberg, Uli 4 Srba, Jiří 3 Bujtor, Ferenc 3 Fendrich, Sascha 3 Křetínský, Jan 2 Bauer, Sebastian S. 2 Beneš, Nikola 2 Caillaud, Benoît 2 Delahaye, Benoît 2 Hennicker, Rolf 2 Jonsson, Bengt 2 Juhl, Line 2 Pinchinat, Sophie 2 Wąsowski, Andrzej 1 Bertrand, Nathalie 1 Bodeveix, Jean-Paul 1 Bozzelli, Laura 1 Broy, Manfred 1 Chilton, Chris 1 Damm, Werner 1 David, Alexandre 1 Fares, Elie 1 Filali, Mamoun 1 French, Tim 1 Hales, James 1 Holík, Lukáš 1 Isberner, Malte 1 Knapp, Alexander 1 Kowal, Matthias 1 Kwiatkowska, Marta Z. 1 Lochau, Malte 1 Møller, Mikael Harkjær 1 Nyberg, Mattias 1 Nyman, Ulrik 1 Passerone, Roberto 1 Pedersen, Mikkel Lykke 1 Peldszus, Sven 1 Raclet, Jean-Baptiste 1 Sangiovanni-Vincentelli, Alberto L. 1 Schaefer, Ina 1 Sickert, Salomon 1 Traonouez, Louis-Marie 1 van Ditmarsch, Hans Pieter 1 Westman, Jonas 1 Wirsing, Martin all top 5 Cited in 10 Serials 7 Theoretical Computer Science 6 Acta Informatica 3 Formal Methods in System Design 2 Information and Computation 1 Science of Computer Programming 1 MSCS. Mathematical Structures in Computer Science 1 European Journal of Control 1 Soft Computing 1 The Journal of Logic and Algebraic Programming 1 Journal of Logical and Algebraic Methods in Programming Cited in 5 Fields 28 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 2 Systems theory; control (93-XX) 1 Probability theory and stochastic processes (60-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year