nicolas.baudru.perso.luminy.univ-amu.fr rapport :   Visitez le site

Données techniques du nicolas.baudru.perso.luminy.univ-amu.fr

Geo IP vous fournit comme la latitude, la longitude et l'ISP (Internet Service Provider) etc. informations. Notre service GeoIP a trouvé l'hôte nicolas.baudru.perso.luminy.univ-amu.fr.Actuellement, hébergé dans France et son fournisseur de services est RRM - Reseau de la Recherche a Marseille .

the related websites

domaine	Titre
nicolas.baudru.perso.luminy.univ-amu.fr	nicolas baudru - accueil
nicolas-martin.onlinetri.com	nicolas martin [accueil]
didrit.perso.sfr.fr	Nicolas DIDRIT - Accueil
nicolas-vieux.developpez.com	nicolas-vieux.developpez.com - accueil
bossenicolas.jimdo.com	page d'accueil - vente directe bosse nicolas
saintnicolasduchardonnet.fr.urlabc.fr	saintnicolasduchardonnet.fr accueil - saint-nicolas-du-chardonnet
lescochonsdenicolas.fr.whoisbucket.com	lescochonsdenicolas.fr - accueil - les cochons de nicolas
nicolasmarandon.wordpress.com	nicolas marandon | nicolas marandon, conseiller municipal ps à reims
greschny.over-blog.com	le blog du peintre nicolas greschny - nicolas greschny est un grand fresquiste du xxe siècle né en
nsornat.jimdo.com	photographe nicolas sornat - nicolas sornat - photos
nicolas-godin.skyrock.com	nicolas-godin's blog - nicolas-godin - skyrock.com
nicolasmayer.parti-socialiste.fr	nicolas mayer-rossignol | blog politique de nicolas mayer-rossignol, président de la région haute-no
karateclub-sndp.jimdo.com	accueil (www.karate-stnicolas.fr) - karate club de saint nicolas de port
nicolas-chevallier.fr.urlabc.fr	nicolas-chevallier.fr nicolas chevallier
essn.footeo.com	etoile sportive saint-nicolas du tertre : site officiel du club de foot de saint-nicolas du tertre -

nicolas.com fondation-nicolas-hulot.org sarkozy.fr nicolas-associes.com nicolas-verdes.onlinetri.com lameilleurecyclosportivedevotrevie.com artheme-decoration.com eda-nicolas.com nicolas-morlaix.notaires.fr nicolasquentin.com 

Analyse d'en-tête HTTP

Les informations d'en-tête HTTP font partie du protocole HTTP que le navigateur d'un utilisateur envoie à appelé Apache/2.2.22 (Debian) contenant les détails de ce que le navigateur veut et acceptera de nouveau du serveur Web.

DNS

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

Erreurs

La liste suivante vous montre les fautes d'orthographe possibles des internautes pour le site Web recherché.