Christophe Ponsard

2008
13	EE	Juan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard: Towards Modelling Obligations in Event-B. ABZ 2008: 181-194
12	EE	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
11	EE	Christophe Ponsard, Vincent Fries: An Accessible Viewer for Digital Comic Books. ICCHP 2008: 569-577
2007
10	EE	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)
2006
9	EE	Christophe Ponsard, Vincent Snoeck: Objective Accessibility Assessment of Public Infrastructures. ICCHP 2006: 314-321
8	EE	Christophe Ponsard, Christiane Broekman, Cécile Lamy, Martine Fraiture: Towards a Service Integration Portal for Deaf People. ICCHP 2006: 587-594
7	EE	Christophe Ponsard, Emmanuel Dieul: From Requirements Models to Formal Specifications in B. ReMo2V 2006
2005
6	EE	Christophe Ponsard, Nadiya Balych, Philippe Massonet, Jean Vanderdonckt, Axel van Lamsweerde: Goal-Oriented Design of Domain Control Panels. DSV-IS 2005: 249-260
5	EE	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
4	EE	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)
2004
3	EE	Jean-François Molderez, Christophe Ponsard: Deriving Acceptance Tests from Goal Requirements. MOZ 2004: 78-88
2	EE	Hung Tran Van, Axel van Lamsweerde, Philippe Massonet, Christophe Ponsard: Goal-Oriented Requirements Animation. RE 2004: 218-228
2003
1	EE	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

Coauthor Index

1	Álvaro Enrique Arenas (Alvaro E. Arenas, Alvaro Arenas)	[13]
2	Benjamin Aziz	[13]
3	Susan Baines	[12]
4	Nadiya Balych	[6]
5	Juan Bicarregui	[13]
6	Christiane Broekman	[8]
7	Emmanuel Dieul	[7]
8	Alan J. Dix	[5]
9	Martine Fraiture	[8]
10	Vincent Fries	[11]
11	Dominic Furniss	[5]
12	Axel van Lamsweerde	[1] [2] [4] [6] [10]
13	Cécile Lamy	[8]
14	Mike Martin	[12]
15	Philippe Massonet	[1] [2] [4] [6] [10] [13]
16	Jean-François Molderez	[1] [3] [4] [10]
17	André Rifaut	[1] [4] [10]
18	Giovanni Rinaldi	[12]
19	Sébastien Rousseaux	[12]
20	Vincent Snoeck	[9]
21	Pierre Stadnik	[1]
22	Fulvio Tamburriello	[12]
23	Hung Tran Van	[1] [2] [4] [10]
24	Jean Vanderdonckt	[6]
25	Sarah Walsh	[12]
26	Guo-Qiang Zhang	[5]

Colors in the list of coauthors