- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c22 |      | Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi: Reasoning about Strategies under Partial Observability and Fairness Constraints. SR 2013: 71-79 |
| 2012 | ||
| c21 | | Simon Busard, Charles Pecheur: Rich Counter-Examples for Temporal-Epistemic Logic Model Checking. IWIGP 2012: 39-53 |
| 2011 | ||
| c20 | | José Vander Meulen, Charles Pecheur: Combining Partial-Order Reduction and Symbolic Model Checking to Verify LTL Properties. NASA Formal Methods 2011: 406-421 |
| c19 | | José Vander Meulen, Charles Pecheur: Milestones: A Model Checker Combining Symbolic Model Checking and Partial Order Reduction. NASA Formal Methods 2011: 525-531 |
| c18 | | Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Michael Feary: A formal framework for design and analysis of human-machine interaction. SMC 2011: 1801-1808 |
| 2010 | ||
| e1 |  | Charles Pecheur, Jamie Andrews, Elisabetta Di Nitto (Eds.): ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010. ACM 2010, isbn 978-1-4503-0116-9 |
| 2009 | ||
| c17 | | Sébastien Combéfis, Charles Pecheur: A bisimulation-based approach to the analysis of human-computer interaction. EICS 2009: 101-110 |
| c16 | | Charles Pecheur, Franco Raimondi, Guillaume Brat: A formal analysis of requirements-based testing. ISSTA 2009: 47-56 |
| c15 | | José Vander Meulen, Charles Pecheur: Combining Partial Order Reduction with Bounded Model Checking. CPA 2009: 29-48 |
| 2008 | ||
| c14 | | José Vander Meulen, Charles Pecheur: Efficient Symbolic Model Checking for Process Algebras. FMICS 2008: 69-84 |
| 2007 | ||
| j7 | | Franco Raimondi, Charles Pecheur, Guillaume Brat: Testing Planning Domains (without Model Checkers). Electr. Notes Theor. Comput. Sci. 190(2): 113-125 (2007) |
| c13 | | |
| c12 | | Alessio Lomuscio, Charles Pecheur, Franco Raimondi: Automatic Verification of Knowledge and Time with NuSMV. IJCAI 2007: 1384-1389 |
| 2006 | ||
| j6 | | |
| c11 | | Charles Pecheur, Franco Raimondi: Symbolic Model Checking of Logics with Actions. MoChArt 2006: 113-128 |
| 2005 | ||
| j5 | | Tim Menzies, Charles Pecheur: Verification and Validation and Artificial Intelligence. Advances in Computers 65: 154-203 (2005) |
| 2004 | ||
| c10 | | A. E. Lindsey, Charles Pecheur: Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder. TACAS 2004: 357-371 |
| 2003 | ||
| c9 | | Alessandro Cimatti, Charles Pecheur, Roberto Cavada: Formal Verification of Diagnosability via Symbolic Model Checking. IJCAI 2003: 363-369 |
| 2002 | ||
| c8 | | Stacy D. Nelson, Charles Pecheur: Formal Verification for a Next-Generation Space Shuttle. FAABS 2002: 53-67 |
| c7 | | |
| 2001 | ||
| j4 | | Charles Pecheur, Willem Visser, Reid G. Simmons: RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems. AI Magazine 22(3): 107-111 (2001) |
| j3 | | 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 | ||
| c6 | | |
| c5 | | Peter Engrand, Charles Pecheur: Model Checking of Autonomy Models for an In-Situ Propellant Production System. FAABS 2000: 302-303 |
| c4 | | 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 | ||
| j2 | | 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) |
| c3 | | Charles Pecheur: Advanced Modelling and Verification Techniques Applied to a Cluster File System. ASE 1999: 119-126 |
| 1997 | ||
| c2 | | Charles Pecheur: Specification and Verification of the Co4 Distributed Knowledge System using LOTOS. ASE 1997: 63-70 |
| 1993 | ||
| c1 | | |
| 1992 | ||
| j1 | | Charles Pecheur: Using LOTOS for specifying the CHORUS distributed operating system kernel. Computer Communications 15(2): 93-102 (1992) |
| 1 | James H. Andrews (J. H. Andrews, Jamie Andrews) | |
| 2 | Ella M. Atkins | |
| 3 | Olivier Bonaventure | |
| 4 | Guillaume Brat | |
| 5 | Simon Busard | |
| 6 | Roberto Cavada | |
| 7 | Alessandro Cimatti | |
| 8 | Paul R. Cohen | |
| 9 | Sébastien Combéfis | |
| 10 | Peter Engrand | |
| 11 | Michael Feary | |
| 12 | Lorraine M. Fesq | |
| 13 | Dimitra Giannakopoulou | |
| 14 | Constance L. Heitmeyer (Connie Heitmeyer) | |
| 15 | James A. Hendler (Jim Hendler) | |
| 16 | Michael G. Hinchey (Mike Hinchey) | |
| 17 | Lina Khatib | |
| 18 | E. Koerner | |
| 19 | John E. Laird | |
| 20 | Guy Leduc | |
| 21 | Michael van Lent | |
| 22 | A. E. Lindsey | |
| 23 | Alessio Lomuscio | |
| 24 | Michael Luck | |
| 25 | Luc Léonard | |
| 26 | Tim Menzies | |
| 27 | José Vander Meulen | |
| 28 | Stacy D. Nelson | |
| 29 | Elisabetta Di Nitto | |
| 30 | Alessandro Provetti | |
| 31 | Hongyang Qu | |
| 32 | Franco Raimondi | |
| 33 | Reid G. Simmons | |
| 34 | Tran Cao Son | |
| 35 | Diana F. Spears (Diana F. Gordon-Spears, Diana F. Gordon) | |
| 36 | Lynn Andrea Stein | |
| 37 | Walter Truszkowski (Walt Truszkowski) | |
| 38 | Willem Visser | |
| 39 | Brian Williams |
Colors in the list of coauthors
Last update Wed May 22 11:50:35 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page