Charles Pecheur

Busard, Simon ; Pecheur, Charles ; Qu, Hongyang ; Raimondi, Franco. Comparing approaches for model-checking strategies under imperfect information and fairness constraints. In: International Journal on Software Tools for Technology Transfer, Vol. 21, no.4, p. 449-469 (2019). doi:10.1007/s10009-018-0505-6.

http://hdl.handle.net/2078.1/229234

Combéfis, Sébastien ; Giannakopoulou, Dimitra ; Pecheur, Charles. Automatic Detection of Potential Automation Surprises for ADEPT Models. In: IEEE Transactions on Human-Machine Systems, Vol. 46, no. 2, p. 267-278 (2016). doi:10.1109/THMS.2015.2424851.

http://hdl.handle.net/2078.1/173357

Busard, Simon ; Pecheur, Charles ; Qu, Hongyang ; Raimondi, Franco. Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. In: Information and Computation, Vol. 242, no.0, p. 128-156 (2015). doi:10.1016/j.ic.2015.03.014.

http://hdl.handle.net/2078.1/159600

Menzies, Tim ; Pecheur, Charles. Verification and validation and artificial intelligence. In: Advances in Computers, Vol. 65, p. 153-201 (2005). doi:10.1016/S0065-2458(05)65004-8.

http://hdl.handle.net/2078.1/140258

Leduc, Guy ; Bonaventure, Olivier ; Leonard, Luc ; Koerner, Eckhart ; Pecheur, Charles. Model-based verification of a security protocol for conditional acess to services. In: Formal Methods in System Design : an international journal, Vol. 14, no.2, p. 171-191 (1999). doi:10.1023/A:1008683519655.

http://hdl.handle.net/2078.1/135463

Formal Methods for Industrial Critical Systems, éd. Dierkes, Michael ; Pecheur, Charles (Lecture notes in computer sciences; 8187), Springer: Heidelberg, 2013. 978-3-642-41009-3. 212 p.

http://hdl.handle.net/2078.1/134259

Maudoux, Guillaume ; Pecheur, Charles ; Combéfis, Sébastien. Learning Safe Interactions and Full-Control. In: Benjamin Weyers, Philippe Palanque, Judy Bowen et Alan Dix, Formal Methods in Human Computer Interactions, 2017. doi:10.1007/978-3-319-51838-1_11.

http://hdl.handle.net/2078.1/171721

Limbrée, Christophe ; Pecheur, Charles. A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway. In: AVOCS2018 (Accepté/Sous presse).

http://hdl.handle.net/2078.1/199439

Busard, Simon ; Pecheur, Charles. Producing explanations for rich logics. 22nd International symposium on formal methods (Oxford, du 15/07/2018 au 17/07/2018). In: Formal methods : lecture notes in computer science, 2018. 9783319955810, p. 129-146. doi:10.1007/978-3-319-95582-7_8.

http://hdl.handle.net/2078.1/228542

Busard, Simon ; Pecheur, Charles. A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability. Eighth International Symposium on Games, Automata, Logics and Formal Verification (Roma, Italy, du 20/09/2017 au 22/09/2017). In: Proceedings of Eighth International Symposium on Games, Automata, Logics and Formal Verification, Open Publishing Association, 2017. 2075-2180. doi:10.4204/EPTCS.256.18.

http://hdl.handle.net/2078.1/187822

Gillard, Xavier. On the community structure of SAT-BMC problems. PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’17) (Turin, du 18/09/2017 au 22/09/2017).

https://www.duo.uio.no/handle/10852/57814http://hdl.handle.net/2078.1/192969

Limbrée, Christophe ; Cappart, Quentin ; Pecheur, Charles ; Tonetta, Stefano. Verification of Railway Interlocking - Compositional Approach with OCRA. RSSR2016 (Paris, du 28/06/2016 au 30/06/2016). In: Reliability, Safety, and Security of Railway Systems, 2016. 978-3-319-33950-4. doi:10.1007/978-3-319-33951-1_10.

http://hdl.handle.net/2078.1/178596

