Thomas Polacsek
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [c22]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 - [c21]Clément Duffau, Thomas Polacsek, Mireille Blay-Fornarino:
Support of Justification Elicitation: Two Industrial Reports. CAiSE 2018: 71-86 - 2017
- [j6]Thomas Polacsek:
Diagramme de justification. Un outil pour la validation, la certification et l'accréditation. Ingénierie des Systèmes d'Information 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'Information 21(2): 39-63 (2016) - [j4]Florence Sèdes, Rémi Delmas, Thomas Polacsek:
Éditorial. Ingénierie des Systèmes d'Information 21(4): 7-10 (2016) - [j3]David Bihanic, Sophie Dupuy-Chessa, Xavier Le Pallec, Thomas Polacsek:
Introduction. Technique et Science Informatiques 35(2): 141-144 (2016) - [j2]David Bihanic, Thomas Polacsek:
StrataVis : une technique de visualisation graphique orientée modèle. Technique et Science Informatiques 35(2): 145-174 (2016) - [c18]
- [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]
- [c13]Rémi Delmas, Thomas Polacsek:
Vérification automatique d'exigences pour les politiques d'échange d'information. INFORSID 2015: 251-265 - 2013
- [c12]
- [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 dune politique déchange dinformation 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]
- [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]
Coauthor Index
last updated on 2019-01-09 01:38 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint