Charles Pecheur

	2009
22		Charles Pecheur, Franco Raimondi, Guillaume Brat: A formal analysis of requirements-based testing. ISSTA 2009: 47-56
	2008
21		José Vander Meulen, Charles Pecheur: Efficient Symbolic Model Checking for Process Algebras. FMICS 2008: 69-84
	2007
20		Charles Pecheur: Verification of Embedded Software: From Mars to Actions. FMICS 2007: 1
19		Alessio Lomuscio, Charles Pecheur, Franco Raimondi: Automatic Verification of Knowledge and Time with NuSMV. IJCAI 2007: 1384-1389
18		Franco Raimondi, Charles Pecheur, Guillaume Brat: Testing Planning Domains (without Model Checkers). Electr. Notes Theor. Comput. Sci. 190(2): 113-125 (2007)
	2006
17		Charles Pecheur, Franco Raimondi: Symbolic Model Checking of Logics with Actions. MoChArt 2006: 113-128
16		Charles Pecheur, Brian Williams: Preface. Electr. Notes Theor. Comput. Sci. 149(2): 1-2 (2006)
	2005
15		Tim Menzies, Charles Pecheur: Verification and Validation and Artificial Intelligence. Advances in Computers 65: 154-203 (2005)
	2004
14		A. E. Lindsey, Charles Pecheur: Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder. TACAS 2004: 357-371
	2003
13		Alessandro Cimatti, Charles Pecheur, Roberto Cavada: Formal Verification of Diagnosability via Symbolic Model Checking. IJCAI 2003: 363-369
	2002
12		Charles Pecheur: Challenges Arising from Applications. FAABS 2002: 236-238
11		Stacy D. Nelson, Charles Pecheur: Formal Verification for a Next-Generation Space Shuttle. FAABS 2002: 53-67
	2001
10		Charles Pecheur, Willem Visser, Reid G. Simmons: AAAI 2000 Fall Symposium Series Reports. AI Magazine 22(3): 107-111 (2001)
9		Lorraine M. Fesq, Ella M. Atkins, Lina Khatib, Charles Pecheur, Paul R. Cohen, Lynn Andrea Stein, Michael van Lent, John E. Laird, Alessandro Provetti, Tran Cao Son: AAAI 2001 Spring Symposium Series Reports. AI Magazine 22(3): 117-122 (2001)
	2000
8		Charles Pecheur, Reid G. Simmons: From Livingstone to SMV. FAABS 2000: 103-113
7		Peter Engrand, Charles Pecheur: Model Checking of Autonomy Models for an In-Situ Propellant Production System. FAABS 2000: 302-303
6		Michael G. Hinchey, James A. Hendler, Charles Pecheur, Constance L. Heitmeyer, Diana F. Gordon, Michael Luck, Walt Truszkowski: Panel Discussion: Future Directions. FAABS 2000: 354-368
	1999
5		Charles Pecheur: Advanced Modelling and Verification Techniques Applied to a Cluster File System. ASE 1999: 119-126
4		Guy Leduc, Olivier Bonaventure, Luc Léonard, E. Koerner, Charles Pecheur: Model-Based Verification of a Security Protocol for Conditional Access to Services. Formal Methods in System Design 14(2): 171-191 (1999)
	1997
3		Charles Pecheur: Specification and Verification of the Co4 Distributed Knowledge System using LOTOS. ASE 1997: 63-70
	1993
2		Charles Pecheur: VLib: Infinite Virtual Libraries for LOTOS. PSTV 1993: 29-44
	1992
1		Charles Pecheur: Using LOTOS for specifying the CHORUS distributed operating system kernel. Computer Communications 15(2): 93-102 (1992)

Coauthor Index

1	Ella M. Atkins	[9]
2	Olivier Bonaventure	[4]
3	Guillaume Brat	[18] [22]
4	Roberto Cavada	[13]
5	Alessandro Cimatti	[13]
6	Paul R. Cohen	[9]
7	Peter Engrand	[7]
8	Lorraine M. Fesq	[9]
9	Constance L. Heitmeyer (Connie Heitmeyer)	[6]
10	James A. Hendler (Jim Hendler)	[6]
11	Michael G. Hinchey (Mike Hinchey)	[6]
12	Lina Khatib	[9]
13	E. Koerner	[4]
14	John E. Laird	[9]
15	Guy Leduc	[4]
16	Michael van Lent	[9]
17	Luc Léonard	[4]
18	A. E. Lindsey	[14]
19	Alessio Lomuscio	[19]
20	Michael Luck	[6]
21	Tim Menzies	[15]
22	José Vander Meulen	[21]
23	Stacy D. Nelson	[11]
24	Alessandro Provetti	[9]
25	Franco Raimondi	[17] [18] [19] [22]
26	Reid G. Simmons	[8] [10]
27	Tran Cao Son	[9]
28	Diana F. Spears (Diana F. Gordon-Spears, Diana F. Gordon)	[6]
29	Lynn Andrea Stein	[9]
30	Walter Truszkowski (Walt Truszkowski)	[6]
31	Willem Visser	[10]
32	Brian Williams	[16]

Colors in the list of coauthors