queinnec.perso.enseeiht.fr rapport :   Visitez le site


Titre:philippe queinnec

La description :-- philippe quéinnec professeur des universités (full professor) at toulouse inp / enseeiht , research at irit . email : queinnec@enseeiht.fr smail : enseeiht, 2 rue camichel, f-31071 toulouse cedex,...

Classement Alexa Global: # 113,107,Alexa Classement dans France est # 10,846

Server:Apache/2.2.16 (Debia...

L'adresse IP principale: 147.127.176.144,Votre serveur France,Toulouse ISP:Ecole Nationale Superieure D\'electronique D\'electrotechnique  TLD:fr Code postal:fr

Ce rapport est mis à jour en 14-Jul-2019

Created Date:1995-01-01
Changed Date:2016-12-31
Expires Date:2017-12-31

Données techniques du queinnec.perso.enseeiht.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 queinnec.perso.enseeiht.fr.Actuellement, hébergé dans France et son fournisseur de services est Ecole Nationale Superieure D\'electronique D\'electrotechnique .

Latitude: 43.604259490967
Longitude: 1.4436700344086
Pays: France (fr)
Ville: Toulouse
Région: Midi-Pyrenees
ISP: Ecole Nationale Superieure D\'electronique D\'electrotechnique

the related websites

domaine Titre
philippe-moor.book.fr.urlabc.fr philippe-moor.book.fr philippe moor - photographe en nouvelle aquitaine
philippebarbey.jimdo.com philippe barbey - max weber, charisme de conversion et témoins de jéhovah. - philippe barbey - socio
zinc-zinc.over-blog.com sculptures en zinc | philippe rocca - sculptures en zinc de philippe rocca réalisées suivant les tec
philippecaro.over-blog.com philippe caro - .
vercellotti.monsite-orange.fr Philippe Vercellotti
pantopollis.overblog.com philippe bourrinet -
philippe.camberlein.fr philippe camberlein -
ribiere.regit.org philippe ribière
philippereclus.unblog.fr philippe reclus
philippetribaudeau.unblog.fr philippe tribaudeau
bricolelapoesie.unblog.fr briquet philippe
philippefatus.e-monsite.com philippe fatus
philippecrevel.blogspot.fr philippe crevel
philippegarcia.book.fr philippe garcia
philippemuray.e-monsite.com philippe muray

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.16 (Debian) DAV/2 SVN/1.6.12 PHP/5.3.3-7+squeeze29 with Suhosin-Patch Phusion_Passenger/3.0.7 contenant les détails de ce que le navigateur veut et acceptera de nouveau du serveur Web.

Date:Sun, 14 Jul 2019 08:55:40 GMT
Server:Apache/2.2.16 (Debian) DAV/2 SVN/1.6.12 PHP/5.3.3-7+squeeze29 with Suhosin-Patch Phusion_Passenger/3.0.7
Last-Modified:Wed, 10 Apr 2019 14:26:23 GMT
ETag:"b3066c-1949-5862dda9e21c0"
Accept-Ranges:bytes
Vary:Accept-Encoding
Content-Encoding:gzip
Content-Length:2720
Keep-Alive:timeout=15, max=100
Connection:Keep-Alive
Content-Type:text/html

DNS

ipv4:IP:147.127.176.144
ASN:1715
OWNER:FR-REMIP2000 REMIP 2000 Autonomous System, FR
Country:FR
mx:MX preference = 10, mail exchanger = n7smtp2.enseeiht.fr.
MX preference = 10, mail exchanger = n7smtp.enseeiht.fr.

HtmlToText

-- philippe quéinnec professeur des universités (full professor) at toulouse inp / enseeiht , research at irit . email : queinnec@enseeiht.fr smail : enseeiht, 2 rue camichel, f-31071 toulouse cedex, france phone : (+33) 534 32 21 84 research head of acadie team (assistance to the certification of distributed and embedded applications) at irit laboratory. team thematics type theory and proof theory, development and validation of formal methods for critical software, modeling and verification of distributed systems. philippe's current theme: modeling and verification of distributed systems distributed embedded systems and distributed real time systems refinement of concurrent and distributed algorithms verification of asynchronous communicating systems pardi anr project - verification of parameterized distributed systems philippe's old projects distributed collaborative multimedia applications coordinated multimedia streaming, in the context of sigma project (special interest group on multimedia/medical applications) mobiles agents and distributed services dada (a toolbox for the conception of unity programs) raids (replication and availability of information in distributed systems) publications publications of acadie team . publications du groupe (absolument plus à jour mais mieux structuré) -- philippe quéinnec's publications: irit website , dblp . hdr « variété de la cohérence dans les systèmes répartis » (may 2011): thesis (in french), presentation (in french). philippe's phd students adam shimi, vérification de systèmes distribués paramétrés avec défaillances (verification of faulty parameterized distributed systems), co-supervised with aurélie hurault , defense expected in 2020. florent chevrou, formalization of asynchronous interactions , co-supervised with aurélie hurault , 11/2017. tanguy le berre, spécification formelle de systèmes temps réel répartis par une approche flots de données à contraintes temporelles (formal specification of distributed real time systems using data flows with timed constraints), co-supervised with gérard padiou, 03/2010. nadège pontisso, association cohérente de données dans les systèmes temps réel à base de composants - application aux logiciels spatiaux (real time consistency of data in component-based systems - application to space software), co-supervised with gérard padiou, 12/2009. cezar pleşca, supervision de contenus multimédia : adaptation de contenu, politiques optimales de préchargement et coordination causale de flux (supervision of multimedia contents: adaptation, preloading, and causal coordination), co-supervised with gérard padiou and vincent charvillat , 06/2007. christophe cubat dit cros, agents mobiles coopérants pour les environnements dynamiques (mobile cooperative agents for dynamic environments), co-supervised with gérard padiou, 12/2005. romulus grigoraş , supervision de flux dans les contenus hypermédia. optimisation de politiques de préchargement et ordonnancement causal (supervision of hypermedia streams - preloading policy and causal ordering), co-supervised with gérard padiou, 12/2003. teaching almost all documents are in french. systèmes et algorithmes répartis (3ima) (distributed systems and algorithms) systèmes concurrents (2sn) (concurrent systems) intergiciels (2ir) (middleware programming) systèmes centralisés (1ir) (operating systems) autres enseignements de systèmes systèmes de transition (2sn) (transition systems) calculabilité, complexité (2sn) théorie des automates et théorie des langages (automata and language theory) formal methods, proofs : a model checker for propositional calculus (very basic, to easily check "human" propositions with less than 30 variables) head of enseeiht/dima third year (m2) (2012-2017) hobbies hiking in the pyrénées . philippe quéinnec last update: april 10th, 2019.

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] >> enseeiht.fr
%%
%% RL Net [##########] - RL IP [#########.]
%%

domain: enseeiht.fr
status: ACTIVE
hold: NO
holder-c: INP24-FRNIC
admin-c: AA2406-FRNIC
tech-c: GR1378-FRNIC
tech-c: JD2591-FRNIC
tech-c: BS3571-FRNIC
zone-c: NFC1-FRNIC
nsl-id: NSL5355-FRNIC
registrar: GIP RENATER
Expiry Date: 31/12/2017
created: 01/01/1995
last-update: 31/12/2016
source: FRNIC

ns-list: NSL5355-FRNIC
nserver: ns1.enseeiht.fr [147.127.176.22]
nserver: ns2.nic.fr [192.93.0.4 2001:660:3005:1::1:2]
nserver: sivuca.leei.enseeiht.fr [147.127.16.11]
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: GR1378-FRNIC
type: ROLE
contact: GIP RENATER
address: GIP RENATER
address: Ensam
address: 151, boulevard de l'Hopital
address: 75013 Paris
country: FR
phone: +33 1 53 94 20 30
fax-no: +33 1 53 94 20 31
e-mail: rensvp@renater.fr
trouble: Information: http://www.Renater.fr/
trouble: abuse reports, ... mailto:CertSVP@Renater.fr
trouble: questions: mailto:RenSVP@Renater.Fr
admin-c: DV321-FRNIC
tech-c: FS65-FRNIC
tech-c: BT261-FRNIC
tech-c: MD5336-FRNIC
tech-c: SJ94-FRNIC
tech-c: ED168-FRNIC
tech-c: CT1053-FRNIC
tech-c: SEH1-FRNIC
tech-c: FXA1-FRNIC
registrar: GIP RENATER
changed: 08/11/2005 rensvp@renater.fr
anonymous: NO
obsoleted: NO
source: FRNIC

nic-hdl: AA2406-FRNIC
type: PERSON
contact: Alain Ayache
address: INSTITUT NATIONAL POLYTECHNIQUE
address: Enseeiht
address: 6, allee Emile Mouso
address: B.P. 34038
address: 31029 Toulouse Cedex
country: FR
phone: +33 5 61 58 82 65
e-mail: alain.ayache@enseeiht.fr
registrar: GIP RENATER
changed: 07/02/2008 domaine@renater.fr
anonymous: NO
obsoleted: NO
source: FRNIC

nic-hdl: INP24-FRNIC
type: ORGANIZATION
contact: INSTITUT NATIONAL POLYTECHNIQUE
address: Enseeiht
address: 6, allee Emile Mouso
address: B.P. 34038
address: 31071 Toulouse
country: FR
phone: +33 5 61 58 82 65
fax-no: +33 5 61 58 80 24
e-mail: brigitte.sor@enseeiht.fr
registrar: GIP RENATER
changed: 02/12/2009 nic@nic.fr
anonymous: NO
obsoleted: NO
eligstatus: ok
eligdate: 01/01/1995 00:00:00
source: FRNIC

nic-hdl: JD2591-FRNIC
type: PERSON
contact: Jean-Claude Darcos
address: Ecole Superieure d'Electrotechnique, d'Electronique,
address: d'Informatique et d'Hydraulique de Toulouse
address: 2, rue C. Camichel
address: 31071 Toulouse Cedex
country: FR
phone: +33 61 58 83 74
e-mail: darcos@enseeiht.fr
notify: darcos@enseeiht.fr
registrar: GIP RENATER
changed: 15/10/2000 migration-dbm@nic.fr
anonymous: NO
obsoleted: NO
source: FRNIC

nic-hdl: BS3571-FRNIC
type: PERSON
contact: Brigitte Sor
address: Ecole Superieure d'Electrotechnique, d'Electronique,
address: d'Informatique et d'Hydraulique de Toulouse
address: 2, rue C. Camichel
address: 31071 Toulouse Cedex
country: FR
phone: +33 5 61 58 82 65
e-mail: brigitte.sor@enseeiht.fr
notify: brigitte.sor@enseeiht.fr
registrar: GIP RENATER
changed: 15/10/2000 migration-dbm@nic.fr
anonymous: NO
obsoleted: NO
source: FRNIC


  REFERRER http://www.nic.fr

  REGISTRAR AFNIC

SERVERS

  SERVER fr.whois-servers.net

  ARGS enseeiht.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] >> enseeiht.fr
