HtmlToText
pages personnelles et professionnelles de thoma s p olacsek qui suis-je ? about me publications contact toulouse sujets de recherche argumentation pour la certification de systèmes concevoir conjointement l'avion et sa production (usine du futur) méthodes formelles pour l’ingénierie des exigences (politiques d'échanges d'information) qui suis-je ? chercheur à l'office national d'etudes et de recherches aérospatiales ( onera ), je mène des travaux dans le cadre de projets nationaux et internationaux avec les acteurs du secteur aéronautique, comme airbus, mais aussi avec les autorités de certification (dga-ta, dgac). mes domaines de recherches sont centrés autour de l’ingénierie des exigences, la modélisation de systèmes et les méthodes formelles. plus précisément, je cherche à définir des cadres soit à base de méthodes formelles, soit à base de modèles (ingénierie systèmes), permettant de définir, de valider et de certifier des systèmes. pour cela j'utilise aussi bien des méthodes formelles (model checking / smt) que des approches orientées modèles et argumentation (uml / sysml). précédemment, j'ai été consultant pendant 5 ans auprès d'acteurs majeurs de l'industrie sur des problématiques de modélisation métier et d'algorithmiques dans les secteurs du transport urbain et bancaire. après avoir réalisé un système expert destiné au diagnostic et à la cotation des entreprises, j'ai conçu un système d'aide à la décision pour la gestion des systèmes de transport en commun (ratp). j'ai effectué mon doctorat en intelligence artificielle dans les domaines de la planification et de la logique à l'institut de recherche en informatique de toulouse ( irit ). j'enseigne le sysml et la conception et la programmation orientées objet (java) à l'isae supaéro . projets 2016 - 2019 phylog (dgac - direction générale de l'aviation civile) certification de fonctions logicielles embarquées sur des calculateurs de type multi ou many-core (systèmes avioniques civils) 2017 simultaneous engineering: work with airbus aircraft architects to allow the architect to have a global view of the aircraft design and of the manufacturing and to support the concurrent specification of the product and its manufacturing system 2014 - 2016 toica (european project fp7) thermal overall integrated conception of aircrafts 2011 - 2015 projet p. 2011 - 2015 vuexcossi groupe de travail : vision utilisateur & expression de la complexité au sein des si 2009 - 2012 crescendo (projet européen fp7) collaborative and robust engineering using simulation capability enabling next design optimisation 2011 opees open platform for the engineering of embedded systems 2009 pam platform architecture management dans le cadre du partenariat airsys (architecture et ingénierie des systèmes, dans le domaine des systèmes pour l'aéronautique), coopération entre airbus, le laas-cnrs, l'onera et l'irit. 2002 - 2003 van gogh logical architectures for autonomous agents and planning, projet européen entre l'institut de recherche en informatique de toulouse et la vrije universiteit d'amsterdam. 2000 - 2002 procop . les topiques en logique et dans le dialogue. enseignements conception et programmation orientées objet en deuxième année (master 1) isae supaéro à isae - supaero sysml dans le cadre du isae master system engineering quelques publications , sanjiv sharma, claude cuiller and vincent tuloup, the need of diagrams based on toulmin schema application: an aeronautical case study euro journal on decision processes (ejdp) , to appear 2018. clément duffau , and mireille blay-fornarino, support of justification elicitation: two industrial reports 30th international conference on advanced information systems engineering (caise'18) , 2018. cédric pralet, stéphanie roussel, , françois boussière, claude cuiller, pierre- eric dereux, stéphane kersuzan, marc lelay, a scheduling tool for bridging the gap between aircraft design and aircraft manufacturing . proceedings of icaps'18 2018 , stéphanie roussel, françois bouissiere, claude cuiller, pierre-eric dereux and stephane kersuzan, towards thinking manufacturing and design together: an aeronautical case study 36th international conference on conceptual modelling (er'17) , 2017. . validation, accreditation or certification: a new kind of diagram to provide confidence ieee tenth international conference on research challenges in information science (rcis'16) , 2016. rémi delmas and . need-to-share & non-diffusion requirements verification in exchange policies 27th international conference on advanced information systems engineering (caise'15) , 2015. ( springer website ) anthony fernandes pires, , virginie wiels and stéphane duprat. behavioural verification in embedded software, from model to source code acm/ieee 16th international conference on model driven engineering languages and systems (models2013) , 2013.( springer website ) rémi delmas and . formal methods for exchange policy specification . 25th international conference on advanced information systems engineering (caise'2013) , 2013.( springer website ) david bihanic and . models to support the visualisation of complex information systems . 16th international conference information visualisation , iv2012, 2012. ( paper in public archive )
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;
Domain Name: THOMASPOLACSEK.NET
Registry Domain ID: 1955429301_DOMAIN_NET-VRSN
Registrar WHOIS Server: whois.bookmyname.com
Registrar URL: http://www.bookmyname.com
Updated Date: 2016-08-17T16:48:06Z
Creation Date: 2015-08-26T17:45:14Z
Registry Expiry Date: 2018-08-26T17:45:14Z
Registrar: Online SAS
Registrar IANA ID: 74
Registrar Abuse Contact Email: abuse@bookmyname.com
Registrar Abuse Contact Phone: +33.184130069
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Name Server: NS0.ONLINE.NET
Name Server: NS1.ONLINE.NET
DNSSEC: unsigned
URL of the ICANN Whois Inaccuracy Complaint Form: https://www.icann.org/wicf/
>>> Last update of whois database: 2017-12-09T14:19:42Z <<<
For more information on Whois status codes, please visit https://icann.org/epp
NOTICE: The expiration date displayed in this record is the date the
registrar's sponsorship of the domain name registration in the registry is
currently set to expire. This date does not necessarily reflect the expiration
date of the domain name registrant's agreement with the sponsoring
registrar. Users may consult the sponsoring registrar's Whois database to
view the registrar's reported date of expiration for this registration.
TERMS OF USE: You are not authorized to access or query our Whois
database through the use of electronic processes that are high-volume and
automated except as reasonably necessary to register domain names or
modify existing registrations; the Data in VeriSign Global Registry
Services' ("VeriSign") Whois database is provided by VeriSign for
information purposes only, and to assist persons in obtaining information
about or related to a domain name registration record. VeriSign does not
guarantee its accuracy. By submitting a Whois query, you agree to abide
by the following terms of use: You agree that you may use this Data only
for lawful purposes and that under no circumstances will you use this Data
to: (1) allow, enable, or otherwise support the transmission of mass
unsolicited, commercial advertising or solicitations via e-mail, telephone,
or facsimile; or (2) enable high volume, automated, electronic processes
that apply to VeriSign (or its computer systems). The compilation,
repackaging, dissemination or other use of this Data is expressly
prohibited without the prior written consent of VeriSign. You agree not to
use electronic processes that are automated and high-volume to access or
query the Whois database except as reasonably necessary to register
domain names or modify existing registrations. VeriSign reserves the right
to restrict your access to the Whois database in its sole discretion to ensure
operational stability. VeriSign may restrict or terminate your access to the
Whois database for failure to abide by these terms of use. VeriSign
reserves the right to modify these terms at any time.
The Registry database contains ONLY .COM, .NET, .EDU domains and
Registrars.
REGISTRAR Online SAS
SERVERS
SERVER net.whois-servers.net
ARGS domain =thomaspolacsek.net
PORT 43
TYPE domain
RegrInfo
DOMAIN
NAME thomaspolacsek.net
CHANGED 2016-08-17
CREATED 2015-08-26
STATUS
clientTransferProhibited https://icann.org/epp#clientTransferProhibited
NSERVER
NS0.ONLINE.NET 195.154.228.249
NS1.ONLINE.NET 62.210.16.9
REGISTERED yes
Go to top
thomaspolacsek.net rapport :
Visitez le site