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

Traitement quantique des noyaux Quantum treatment of the nuclei Nadine H ALBERSTADT LCAR-IRSAMC, Toulouse 3 - Paul Sabatier University

Source URL: www-liphy.ujf-grenoble.fr

† PRIMA Team, Inria Grenoble, France ‡ Computer Graphics and Multimedia Systems Group, University of Siegen, Germany Mail: Inria Grenoble - Rhˆone Alpes 655 Av de l’EuropeMontbonn

Source URL: devernay.free.fr

Non-Linear Aperture for Stylized Depth of Field Adrien Bousseau - INRIA / Grenoble University (a) Pinhole (b) Average

Source URL: artis.imag.fr

Non­Linear Aperture for Stylized Depth of Field Adrien Bousseau ­ INRIA / Grenoble University Lightfield data from http://lightfield.stanford.edu/ Pinhole aperture

Source URL: artis.imag.fr

Foundations of XML Types: Tree Automata Pierre Genevès CNRS (slides mostly based on slides by W. Martens and T. Schwentick) University of Grenoble Alpes, 2016–2017

Source URL: tyrex.inria.fr

Introduction to Tree Logics Pierre Genevès CNRS (slides mostly based on the ones by W. Martens and T. Schwentick) University of Grenoble Alpes, 2016–2017

Source URL: tyrex.inria.fr

Some Thoughts on Runtime Verification Oded Maler VERIMAG CNRS and the University of Grenoble Alpes (UGA) Bat. IMAG, 700 av. CentraleSt Martin d’Heres, France

Source URL: www-verimag.imag.fr

Some Thoughts on Runtime Verification Oded Maler VERIMAG CNRS and the University of Grenoble (UGA) France

Source URL: www-verimag.imag.fr

Course: The XPath Language Pierre Genevès CNRS University of Grenoble Alpes, 2016–2017

Source URL: tyrex.inria.fr