HtmlToText
nicolas baudru home page contact enseignement recherche contact maître de conférences en informatique à aix-marseille université , j'effectue mes enseignements au département informatique de polytech marseille (ex ecole supérieure d'ingénieurs de luminy (esil)), et ma recherche au sein de l'équipe modélisation et vérification (move) du laboratoire d'informatique et systèmes (lis - umr cnrs 7020). voici une vue aérienne de mon lieu de travail, à luminy, aux pieds des calanques de marseille : pour me contacter par lettre, téléphone, mail, ou même en vrai ! nicolas baudru polytech marseille département informatique parc scientifique et technologique de luminy 163 avenue de luminy case 925 - 13288 marseille cedex 09 plan d'accès tél : +33 (0)4 91 82 85 59 quelques liens : aix-marseille université ( amu ) polytech marseille equipe modélisation et vérification ( move ) le laboratoire d'informatique et systèmes ( lis ) enseignements en première année : initiation à l'informatique automates, langages et applications logique en deuxième année : systèmes et applications répartis application mobile model checking j'ai eu fait, mais je fais plus : réseaux 1 réseaux 2 initiation à la sécurité des si programmation objet initiation à l'informatique support de cours et td/tp les transparents du cours "html, css et javascript" sont sur la page web de sébastien mavromatis vous trouverez ici une introduction à l'informatique et au système linux. le tp sur linux. un exemple simple de ce qu'on peut faire avec deux feuilles de styles css et un bout de code javascript : [par défaut] [fond blanc] [fond noir] [centré] [zen] -- matériels pédagogiques utiles un mémo de commandes unix/linux de christophe blaess ( sa page web ) un tutorial emacs disponible sur le web latex, par la pratique, de christian rolland latex, companion, de frank mittelbach, michel goossens un livre complet sur linux : linux in a nutshell, de ellen siever, stephen spainhour, jessica p. hekman, stephen figgins automates,langages et applications support de cours et td/tp langages de mots et automates finis expressions régulières grammaires régulières grammaires hors-contextes introduction aux analyseurs syntaxiques tp références jean-michel autebert. théorie des langages et des automates. masson, 1994. jacques sakarovitch. eléements de théorie des automates. vuibert informatique, 2003. olivier carton. langages formels, calculabilité et complexité. vuibert, 2008. liens vers des cours en ligne le cours de paul gastin (fait à l'ens cachan) le cours de jean-pierre jouannaud (fait à lix) systèmes et applications répartis le cours magistral est dispensé par nicolas durand. les tds et tps sont réalisés par nicolas durand et nicolas baudru. travaux dirigés et pratiques (supports disponibles sur la page de nicolas durand) 12 séances réparties sur les thèmes suivants : programmation parallèle en java concurrence en java applications client-serveur : socket java algorithmes répartis applications réparties : intergicels java rmi et corba liens la page web de nicolas durand le cours de jean-marie rifflet le cours d'emmanuel godard analyse formelle / model checking support de cours cours 1 : introduction au model checking cours 2 : système d'automates cours 3 : formules logiques temporelles cours 4 : techniques basiques de model checking compléments de cours et travaux dirigés support du cours 2 (updated le 08/04/10) et sa correction support du cours 3 -- réseaux 1 support de cours cours 1 : introduction aux réseaux de données cours 2 : transmission des données cours 3 : mécanismes mis en oeuvre sur la liaison de données cours 4 : acheminement des données dans un réseau à commutation de paquets (première approche) cours 5 : retour sur l'architecture protocolaire en couches compléments de cours et travaux dirigés td/tp 1 et sa correction td/tp 2 , la correction de l'exo 1 et la correction de l'exo 4 liens vers des cours en ligne http://www.urec.cnrs.fr/cours/index.html http://reseau.plisson.org/lienssom.htm références réseaux, andrew tanenbaum, pearson education (environs 1000 pages) les réseaux, guy pujolle, eyrolles (environs 1000 pages) réseaux et télécoms, claude servin, dunod (environs 900 pages) réseaux 2 traveaux dirigés tp adressage ip, routage et sous-réseaux tp ethernet et vlan tp tcp/ip, nat/pat et firewall tp ping, traceroute, tracert références réseaux, andrew tanenbaum, pearson education (environs 1000 pages) les réseaux, guy pujolle, eyrolles (environs 1000 pages) réseaux et télécoms, claude servin, dunod (environs 900 pages) programmation orientée objets (poo) support de cours cours 1 : première approche cours 2 : les objets java cours 3 : variables java cours 4 : méthodes java et encapsulation cours 5 : héritage et polymorphisme cours 6 : interfaces et classes abstraites cours 7 : constructeurs cours 8 : static et final cours 9 : threads cours 10 : exceptions cours 11 : entrée/sortie java compléments de cours et travaux pratiques compléments du cours 1 compléments du cours 2 compléments des cours 3 et 4 compléments du cours 7 compléments du cours 9 et sa correction tp1 tp2 tp3 avec le fichier ihm.class.zip pour lancer l'ihm, et le fichier serveur.zip pour le serveur test. liens et références la documentation « officielle » et le tutoriel chez sun : ici les cours d'henri garreta : là les tutoriels chez développez.com : ici introduction à java - patrick niemeyer et jonathan knudsen - o’reilly java in a nutshell - david flanagan - o’reilly java, tête la première - kathy sierra , bert bates - o’reilly sécurité support de cours introduction la cryptographie pour la sécurité escalade des privilèges deni de services références et liens utiles la revue hakin9 pour la partie sécurité et crypto : réseaux, andrew tanenbaum, pearson education (dernier chapitre) les ressources du site d' hsc le site du cert un tutoriel en ligne disponible sur le site de linux-france les divers articles du site securiteinfo.com réseaux, andrew tanenbaum, pearson education (dernier chapitre) systèmes d'exploitation, andrew tanenbaum, pearson education (chapitre 9) computer security, willam stallings application mobile support de cours et td/tp cours : voir page web de stéphane ayache tp1 tp2 recherche thèmes de recherche mes recherches se situent dans le cadre de la construction et de la vérification de systèmes complexes tels que les systèmes distribués. je m'intéresse principalement aux différents modèles de la concurrence tels que les automates asynchrones (ou automate de zielonka), les automates communicants (cfms) ou les réseaux de petri. publications revues - conférences - rapports de recherche - thèse revues on the construction of the asymmetric chudnovsky multiplication algorithm in finite fields without derivated evaluation s. ballet, n. baudru, a. bonnecaze and m. tukumuli. cc. r. acad. sci. paris. to appear, 2017. compositional synthesis of asynchronous automata nicolas baudru theor. comput. sci. 412(29): 3701-3716 (2011) conférences internationales distributed asynchronous automata [pdf] nicolas baudru concur'09 synthesis of safe message-passing systems [pdf] nicolas baudru and rémi morin fsttcs'07 the synthesis problem of netcharts [pdf] nicolas baudru and rémi morin atpn'06 unfolding synthesis of asynchronous automata [pdf] nicolas baudru and rémi morin csr'06 the pros and cons of netcharts [pdf] nicolas baudru and rémi morin concur'04 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) projets projet en cours : anciens projets : anr aci « ecsper », « etude et conception de systèmes avec perturbations ». soapdc , structures d'ordre et applications au calcul d
Informations Whois
Whois est un protocole qui permet d'accéder aux informations d'enregistrement.Vous pouvez atteindre quand le site Web a été enregistré, quand il va expirer, quelles sont les coordonnées du site avec les informations suivantes. En un mot, il comprend ces informations;
%%
%% This is the AFNIC Whois server.
%%
%% complete date format : DD/MM/YYYY
%% short date format : DD/MM
%% version : FRNIC-2.5
%%
%% Rights restricted by copyright.
%% See https://www.afnic.fr/en/products-and-services/services/whois/whois-special-notice/
%%
%% Use '-h' option to obtain more information about this service.
%%
%% [2600:3c03:0000:0000:f03c:91ff:feae:779d REQUEST] >> univ-amu.fr
%%
%% RL Net [##########] - RL IP [#########.]
%%
domain: univ-amu.fr
status: ACTIVE
hold: NO
holder-c: UDAM16-FRNIC
admin-c: YB428-FRNIC
tech-c: GRST1-FRNIC
tech-c: YA615-FRNIC
tech-c: MM21791-FRNIC
zone-c: NFC1-FRNIC
nsl-id: NSL47387-FRNIC
registrar: GIP RENATER
Expiry Date: 02/10/2017
created: 04/02/2011
last-update: 02/10/2016
source: FRNIC
ns-list: NSL47387-FRNIC
nserver: ns1.univmed.fr [139.124.1.1 2001:660:5402:801::1]
nserver: cnudns.cines.fr [193.48.169.40 2001:660:6301:301::2:1]
source: FRNIC
registrar: GIP RENATER
type: Isp Option 1
address: 23-25 Rue Daviel
address: PARIS
country: FR
phone: +33 1 53 94 20 30
fax-no: +33 1 53 94 20 31
e-mail: domaine@renater.fr
website: http://www.renater.fr
anonymous: NO
registered: 01/01/1998
source: FRNIC
nic-hdl: YB428-FRNIC
type: PERSON
contact: Yvon Berland
address: Université d'Aix-Marseille
address: 58, boulevard Charles Livon
address: Jardin du Pharo
address: 13007 Marseille
country: FR
phone: +33 4 91 39 65 01
e-mail: presidence@univ-amu.fr
registrar: GIP RENATER
changed: 15/09/2015 nic@nic.fr
anonymous: NO
obsoleted: NO
source: FRNIC
nic-hdl: GRST1-FRNIC
type: PERSON
contact: Gip Renater Support Technique Dns
address: GIP RENATER
address: 23-25, rue Daviel
address: 75013 Paris
country: FR
phone: +33 1 53 94 20 40
e-mail: support@renater.fr
registrar: GIP RENATER
changed: 21/07/2015 nic@nic.fr
anonymous: NO
obsoleted: NO
source: FRNIC
nic-hdl: UDAM16-FRNIC
type: ORGANIZATION
contact: UNIVERSITE D'AIX MARSEILLE
address: UNIVERSITE D'AIX MARSEILLE
address: Direction Opérationnelle du Système d'information
address: 58, boulevard Charles Livon
address: Jardin du Pharo
address: 13007 Marseille
country: FR
phone: +33 4 86 13 69 01
e-mail: serge.portella@univ-amu.fr
registrar: GIP RENATER
changed: 16/01/2017 nic@nic.fr
anonymous: NO
obsoleted: NO
eligstatus: ok
eligsource: REGISTRY
eligdate: 16/01/2017 11:13:05
reachmedia: email
reachstatus: ok
reachsource: REGISTRY
reachdate: 16/01/2017 11:13:05
source: FRNIC
nic-hdl: YA615-FRNIC
type: PERSON
contact: Yves Azamberti
address: Université d'Aix-Marseille
address: 52, avenue Escadrille Normandie Niemen
address: 13013 Marseille
country: FR
phone: +33 4 13 55 44 33
e-mail: dosi-pole-reseau@univ-amu.fr
registrar: GIP RENATER
changed: 27/07/2015 nic@nic.fr
anonymous: NO
obsoleted: NO
source: FRNIC
nic-hdl: MM21791-FRNIC
type: PERSON
contact: Mathieu Molineris
address: UNIVERSITE D'AIX-MARSEILLE
address: 52, avenue Escadrille Normandie Niemen
address: 13013 Marseille
country: FR
phone: +33 4 13 55 44 44
e-mail: exploitation@univ-amu.fr
registrar: GIP RENATER
changed: 27/07/2015 nic@nic.fr
anonymous: NO
obsoleted: NO
source: FRNIC
REFERRER http://www.nic.fr
REGISTRAR AFNIC
SERVERS
SERVER fr.whois-servers.net
ARGS univ-amu.fr
PORT 43
TYPE domain
RegrInfo
DISCLAIMER
%
% This is the AFNIC Whois server.
%
% complete date format : DD/MM/YYYY
% short date format : DD/MM
% version : FRNIC-2.5
%
% Rights restricted by copyright.
% See https://www.afnic.fr/en/products-and-services/services/whois/whois-special-notice/
%
% Use '-h' option to obtain more information about this service.
%
% [2600:3c03:0000:0000:f03c:91ff:feae:779d REQUEST] >> univ-amu.fr
%
% RL Net [##########] - RL IP [#########.]
%
REGISTERED yes
ADMIN
HANDLE YB428-FRNIC
TYPE PERSON
CONTACT Yvon Berland
ADDRESS
Université d'Aix-Marseille
58, boulevard Charles Livon
Jardin du Pharo
13007 Marseille
COUNTRY FR
PHONE +33 4 91 39 65 01
EMAIL presidence@univ-amu.fr
SPONSOR GIP RENATER
CHANGED 2015-09-15
ANONYMOUS NO
OBSOLETED NO
SOURCE FRNIC
TECH
HANDLE MM21791-FRNIC
TYPE PERSON
CONTACT Mathieu Molineris
ADDRESS
UNIVERSITE D'AIX-MARSEILLE
52, avenue Escadrille Normandie Niemen
13013 Marseille
COUNTRY FR
PHONE +33 4 13 55 44 44
EMAIL exploitation@univ-amu.fr
SPONSOR GIP RENATER
CHANGED 2015-07-27
ANONYMOUS NO
OBSOLETED NO
SOURCE FRNIC
OWNER
HANDLE UDAM16-FRNIC
TYPE ORGANIZATION
CONTACT UNIVERSITE D'AIX MARSEILLE
ADDRESS
UNIVERSITE D'AIX MARSEILLE
Direction Opérationnelle du Système d'information
58, boulevard Charles Livon
Jardin du Pharo
13007 Marseille
COUNTRY FR
PHONE +33 4 86 13 69 01
EMAIL serge.portella@univ-amu.fr
SPONSOR GIP RENATER
CHANGED 2017-01-16
ANONYMOUS NO
OBSOLETED NO
ELIGSTATUS ok
ELIGSOURCE REGISTRY
ELIGDATE 16/01/2017 11:13:05
REACHMEDIA email
REACHSTATUS ok
REACHSOURCE REGISTRY
REACHDATE 16/01/2017 11:13:05
SOURCE FRNIC
DOMAIN
STATUS ACTIVE
HOLD NO
SPONSOR GIP RENATER
EXPIRY DATE 02/10/2017
CREATED 2011-02-04
CHANGED 2016-10-02
SOURCE FRNIC
HANDLE NSL47387-FRNIC
NSERVER
NS1.UNIVMED.FR 139.124.1.1
CNUDNS.CINES.FR 193.48.169.40
NAME univ-amu.fr
Go to top
nicolas.baudru.perso.luminy.univ-amu.fr rapport :
Visitez le site
