PUBLICATIONS

* Journals, Electronic Journals, Book Chapters * International Conferences and Workshops * Technical and Research Reports, Misc * Thesis

Access

DBLP: Sophie Pinchinat

HAL: Sophie Pinchinat

All BibTex >= 2000

All BibTex < 2000

2012

* On Timed Alternating Simulation for Concurrent Timed Games
L. Bozzelli, S. Pinchinat and A. Legay.
Acta Informatica. To appear.
 
* Verification of gap-order constraint abstractions of counter systems
L. Bozzelli, S. Pinchinat. VMCAI 2012, 13th International Conference on Verification, Model Checking, and Abstract Interpretation, Philadelphia, USA, January 25-27, 2012

2011

* Hardness of preorder checking for basic formalisms
L. Bozzelli, S. Pinchinat and A. Legay.
Theoretical Computer Science 412(49): 6795-6808 (2011) Bibtex
 
* Opacity Issues in Games with Imperfect Information
B. Maubert, S. Pinchinat and L. Bozzelli.
Gandalf 2011, 2nd International Symposium on Games, Automata, Logics and Formal Verification, Minori, Italy, 15-17 June 2011. Bibtex
 
* Modal event-clock specifications for timed component-based design
N. Bertrand, A. Legay, S. Pinchinat, J-B. Raclet.
Science of Computer Programming. To appear (in Press, Corrected Proof). Bibtex
 

2010

* Computing the winning coalitions of a turn-based game with reachability objectives
L. Vanhée and S. Pinchinat.
GASICS 2010 2nd Workshop on Games for Design, Verification and Synthesis, Colocated with CONCUR'10, Paris, France, 4 September 2010. Bibtex
 
* Future event logic: axioms and complexity
T. French, S. Pinchinat, and H. van Ditmarsch.
AiML2010, 8th International Conference on Advances in Modal Logic, Moscow, Russia, August 24-27, 2010. Bibtex
 
* Hardness of preorder checking for basic formalisms
Laura Bozzelli, Sophie Pinchinat and Axel Legay.
LPAR-16, 16th International Conference on Logic for Programming Artificial Intelligence and Reasoning, Dakar, Senegal, April 25-May 1, 2010. Bibtex
 

2009

* On Timed Alternating Simulation for Concurrent Timed Games
Laura Bozzelli, Axel Legay and Sophie Pinchinat.
FSTTCS2009, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science December 15 to 17, 2009, IIT Kanpur, India. Bibtex
 
* A Compositional Approach on Modal Specifications for Timed Systems.
Nathalie Bertrand, Axel Legay, Sophie Pinchinat and Jean-Baptiste Raclet
ICFEM2009, 11th International Conference on Formal Engineering Methods, December 9-12, 2009, Rio de Janeiro, Brazil. Full version available in RR INRIA n°7039. Bibtex
 
* Games with Opacity Condition
Bastien Maubert and Sophie Pinchinat
RP2009, LIX Colloquium Reachability Problems'09, Ecole Polytechnique, France, September 23rd-25th 2009. Bibtex
 
* Diagnosability of Pushdown Systems
Christophe Morvan and Sophie Pinchinat
HVC2009, Haifa Verification Conference, October 19-22, 2009. Organized by IBM R&D Labs in Israel. LNCS 6405, pp. 21-33. (also presented in the workshop Automata: from Mathematics to Applications, Liège, Belgium, June 8-12, 2009). Bibtex
 
* Prognosis of $\omega$-languages for the Diagnosis of $*$-languages: A Topological Perspective. A. Bauer and S. Pinchinat.
Discrete Event Dynamic Systems, 19(4):451-470 (2009). DOI: 10.1007/s10626-009-0084-5. Bibtex
 
* On the Expressivity of RoCTL*
John McCabe-Dansted, Tim French, Sophie Pinchinat and Mark Reynolds
TIME2009, 16th International Symposium on Temporal Representation and Reasoning, Brixen-Bressanone, Italy 23-25 July 2009. Bibtex
 
* Refinement and Consistency of Timed Modal Specifications
Nathalie Bertrand, Sophie Pinchinat and Jean-Baptiste Raclet
LATA2009, 3rd International Conference on Language and Automata Theory and Applications (Tarragona, Spain, April 2-8, 2009), LNCS. Springer 2009. Bibtex
 
* Game Quantification Patterns
D. Berwanger and S. Pinchinat.
ICLA2009, 3rd Indian Conference on Logic and its Applications, Chennai, India, January 7-11, 2009, LNAI 5378, pp. 116-130. Springer 2009. Bibtex
 

2008

* A Topological Perspective on Diagnosis
A. Bauer and S. Pinchinat. 9th International Workshop on Discrete Event Systems (Göteborg, Sweden, May 28-30, 2008). Bibtex
 
* Diagnosis of Pushdown Systems (Full version)
Christophe Morvan and Sophie Pinchinat.
IRISA research report number 1904, 2008. Bibtex
 

2007

* A generic constructive solution for concurrent games with expressive constraints on strategies
S. Pinchinat. 5th International Symposium on Automated Technology for Verification and Analysis (Tokyo, Japan, October 22-25, 2007), LNCS 4762, pages 253-267. Bibtex
 
* Modal Specifications for the Control Theory of Discrete-Event Systems. G. Feuillade and S. Pinchinat.
Discrete Event Dynamic Systems, 17(2):211-232 (2007).
DOI 10.1007/s10626-006-0008-6 NOTES Bibtex
 
* Quantified Mu-Calculus with Decision Modalities for Concurrent Game Structures
S. Pinchinat
Technical Report ANU February 2007. Bibtex
 

2006

* A Constructive and Modular Approach to Decentralized Supervisory Control Problems
J. Komenda and H. Marchand and S. Pinchinat. 3rd International IFAC Workshop on Discrete-Event System Design (Rydzyna Castle, Poland, 26-28 September 2006). Bibtex
 
* Supervision Patterns in Discrete Event Systems Diagnosis
T. Jéron and H. Marchand and S. Pinchinat and M-O. Cordier. 8th International Workshop on Discrete Event Systems (Ann Arbor, Michigan, USA, 10-12 July 2006). Bibtex
 
