Items where Author / Artist / Editor is "Pecheur, Charles"

Article

Busard, Simon, Pecheur, Charles, Qu, Hongyang and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2019) Comparing approaches for model-checking strategies under imperfect information and fairness constraints. International Journal on Software Tools for Technology Transfer, 21 (4) . pp. 449-469. ISSN 1433-2779 [Article] (doi:10.1007/s10009-018-0505-6)

Book Section

Pecheur, Charles, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Brat, Guillaume (2009) A formal analysis of requirements-based testing. In: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis. Rothermel, Gregg and Dillon, Laura, eds. Association for Computing Machinery, pp. 47-56. ISBN 9781605583389. [Book Section] (doi:10.1145/1572272.1572279)

Conference or Workshop Item

Busard, Simon, Pecheur, Charles, Qu, Hongyang and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2014) Improving the model checking of strategies under partial observability and fairness constraints. Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. In: 16th International Conference on Formal Engineering Methods, ICFEM 2014, 3-5 Nov 2014, Luxembourg. ISBN 9783319117362. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-319-11737-9_3)

Busard, Simon, Pecheur, Charles, Qu, Hongyang and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2013) Reasoning about strategies under partial observability and fairness constraints. Electronic Proceedings in Theoretical Computer Science, 112: Proceedings 1st International Workshop on Strategic Reasoning Rome, Italy, March 16-17, 2013. In: 1st International Workshop on Strategic Reasoning, 16-17 Mar 2013, Rome, Italy. . ISSN 2075-2180 [Conference or Workshop Item]

Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Pecheur, Charles and Brat, Guillaume (2009) PDVer, a tool to verify PDDL planning domains. In: ICAPS'09 Workshop on Verification and Validation of Planning and Scheduling Systems, September 20, 2009, Thessaloniki, Greece. . [Conference or Workshop Item]