Maudoux, Guillaume ; Combéfis, Sébastien ; Pecheur, Charles. Tasks Decomposition of System Models for Human-Machine Interaction Analysis. Workshop on Formal Methods in Human Computer Interaction (FoMHCI), in conjunction with ACM SIGCHI Symposium on Enginnering Interactive Computing Systems (EICS) 2015 (Duisburg, Germany, du 23/06/2015 au 23/07/2015) (Accepté/Sous presse).

http://hdl.handle.net/2078.1/162146

Busard, Simon ; Cappart, Quentin ; Limbrée, Christophe ; Pecheur, Charles ; Schaus, Pierre. Verification of railway interlocking systems. 4th International Workshop on Engineering Safety and Security Systems 2015 (Oslo, Norway, 22/06/2015). In: Proceedings 4th International Workshop on Engineering Safety and Security Systems, Vol. 184, no.0, p. 19-31 (2015). doi:10.4204/EPTCS.184.2.

http://hdl.handle.net/2078.1/161206

Javaux , Denis ; Wortelen , Bertram ; Lüdtke, Andreas ; Pecheur, Charles ; Peldszus , Regina ; Sievi , Sonja ; Yushtein, Yuri . A methodology for analyzing human-automation interactions in flight operations using formal verification techniques. AAAI Symposium on Formal Verification in Human-Machine Systems (Palo, Alto, USA, du 24/03/2014 au 26/03/2014). In: Proceedings of AAAI Symposium on Formal Verification in Human-Machine Systems, 2014, p. 1-6.

http://hdl.handle.net/2078.1/140520

Busard, Simon ; Pecheur, Charles ; Qu, Hongyang ; Raimondi, Franco. Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. 16th International Conference on Formal Engineering Methods, ICFEM 2014 (Luxembourg, Luxembourg, du 03/11/2014 au 05/11/2014). In: Formal Methods and Software Engineering, 2014. 978-3-319-11736-2. doi:10.1007/978-3-319-11737-9_3.

http://hdl.handle.net/2078.1/152239

Combéfis, Sébastien ; Giannakopoulou, Dimitra ; Pecheur, Charles. State Event Models for the Formal Analysis of Human-Machine Interactions. AAAI 2014 Symposium "Modeling in Human Machine Systems: Challenges for Formal Verification" (Palo Alto, 2014, du 24/03/2014 au 26/03/2014).

http://hdl.handle.net/2078.1/140256

Busard, Simon ; Pecheur, Charles. PyNuSMV: NuSMV as a Python Library. 5th NASA Formal Methods Symposium (NFM 2013) (NASA Ames Research Center, Moffett Field, CA, USA, du 14/05/2013 au 16/05/2013).

http://hdl.handle.net/2078.1/129114

Busard, Simon ; Pecheur, Charles. PyNuSMV: NuSMV as a Python Library. 5th NASA Formal Methods Symposium (NFM 2013) (NASA Ames Research Center, Moffett Field, CA, USA, du 14/05/2013 au 16/05/2013). In: NASA Formal Methods (Lecture Notes in Computer Science Volume 7871; 7871), 2013. 978-3-642-38087-7, 453-458. doi:10.1007/978-3-642-38088-4_33.

http://hdl.handle.net/2078.1/125454

Busard, Simon ; Pecheur, Charles ; Qu, Hongyang ; Raimondi, Franco. Reasoning about Strategies under Partial Observability and Fairness Constraints. Proceedings 1st International Workshop on Strategic Reasoning (Rome, Italy, du 16/03/2013 au 17/03/2013). In: Electronic Proceedings in Theoretical Computer Science, Vol. 112, p. 71-79 (2013). doi:10.4204/EPTCS.112.12.

http://hdl.handle.net/2078.1/125442

Busard, Simon ; Pecheur, Charles. Rich counter-examples for temporal-epistemic logic model checking. Proceedings Second International Workshop on Interactions, Games and Protocols (IWIGP 2012) (Tallinn, Estonia, du 25/03/2012 au 25/03/2012). In: Electronic Proceedings in Theoretical Computer Science, Vol. 78, p. 39-53 (2012). doi:10.4204/EPTCS.78.4.

