|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14 occurrences of 12 keywords
|
|
|
|
|
Results
Found 29 publication records. Showing 29 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Simon Busard, Charles Pecheur |
Rich Counter-Examples for Temporal-Epistemic Logic Model Checking  |
IWIGP  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Michael Feary |
A formal framework for design and analysis of human-machine interaction. |
SMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | José Vander Meulen, Charles Pecheur |
Milestones: A Model Checker Combining Symbolic Model Checking and Partial Order Reduction. |
NASA Formal Methods |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | José Vander Meulen, Charles Pecheur |
Combining Partial-Order Reduction and Symbolic Model Checking to Verify LTL Properties. |
NASA Formal Methods |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
ASE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sébastien Combéfis, Charles Pecheur |
A bisimulation-based approach to the analysis of human-computer interaction. |
EICS |
2009 |
DBLP DOI BibTeX RDF |
human-computer interaction (HCI) modelling, mode confusion, formal methods, bisimulation |
| 1 | Charles Pecheur, Franco Raimondi, Guillaume Brat |
A formal analysis of requirements-based testing. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
requirements-based testing, coverage metrics |
| 1 | José Vander Meulen, Charles Pecheur |
Combining Partial Order Reduction with Bounded Model Checking. |
CPA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | José Vander Meulen, Charles Pecheur |
Efficient Symbolic Model Checking for Process Algebras. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Raimondi, Charles Pecheur, Guillaume Brat |
Testing Planning Domains (without Model Checkers). |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Charles Pecheur, Franco Raimondi |
Automatic Verification of Knowledge and Time with NuSMV. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Charles Pecheur |
Verification of Embedded Software: From Mars to Actions. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Pecheur, Brian Williams |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Pecheur, Franco Raimondi |
Symbolic Model Checking of Logics with Actions. |
MoChArt |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Menzies, Charles Pecheur |
Verification and Validation and Artificial Intelligence. |
Advances in Computers |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | A. E. Lindsey, Charles Pecheur |
Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Charles Pecheur, Roberto Cavada |
Formal Verification of Diagnosability via Symbolic Model Checking. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Charles Pecheur |
Challenges Arising from Applications. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stacy D. Nelson, Charles Pecheur |
Formal Verification for a Next-Generation Space Shuttle. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2001 |
DBLP BibTeX RDF |
|
| 1 | Charles Pecheur, Willem Visser, Reid G. Simmons |
RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems. |
AI Magazine |
2001 |
DBLP BibTeX RDF |
|
| 1 | Charles Pecheur, Reid G. Simmons |
From Livingstone to SMV. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael G. Hinchey, James A. Hendler, Charles Pecheur, Constance L. Heitmeyer, Diana F. Gordon, Michael Luck, Walt Truszkowski |
Panel Discussion: Future Directions. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Engrand, Charles Pecheur |
Model Checking of Autonomy Models for an In-Situ Propellant Production System. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Pecheur |
Advanced Modelling and Verification Techniques Applied to a Cluster File System. (PDF / PS) |
ASE |
1999 |
DBLP DOI BibTeX RDF |
Compositional Generation, XTL, Model Checking, Formal Method, Specification, Temporal Logic, Distributed File System, LOTOS |
| 1 | Charles Pecheur |
Specification and Verification of the Co4 Distributed Knowledge System using LOTOS. (PDF / PS) |
ASE |
1997 |
DBLP DOI BibTeX RDF |
Co/sub 4/ distributed knowledge system, consensual decision protocol, distributed knowledge base, ISO formal description technique, knowledge consistency, verification, formal specification, formal specification, safety, LOTOS, liveness properties |
| 1 | Charles Pecheur |
VLib: Infinite Virtual Libraries for LOTOS. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Charles Pecheur |
Using LOTOS for specifying the CHORUS distributed operating system kernel. |
Computer Communications |
1992 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")