Æȷοì
Christophe Ponsard
Christophe Ponsard
CETIC research center
cetic.beÀÇ À̸ÞÀÏ È®ÀεÊ
Á¦¸ñ
Àοë
Àοë
¿¬µµ
Reconciling system requirements and runtime behavior
MS Feather, S Fickas, A Van Lamsweerde, C Ponsard
Proceedings Ninth International Workshop on Software Specification and ¡¦, 1998
2931998
A monitoring and audit logging architecture for data location compliance in federated cloud infrastructures
P Massonet, S Naqvi, C Ponsard, J Latanicki, B Rochwerger, M Villari
2011 IEEE international symposium on parallel and distributed processing ¡¦, 2011
1182011
Goal-oriented requirements animation
HT Van, A van Lamsweerde, P Massonet, C Ponsard
Proceedings. 12th IEEE International Requirements Engineering Conference ¡¦, 2004
842004
Early verification and validation of mission critical systems
C Ponsard, P Massonet, JF Molderez, A Rifaut, A Lamsweerde, HT Van
Formal Methods in System Design 30, 233-247, 2007
762007
From Requirements Models to Formal Specifications in B.
C Ponsard, E Dieul
ReMo2V 241, 2006
472006
Energy efficiency embedded service lifecycle: Towards an energy efficient cloud computing architecture
K Djemame, D Armstrong, R Kavanagh, AJ Ferrer, DG Perez, D Antona, ...
CEUR Workshop Proceedings 1203, 1-6, 2014
462014
Towards modelling obligations in Event-B
J Bicarregui, A Arenas, B Aziz, P Massonet, C Ponsard
Abstract State Machines, B and Z: First International Conference, ABZ 2008 ¡¦, 2008
422008
Goal-oriented co-engineering of security and safety requirements in cyber-physical systems
C Ponsard, G Dallons, P Massonet
International Conference on Computer Safety, Reliability, and Security, 334-345, 2016
352016
An ocr-enabled digital comic books viewer
C Ponsard, R Ramdoyal, D Dziamski
Computers Helping People with Special Needs: 13th International Conference ¡¦, 2012
342012
Evidencing sustainability design through examples
R Chitchyan, S Betz, L Duboc, B Penzenstadler, S Easterbrook, ...
322015
From goal-oriented requirements to Event-B specifications
B Aziz, AE Arenas, J Bicarregui, C Ponsard, P Massonet
Proceedings of the First NASA Formal Methods Symposium, 2009
312009
Early verification and validation of mission critical systems
C Ponsard, P Massonet, A Rifaut, JF Molderez, A van Lamsweerde, ...
Electronic Notes in Theoretical Computer Science 133, 237-254, 2005
312005
Towards a Cyber Security Label for SMEs: A European Perspective-.
C Ponsard, J Grandclaudon, G Dallons
ICISSP 4, 426-431, 2018
262018
Oscar. cbls: an open source framework for constraint-based local search
R De Landtsheer, C Ponsard
Proceedings of ORBEL 27, 2013
262013
Survey and Lessons Learned on Raising SME Awareness about Cybersecurity.
C Ponsard, J Grandclaudon, S Bal
ICISSP, 558-563, 2019
252019
Objective accessibility assessment of public infrastructures
C Ponsard, V Snoeck
International Conference on Computers for Handicapped Persons, 314-321, 2006
252006
An accessible viewer for digital comic books
C Ponsard, V Fries
Computers Helping People with Special Needs: 11th International Conference ¡¦, 2008
232008
Enhancing the accessibility for all of digital comic books
C Ponsard, V Fries
vol. I, 127-144, 2009
222009
Applying digital forensics in the future internet enterprise systems-European SME's perspective
S Naqvi, G Dallons, C Ponsard
2010 Fifth IEEE International Workshop on Systematic Approaches to Digital ¡¦, 2010
212010
Software development practices in small entities: an ISO29110‐based survey
A Majchrowski, C Ponsard, S Saadaoui, J Flamand, JC Deprez
Journal of Software: Evolution and Process 28 (11), 990-999, 2016
192016
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20