Items where Author / Artist / Editor is "Pecheur, Charles"
![]() | See full list of headings |
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]