Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarThomas Polacsek
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[c25]Kevin Delmas
, Claire Pagetti, Thomas Polacsek:
Patterns for Certification Standards. CAiSE 2020: 417-432
2010 – 2019
- 2019
- [b1]Thomas Polacsek:
Vérification, validation, certification : approches formelles et informelles pour établir la correction des artefacts et des logiciels. (Verification, validation, certification: formal and informal approaches to establish the correction of artefacts and software). Paul Sabatier University, Toulouse, France, 2019 - [c24]Thomas Polacsek, Stéphanie Roussel, Cédric Pralet, Claude Cuiller:
Design for Efficient Production, A Model-Based Approach. RCIS 2019: 1-6 - 2018
- [c23]Cédric Pralet, Stéphanie Roussel, Thomas Polacsek, François Bouissière, Claude Cuiller, Pierre-Eric Dereux, Stéphane Kersuzan, Marc Lelay:
A Scheduling Tool for Bridging the Gap Between Aircraft Design and Aircraft Manufacturing. ICAPS 2018: 347-355 - [c22]Clément Duffau, Thomas Polacsek, Mireille Blay-Fornarino:
Support of Justification Elicitation: Two Industrial Reports. CAiSE 2018: 71-86 - [c21]Clément Duffau, Thomas Polacsek, Mireille Blay-Fornarino:
Une sémantique pour les patrons de justification. INFORSID 2018: 109-124 - 2017
- [j6]Thomas Polacsek:
Diagramme de justification. Un outil pour la validation, la certification et l'accréditation. Ingénierie des Systèmes d Inf. 22(2): 95-119 (2017) - [c20]Thomas Polacsek, Stéphanie Roussel, François Bouissiere, Claude Cuiller, Pierre-Eric Dereux, Stéphane Kersuzan:
Towards Thinking Manufacturing and Design Together: An Aeronautical Case Study. ER 2017: 340-353 - [c19]François Bouissiere, Claude Cuiller, Pierre-Eric Dereux, Stéphane Kersuzan, Thomas Polacsek:
Modéliser l'avion et son moyen de production : vers un modèle global pour de la conception simultanée. INFORSID 2017: 77-92 - 2016
- [j5]Rémi Delmas, Thomas Polacsek:
Vérification automatique d'exigences pour les politiques d'échange d'information. Exigences de diffusion et de non-diffusion d'information. Ingénierie des Systèmes d Inf. 21(2): 39-63 (2016) - [j4]Florence Sèdes, Rémi Delmas, Thomas Polacsek:
Éditorial. Ingénierie des Systèmes d Inf. 21(4): 7-10 (2016) - [j3]David Bihanic, Sophie Dupuy-Chessa, Xavier Le Pallec, Thomas Polacsek:
Introduction. Tech. Sci. Informatiques 35(2): 141-144 (2016) - [j2]David Bihanic, Thomas Polacsek:
StrataVis : une technique de visualisation graphique orientée modèle. Tech. Sci. Informatiques 35(2): 145-174 (2016) - [c18]Thomas Polacsek:
Argumentation Tree: A New Player in your Diagrams. INFORSID 2016: 223-224 - [c17]Thomas Polacsek:
Validation, accreditation or certification: A new kind of diagram to provide confidence. RCIS 2016: 1-8 - 2015
- [c16]Rémi Delmas, Thomas Polacsek:
Critical Information Diffusion Systems. ADBIS (Short Papers and Workshops) 2015: 557-566 - [c15]Rémi Delmas, Thomas Polacsek:
Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies. CAiSE 2015: 151-165 - [c14]Thomas Polacsek:
A process to support and to report collaborative decision. CSCWD 2015: 188-193 - [c13]Rémi Delmas, Thomas Polacsek:
Vérification automatique d'exigences pour les politiques d'échange d'information. INFORSID 2015: 251-265 - 2013
- [c12]Rémi Delmas, Thomas Polacsek:
Formal Methods for Exchange Policy Specification. CAiSE 2013: 288-303 - [c11]David Bihanic, Max Chevalier, Sophie Dupuy-Chessa, Xavier Le Pallec, Thierry Morineau, Thomas Polacsek:
Modèlisation graphique des SI. Du traitement visuel de modèles complexes. INFORSID 2013: 99-114 - [c10]Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stéphane Duprat:
Behavioural Verification in Embedded Software, from Model to Source Code. MoDELS 2013: 320-335 - 2012
- [j1]David Bihanic, Thomas Polacsek:
Visualisation de Systèmes d'Information Complexes Une approche par « points de vue étendus ». Stud. Inform. Univ. 10(1): 235-262 (2012) - [c9]Thomas Polacsek, Laurence Cholvy, Rémi Delmas:
Vers une aide à la spécification d'une politique d'échange d'information dans un SI . INFORSID 2012: 352-370 - [c8]David Bihanic, Thomas Polacsek:
Models for Visualisation of Complex Information Systems. IV 2012: 130-135 - [c7]Anthony Fernandes Pires, Thomas Polacsek, Stéphane Duprat:
Formal Software Verification at Model and at Source Code Levels. MEDI 2012: 162-169 - 2011
- [c6]Thomas Polacsek, Laurence Cholvy:
A framework to report and to analyse a debate. CSCWD 2011: 84-90 - [c5]Rémi Delmas, Thomas Polacsek, David Doose, Anthony Fernandes Pires:
IDM : Vers une aide ? la conception. INFORSID 2011: 147-162 - [c4]Rémi Delmas, David Doose, Anthony Fernandes Pires, Thomas Polacsek:
Supporting Model Based Design. MEDI 2011: 237-248
2000 – 2009
- 2001
- [c3]Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek:
Updates, actions, and planning. IJCAI 2001: 119-124 - 2000
- [c2]Andreas Herzig, Jérôme Lang, Dominique Longin, Thomas Polacsek:
A Logic for Planning under Partial Observability. AAAI/IAAI 2000: 768-773 - [c1]Andreas Herzig, Jérôme Lang, Thomas Polacsek:
A modal logic for epistemic tests. ECAI 2000: 553-557
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org and opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-06-25 23:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
