Christophe Ponsard
Christophe Ponsard
CETIC research center
Verified email at cetic.be
Title
Cited by
Cited by
Year
Reconciling system requirements and runtime behavior
MS Feather, S Fickas, A Van Lamsweerde, C Ponsard
Proceedings Ninth International Workshop on Software Specification and …, 1998
2591998
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
912011
Goal-oriented requirements animation
HT Van, A van Lamsweerde, P Massonet, C Ponsard
Proceedings. 12th IEEE International Requirements Engineering Conference …, 2004
812004
Early verification and validation of mission critical systems
C Ponsard, P Massonet, JF Molderez, A Rifaut, A van Lamsweerde, ...
Formal Methods in System Design 30 (3), 233, 2007
622007
From Requirements Models to Formal Specifications in B.
C Ponsard, E Dieul
ReMo2V 241, 2006
422006
Towards modelling obligations in Event-B
J Bicarregui, A Arenas, B Aziz, P Massonet, C Ponsard
International Conference on Abstract State Machines, B and Z, 181-194, 2008
392008
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
332014
From goal-oriented requirements to Event-B specifications
B Aziz, A Arenas, J Bicarregui, C Ponsard, P Massonet
First Nasa Formal Method Symposium, 2009
302009
An ocr-enabled digital comic books viewer
C Ponsard, R Ramdoyal, D Dziamski
International Conference on Computers for Handicapped Persons, 471-478, 2012
232012
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
232005
Evidencing sustainability design through examples
R Chitchyan, S Betz, L Duboc, B Penzenstadler, S Easterbrook, ...
222015
Objective accessibility assessment of public infrastructures
C Ponsard, V Snoeck
International Conference on Computers for Handicapped Persons, 314-321, 2006
172006
OscaR. cbls: an open source framework for constraint-based local search
R De Landtsheer, C Ponsard
Proceedings of ORBEL 27, 2013
162013
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
152016
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
152010
An accessible viewer for digital comic books
C Ponsard, V Fries
International Conference on Computers for Handicapped Persons, 569-577, 2008
152008
FAUST: formal analysis using specification tools
A Rifaut, P Massonet, JF Molderez, C Ponsard, P Stadnik, ...
Proceedings. 11th IEEE International Requirements Engineering Conference …, 2003
132003
Combining neighborhoods into local search strategies
R De Landtsheer, Y Guyot, G Ospina, C Ponsard
Recent Developments in Metaheuristics, 43-57, 2018
122018
An analysis of the chinese wall pattern for guaranteeing confidentiality in grid-based virtual organisations
G Dallons, P Massonet, JF Molderez, C Ponsard, A Arenas
2007 Third International Conference on Security and Privacy in …, 2007
122007
Integrating energy and eco-aware requirements engineering in the development of services-based applications on virtual clouds
JC Deprez, R Ramdoyal, C Ponsard
First International Workshop on Requirements Engineering for Sustainable Systems, 2012
112012
The system can't perform the operation now. Try again later.
Articles 1–20