Academie pro
Profil enseignant
Baudru Nicolas
808 consultations

M. Baudru Nicolas
Maitre de Conférences
Polytech Marseille-ESIL


Cours 20 Travaux dirigés 0 Travaux pratiques 9 Contrôle continu 0 Examen terminal 0


  • Cours

  • Publications

  • Expérience

  • Certifications

  • Diplomes

Matières : Fondement des réseaux

Cours 1 : introduction aux réseaux de données


Cours
Télécharger

Cours 2 : transmission des données


Cours
Télécharger

Cours 3 : mécanismes mis en oeuvre sur la liaison de données


Cours
Télécharger

Cours 4 : acheminement des données dans un réseau à commutation de paquets (première approche)


Cours
Télécharger

Cours 5 : retour sur l'architecture protocolaire en couches Compléments de cours et travaux dirigés


Cours
Télécharger

TD/TP 1 et sa correction


Tp
Télécharger

TD/TP 2, la correction de l'exo 1 et la correction de l'exo 4


Tp
Télécharger

Adressage IP, routage et sous-reseaux ´ Illustration avec le simulateur du CERTA


Tp
Télécharger

Ethernet et VLAN Illustration avec le simulateur du CERTA


Tp
Télécharger

TCP/IP, NAT/PAT et Firewall


Tp
Télécharger

ping, traceroute, tracert et MyTraceRoute (mtr)


Tp
Télécharger


Matières : Programmation Orientée Objet

Cours 1 : Première approche


Cours
Télécharger

Cours 2 : Les objets Java


Cours
Télécharger

Cours 3 : Variables Java


Cours
Télécharger

Cours 4 : Méthodes Java et encapsulation


Cours
Télécharger

Cours 5 : Héritage et polymorphisme


Cours
Télécharger

Cours 6 : Interfaces et classes abstraites


Cours
Télécharger

Cours 7 : Constructeurs


Cours
Télécharger

Cours 8 : Static et final


Cours
Télécharger

Cours 9 : Threads


Cours
Télécharger

Cours 10 : Exceptions


Cours
Télécharger

Cours 11 : Entrée/Sortie Java


Cours
Télécharger

TP1 Java Le jeu des allumettes


Tp
Télécharger

TP2 Java : Dans ce TP, nous vous proposons de créer un petit zoo, puis de le gérer.


Tp
Télécharger

TP3 avec le fichier IHM.class.zip pour lancer l'IHM, et le fichier Serveur.zip pour le serveur test


Tp
Télécharger


Matières : Sécurité des systèmes informatiques

Cours 1 : Introduction Sécurité des systèmes informatiques


Cours
Télécharger

Cours 2 : La cryptographie pour la sécurité


Cours
Télécharger

Cours 3 : Escalade des privilèges


Cours
Télécharger

Cours 4 : Deni de services


Cours
Télécharger


Revues internationales
  1. Compositional synthesis of asynchronous automata Nicolas Baudru Theor. Comput. Sci. 412(29): 3701-3716 (2011)
Conférences internationales
  1. Distributed Asynchronous Automata [pdf] Nicolas Baudru CONCUR'09
  2. Synthesis of Safe Message-Passing Systems [pdf] Nicolas Baudru and Rémi Morin FSTTCS'07
  3. The Synthesis Problem of Netcharts [pdf] Nicolas Baudru and Rémi Morin ATPN'06
  4. Unfolding Synthesis of Asynchronous Automata [pdf] Nicolas Baudru and Rémi Morin CSR'06
  5. The pros and cons of netcharts [pdf] Nicolas Baudru and Rémi Morin CONCUR'04
  6. Safe Implementability of Regular Message Sequence Chart Specifications [pdf] Nicolas Baudru and Rémi Morin SNPD'03

Rapports de recherche

  • Controllers from proofs: An alternative approach to control synthesis for mu-calculus specifications [pdf] 
    Nicolas Baudru and Peter Niebert - 2004
Thèse
  • Synthesis of asynchronous automata and communicating finite state machines [pdf] 
    Nicolas Baudru - December, 2005 
    (French version)


Livres populaires