Main

Full Bibliography

  1. Christophe Limbrée, Charles Pecheur. A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway.. 2018.
  2. Simon Busard, Charles Pecheur. A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability. Patricia Bouyer, Andrea Orlandini, Pierluigi San Pietro, eds. Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, Roma, Italy, 20-22 September 2017. Electronic Proceedings in Theoretical Computer Science vol. 256 pp. 253-267. Open Publishing Association 2017.
  3. Simon Busard. Symbolic model checking of multi-modal logics: uniform strategies and rich explanations. vol. 610. Doctoral thesis, Université catholique de Louvain 2017.
  4. Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta?. Verification of railway interlocking - Compositional approach with OCRA. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. Lecture Notes in Computer Science vol. 9707 pp. 134--149. Springer International Publishing 2016.
  5. Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur. Automatic Detection of Potential Automation Surprises for ADEPT Models. IEEE Transactions on Human-Machine Systems vol. 46(2) pp. 267--278. 2016.
  6. Simon Busard, Quentin Cappart, Christophe Limbrée, Charles Pecheur, Pierre Schaus. Verification of railway interlocking systems. ang, Jun and Liu, Yang and Mauw, Sjouke, eds. Proceedings 4th International Workshop on Engineering Safety and Security Systems, Oslo, Norway, June 22, 2015. Electronic Proceedings in Theoretical Computer Science vol. 184 pp. 19-31. Open Publishing Association 2015.
  7. Guillaume Maudoux, Sébastien Combéfis, Charles Pecheur. Tasks Decomposition of System Models for Human-Machine Interaction Analysis. Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque, eds. Proceedings of the Workshop on Formal Methods for Human Computer Interaction 2015. pp. 7-12. 2015.
  8. Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi. Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. Information and Computation vol. 242(0) pp. 128-156. 2015.
  9. Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi. Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. Stephan Merz, Jun Pang, eds. Formal Methods and Software Engineering. Lecture Notes in Computer Science vol. 8829 pp. 27-42. Springer International Publishing 2014.
  10. 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. Eric G. Mercer, Michael A. Goodrich, Neha Rungta, Ellen Bass , eds. Proceedings of AAAI Symposium on Formal Verification in Human-Machine Systems.. AAAI 2014.
  11. Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur. State Event Models for the Formal Analysis of Human-Machine Interactions. Eric G. Mercer, Michael A. Goodrich, Neha Rungta, Ellen Bass, eds. Proceedings of AAAI Symposium on Formal Verification in Human-Machine Systems.. AAAI 2014.
  12. Sébastien Combéfis. A Formal Framework for the Analysis of Human-Machine Interactions. vol. 459. Doctoral thesis, Université catholique de Louvain 2013.
  13. Charles Pecheur, Michael Dierkes (Eds.). Formal Methods for Industrial Critical Systems, 18th International Workshop (FMICS 2013). LNCS vol. 8187. Springer 2013.
  14. Simon Busard, Charles Pecheur. PyNuSMV: NuSMV as a Python Library. G. Brat, N. Rungta, and A. Venet, eds. Nasa Formal Methods 2013. LNCS vol. 7871 pp. 453-458. Springer-Verlag 2013.
  15. Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi. Reasoning about Strategies under Partial Observability and Fairness Constraints. Mogavero, Fabio and Murano, Aniello and Vardi, Moshe Y., eds. Proceedings 1st International Workshop on Strategic Reasoning, Rome, Italy, March 16-17, 2013. Electronic Proceedings in Theoretical Computer Science vol. 112 pp. 71-79. Open Publishing Association 2013.
  16. José Vander Meulen. Combining Partial Order Reduction with Symbolic Model Checking. vol. 370. Doctoral thesis, Université catholique de Louvain 2012.
  17. Simon Busard, Charles Pecheur. Rich Counter-Examples for Temporal-Epistemic Logic Model Checking. Johannes Reich and Bernd Finkbeiner, eds. Proceedings Second International Workshop on Interactions, Games and Protocols, Tallinn, Estonia, 25th March 2012. Electronic Proceedings in Theoretical Computer Science vol. 78 pp. 39-53. Open Publishing Association 2012.
  18. Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Peter Mehlitz. A JavaPathfinder Extension to Analyse Human-Machine Interactions. Java Pathfinder Workshop 2011.. 2011.
  19. Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Michael Feary. Learning System Abstractions for Human Operators. International Workshop on Machine Learning Technologies in Software Engineering.. 2011.
  20. José Vander Meulen, Charles Pecheur . Combining Partial Order Reduction and Symbolic Model Checking to verify LTL properties. Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi , eds. NASA FORMAL METHODS 2011. LNCS vol. 6617. Springer 2011.
  21. José Vander Meulen, Charles Pecheur. Milestones: A Model Checker Combining Symbolic Model Checking and Partial Order Reduction. Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi, eds. NASA FORMAL METHODS 2011. LNCS vol. 6617. Springer 2011.
  22. Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Michael Feary. A Formal Framework for Design and Analysis of Human-Machine Interaction. 2011 IEEE International Conference on Systems, Man, and Cybernetics.. IEEE 2011.
  23. Charles Pecheur, Jamie Andrews, Elisabetta Di Nitto (Eds.). 25th IEEE-ACM International Conference on Automated Software Engineering.. ACM 2010. Conference proceedings.
  24. José Vander Meulen, Charles Pecheur. Combining Partial Order Reduction with Bounded Model Checking. Proceedings of Communicating Process Architectures 2009, Eindhoven, Netherlands.. IOS Press 2009.
  25. Sébastien Combéfis, Charles Pecheur. A Bisimulation-Based Approach to the Analysis of Human-Computer Interaction. G. Calvary and {T. N.} Graham and P. Gray, eds. ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2009, Pittsburgh, PA. pp. 101--110. ACM 2009.
  26. Charles Pecheur, Franco Raimondi, Guillaume Brat. A Formal Analysis of Requirements-Based Testing. ACM, eds. 2009 International Conference on Software Testing and Analysis (ISSTA), Chicago, IL.. 2009.
  27. Franco Raimondi, Charles Pecheur, Guillaume Brat. PDVer, a Tool to Verify PDDL Planning Domains. Proceedings of ICAPS'09 Workshop on Verification and Validation of Planning and Scheduling Systems, Thessaloniki, Greece.. 2009.
  28. Sébastien Combéfis. Operational Model: Integrating User Tasks and Environment Information with System Model. 3rd International Workshop on Formal Methods for Interactive Systems (FMIS 2009), Eindhoven, Netherlands.. 2009. Short paper.
  29. José Vander Meulen, Charles Pecheur. Efficient Symbolic Model Checking for Process Algebras. Proceedings of 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008), L'Aquila, Italy. LNCS vol. 5596. Springer 2008.
  30. Franco Raimondi, Charles Pecheur, Guillaume Brat. Testing Planning Domains (without Model Checkers). Third Workshop on Model-Based Testing (MBT 2007), Braga, Portugal.. 2007.
  31. Charles Pecheur, Franco Raimondi. Symbolic Model Checking of Logics with Actions. Springer, eds. Workshop on Model Checking and Artificial Intelligence (MOCHART), Riva del Garda, Italy, 29 Aug 2006. LNAI vol. 4428. 2007.
  32. Alessio Lomuscio, Charles Pecheur, Franco Raimondi. Automatic Verification of Knowledge and Time with NuSMV. 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India.. 2007.
  33. Charles Pecheur, Reid Simmons, Peter Engrand. Formal Verification of Autonomy Models: From Livingstone to SMV. Rouff, C. and Hinchey, M. and Rash, J. and Truszkowski, W. and Gordon-Spears, D., eds. Agent Technology from a Formal Perspective. NASA Monographs in Systems and Software Engineering. Springer Verlag 2006.
  34. Franco Raimondi, Charles Pecheur, Alessio Lomuscio. Applications of model checking for multi-agent systems: verification of diagnosability and recoverability. Proceedings of Concurrency Specification and Programming (CSP 2005), Ruciane-Nida, Poland.. 2005.
  35. Tim Menzies, Charles Pecheur. Verification and Validation and Artificial Intelligence. M. Zelkowitz, eds. Advances in Computers, vol. 65.. Elsevier 2005.