| 2007 |
|---|
| 20 | EE | Charles Pecheur:
Verification of Embedded Software: From Mars to Actions.
FMICS 2007: 1 |
| 19 | EE | Alessio Lomuscio,
Charles Pecheur,
Franco Raimondi:
Automatic Verification of Knowledge and Time with NuSMV.
IJCAI 2007: 1384-1389 |
| 18 | EE | Franco Raimondi,
Charles Pecheur,
Guillaume Brat:
Testing Planning Domains (without Model Checkers).
Electr. Notes Theor. Comput. Sci. 190(2): 113-125 (2007) |
| 2006 |
|---|
| 17 | EE | Charles Pecheur,
Franco Raimondi:
Symbolic Model Checking of Logics with Actions.
MoChArt 2006: 113-128 |
| 16 | EE | 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 | EE | 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 | EE | Charles Pecheur:
Challenges Arising from Applications.
FAABS 2002: 236-238 |
| 11 | EE | 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 | EE | Charles Pecheur,
Reid G. Simmons:
From Livingstone to SMV.
FAABS 2000: 103-113 |
| 7 | EE | Peter Engrand,
Charles Pecheur:
Model Checking of Autonomy Models for an In-Situ Propellant Production System.
FAABS 2000: 302-303 |
| 6 | EE | 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 | EE | 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 | EE | 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 | EE | Charles Pecheur:
Using LOTOS for specifying the CHORUS distributed operating system kernel.
Computer Communications 15(2): 93-102 (1992) |
