@Comment 2010
@inproceedings{DBLP:journals/corr/abs-1106-1233,
author = {Bastien Maubert and
Sophie Pinchinat and
Laura Bozzelli},
title = {Opacity Issues in Games with Imperfect Information},
booktitle = {GandALF},
year = {2011},
pages = {87-101},
ee = {http://dx.doi.org/10.4204/EPTCS.54.7},
crossref = {DBLP:journals/corr/abs-1106-0814},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:journals/corr/abs-1106-0814,
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {Proceedings of Second International Symposium on Games,
Automata, Logics and Formal Verification},
booktitle = {GandALF},
series = {EPTCS},
volume = {54},
year = {2011},
ee = {http://dx.doi.org/10.4204/EPTCS.54},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/tcs/BozzelliLP11,
author = {Laura Bozzelli and
Axel Legay and
Sophie Pinchinat},
title = {Hardness of preorder checking for basic formalisms},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {49},
year = {2011},
pages = {6795-6808},
ee = {http://dx.doi.org/10.1016/j.tcs.2011.08.037},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@ARTICLE{Bertrand2011,
author = {Bertrand, Nathalie and Legay, Axel and Pinchinat, Sophie and Raclet,
Jean-Baptiste},
title = {Modal event-clock specifications for timed component-based design},
journal = {Science of Computer Programming},
year = {2011},
note = {In Press, Corrected Proof},
url = {http://dx.doi.org/10.1016/j.scico.2011.01.007}
}
@InProceedings{VP10,
author = {L. Vanhée and S. Pinchinat},
title = "Computing the winning coalitions of a turn-based game with reachability objectives",
booktitle = {2nd Workshop on Games for Design, Verification and
Synthesis, GASICS 2010, Colocated with CONCUR'10,
Paris, France, 4 September 2010.},
key = {AiML2010},
year = 2010
}
@InProceedings{FPvH10,
author = {T. French, S. Pinchinat, and H. van Ditmarsch},
title = "Future event logic: axioms and complexity",
booktitle = {8th International Conference on Advances in Modal Logic, AiML2010, Moscow, Russia, August 24-27, 2010},
key = {AiML2010},
year = 2010,
pages = ""
}
@proceedings{DBLP:conf/lpar/2010d,
editor = {Edmund M. Clarke and
Andrei Voronkov},
title = {Logic for Programming, Artificial Intelligence, and Reasoning
- 16th International Conference, LPAR-16, Dakar, Senegal,
April 25-May 1, 2010, Revised Selected Papers},
booktitle = {LPAR (Dakar)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6355},
year = {2010},
isbn = {978-3-642-17510-7},
ee = {http://dx.doi.org/10.1007/978-3-642-17511-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/lpar/BozzelliLP10,
author = {Bozzelli, Laura and
Legay, Axel and
Pinchinat, Sophie},
title = {Hardness of Preorder Checking for Basic Formalisms},
booktitle = {LPAR (Dakar)},
year = {2010},
pages = {119-135},
ee = {http://dx.doi.org/10.1007/978-3-642-17511-4_8},
crossref = {DBLP:conf/lpar/2010d},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@Comment 20009
@inproceedings{DBLP:conf/fsttcs/BozzelliLP09,
author = {Bozzelli, Laura and
Legay, Axel and
Pinchinat, Sophie},
title = {On Timed Alternating Simulation for Concurrent Timed Games},
booktitle = {FSTTCS},
year = {2009},
pages = {85-96},
ee = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2009.2309},
crossref = {DBLP:conf/fsttcs/2009},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fsttcs/2009,
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {IARCS Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, FSTTCS 2009, December
15-17, 2009, IIT Kanpur, India},
booktitle = {FSTTCS},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
series = {LIPIcs},
volume = {4},
year = {2009},
isbn = {978-3-939897-13-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icfem/2009,
editor = {Karin Breitman and
Ana Cavalcanti},
title = {Formal Methods and Software Engineering, 11th International
Conference on Formal Engineering Methods, ICFEM 2009, Rio
de Janeiro, Brazil, December 9-12, 2009. Proceedings},
booktitle = {ICFEM},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5885},
year = {2009},
isbn = {978-3-642-10372-8},
ee = {http://dx.doi.org/10.1007/978-3-642-10373-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/icfem/BertrandLPR09,
author = {Bertrand, Nathalie and
Legay, Axel and
Pinchinat, Sophie and
Raclet, Jean-Baptiste},
title = {A Compositional Approach on Modal Specifications for Timed
Systems},
booktitle = {ICFEM},
year = {2009},
pages = {679-697},
ee = {http://dx.doi.org/10.1007/978-3-642-10373-5_35},
crossref = {DBLP:conf/icfem/2009},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/rp/MaubertP09,
author = {Maubert, Bastien and
Pinchinat, Sophie},
title = {Games with Opacity Condition},
booktitle = {RP},
year = {2009},
pages = {166-175},
ee = {http://dx.doi.org/10.1007/978-3-642-04420-5_16},
crossref = {DBLP:conf/rp/2009},
bibsource = {DBLP, http://dblp.uni-trier.de}
}@proceedings{DBLP:conf/rp/2009,
editor = {Olivier Bournez and
Igor Potapov},
title = {Reachability Problems, 3rd International Workshop, RP 2009,
Palaiseau, France, September 23-25, 2009. Proceedings},
booktitle = {RP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5797},
year = {2009},
isbn = {978-3-642-04419-9},
ee = {http://dx.doi.org/10.1007/978-3-642-04420-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/deds/BauerP09,
author = {Bauer, Andreas and
Pinchinat, Sophie},
title = {Prognosis of {\it mega}-Languages for the Diagnosis of
{\it }-Languages: A Topological Perspective},
journal = {Discrete Event Dynamic Systems},
volume = {19},
number = {4},
year = {2009},
pages = {451-470},
ee = {http://dx.doi.org/10.1007/s10626-009-0084-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/time/McCabe-DanstedFRP09,
author = {McCabe-Dansted, John Christopher and
French, Tim and
Reynolds, Mark and
Pinchinat, Sophie},
title = {On the Expressivity of RoCTL*},
booktitle = {TIME},
year = {2009},
pages = {37-44},
ee = {http://doi.ieeecomputersociety.org/10.1109/TIME.2009.13},
crossref = {DBLP:conf/time/2009},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/time/2009,
editor = {Carsten Lutz and
Jean-Fran\c{c}ois Raskin},
title = {TIME 2009, 16th International Symposium on Temporal Representation
and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009,
Proceedings},
booktitle = {TIME},
publisher = {IEEE Computer Society},
year = {2009},
isbn = {978-0-7695-3727-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@InProceedings{MP09,
author = {Morvan, C. and Pinchinat, S.},
title = {Diagnosability of Pushdown Systems},
bookTitle = {{P}roceedings of the Haifa Verification Conference},
address = {Haifa, Israel},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6405},
month = {oct},
year = {2009},
note = {also accepted in AutomathA,Liège, Belgium, June 8-12, 2009}
}
@proceedings{DBLP:conf/lata/2009,
editor = {Adrian Horia Dediu and
Armand-Mihai Ionescu and
Carlos Mart\'{\i}n-Vide},
title = {Language and Automata Theory and Applications, Third International
Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009.
Proceedings},
booktitle = {LATA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5457},
year = {2009},
isbn = {978-3-642-00981-5},
ee = {http://dx.doi.org/10.1007/978-3-642-00982-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/lata/BertrandPR09,
author = {Bertrand, Nathalie and
Pinchinat, Sophie and
Raclet, Jean-Baptiste},
title = {Refinement and Consistency of Timed Modal Specifications},
booktitle = {LATA},
year = {2009},
pages = {152-163},
ee = {http://dx.doi.org/10.1007/978-3-642-00982-2_13},
crossref = {DBLP:conf/lata/2009},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icla/2009,
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Logic and Its Applications, Third Indian Conference, ICLA
2009, Chennai, India, January 7-11, 2009. Proceedings},
booktitle = {ICLA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5378},
year = {2009},
isbn = {978-3-540-92700-6},
ee = {http://dx.doi.org/10.1007/978-3-540-92701-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/icla/BerwangerP09,
author = {Berwanger, Dietmar and
Pinchinat, Sophie},
title = {Game Quantification Patterns},
booktitle = {ICLA},
year = {2009},
pages = {116-130},
ee = {http://dx.doi.org/10.1007/978-3-540-92701-3_8},
crossref = {DBLP:conf/icla/2009},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@Comment 2008
@inproceedings{pinchinat08,
author = "Bauer, Andreas and Pinchinat, Sophie",
title = "A Topological Perspective on Diagnosis",
booktitle = "9th International Workshop on Discrete Event Systems, WODES'08, Gothenburg, Sweden, May 28, 2008 - May 30, 2008",
Address = "Gothenburg, Sweden",
Month = "March",
Year = {2008},
}
@techreport{pinchinat08b,
author = "Christophe Morvan and Sophie Pinchinat",
title = "Diagnosis of Pushdown Systems",
institution = {Irisa},
year = {2008},
type = {PI},
number = {1904},
month = {nov}
}
@Comment 2007
@proceedings{DBLP:conf/atva/2007,
editor = {Kedar S. Namjoshi and
Tomohiro Yoneda and
Teruo Higashino and
Yoshio Okamura},
title = {Automated Technology for Verification and Analysis, 5th
International Symposium, ATVA 2007, Tokyo, Japan, October
22-25, 2007, Proceedings},
booktitle = {ATVA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4762},
year = {2007},
isbn = {978-3-540-75595-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/atva/Pinchinat07,
author = {Pinchinat, Sophie},
title = {A Generic Constructive Solution for Concurrent Games with
Expressive Constraints on Strategies},
booktitle = {ATVA},
year = {2007},
pages = {253-267},
ee = {http://dx.doi.org/10.1007/978-3-540-75596-8_19},
crossref = {DBLP:conf/atva/2007},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/deds/FeuilladeP07,
author = {Feuillade, Guillaume and
Pinchinat, Sophie},
title = {Modal Specifications for the Control Theory of Discrete
Event Systems},
journal = {Discrete Event Dynamic Systems},
volume = {17},
number = {2},
year = {2007},
pages = {211-232},
ee = {http://dx.doi.org/10.1007/s10626-006-0008-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@techreport{pinchinat07b,
author = "Pinchinat, Sophie",
title = "Quantified Mu-Calculus with Decision Modalities for Concurrent Game Structures",
month = jan,
year = 2007,
note = "ANU Computer Science Technical Report TR-CS-07-02"
}
@techreport{pinchinat07c,
author = "Pinchinat, Sophie",
title = "A generic constructive solution for concurrent games with expressive constraints on strategies (Full version)",
month = aug,
year = 2007,
note = "IRISA Internal Publication 1861, also to appear as an INRIA Research Report."
}
@Comment 2006
@InProceedings{JMPC2006,
Author = {Jéron, T. and Marchand, H. and Pinchinat, S. and Cordier, M-O.},
Title = {Supervision Patterns in Discrete Event Systems Diagnosis},
BookTitle = {8th Workshop on Discrete Event Systems, WODES'06},
Address = {Ann Arbor, Michigan, USA},
Month = {July},
Year = {2006}
}
@InProceedings{KMP06,
Author = {Komenda, J. and Marchand, H. and Pinchinat, S.},
Title = {A Constructive and Modular Approach to Decentralized Supervisory Control Problems},
BookTitle = {3rd IFAC Workshop on Discrete-Event System Design, DESDes'06},
Address = {Rydzyna Castle, Poland},
Month = {September},
Year = {2006}
}
@Comment 2005
@article{DBLP:journals/ipl/PinchinatR05,
author = {Sophie Pinchinat and
St{\'e}phane Riedweg},
title = {A decidable class of problems for control under partial
observation},
journal = {Inf. Process. Lett.},
volume = {95},
number = {4},
year = {2005},
pages = {454-460},
ee = {http://dx.doi.org/10.1016/j.ipl.2005.04.011},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{RiedwegPinchinat-cdc05,
author = {Pinchinat, Sophie and Riedweg, St{\'}ephane},
title = {On the Architectures in Decentralized Supervisory Control},
address = {Seville, Spain},
booktitle = {{P}roceedings of the 44th {IEEE} {C}onference on Decision and Control and European Control Conference ({CDC-ECC}'05)},
month = dec,
pages = {12-17},
publisher = {{IEEE} Computer Society Press},
url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/PR-cdc05.pdf},
year = {2005},
}
@InProceedings{riedwegpinchinat-acc05,
author = {Riedweg, St{/'}ephane. and Pinchinat, Sophie},
title = "You Can Always Compute Maximally Permissive Controllers Under Partial Observation When They Exist.",
booktitle = {Proc. 2005 American Control Conference, Portland, Oregon, June 8-10 2005},
key = {ACC'05},
year = 2005,
pages = {2287-2292},
volume = {4},
address = {Portland, Oregon},
month = {jun},
notes = {DOI 10.1109/ACC.2005.1470310}
}
@article{Feuillade2005a,
Author = {Feuillade, Guillaume and Pinchinat, Sophie},
Title = {Spécifications modales de réseaux de Petri},
journal = {Journal Européen des Systèmes Automatisés},
Volume = {39},
Number = {1},
Month = {October},
Year = {2005}
}
@InProceedings{RacletP05,
author = {Raclet, Jean-Baptiste and Pinchinat, Sophie},
title = {Supervisory Control Problems for Nondeterministic Discrete-Event Systems: a Logical Approach},
booktitle = {Proceedings of the 16th IFAC Word Congress, Prague, Czech Republic, July 4-8, 2005.},
editor = {Pavel Piztek},
publisher = {ELSEVIER},
year = 2005,
address = {Prague, Czech Republic},
month = {jul},
}
@Comment 2004
@InProceedings{riedwegpinchinat-wodes04,
author = {Riedweg, S. and Pinchinat, S.},
title = "Maximally Permissive Controllers in All Contexts",
booktitle = {Workshop on Discrete Event Systems},
key = {WODES'04},
year = 2004,
pages = "283-288",
address = {Reims, France},
month = {sep},
}
@TechReport{Racl04,
author = {Raclet, J.B. and Pinchinat, S.},
title = {The Control of Non-deterministic Systems : a logical approach},
institution = {Irisa},
year = {2004},
type = {RR},
number = {1648},
month = {nov}
}
@Comment 2003
@proceedings{DBLP:conf/mfcs/2003,
editor = {Branislav Rovan and
Peter Vojt{\'a}s},
title = {Mathematical Foundations of Computer Science 2003, 28th
International Symposium, MFCS 2003, Bratislava, Slovakia,
August 25-29, 2003, Proceedings},
booktitle = {MFCS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2747},
year = {2003},
isbn = {3-540-40671-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/mfcs/RiedwegP03,
author = {Riedweg, St{\'e}phane and
Pinchinat, Sophie},
title = {Quantified Mu-Calculus for Control Synthesis},
booktitle = {MFCS},
year = {2003},
pages = {642-651},
ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2747{\&}spage=642},
crossref = {DBLP:conf/mfcs/2003},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@TechReport{pinchinat03,
author = {Pinchinat, Sophie and Riedweg, St{\'}ephane},
title = "Quantified Mu-Calculus for Control Synthesis",
INSTITUTION = {Irisa},
YEAR = {2003},
number = {RR4793},
month = {april},
}
@Comment 2002
@article{DBLP:journals/entcs/NebutP02,
author = {Mirabelle Nebut and
Sophie Pinchinat},
title = {A Decidable Clock Language for Synchronous Specifications},
journal = {Electr. Notes Theor. Comput. Sci.},
volume = {65},
number = {5},
year = {2002},
ee = {http://www.elsevier.com/gej-ng/31/29/23/117/53/show/Products/notes/index.htt\#013},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@Comment 2001
@TechReport{pinchinat01,
author = "M. Nebut and P. Le Guernic and S. Pinchinat",
title = "Framework to Analyse Synchronous Data-Flow
Specifications",
institution = {Institut de Recherche en Informatique et en Systèmes
Aléatoires (IRISA)},
type = RR,
number = 1402,
month = nov,
year = 2001
}
@Comment 2000
@INPROCEEDINGS{marchand00a,
AUTHOR = {Marchand, H. and Pinchinat, S.},
TITLE = {Supervisory Control Problem using Symbolic
Bisimulation Techniques},
BOOKTITLE = {2000 American Control Conference},
DATE = {28-30},
MONTH = jun,
PAGES = {4067-4071},
YEAR = {2000},
ADDRESS = {Chicago, Illinois, USA},
}
@INPROCEEDINGS{pinchinatM00a,
AUTHOR = {Pinchinat, S. and Marchand, H.},
TITLE = {Symbolic Abstractions of Automata},
BOOKTITLE = {Proc of 5th Workshop on Discrete Event Systems,
WODES 2000},
YEAR = {2000},
PAGES = {39--48},
MONTH = "August",
ADDRESS = {Ghent, Belgium}
}