http://hdl.handle.net/2078.1/109782

Combéfis, Sébastien ; Giannakopoulou, Dimitra ; Pecheur, Charles ; Mehlitz, Peter. A JavaPathfinder Extension to Analyse Human-Machine Interactions. The Java Pathfinder Workshop 2011 (Oread, Lawrence, Kansas, du 12/11/2011 au 12/11/2011).

http://hdl.handle.net/2078.1/91173

Combéfis, Sébastien ; Giannakopoulou, Dimitra ; Pecheur, Charles ; Feary, Michael. A formal framework for design and analysis of Human-Machine interaction. International Conference on Systems, Man, and Cybernetics (Anchorage, Alaska, du 09/10/2011 au 12/10/2011). In: IEEE International Conference on Systems, Man, and Cybernetics. Conference Proceedings, Vol. Oct 2011, p. 1801-1808. doi:10.1109/ICSMC.2011.6083933.

http://hdl.handle.net/2078.1/91191

Vander Meulen, José ; Pecheur, Charles. Combining Partial-Order reduction and symbolic model checking to verify LTL properties. NFM’11 Proceedings of the Third international conference on NASA Formal methods (du 18/04/2011 au 20/04/2011). In: NASA formal methods (Lecture notes in computer sciences; 6617), Springer: Berlin, 2011. 978-3-642-20397-8, 405-420. doi:10.1007/978-3-642-20398-5_29.

http://hdl.handle.net/2078.1/90720

Combéfis, Sébastien ; Giannakopoulou, Dimitra ; Pecheur, Charles ; Feary, Michael. Learning system abstractions for human operators. International Workshop on Machine Learning Technologies in Software Engineering (Lawrence, Kansas, du 12/11/2011 au 12/11/2011). In: roceedings of the International Workshop on Machine Learning Technologies in Software Engineering, 2011. 978-1-4503-1022-2, 3-10. doi:10.1145/2070821.2070822.

http://hdl.handle.net/2078.1/91174

Vander Meulen, José ; Pecheur, Charles. Milestones: a model checker combining Symbolic model Checking and partial order reduction. NFM'11 Proceedings of the Third international conference on NASA Formal methods (du 18/04/2011 au 20/04/2011). In: NASA formal methods (Lecture notes in computer sciences; 6617), Springer: Berlin, 2011. 978-3-642-20397-8, 525-531. doi:10.1007/978-3-642-20398-5_43.

http://hdl.handle.net/2078.1/90705

Busard, Simon ; Pecheur, Charles. Rich counter-examples for ACTL model checking. Grascomp's Day (Université Libre de Bruxelles, Brussels, Belgium, du 03/11/2011 au 03/11/2011).

http://hdl.handle.net/2078.1/124340

Pecheur, Charles ; Andrews, Jamie ; Di Nitto, Elisabetta. Conference proceedings of ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering. IEEE/ACM International Conference on Automated Software Engineering (Antwerp, Belgium, du 20/09/2010 au 24/09/2010).

http://hdl.handle.net/2078.1/90727

Raimondi, Franco ; Pecheur, Charles ; Brat, Guillaume. Testing Planning Domains (without Model Checkers). Third Workshop on Model-Based Testing (Braga, Portugal , du 31/03/2010 au 01/04/2010). In: Proceedings of the third workshop on model-based testing, 2010.

http://hdl.handle.net/2078.1/140518

Pecheur, Charles ; Raimondi, Franco ; Brat, Guillaume. A Formal Analysis of Requirements-Based Testing. ISSTA 2009 : Proceedings of the Eighteenth International Symposium on Software Testing and Analysis (Chicago, IL, USA, du 19/07/2009 au 23/07/2009). In: Proceedings of the eighteenth international symposium on Software testing and analysis, ACM, 2009. 978-1-60558-338-9, 1-9.

http://hdl.handle.net/2078.1/79725

