• Home Page
  • Participants
  • Research and Integration
  • Dissemination
  • Embedded System Links
  • intranet
» Participants » Artist2 Participants » Artist2 Affiliated Partners » Affiliated Academic Partners

Participants

  • ArtistDesign Participants
  • Artist2 Participants
    • Strategic Management Board — Artist2 NoE
    • Artist2 Core Partners - full consortium
    • Artist2 Core Partners - by Cluster topics
    • Artist2 Affiliated Partners
      • Affiliated Industrial Partners
      • Affiliated SME Partners
      • Affiliated Academic Partners
      • Affiliated International Collaboration Partners


ARTIST followup
  • ADSIG website
  • more info

Subscriptions

  • ARTIST Mailing List
 

Affiliated Academic Partners

  • Prof. Ahmed Bouajjani
  • Dr. Frédéric Boulanger
  • Prof. Lubos Brim
  • Prof. Dr. Dr. h.c. Manfred Broy
  • Ass. Prof. Salvatore Carta
  • Dr. Francky Catthoor
  • Prof. Geert Deconinck
  • Prof. Giovanni DeMicheli
  • Prof. Ivo De Lotto
  • Prof. Dr. Ed Deprettere
  • Prof. Luca Fanucci
  • Prof. Dr. Marisol Garcia-Valls
  • Prof. José Maria Giron-Sierra
  • Prof. Axel Jantsch
  • Prof. Christoph Kirsch
  • Prof. Stefan Kowalewski
  • Prof. Andreas Krall
  • Prof. Luciano Lavagno
  • Prof. Johan Lilius
  • Prof. Lucia Lo Bello
  • Prof. Dr. Miroslaw Malek
  • Dr. Pau Martí Colom
  • Dr. Fabio Martinelli
  • Dr. Marius Minea
  • Associate Prof. Laurent Pautet
  • Julián Proenza
  • Dr. Isabelle Puaut
  • Michael Rusinowitch
  • Prof. Pablo Pedro Sanchez
  • Dr. Markus Schordan
  • Prof. Donatella Sciuto
  • Ass. Prof. Dimitrios Soudris
  • Prof. Neeraj Suri
  • Prof. Dr.-Ing. Jürgen Teich
  • Dr. ir. Jan Tretmans
  • Prof. Pierre Verbaeten
  • Prof. Eugenio Villar

Michael Rusinowitch
INRIA

Role within the Artist2 European Network of Excellence
Formal methods on embedded systems – in particular on verification of security properties.


Company or Institution
INRIA
 
Contact
Home page: http://www.loria.fr/~rusi/
Email:  Michael.Rusinowitch@inria.fr    Tel: +33 03 83 59 30 20

Contact — Become an Affiliated Partner — Site Map — Access the Back End

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet