Model Checking of Hybrid Systems Goran Frehse AVACS Autumn School, October 1, 2015 Univ. Grenoble Alpes – Verimag, 2 avenue de Vignate, Centre Equation, 38610 Gières, France,

Source URL: www.avacs.org

• Differential equations
• Mathematics
• Hybrid automaton
• Hybrid system
• Systems science
• X0
• Center
• FO
• Systems theory

Sur la topologie des vari´et´es alg´ebriques complexes Olivier DEBARRE ————— Grenoble, le 26 octobre 2006

Source URL: www.math.ens.fr

Symmetric Indefinite Triangular Factorization Revealing the Rank Profile Matrix Jean-Guillaume Dumas, Cl´ement Pernet Universit´ e Grenoble Alpes, Laboratoire Jean Kuntzmann, UMR CNRS

Source URL: ljk.imag.fr

• Algebra
• Linear algebra
• Mathematics
• Matrices
• Symmetric matrix
• Tridiagonal matrix
• Numerical linear algebra
• Lie groups
• Differential geometry

Space-time Interpolants Goran Frehse1 , Mirco Giacobbe2 , and Thomas A. Henzinger2 1 Univ. Grenoble Alpes, CNRS, Grenoble INP, VERIMAG 2

Source URL: repository.ist.ac.at

• Mathematics
• Geometry
• Mathematical analysis
• Topology
• Convex analysis
• Measure theory
• Order theory
• Cover
• General topology
• Convex function
• Support
• Interval

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

THE FANO THREEFOLD X10 OLIVIER DEBARRE This is joint work in progress with A. Iliev (Sofia) and L. Manivel (Grenoble). 1. Introduction

Source URL: www.math.ens.fr

• Algebraic geometry
• Abstract algebra
• Algebra
• Algebraic varieties
• Vector bundles
• Birational geometry
• Fano variety
• Divisor
• Cubic threefold
• Canonical bundle
• Sheaf
• Smooth scheme

PDF Document

Source URL: www.grenoble.archi.fr

PDF Document

Source URL: www.gipsa-lab.grenoble-inp.fr

DOCX Document

Source URL: irem.univ-grenoble-alpes.fr

PDF Document

Source URL: www.grenoble.archi.fr