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

Modeling Heterogeneous Real-time Components in BIP Ananda Basu, Marius Bozga and Joseph Sifakis Verimag, 38610 Gieres, France {basu, bozga, sifakis}@imag.fr Abstract We present a methodology for modeling heterogeneous

Source URL: www-verimag.imag.fr

• Concurrency
• Futures and promises
• Inter-process communication
• Schedule
• T-carrier
• Computing
• Synchronization
• Information

A Framework for Component-based Construction Extended Abstract Joseph Sifakis VERIMAG Laboratory Centre Equation 2 avenue de Vignate, 38610 GIERES, France

Source URL: www-verimag.imag.fr

• Component-based software engineering
• Object-oriented programming
• Software architecture
• System

The Unmet Challenge of Timed Systems Oded Maler CNRS - VERIMAG , University of Grenoble 2, av. de Vignate, 38610 Gieres, France

Source URL: www-verimag.imag.fr

Computing Reachable States for Nonlinear Biological Models Thao Dang1 , Colas Le Guernic1 , Oded Maler1 cnrs-verimag, 2, av. de Vignate, 38610 Gieres, France Email addresses: (Thao Dang), Colas.Le-Guer

Source URL: www-verimag.imag.fr

Buorre biejvve guosse ja gieres gulldaliddje! Muv nammal Stefan Mikaelsson ja lev Sámedigge åvddåulmusj. Udni i tjapa bievev. Hyvää huomenta naiset ja herrat, minä olen Stefan Mikaelsson ja olen Saamelaiskäräjä

Source URL: www.fsgk.se

TELEMEDICINE, ETHICS and LAW March 27, 2014 GRENOBLE ECOLE DE MANAGEMENT

Source URL: gem-ted.sciencesconf.org

• Land transport
• Grenoble
• SNCF
• Lyon
• TGV
• Transport in Rhône-Alpes
• Gare de Grenoble-Universités-Gières
• Government of France
• Prefectures in France
• Transport

Bernin - Montbonnot - Campus - Gières Ligne FREQUENCE + AGGLO  Horaires[removed]valables du 1er septembre 2013 au 31 août 2014

Source URL: www.transisere.fr

INNOVAge_1stIntermediateEvent_Agenda_final

Source URL: www.innovage-project.eu

• Biopolis
• Brainstorming
• Eco-innovation
• Technology
• Behavior
• Human behavior
• Grenoble
• Minatec
• Gières

Modeling Heterogeneous Real-time Components in BIP Ananda Basu, Marius Bozga and Joseph Sifakis Verimag, 38610 Gieres, France {basu, bozga, sifakis}@imag.fr Abstract We present a methodology for modeling heterogeneous

Source URL: www-verimag.imag.fr

• Futures and promises
• T-carrier
• Phase transition
• System
• Physics
• Science
• Computing
• Data management
• Schedule
• Transaction processing