A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst

Source URL: www.cs.man.ac.uk

• Software development
• Aspect-oriented software development
• Aspect-oriented programming
• Formal methods
• Logic in computer science
• Runtime verification
• Pointcut
• Formal verification
• Join point
• Instrumentation

A new approach for software testability Lydie du Bousquet Laboratoire d’Informatique de Grenoble (LIG) Test and Testability

Source URL: www2010.taicpart.org

RV-Droid: Runtime Verification and Enforcement for Android Applications Yli`es Falcone, Sebastian Currea, Mohamad Jaber Laboratoire d’Informatique de Grenoble - VASCO Team University of Grenoble, Universit´

Source URL: rv2012.ku.edu.tr

Projet: Pedestrian Dead Reckoning for Android Navigation à l’estime pour piéton pour Android Thibaud Michel Université Joseph Fourier Laboratoire d’Informatique de Grenoble

Source URL: tyrex.inria.fr

Opérationnalisation d’un profil ISOpour des métadonnées socio-économiques Christine Plumejeaud* — Jérôme Gensel*— Marlène VillanovaOliver* * Laboratoire d’Informatique de Grenoble

Source URL: hypercarte.imag.fr

Interaction Homme-Machine Repères fondamentaux en architecture logicielle Gaëlle Calvary Professeur en Informatique Institut polytechnique de Grenoble Laboratoire d’Informatique de Grenoble

Source URL: iihm.imag.fr

´ Theorie de l’Information Massih-Reza Amini Universite´ Joseph Fourier Laboratoire d’Informatique de Grenoble

Source URL: ama.liglab.fr

Use of Grid Computing for Debian Quality Assurance ∗ Lucas Nussbaum Laboratoire d’Informatique de Grenoble – LIG – Abstract

Source URL: www.loria.fr

• Debian
• Dpkg
• Ubuntu
• Advanced Packaging Tool
• Unstable
• Deb
• Linux distribution
• Chroot
• Debian build toolchain

On Robust Covert Channels Inside DNS Lucas Nussbaum, Pierre Neyron and Olivier Richard Laboratoire d’Informatique de Grenoble / INRIA Lucas Nussbaum, Pierre Neyron and Olivier Richard On Robust Covert Channels Inside D

Source URL: www.loria.fr

• Domain name system
• Internet
• Computing
• Network architecture
• DNS hijacking
• Extension mechanisms for DNS
• Covert channel
• CNAME record
• Name server

A Comparative Study of Network Link Emulators Lucas Nussbaum and Olivier Richard Laboratoire d’Informatique de Grenoble – LIG {Lucas.Nussbaum,Olivier.Richard}@imag.fr Keywords: network, emulation, software, accuracy

Source URL: www.loria.fr

• Computing
• Software
• Computer architecture
• Network performance
• Networking hardware
• Ethernet
• Cross-platform software
• Latency
• Network emulation
• Emulator
• Packet loss
• Router