


default search action
Charles Pecheur
Person information
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [c34]Simon Busard, Christophe Ponsard, Charles Pecheur:
Verification of Scenario-based Behavioural Models using Capella and PyNuSMV. MODELSWARD 2021: 337-343
2010 – 2019
- 2019
- [j9]Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
:
Comparing approaches for model-checking strategies under imperfect information and fairness constraints. Int. J. Softw. Tools Technol. Transf. 21(4): 449-469 (2019) - 2018
- [j8]Christophe Limbrée, Charles Pecheur:
A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018) - [c33]Simon Busard, Charles Pecheur:
Producing Explanations for Rich Logics. FM 2018: 129-146 - 2017
- [c32]Simon Busard, Charles Pecheur:
A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability. GandALF 2017: 253-267 - [p2]Guillaume Maudoux, Charles Pecheur, Sébastien Combéfis:
Learning Safe Interactions and Full-Control. Handbook of Formal Methods in Human-Computer Interaction 2017: 297-317 - [p1]Guillaume Brat, Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Franco Raimondi, Neha Rungta:
Formal Analysis of Multiple Coordinated HMI Systems. Handbook of Formal Methods in Human-Computer Interaction 2017: 405-431 - 2016
- [j7]Sébastien Combéfis
, Dimitra Giannakopoulou, Charles Pecheur:
Automatic Detection of Potential Automation Surprises for ADEPT Models. IEEE Trans. Hum. Mach. Syst. 46(2): 267-278 (2016) - [c31]Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta:
Verification of Railway Interlocking - Compositional Approach with OCRA. RSSRail 2016: 134-149 - [i1]Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta:
Verification of railway interlocking - Compositional approach with OCRA. CoRR abs/1605.06245 (2016) - 2015
- [j6]Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
:
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. Inf. Comput. 242: 128-156 (2015) - [c30]Simon Busard, Quentin Cappart, Christophe Limbrée, Charles Pecheur, Pierre Schaus:
Verification of railway interlocking systems. ESSS 2015: 19-31 - 2014
- [c29]Sébastien Combéfis, Charles Pecheur, Dimitra Giannakopoulou:
State Event Models for the Formal Analysis of Human-Machine Interactions. AAAI Spring Symposia 2014 - [c28]Denis Javaux, Bertram Wortelen, Andreas Lüdtke, Charles Pecheur, Regina Peldszus, Sonja Sievi, Yuri Yushtein:
A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques. AAAI Spring Symposia 2014 - [c27]Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
:
Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. ICFEM 2014: 27-42 - 2013
- [c26]Simon Busard, Charles Pecheur:
PyNuSMV: NuSMV as a Python Library. NASA Formal Methods 2013: 453-458 - [c25]Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi:
Reasoning about Strategies under Partial Observability and Fairness Constraints. SR 2013: 71-79 - [e3]Charles Pecheur, Michael Dierkes:
Formal Methods for Industrial Critical Systems - 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings. Lecture Notes in Computer Science 8187, Springer 2013, ISBN 978-3-642-41009-3 [contents] - 2012
- [c24]Simon Busard, Charles Pecheur:
Rich Counter-Examples for Temporal-Epistemic Logic Model Checking. IWIGP 2012: 39-53 - 2011
- [c23]José Vander Meulen, Charles Pecheur:
Combining Partial-Order Reduction and Symbolic Model Checking to Verify LTL Properties. NASA Formal Methods 2011: 406-421 - [c22]José Vander Meulen, Charles Pecheur:
Milestones: A Model Checker Combining Symbolic Model Checking and Partial Order Reduction. NASA Formal Methods 2011: 525-531 - [c21]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
- [e2]Charles Pecheur, Jamie Andrews, Elisabetta Di Nitto:
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 [contents]
2000 – 2009
- 2009
- [c20]Sébastien Combéfis
, Charles Pecheur:
A bisimulation-based approach to the analysis of human-computer interaction. EICS 2009: 101-110 - [c19]Charles Pecheur, Franco Raimondi
, Guillaume Brat:
A formal analysis of requirements-based testing. ISSTA 2009: 47-56 - [c18]José Vander Meulen, Charles Pecheur:
Combining Partial Order Reduction with Bounded Model Checking. CPA 2009: 29-48 - 2008
- [c17]José Vander Meulen, Charles Pecheur:
Efficient Symbolic Model Checking for Process Algebras. FMICS 2008: 69-84 - 2007
- [c16]Charles Pecheur:
Verification of Embedded Software: From Mars to Actions. FMICS 2007: 1 - [c15]Alessio Lomuscio, Charles Pecheur, Franco Raimondi:
Automatic Verification of Knowledge and Time with NuSMV. IJCAI 2007: 1384-1389 - [c14]Franco Raimondi
, Charles Pecheur, Guillaume Brat:
Testing Planning Domains (without Model Checkers). MBT 2007: 113-125 - 2006
- [c13]Charles Pecheur, Franco Raimondi
:
Symbolic Model Checking of Logics with Actions. MoChArt 2006: 113-128 - [e1]Charles Pecheur, Brian Williams:
Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005. Electronic Notes in Theoretical Computer Science 149(2), Elsevier 2006 [contents] - 2005
- [j5]Tim Menzies, Charles Pecheur:
Verification and Validation and Artificial Intelligence. Adv. Comput. 65: 154-203 (2005) - [c12]Charles Pecheur, Brian Williams:
Preface. MoChArt@CONCUR/SPIN 2005: 1-2 - 2004
- [c11]A. E. Lindsey, Charles Pecheur:
Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder. TACAS 2004: 357-371 - 2003
- [c10]Alessandro Cimatti, Charles Pecheur, Roberto Cavada:
Formal Verification of Diagnosability via Symbolic Model Checking. IJCAI 2003: 363-369 - 2002
- [c9]Stacy D. Nelson, Charles Pecheur:
Formal Verification for a Next-Generation Space Shuttle. FAABS 2002: 53-67 - [c8]Charles Pecheur:
Challenges Arising from Applications. FAABS 2002: 236-238 - 2001
- [j4]Charles Pecheur, Willem Visser, Reid G. Simmons:
RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems. AI Mag. 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 Mag. 22(3): 117-122 (2001) - 2000
- [c7]Charles Pecheur, Reid G. Simmons:
From Livingstone to SMV. FAABS 2000: 103-113 - [c6]Peter Engrand, Charles Pecheur:
Model Checking of Autonomy Models for an In-Situ Propellant Production System. FAABS 2000: 302-303 - [c5]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 - [c4]Reid G. Simmons, Charles Pecheur, Grama Srinivasan:
Towards automatic verification of autonomous systems. IROS 2000: 1410-1415
1990 – 1999
- 1999
- [j2]Guy Leduc, Olivier Bonaventure, Luc Léonard, Eckhart Koerner, Charles Pecheur:
Model-Based Verification of a Security Protocol for Conditional Access to Services. Formal Methods Syst. Des. 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]Charles Pecheur:
VLib: Infinite Virtual Libraries for LOTOS. PSTV 1993: 29-44 - 1992
- [j1]Charles Pecheur:
Using LOTOS for specifying the CHORUS distributed operating system kernel. Comput. Commun. 15(2): 93-102 (1992)
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint