io-port 05993113 Blair, Gordon S.; Bennaceur, Amel; Georgantas, Nikolaos; Grace, Paul; Issarny, Valérie; Nundloll, Vatsala; Paolucci, Massimo

Kon, Fabio (ed.) et al., Middleware 2011. ACM/IFIP/USENIX 12th international middleware conference, Lisbon, Portugal, December 12‒16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25820-6/pbk). Lecture Notes in Computer Science 7049, 410-430 (2011).

io-port 05914419 Issarny, Valérie; Bennaceur, Amel; Bromberg, Yérom-David

Bernardo, Marco (ed.) et al., Formal methods for eternal networked software systems. 11th international school on formal methods for the design of computer, communication and software systems, SFM 2011, Bertinoro, Italy, June 13‒18, 2011. Advanced lectures. Berlin: Springer (ISBN 978-3-642-21454-7/pbk). Lecture Notes in Computer Science 6659, 217-255 (2011).

io-port 05914414 Grace, Paul; Georgantas, Nikolaos; Bennaceur, Amel; Blair, Gordon S.; Chauvel, Franck; Issarny, Valérie; Paolucci, Massimo; Saadi, Rachid; Souville, Betrand; Sykes, Daniel

Bernardo, Marco (ed.) et al., Formal methods for eternal networked software systems. 11th international school on formal methods for the design of computer, communication and software systems, SFM 2011, Bertinoro, Italy, June 13‒18, 2011. Advanced lectures. Berlin: Springer (ISBN 978-3-642-21454-7/pbk). Lecture Notes in Computer Science 6659, 27-52 (2011).

io-port 70566077 Issarny, Valérie; Bennaceur, Amel; Bromberg, Yérom-David

SFM, 217-255 (2011).

io-port 70566122 Grace, Paul; Georgantas, Nikolaos; Bennaceur, Amel; Blair, Gordon S.; Chauvel, Franck; Issarny, Valérie; Paolucci, Massimo; Saadi, Rachid; Souville, Bertrand; Sykes, Daniel

SFM, 27-52 (2011).

io-port 70822617 Blair, Gordon S.; Bennaceur, Amel; Georgantas, Nikolaos; Grace, Paul; Issarny, Valérie; Nundloll, Vatsala; Paolucci, Massimo

Middleware, 410-430 (2011).

io-port 05854262 Bennaceur, Amel; Blair, Gordon; Chauvel, Franck; Gang, Huang; Georgantas, Nikolaos; Grace, Paul; Howar, Falk; Inverardi, Paola; Issarny, Valrie; Paolucci, Massimo; Pathak, Animesh; Spalazzese, Romina; Steffen, Bernhard; Souville, Bertrand

Margaria, Tiziana (ed.) et al., Leveraging applications of formal methods, verification, and validation. 4th international symposium on leveraging applications, ISoLa 2010, Heraklion, Crete, Greece, October 18‒21, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-16560-3/pbk). Lecture Notes in Computer Science 6416, 206-220 (2010).

io-port 70790052 Bennaceur, Amel; Blair, Gordon S.; Chauvel, Franck; Huang, Gang; Georgantas, Nikolaos; Grace, Paul; Howar, Falk; Inverardi, Paola; Issarny, Valérie; Paolucci, Massimo; Pathak, Animesh; Spalazzese, Romina; Steffen, Bernhard; Souville, Bertrand

ISoLA (2), 206-220 (2010).

io-port 70365620 Bennaceur, Amel; Singh, Pushpendra; Raverdy, Pierre-Guillaume; Issarny, Valérie

PerCom Workshops, 1-6 (2009).

io-port 70329772 Bennaceur, Amel; Zegour, Djamel Eddine; Hidouci, Walid-Khaled

SEDE, 252-259 (2008).