135261007
2009-07-03
2020-10-20T07:13:31
Combination methods for software verification / Daniele Zucchelli ; sous la direction de Michaël Rusinowitch et Silvio Ghilardi, 2007
0000000420321901
Ranise, Silvio
Ranise
Silvio
Silvio Ranise
Chargé de Recherche à l’INRIA Lorraine, France (en 2008)
Security and Trust Management : 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings / edited by Rafael Accorsi, Silvio Ranise. / Berlin, Heidelberg : Springer Berlin Heidelberg
Computer Security. ESORICS 2022 International Workshops : CyberICPS 2022, SECPRE 2022, SPOSE 2022, CPS4CIP 2022, CDT&SECOMANE 2022, EIS 2022, and SecAssure 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers / edited by Sokratis Katsikas ; Frédéric Cuppens, Christos Kalloniatis, John Mylopoulos, Frank Pallas, Jörg Pohle, M. Angela Sasse, Habtamu Abie, Silvio Ranise, Luca Verderame, Enrico Cambiaso, Jorge Maestre Vidal, Marco Antonio Sotelo Monge, Massimiliano Albanese, Basel Katt, Sandeep Pirbhulal, Ankur Shukla / Cham : Springer International Publishing
Etude des politiques de sécurité pour les applications distribuées : le problème des dépendances transitives : modélisation, vérification et mise en oeuvre / Worachet Uttha ; sous la direction de Jean-Marc Talbot et de Clara Bertolissi / , 2016
Etude des politiques de sécurité pour les applications distribuées : le problème des dépendances transitives : modélisation, vérification et mise en oeuvre / Worachet Uttha ; sous la direction de Jean-Marc Talbot et de Clara Bertolissi / , 2016
Prime implicate generation in equational logic / Sophie Tourret ; sous la direction de Nicolas Peltier et de Bertrand Mnacho Echenim / , 2016
Etude des politiques de sécurité pour les applications distribuées : le problème des dépendances transitives : modélisation, vérification et mise en oeuvre / Worachet Uttha le 2016 [ Aix-Marseille ]
Prime implicate generation in equational logic / Sophie Tourret le 2016 [ Université Grenoble Alpes (ComUE) ]
Inférence d'invariants pour le model checking de systèmes paramétrés / Alain Mebsout le 2014 [ Paris 11 ]
Combination methods for software verification = Méthodes de combinaison pour la vérification de logiciels [Ressource électronique] / Daniele Zucchelli ; sous la direction de Michaël Rusinowitch et de Silvio Ghilardi et de Silvio Ranise / [S.l.] : [s.n.] , 2008
Combination methods for software verification = Méthodes de combinaison pour la vérification de logiciels / Daniele Zucchelli ; sous la direction de Michaël Rusinowitch et de Silvio Ghilardi et de Silvio Ranise / , 2008
Combination methods for software verification = Méthodes de combinaison pour la vérification de logiciels / Daniele Zucchelli le 2008 [ Nancy 1 ]
Inférence d'invariants pour le model checking de systèmes paramétrés / Alain Mebsout ; sous la direction de Sylvain Conchon et de Fatiha Zaïdi / , 2014
Inférence d'invariants pour le model checking de systèmes paramétrés / Alain Mebsout le 2014 [ Paris 11 ]