Mots-clés

Nombre de documents

49

CV Sophie Pinchinat


This is attempt of a CV synthesis from HAL information.


Article dans une revue11 documents

  • Mohamadou Lamine Diouf, Sophie Pinchinat. Complexité de l'algorithme de l'opacité dans les systèmes Workflows centrés sur les documents. Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2016, Volume 25 - 2016 - Special issue CNRIA 2015. 〈hal-01351970v2〉
  • Laura Bozzelli, Hans Van Ditmarsch, Sophie Pinchinat. The complexity of one-agent refinement modal logic. Theoretical Computer Science, Elsevier, 2015, 603, pp.58--83. 〈10.1016/j.tcs.2015.07.015〉. 〈hal-01273557〉
  • Sébastien Chédor, Christophe Morvan, Sophie Pinchinat, Hervé Marchand. Diagnosis and Opacity Problems for Infinite State Systems Modeled by Recursive Tile Systems. Discrete Event Dynamic Systems, Springer Verlag, 2014, 〈http://link.springer.com/article/10.1007/s10626-014-0197-3〉. 〈10.1007/s10626-014-0197-3〉. 〈hal-00994970〉
  • Laura Bozzelli, Sophie Pinchinat. Verification of gap-order constraint abstractions of counter systems. Journal of Theoretical Computer Science (TCS), Elsevier, 2014, pp.36. 〈10.1016/j.tcs.2013.12.002〉. 〈hal-01098739〉
  • Laura Bozzelli, Hans P. Van Ditmarsch, Tim French, James Hales, Sophie Pinchinat. Refinement modal logic. Information and Computation, Elsevier, 2014, 239, pp.37. 〈10.1016/j.ic.2014.07.013〉. 〈hal-01098737〉
  • Bastien Maubert, Sophie Pinchinat. A General Notion of Uniform Strategies. International Game Theory Review, World Scientific Publishing, 2013, 16 (1), pp.33. 〈10.1142/S0219198914400040〉. 〈hal-01098738〉
  • Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. Modal event-clock specifications for timed component-based design. Science of Computer Programming, Elsevier, 2012, pp.1212-1234. 〈10.1016/j.scico.2011.01.007〉. 〈hal-00752449〉
  • Laura Bozzelli, Axel Legay, Sophie Pinchinat. On timed alternating simulation for concurrent timed games. Acta Informatica, Springer Verlag, 2012, Acta Informatica, 49 (4), pp.31. 〈10.1007/s00236-012-0158-y〉. 〈hal-01098747〉
  • Andreas Bauer, Sophie Pinchinat. Prognosis of \it mega-Languages for the Diagnosis of \it -Languages: A Topological Perspective. Discrete Event Dynamic Systems, Springer Verlag, 2009, 19 (4), pp.451-470. 〈inria-00555734〉
  • Guillaume Feuillade, Sophie Pinchinat. Modal Specifications for the Control Theory of Discrete Event Systems. Discrete Event Dynamic Systems, Springer Verlag, 2007, 17 (2), pp.211-232. 〈inria-00555754〉
  • Guillaume Feuillade, Sophie Pinchinat. Spécifications modales de réseaux de Petri. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2005, 39 (1). 〈inria-00556005〉