* A Constructive and Modular Approach to Decentralized Supervisory Control Problems
J. Komenda and H. Marchand and S. Pinchinat.
{3rd IFAC Workshop on Discrete-Event System Design, DESDes'06, Rydzyna Castle, Poland, September 2006.

2005

* On the Architectures in Decentralized Supervisory Control.
S. Pinchinat and S. Riedweg. 44th IEEE Conference on Decision and Control and European Control Conference (Seville, Spain, 12-15 December 2005) Bibtex
 
* You Can Always Compute Maximally Permissive Controllers Under Partial Observation When They Exist.
S. Riedweg and S. Pinchinat. 24th American Control Conference (Portland, Oregon, 8-10 June 2005). Bibtex
 
* Supervisory Control Problems for Nondeterministic Discrete-Event Systems: a Logical Approach.
J-B. Raclet and S. Pinchinat. 16th IFAC World Congress (Prague, Czech Republic, 4-8 July, 2005). Bibtex
 
* Spécifications modales de réseaux de Petri. (in French) G. Feuillade and S. Pinchinat
Journal Européen des Systèmes Automatisés 39(1):287-301 (2005). Bibtex
 
* A Decidable Class of Problems for Control under Partial Observation. S. Pinchinat and S. Riedweg.
Information Processing Letters 95(4):454-460 (2005). Bibtex
 
* The Control of Non-deterministic Systems: a logical approach. J-B. Raclet and S. Pinchinat.
16th IFAC Word Congress, Prague, Czech Republic, July 4-8, 2005. Bibtex
 

2004

* Maximally Permissive Controllers in All Contexts.
S. Riedweg and S. Pinchinat. 7th International Workshop on Discrete Event Systems (Reims, France, 22-24 septembre, 2004). Also in Electronic Journal "Sciences des Technologies et de l'Automatique". Bibtex
 
* The Control of Non-deterministic Systems : a logical approach. Internal Report 2004
S. Pinchinat and J.B. Raclet.
Internal Report 1648, November 2004. Bibtex
 

2003

* Quantified Mu-Calculus for Control Synthesis.
S. Riedweg and S. Pinchinat. 28th International Symposium on Mathematical Foundations of Computer Science (Bratislava, Slovak Republic, August 2003) Bibtex
also available as Inria Research Report
 
* Logical Characterization of Control Problems under Partial Observation.
S. Riedweg and S. Pinchinat.
INRIA Technical Report 4949, September 2003. Bibtex
 
*Quantified Mu-calculus for Control Synthesis. Technical Report 2003
S. Pinchinat and S. Riedweg.
INRIA Technical Report 4793, April 2003. Bibtex
 
* Contribution à l'Analyse des Systèmes Réactifs
Mémoire d'Habilitation à Diriger les Recherches de l'université de Rennes 1, December 2003.

2002

* A decidable clock language for synchronous specifications. M. Nebut and S. Pinchinat.
Electronic Notes in Theoretical Computer Science, vol. 65(5):924-938, 2002. Bibtex
 
* PostscriptA decidable clock language for synchronous specifications. with M. Nebut
Workshop on Synchronous Languages, Applications, and Programming (Grenoble, France, April 2002) Bibtex
 

2001

* A Framework to Analyse Synchronous Data-Flow Specifications. Technical Report 2002
with M. Nebut.
IRISA Technical Report 1402, November 2001. Bibtex
 

2000

* Symbolic Abstractions of Automata.   with H. Marchand
5th Workshop on Discrete Event Systems (Ghent, Belgium, August 2000). Bibtex
 
* Supervisory Control Problem using Symbolic Techniques. with H. Marchand
2000 American Control Conference (Chicago, Illinois, USA, June 2000) Bibtex
 

Before 2000

* Symbolic Abstractions of Automata and their application to the Supervisory Control Problem.
with H. Marchand and M. LeBorgne.
IRISA Research Report 1279, November 1999 Bibtex
 
* Intentional approaches for symbolic methods. O. Kouchnarenko and S. Pinchinat.
23rd International Symposium on Mathematical Foundations of Computer Science (Brno, Czech Republic, August 1998). Bibtex
 
* Taxonomy and expressiveness of preemption : a syntactic approach. with E. Rutten and R.K. Shyamasundar
Asian Computing Science Conference (Manila, The Philippines, December 1998) Bibtex
 
* Intensional approaches for symbolic methods. O. Kouchnarenko and S. Pinchinat.
Electronic Notes in Theoretical Computer Science, vol. 18, 1998. Bibtex
 
* Labeling Automata with Polynomials. with O. Kouchnarenko
ESSLLI 1998 (International Workshop on Reasoning about Actions joint to ESSLLI98, Saarbrueken, Germany, Août 1998) Bibtex
 
* SOS specifications and Compositional ST-semantics. with J.V. Echague
CLI1997 (XXIII Conferencia Latinoamericana de Informaticae, Valparaiso, Chili, Novembre 1997) Bibtex
 
* Preemption primitives in reactive languages (a preliminary report). with E. Rutten and R.K. Shyamasundar
Asian Computing Science Conference (Pathumthani, Thailand, LNCS, Springer-Verlag, December 1995) Bibtex
 
* Structural Operational Semantics for True Concurrency with J.V. Echagüe, Z. Habbas, S. Pinchinat.
15th International Conference of the Chilean Computer Science Society (Arica, Chili, November 1995) Bibtex
 
* Translation Results for Modal Logics of Reactive Systems. F. Laroussinie and S. Pinchinat and Ph. Schnoebelen.
Theoretical Computer Science, 40(1):53-71 (1995). Bibtex
 
* Translation Results for Modal Logics of Reactive Systems. with F. Laroussinie and Ph. Schnoebelen.
3rd International Conference on Methodology and Software Technology (University of Twente, Enschede, The Netherlands, 21-25 June). Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo (Eds.): Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third, 297-306, 1993. Bibtex
 
* Des Bisimulations pour la Sémantique des Systèmes Réactifs
PhD Thesis of université Joseph Fourier, Grenoble, January 1993. Bibtex
 
* On the Weak Adequacy of Branching-Time Remporal Logic
with Philippe Schnoebelen
ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990. LNCS 423. ISBN 3-540-52592-0. Bibtex