Combéfis, Sébastien ; Pecheur, Charles. A bisimulation-based approach to the analysis of human-computer interaction. the acm sigchi symposium on engineering interactive computing systems (Pittsburgh, Pennsylvania, USA., du 15/07/2009 au 17/07/2009). In: Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems, ACM, 2009. 978-1-60558-600-7, 101-110.

http://hdl.handle.net/2078.1/79437

Vander Meulen, José ; Pecheur, Charles. Combining Partial Order Reduction with Bounded Model Checking. Proceedings of Communicating Process Architectures (Eindhoven, du 01/11/2009 au 04/11/2009). In: Communicating Process Architectures 2009, IOS Press, 2009. 978-1-60750-065-0, 29-48.

http://hdl.handle.net/2078.1/79717

Raimondi, Franco ; Pecheur, Charles ; Brat, Guillaume. PDVer, a Tool to Verify PDDL Planning Domains. Proceedings of ICAPS'09 Workshop on Verification and Validation of Planning and Scheduling Systems (Thessaloniki, Greece, du 20/09/2009 au 20/09/2009).

http://hdl.handle.net/2078.1/79737

Vander Meulen, José ; Pecheur, Charles. Efficient symbolic model checking for process algebras. Proceedings of 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008) (L'Aquila, Italy, du 15/09/2008 au 16/09/2008). In: Formal Methods for Industrial Critical Systems (Lecture Notes in Computer Science Volume 5596, 2009, pp 69-84; 5596), 2008. 978-3-642-03240-0, 69-84.

http://hdl.handle.net/2078.1/79719

Pecheur, Charles. Verification of embedded software: from mars to actions. Formal Methods for Industrial Critical Systems. 12th International Workshop, FMICS 2007 (Berlin, Germany, 1-2 July 2007). In: Formal Methods for Industrial Critical Systems. 12th International Workshop, FMICS 2007, Springer-verlag, 2008. 3-540-79706-8, p. 1.

http://hdl.handle.net/2078.1/67672

Lomuscio, Alessio ; Pecheur, Charles ; Raimondi, Franco. Automatic Verification of Knowledge and Time with NuSMV. Proceedings of IJCAI 07 (Hyderabad, India, du 06/01/2007 au 12/01/2007). In: Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI/ AAAI Press, 2007. 978-1-57735-298-3, 1384-1389.

http://hdl.handle.net/2078.1/79759

Pecheur, Charles ; Raimondi, Franco. Symbolic Model Checking of Logics with Actions. Proceedings of MOCHART 4: Model Checking and Artificial Intelligence (Riva del Garda, Italy, du August 29, 2006 au 29/08/2006). In: Model Checking and Artificial Intelligence (Lecture Notes in Computer Science; 4428), Springer: Berlin, 2007. 978-3-540-74127-5, 113-128.

http://hdl.handle.net/2078.1/79761

Raimondi, Franco ; Pecheur, Charles ; Brat, Guillaume. Testing Planning Domains (without Model Checkers). Third Workshop on Model-Based Testing (MBT 2007) (Braga, Portugal, du 31/03/2007 au 01/04/2007). In: Electronic Notes in Theoretical Computer Science, Vol. 190, no. 2, p. 113-125 (2007).

http://hdl.handle.net/2078.1/79756

Pecheur, Charles ; Simmons, Reid . From Livingstone to SMV. First InternationalWorkshop, FAABS (Greenbelt, USA, du 05/04/2000 au 07/04/2000). In: Formal Approaches to Agent-Based Systems, Lecture Notes in Computer Science, 2006. 978-3-540-42716-2, p. 103-113 .

http://hdl.handle.net/2078.1/140284

Raimondi, Franco ; Pecheur, Charles ; Lomuscio, Alessio. Applications of model checking for multi-agent systems: verification of diagnosability and recoverability . CSP 200 (Ruciane-Nida, Poland). In: Proceedings of Concurrency Specification and Programming (CSP 2005), Ruciane-Nida, Poland, 2005.

http://hdl.handle.net/2078.1/140261