Christophe Ponsard

Christophe Ponsard, Ravi Ramdoyal, Daniel Dziamski: An OCR-Enabled Digital Comic Books Viewer. ICCHP (1) 2012: 471-478

Nicolas Devos, Christophe Ponsard, Jean-Christophe Deprez, Renaud Bauvin, Benedicte Moriau, Guy Anckaerts: Efficient reuse of domain-specific test knowledge: An industrial case in the smart card domain. ICSE 2012: 1123-1132

Christophe Ponsard, Xavier Devroey: Generating High-Level Event-B System Models from KAOS Requirements Models. INFORSID 2011: 317-332

Philippe Massonet, Syed Naqvi, Christophe Ponsard, Joseph Latanicki, Benny Rochwerger, Massimo Villari: A Monitoring and Audit Logging Architecture for Data Location Compliance in Federated Cloud Infrastructures. IPDPS Workshops 2011: 1510-1517

Syed Naqvi, Gautier Dallons, Christophe Ponsard: Applying Digital Forensics in the Future Internet Enterprise Systems - European SME's Perspective. SADFE 2010: 89-93

Christophe Ponsard: Enhancing the Accessibility for All of Digital Comic Books. e-Minds 1(5) (2009)

Christophe Ponsard, Mathieu Delehaye: Towards a Model-Driven Approach for Mapping Requirements on AADL Architectures. ICECCS 2009: 353-358

Benjamin Aziz, Alvaro Arenas, Juan Bicarregui, Christophe Ponsard, Philippe Massonet: From Goal-Oriented Requirements to Event-B Specifications. NASA Formal Methods 2009: 96-105

Christophe Ponsard, Joelle Sutera, Michael Henin: Video Relay Service for Signing Deaf - Lessons Learnt from a Pilot Study. USAB 2009: 511-522

Christophe Ponsard, Philippe Massonet, Gautier Dallons: From Rigorous Requirements Engineering to Formal System Design. ERCIM News 2008(75) (2008)

Juan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard: Towards Modelling Obligations in Event-B. ABZ 2008: 181-194

Christophe Ponsard, Vincent Fries: An Accessible Viewer for Digital Comic Books. ICCHP 2008: 569-577

Christophe Ponsard, Mike Martin, Sarah Walsh, Susan Baines, Sébastien Rousseaux, Giovanni Rinaldi, Fulvio Tamburriello: OLDES: Designing a Low-Cost, Easy-to-Use e-Care System Together with the Stakeholders. ICCHP 2008: 1285-1292

Christophe Ponsard, Gautier Dallons, Stéphane Mouton, Philippe Massonet: Towards a Commercial IT Service Delivery. ERCIM News 2007(70) (2007)

Christophe Ponsard, Philippe Massonet, Jean-François Molderez, André Rifaut, Axel van Lamsweerde, Hung Tran Van: Early verification and validation of mission critical systems. Formal Methods in System Design 30(3): 233-247 (2007)

Gautier Dallons, Philippe Massonet, Jean-François Molderez, Christophe Ponsard, Alvaro Arenas: An analysis of the chinese wall pattern for guaranteeing confidentiality in grid-based virtual organisations. SecureComm 2007: 217-222

Christophe Ponsard, Emmanuel Dieul: From Requirements Models to Formal Specifications in B. ReMo2V 2006

Christophe Ponsard, Vincent Snoeck: Objective Accessibility Assessment of Public Infrastructures. ICCHP 2006: 314-321

Christophe Ponsard, Christiane Broekman, Cécile Lamy, Martine Fraiture: Towards a Service Integration Portal for Deaf People. ICCHP 2006: 587-594

Christophe Ponsard, Philippe Massonet, André Rifaut, Jean-François Molderez, Axel van Lamsweerde, Hung Tran Van: Early Verification and Validation of Mission Critical Systems. Electr. Notes Theor. Comput. Sci. 133: 237-254 (2005)

Christophe Ponsard, Nadiya Balych, Philippe Massonet, Jean Vanderdonckt, Axel van Lamsweerde: Goal-Oriented Design of Domain Control Panels. DSV-IS 2005: 249-260

Dominic Furniss, Alan J. Dix, Christophe Ponsard, Guo-Qiang Zhang: Outdated Ideas of the Design Process and the Future of Formal Models, Methods and Notations. DSV-IS 2005: 265

Jean-François Molderez, Christophe Ponsard: Deriving Acceptance Tests from Goal Requirements. MOZ 2004: 78-88

Hung Tran Van, Axel van Lamsweerde, Philippe Massonet, Christophe Ponsard: Goal-Oriented Requirements Animation. RE 2004: 218-228

André Rifaut, Philippe Massonet, Jean-François Molderez, Christophe Ponsard, Pierre Stadnik, Axel van Lamsweerde, Hung Tran Van: FAUST: Formal Analysis Using Specification Tools. RE 2003: 350