Publications of Sophie Pinchinat

Load the BibTeX file

Academic Journals

  1. Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. Modal event-clock specifications for timed component-based design. Science of Computer Programming, 2011. details
  2. Laura Bozzelli, Axel Legay, Sophie Pinchinat. Hardness of preorder checking for basic formalisms. Theor. Comput. Sci, 412(49):6795-6808, 2011. details
  3. Guillaume Feuillade, Sophie Pinchinat. Modal Specifications for the Control Theory of Discrete-Event Systems. Discrete Event Dynamic Systems, 17(2):211-232, 2007. details
  4. Guillaume Feuillade, Sophie Pinchinat. Spécifications modales de réseaux de Petri. Journal Européen des Systèmes Automatisés, 39(1), October 2005. details
  5. Sophie Pinchinat, Stéphane Riedweg. A Decidable Class of Problems for Control under Partial Observation. Information Processing Letters, 95(4):454-465, August 2005. details

International Conferences

  1. Bastien Maubert, Sophie Pinchinat, Laura Bozzelli. Opacity Issues in Games with Imperfect Information. In Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, Giovanna D'Agostino, Salvatore La Torre (eds.), EPTCS, Volume 54, Pages 87-101, 2011. details
  2. Laura Bozzelli, Sophie Pinchinat, Axel Legay. Hardness of preorder checking for basic formalisms. In Proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16, Lecture Notes in Articifial Intellingence, Volume 6355, Dakar, Senegal, 2010. details
  3. Hans van Ditmarsch, Tim French, Sophie Pinchinat. Future Event Logic - axioms and complexity. In Proceedings of Advances in Modal Logic, Moscow. Russia (ed.), Lecture Notes in Computer Science, 2010. details
  4. Bastien Maubert, Sophie Pinchinat. Games with Opacity Condition. In Proceedings of the 3rd International Workshop on Reachability Problem, Lecture Notes in Computer Science, Volume 5797, Pages 166-175, Palaiseau, France, 2009. details
  5. Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. A Compositional Approach on Modal Specifications for Timed Systems. In Proc. of the 11th International Conference on Formal Engineering Methods (ICFEM'09), Lecture Notes in Computer Science, Rio de Janeiro, Brazil, December 2009. details
  6. Laura Bozzelli, Sophie Pinchinat, Axel Legay. On Timed Alternating Simulation for Concurrent Timed Games. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009), Leibniz International Proceedings in Informatics, IIT Kanpur, India, December 2009. details
  7. Christophe Morvan, Sophie Pinchinat. Diagnosability of Pushdown Systems. In Proceedings of the Haifa Verification Conference, HVC2009, Haifa, Israel, October 2009. details
  8. John McCabe-Dansted, Tim French, Sophie Pinchinat, Mark Reynolds. On the Expressivity of RoCTL*. In Proceedings of the 16th International Symposium on Temporal Representation and Reasoning, Brixen-Bressanone, Italy, July 2009. details
  9. Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet. Refinement and Consistency of Timed Modal Specifications. In Proceedings of the 3rd International Conference on Language and Automata Theory and Applications (LATA'09), Lecture Notes in Computer Science, Volume 5457, Pages 152-163, Tarragona, Spain, April 2009. details
  10. Dietmar Berwanger, Sophie Pinchinat. Game Quantification Patterns. In Proceedings of the 3rd Indian Conference on Logic and its Applications, ICLA2009, Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming, Lecture Notes in Artificial Intelligence, Volume 5378, Chennai, India, January 2009. details
  11. Dietmar Berwanger, Sophie Pinchinat. Game Quantification Patterns. In Proceedings of the 3rd Indian Conference on Logic and its Applications, ICLA 2009, Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming, Lecture Notes in Artificial Intelligence, Volume 5378, Chennai, India, January 2009. details
  12. Andreas Bauer, Sophie Pinchinat. A Topological Perspective on Diagnosis. In Proceedings of the 9th International Workshop on Discrete Event Systems (WODES'08), B. Lennartson, M. Fabian, K. Akesson, A. Giua, R. Kumar (eds.), Pages 28-30, May 2008. details
  13. Sophie Pinchinat. A generic constructive solution for concurrent games with expressive constraints on strategies. In 5th International Symposium on Automated Technology for Verification and Analysis, Tokyo, Japan, 2007. details
  14. Jan Komenda, Hervé Marchand, Sophie Pinchinat. A Constructive and Modular Approach to Decentralized Supervisory Control Problems. In 3rd IFAC Workshop on Discrete-Event System Design, DESDes'06, Rydzyna Castle, Poland, September 2006. details
  15. Thierry Jéron, Hervé Marchand, Sophie Pinchinat, Marie-Odile Cordier. Supervision Patterns in Discrete Event Systems Diagnosis. In 8th Workshop on Discrete Event Systems, WODES'06, Ann Arbor, Michigan, USA, July 2006. details
  16. Stéphane Riedweg, Sophie Pinchinat. On the Architectures in Decentralized Supervisory Control. In 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005, Seville, Spain, December 2005. details
  17. Jean-Baptiste Raclet, Sophie Pinchinat. The control of non-deterministic Systems: a logical approach. In Proc. 16th IFAC Word Congress, Prague, Czech Republic, July 2005. details
  18. Stéphane Riedweg, Sophie Pinchinat. You Can Always Compute Maximally Permissive Controllers Under Partial Observation When They Exist. In Proc. 2005 American Control Conference, Portland, Oregon, June 2005. details
  19. Stéphane Riedweg, Sophie Pinchinat. Maximally Permissive Controllers in All Contexts. In WODES'04, 7th IFAC Workshop on Discrete Event Systems, September 2004. details
  20. Stéphane Riedweg, Sophie Pinchinat. Quantified Mu-Calculus for Control Synthesis. In MFCS 2003, 28th International Symposium on Mathematical Foundations of Computer Science, Lecture notes in computer science, Volume 2747, Pages 642-651, August 2003. details download
  21. Olga Kushnarenko, Sophie Pinchinat. Intensional Approaches for Symbolic Methods. In Electronic Notes in Theoretical Computer Science, P. Jancar, M. Kretinsky (eds.), Volume 18, 2000. details
  22. Sophie Pinchinat, Hervé Marchand. Symbolic Abstractions of Automata. In Proc of 5th Workshop on Discrete Event Systems, WODES 2000, Pages 39-48, Ghent, Belgium, August 2000. details
  23. Hervé Marchand, Sophie Pinchinat. Supervisory Control Problem using Symbolic Bisimulation Techniques. In 2000 American Control Conference, Pages 4067-4071, Chicago, Illinois, USA, June 2000. details
  24. Sophie Pinchinat, Eric Rutten, R. K. Shyamasundar. Taxonomy and Expressiveness of Preemption: A syntactic approach. In Advances in Computing Science - ASIAN'98, A. Ohori J. Hsiang (ed.), Pages 111-125, Manila, The Philippines, December 1998. details

Research Reports

  1. Christophe Morvan, Sophie Pinchinat. Diagnosis of Pushdown Systems. PI Irisa, No 1904, November 2008. details download
  2. Jean-Baptiste Raclet, Sophie Pinchinat. The Control of Non-deterministic Systems. PI Irisa, No 1648, October 2004. details
  3. Stéphane Riedweg, Sophie Pinchinat. Quantified Loop-mu-calculus for Control under Partial Observation. Research report INRIA Rennes, No 4949, September 2003. details download
  4. Stéphane Riedweg, Sophie Pinchinat. Quantified Mu-calculus for Control Synthesis. Research report INRIA Rennes, No 4793, April 2003. details download
  5. Sophie Pinchinat, Hervé Marchand, Michel Le Borgne. Symbolic Abstractions of Automata and their application to the Supervisory Control Problem Research. Research report IRISA, No 1279, November 1999. details download
  6. Olga Kushnarenko, Sophie Pinchinat. Intensional Approaches for Symbolic Methods. Research report INRIA Rennes, No 3448, July 1998. details download

Misc

  1. Lois Vahne, Sophie Pinchinat. Computing the winning coalitions of a turn-based game with reachability objectives. Paris, France, 2010. details
  2. Olga Kushnarenko, Sophie Pinchinat. Labeling Automata with Polynomials. 10th European Summer School in Logic, Language and Information, 1998. details

Thesis

  1. Sophie Pinchinat. Contributions à l'analyse et au contrôle des systèmes réactifs. Habilitation à diriger des recherches Université de Rennes 1, école doctorale MATISSE, December 2003. details

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.


This page is part the S4 project web site.
It has been automatically generated using the bib2html program.