Communication dans un congrès26 documents

  • Guillaume Aucher, Bastien Maubert, Sophie Pinchinat, François Schwarzentruber. Games with Communication: from Belief to Preference Change. Principles and Practice of Multi-Agent Systems (PRIMA 2015), Oct 2015, Bertinoro, Italy. 2015. 〈hal-01194398〉
  • Laura Bozzelli, Bastien Maubert, Sophie Pinchinat. Unifying Hyper and Epistemic Temporal Logics. Foundations of Software Science and Computation Structures - 18th International Conference, FoSSaCS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, 2015, Unknown, Unknown or Invalid Region. pp.167--182, 2015, 〈10.1007/978-3-662-46678-0_11〉. 〈hal-01273553〉
  • Sophie Pinchinat, Mathieu Acher, Didier Vojtisek. ATSyRa: An Integrated Environment for Synthesizing Attack Trees . Second International Workshop on Graphical Models for Security (GraMSec'15) co-located with CSF'15, Jul 2015, Verona, Italy. Second International Workshop on Graphical Models for Security (GraMSec'15) co-located with CSF'15, Second International Workshop on Graphical Models for Security (GraMSec'15) co-located with CSF'15. 〈hal-01243021〉
  • Guillaume Aucher, Bastien Maubert, Sophie Pinchinat. Automata Techniques for Epistemic Protocol Synthesis. Fabio Mogavero and Aniello Murano and Moshe Y. Vardi. 2nd International Workshop on Strategic Reasoning, Apr 2014, 2014-04-06, France. EPTCS, 146, pp.11, 2014, EPTCS. 〈10.4204/EPTCS.146.13〉. 〈hal-01098740〉
  • Sophie Pinchinat, Mathieu Acher, Didier Vojtisek. Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis. Workshop on Formal Methods in the Development of Software (co-located with SEFM), Sep 2014, Grenoble, France. 2014. 〈hal-01064645〉
  • Nathanaël Fijalkow, Sophie Pinchinat, Olivier Serre. Emptiness Of Alternating Tree Automata Using Games With Imperfect Information. 33rd International Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS 2013), 2013, Guwahati, India. LLIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 24, pp.13, Proceedings of the 33rd International Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS 2013). 〈10.4230/LIPIcs.FSTTCS.2013.299〉. 〈hal-01260682〉
  • Bastien Maubert, Sophie Pinchinat, Laura Bozzelli. The Complexity of Synthesizing Uniform Strategies. Fabio Mogavero and Aniello Murano and Moshe Y. Vardi. 1st International Workshop on Strategic Reasoning, 2013, Mar 2013, Rome, Italy. EPTCS, 112, pp.8, 2013, EPTCS. 〈10.4204/EPTCS.112.17〉. 〈hal-01098745〉
  • Bastien Maubert, Sophie Pinchinat. Jumping Automata for Uniform Strategies. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2013, Guwahati, India. 〈10.4230/LIPIcs.FSTTCS.2013.287〉. 〈hal-01098741〉
  • Laura Bozzelli, Hans P. Van Ditmarsch, Sophie Pinchinat. The Complexity of One-Agent Refinement Modal Logic. 23rd International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. AAAI. 〈hal-01098744〉
  • Laura Bozzelli, Hans Van Ditmarch, Sophie Pinchinat. The Complexity of One-Agent Refinement Modal Logic. 13th European Conference, JELIA 2012, Sep 2012, Toulouse, France. Logics in Artificial Intelligence, 7519, pp.14, LNCS. 〈10.1007/978-3-642-33353-8_10〉. 〈hal-01098749〉
  • Sébastien Chédor, Christophe Morvan, Sophie Pinchinat, Hervé Marchand. Analysis of partially observed recursive tile systems. 11th Int. Workshop on Discrete Event Systems, Oct 2012, Guadalajara, Mexico. pp.265-271, 2012. 〈hal-00743196〉
  • Laura Bozzelli, Axel Legay, Sophie Pinchinat. Hardness of Preorder Checking for Basic Formalisms. LPAR, Apr 2010, Dakar, Senegal. pp.119-135, 2010. 〈inria-00555751〉
  • Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet. Refinement and Consistency of Timed Modal Specifications.. 3rd International Conference on Language and Automata Theory and Applications (LATA'09), Apr 2009, Tarragona, Spain. Springer, 5457, pp.152-163, 2009, LNCS. 〈10.1007/978-3-642-00982-2_13〉. 〈inria-00424283〉
  • Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. A Compositional Approach on Modal Specifications for Timed Systems.. 11th International Conference on Formal Engineering Methods (ICFEM'09), Dec 2009, Rio de Janeiro, Brazil. Springer, 5885, pp.679-697, 2009, LNCS. 〈inria-00424356〉
  • Bastien Maubert, Sophie Pinchinat. Games with Opacity Condition. RP, Sep 2009, Paris, France. pp.166-175, 2009. 〈inria-00555749〉
  • John-Christopher Mccabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat. On the Expressivity of RoCTL. TIME, Jan 2009, Brixen-Bressanone, Italy. pp.37-44, 2009. 〈inria-00555743〉
  • Dietmar Berwanger, Sophie Pinchinat. Game Quantification Patterns. ICLA, Jan 2009, Chennai, India. pp.116-130, 2009. 〈inria-00555746〉
  • Laura Bozzelli, Axel Legay, Sophie Pinchinat. On Timed Alternating Simulation for Concurrent Timed Games. FSTTCS, Dec 2009, Kanpur, India. pp.85-96, 2009. 〈inria-00555977〉
  • Christophe Morvan, Sophie Pinchinat. Diagnosability of pushdown systems. Kedar Namjoshi and Andreas Zeller. Haifa Verification Conference, Oct 2009, Haifa, Israel. Springer, 6405, 2009, LNCS. 〈inria-00525397〉
  • Andreas Bauer, Sophie Pinchinat. A Topological Perspective on Diagnosis. 9th International Workshop on Discrete Event Systems, May 2008, Gothenburg, Sweden. 2008. 〈inria-00555755〉
  • Sophie Pinchinat. A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies. ATVA, Oct 2007, Tokyo, Japan. pp.253-267, 2007. 〈inria-00555753〉
  • Thierry Jéron, Hervé Marchand, Sophie Pinchinat, Marie-Odile Cordier. Supervision Patterns in Discrete Event Systems Diagnosis. Workshop on Discrete Event Systems, WODES'06, Jul 2006, Ann-Arbor, United States. IEEE Computer society, pp.262-268, 2006, 〈10.1109/WODES.2006.1678440〉. 〈inria-00425085〉
  • Jan Komenda, Hervé Marchand, Sophie Pinchinat. A constructive and modular approach to decentralized supervisory Control problems. 3rd IFAC Workshop on Discrete-Event System Design, Sep 2006, Rydzyna, Poland. 2006. 〈inria-00424857〉
  • Thierry Jéron, Hervé Marchand, Sophie Pinchinat, Marie-Odile Cordier. Supervision patterns in discrete event systems. DX'06 (17th International Workshop on Principal of Diagnosis), 2006, Burgos, Spain. pp.117-124, 2006. 〈inria-00463799〉
  • Sophie Pinchinat, Stéephane Riedweg. On the Architectures in Decentralized Supervisory Control. Proceedings of the 44th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC'05), Dec 2005, Seville, Spain. IEEE Computer Society Press, pp.12-17, 2005. 〈inria-00555999〉
  • Stéphane Riedweg, Sophie Pinchinat. You Can Always Compute Maximally Permissive Controllers Under Partial Observation When They Exist.. Proc. 2005 American Control Conference., Jun 2005, Portland, Oregon, United States. 4, pp.2287-2292, 2005. 〈inria-00556003〉

Document associé à des manifestations scientifiques1 document

  • Stéphanie Georges, Sophie Pinchinat. Vers une synthèse d'arbres d'attaque pour une analyse de risques assistée par ordinateur. MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France. 〈hal-00876647〉

Rapport10 documents

  • Sophie Pinchinat, Olivier Serre. Emptiness Of Alternating Parity Tree Automata Using Games With Imperfect Information. [Research Report] PI-1992, 2012, pp.6. 〈hal-00700334〉
  • Bastien Maubert, Sophie Pinchinat. Uniform Strategies. [Research Report] RR-8144, INRIA. 2012. 〈hal-00760370〉
  • Bastien Maubert, Sophie Pinchinat, Laura Bozzelli. Opacity Issues in Games with Imperfect Information. [Research Report] 2011, pp.27. 〈inria-00630077〉
  • Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. A Compositional Approach on Modal Specifications for Timed Systems. [Research Report] RR-7039, INRIA. 2009. 〈inria-00418855〉
  • Christophe Morvan, Sophie Pinchinat. Diagnosis of Pushdown Systems. [Research Report] PI 1904, 2008, pp.19. 〈inria-00337614〉
  • Thierry Jéron, Hervé Marchand, Sophie Pinchinat, Marie-Odile Cordier. Supervision Patterns in Discrete Event Systems Diagnosis. [Research Report] PI 1784, 2006, pp.16. 〈inria-00001113〉
  • Stéphane Riedweg, Sophie Pinchinat. Quantified Loop-mu-calculus for Control under Partial Observation. [Research Report] RR-4949, INRIA. 2003. 〈inria-00071630〉
  • Stéphane Riedweg, Sophie Pinchinat. Quantified Mu-calculus for Control Synthesis. [Research Report] RR-4793, INRIA. 2003. 〈inria-00071793〉
  • Sophie Pinchinat, Hervé Marchand, Michel Le Borgne. Symbolic Abstractions of Automata and their application to the Supervisory Control Problem. [Research Report] RR-3814, INRIA. 1999. 〈inria-00072844〉
  • Olga Kushnarenko, Sophie Pinchinat. Intensional Approaches for Symbolic Methods. [Research Report] RR-3448, INRIA. 1998. 〈inria-00073242〉

Thèse1 document

  • Sophie Pinchinat. Des bisimulations pour la sémantique des systèmes réactifs. Génie logiciel [cs.SE]. Institut National Polytechnique de Grenoble - INPG, 1993. Français. 〈tel-00005141〉