Séminaires invités

 

Date

Titre

Intervenant

22/09/2014

Vérification de langages de scenarios avec des réseaux de Petri

Rémi Morin (Université d'Aix-Marseille)

04/06/2014

Software Quality, Dependability and Safety in Embedded Systems

Philip Koopman (Carnegie Mellon University)

21/02/2014

Aide à la localisation d'erreurs dans des systèmes de contraintes numériques

Michel Rueher (Université de Nice Sofia Antipolis)

23/01/2014

Opacity with Orwellian Observers and Intransitive Non-interference

John Mullins (Professeur Invité à l'Université Pierre & Marie Curie -- LIP6)
Professeur à l'École Polytechnique de Montréal 

07/01/2014

Self-organising Design Patterns

Giovanna Di Marzo Serugendo (Institute of Services Science (ISS) at the University of Geneva)

10/12/2013

Social aspects of (location) privacy

Kévin Huguenin (EPFL, Lausanne)

10/07/2013

Programming without Consensus: Testing a New Algorithm-Design Discipline

Eliezer Gafni (UCLA Computer Science Departement)

10/07/2013

Impact des identifiants sur la calculabilité distribuée

Pierre Fraigniaud (LIAFA)

27/06/2013

Guesswork

Cédric Lauradoux (INRIA)

25/06/2013

Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle

Enrico Vicario (University of Florence, School of Engineering, Florence, Italy)

15/05/2013

Interrupt Timed Automata: verification, expressiveness and parametrization

Béatrice Bérard (LIP6/UPMC), Serge Haddad (LSV/ENS Cachan)

18/04/2013

Security testing: a key challenge for software engineering

Yves Le Traon (University of Luxembourg)

20/02/2013

Differentially Private Sequential Data Publication

Claude Castelluccia (INRIA)

15/02/2013

From Turing to the Clouds (or what can be computed in a distributed system)

Michel Raynal (IRISA)

15/02/2013

CloudNets: Virtual Networking Cloud Resources

Stefan Schmid (T-Labs/TU Berlin)

04/12/2012

Diagnosis, Automatic Generation of a Debugging Interface to the Linux Kernel

Gilles Muller (Université Pierre & Marie Curie -- LIP6)

03/12/2012

A Journey Towards Rigorous Cybersecurity Experiments: On the Application of Criminological Theories

Michel Cukier (University of Maryland Institute for Advanced Computer Studies)