%
% RL Net [##########] - RL IP [#########.]
%

  REGISTERED yes

ADMIN

  HANDLE AA2406-FRNIC

  TYPE PERSON

  CONTACT Alain Ayache

ADDRESS
INSTITUT NATIONAL POLYTECHNIQUE
Enseeiht
6, allee Emile Mouso
B.P. 34038
31029 Toulouse Cedex

  COUNTRY FR

  PHONE +33 5 61 58 82 65

  EMAIL alain.ayache@enseeiht.fr

  SPONSOR GIP RENATER

  CHANGED 2008-02-07

  ANONYMOUS NO

  OBSOLETED NO

  SOURCE FRNIC

TECH

  HANDLE BS3571-FRNIC

  TYPE PERSON

  CONTACT Brigitte Sor

ADDRESS
Ecole Superieure d'Electrotechnique, d'Electronique,
d'Informatique et d'Hydraulique de Toulouse
2, rue C. Camichel
31071 Toulouse Cedex

  COUNTRY FR

  PHONE +33 5 61 58 82 65

  EMAIL brigitte.sor@enseeiht.fr

  NOTIFY brigitte.sor@enseeiht.fr

  SPONSOR GIP RENATER

  CHANGED 2000-10-15

  ANONYMOUS NO

  OBSOLETED NO

  SOURCE FRNIC

OWNER

  HANDLE INP24-FRNIC

  TYPE ORGANIZATION

  CONTACT INSTITUT NATIONAL POLYTECHNIQUE

ADDRESS
Enseeiht
6, allee Emile Mouso
B.P. 34038
31071 Toulouse

  COUNTRY FR

  PHONE +33 5 61 58 82 65

  FAX +33 5 61 58 80 24

  EMAIL brigitte.sor@enseeiht.fr

  SPONSOR GIP RENATER

  CHANGED 2009-12-02

  ANONYMOUS NO

  OBSOLETED NO

  ELIGSTATUS ok

  ELIGDATE 01/01/1995 00:00:00

  SOURCE FRNIC

DOMAIN

  STATUS ACTIVE

  HOLD NO

  SPONSOR GIP RENATER

  EXPIRY DATE 31/12/2017

  CREATED 1995-01-01

  CHANGED 2016-12-31

  SOURCE FRNIC

  HANDLE NSL5355-FRNIC

NSERVER

  NS1.ENSEEIHT.FR 147.127.176.22

  NS2.NIC.FR 192.93.0.4

  SIVUCA.LEEI.ENSEEIHT.FR 147.127.16.11

  NAME enseeiht.fr

Go to top

Erreurs


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

  • www.uqueinnec.com
  • www.7queinnec.com
  • www.hqueinnec.com
  • www.kqueinnec.com
  • www.jqueinnec.com
  • www.iqueinnec.com
  • www.8queinnec.com
  • www.yqueinnec.com
  • www.queinnecebc.com
  • www.queinnecebc.com
  • www.queinnec3bc.com
  • www.queinnecwbc.com
  • www.queinnecsbc.com
  • www.queinnec#bc.com
  • www.queinnecdbc.com
  • www.queinnecfbc.com
  • www.queinnec&bc.com
  • www.queinnecrbc.com
  • www.urlw4ebc.com
  • www.queinnec4bc.com
  • www.queinnecc.com
  • www.queinnecbc.com
  • www.queinnecvc.com
  • www.queinnecvbc.com
  • www.queinnecvc.com
  • www.queinnec c.com
  • www.queinnec bc.com
  • www.queinnec c.com
  • www.queinnecgc.com
  • www.queinnecgbc.com
  • www.queinnecgc.com
  • www.queinnecjc.com
  • www.queinnecjbc.com
  • www.queinnecjc.com
  • www.queinnecnc.com
  • www.queinnecnbc.com
  • www.queinnecnc.com
  • www.queinnechc.com
  • www.queinnechbc.com
  • www.queinnechc.com
  • www.queinnec.com
  • www.queinnecc.com
  • www.queinnecx.com
  • www.queinnecxc.com
  • www.queinnecx.com
  • www.queinnecf.com
  • www.queinnecfc.com
  • www.queinnecf.com
  • www.queinnecv.com
  • www.queinnecvc.com
  • www.queinnecv.com
  • www.queinnecd.com
  • www.queinnecdc.com
  • www.queinnecd.com
  • www.queinneccb.com
  • www.queinneccom
  • www.queinnec..com
  • www.queinnec/com
  • www.queinnec/.com
  • www.queinnec./com
  • www.queinnecncom
  • www.queinnecn.com
  • www.queinnec.ncom
  • www.queinnec;com
  • www.queinnec;.com
  • www.queinnec.;com
  • www.queinneclcom
  • www.queinnecl.com
  • www.queinnec.lcom
  • www.queinnec com
  • www.queinnec .com
  • www.queinnec. com
  • www.queinnec,com
  • www.queinnec,.com
  • www.queinnec.,com
  • www.queinnecmcom
  • www.queinnecm.com
  • www.queinnec.mcom
  • www.queinnec.ccom
  • www.queinnec.om
  • www.queinnec.ccom
  • www.queinnec.xom
  • www.queinnec.xcom
  • www.queinnec.cxom
  • www.queinnec.fom
  • www.queinnec.fcom
  • www.queinnec.cfom
  • www.queinnec.vom
  • www.queinnec.vcom
  • www.queinnec.cvom
  • www.queinnec.dom
  • www.queinnec.dcom
  • www.queinnec.cdom
  • www.queinnecc.om
  • www.queinnec.cm
  • www.queinnec.coom
  • www.queinnec.cpm
  • www.queinnec.cpom
  • www.queinnec.copm
  • www.queinnec.cim
  • www.queinnec.ciom
  • www.queinnec.coim
  • www.queinnec.ckm
  • www.queinnec.ckom
  • www.queinnec.cokm
  • www.queinnec.clm
  • www.queinnec.clom
  • www.queinnec.colm
  • www.queinnec.c0m
  • www.queinnec.c0om
  • www.queinnec.co0m
  • www.queinnec.c:m
  • www.queinnec.c:om
  • www.queinnec.co:m
  • www.queinnec.c9m
  • www.queinnec.c9om
  • www.queinnec.co9m
  • www.queinnec.ocm
  • www.queinnec.co
  • queinnec.perso.enseeiht.frm
  • www.queinnec.con
  • www.queinnec.conm
  • queinnec.perso.enseeiht.frn
  • www.queinnec.col
  • www.queinnec.colm
  • queinnec.perso.enseeiht.frl
  • www.queinnec.co
  • www.queinnec.co m
  • queinnec.perso.enseeiht.fr
  • www.queinnec.cok
  • www.queinnec.cokm
  • queinnec.perso.enseeiht.frk
  • www.queinnec.co,
  • www.queinnec.co,m
  • queinnec.perso.enseeiht.fr,
  • www.queinnec.coj
  • www.queinnec.cojm
  • queinnec.perso.enseeiht.frj
  • www.queinnec.cmo
 Afficher toutes les erreurs  Cacher toutes les erreurs