Présentation du projet / Presentation of the project

Comment préparer votre voyage en Inde

Participants en France / Members in France

How to prepare your trip to France

Participants en Inde / Members in India

Comment préparer l'accueil d'un voyageur indien en France

Publications

Activités / Activities


Présentation du projet / Presentation of the project

This 4-year Indo-French started in the Fall of 2005. It is funded under the P2R / RNP scheme (Projet de Recherche en Réseau / Research network Project)

Participants en France / Members in France

LIAFA
Université Paris 7
CNRS (UMR 7089)
LaBRI
Université Bordeaux 1
CNRS (UMR 5800)
LSV
ENS Cachan
CNRS (UMR 8643)

Eugène Asarin

David Janin

Benedikt Bollig

Antoine Meyer

Anca Muscholl

Patricia Bouyer

Wieslaw Zielonka

Igor Walukiewicz

Stéphane Demri


Pascal Weil

Paul Gastin


Marc Zeitoun

Antoine Petit

Participants en Inde / Members in India

Chennai Mathematical
Institute (CMI)
Institute of Mathematical
Sciences (IMSc), Chennai
Indian Institute of Science
(IISc), Bangalore

Bharat Adsul

Kamal Lodaya

Deepak D'Souza

Madhavan Mukund

R. Ramanujam


K. Narayan Kumar



Les doctorants et post-doctorants des équipes participant au projet, en France et en Inde, sont également membres de ce projet.
Doctoral and post-doctoral fellows in the participating teams, in France and in India are also considered members of this project.

Publications réalisées dans le cadre du projet / Publications under the project

2009. Nutan Limaye, Meena Mahajan and Antoine Meyer. On the complexity of membership and counting in height-deterministic pushdown automata, J. Automata, Languages and Combinatorics 14(3), 211-235 (2009).

2009. Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick and Luc Segoufin. Two-variable logic on data trees and XML reasoning, J. ACM 56(3) (2009).

2009. Fabrice Chevalier, Deepak D'Souza, Raj Mohan M. and Pavithra Prabhakar. Automata and logics for finitely varying functions. Annals of Pure and Applied Logic 161 (3), 324-336, .

2009. Stéphane Demri, Deepak D'Souza and Regis Gascon. Temporal logics of repeating values, accepted subject to minor revisions in J. Logic and Computation.

2009. Mikolaj Bojanczyk , Howard Straubing and Igor Walukiewicz. Wreath Products of Forest Algebras, with Applications to Tree Logics, in Proceedings of LICS'09, pp. 255-263

2009. Pawel Parys and Igor Walukiewicz. Weak Alternating Timed Automata, in Proceedings of ICALP'09, Lect. Notes in Computer Science 5556 pp. 273--284, Springer, 2009.

2008. V. Diekert and P. Gastin. First-order definable languages.  In Logic and Automata: History and Perspectives, Texts in Logic and Games 2, Amsterdam University Press, 2008, pp. 261-306.

2008. V. Diekert, P. Gastin and M. Kufleitner.  A Survey on Small Fragments of First-Order Logic over Finite Words, International Journal of Foundations of Computer Science 19(3) 513-548 (2008).

2008. M. Droste and P. Gastin. On aperiodic and star-free formal power series in partially commuting variables, Theory of Computing Systems 42(4) 608-631 (2008).

2008. S. Akshay, B. Bollig, P. Gastin, M. Mukund and K. Narayan Kumar. Distributed Timed Automata with Independently Evolving Clocks. In CONCUR'08, Lect. Notes in Computer Science 5201, pp. 82-97, Springer, 2008.

2008. Anca Muscholl, Igor Walukiewicz and Marc Zeitoun. A look at the control of asynchronous automata, in K. Lodaya, M. Mukund, R. Ramanujam, eds. Perspectives in Concurrency Theory (2008) 356—371.

2008. Blaise Genest, Anca Muscholl, Olivier Serre and Marc Zeitoun. Tree Pattern Rewriting Systems, in ATVA 2008, Lect. Notes in Computer Science 5311, pp. 332-346, Springer, 2008.

2008. Helmut Seidl, Thomas Schwentick and Anca Muscholl. Counting in trees. In Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas], Texts in Logic and Games 2, Amsterdam University Press, 2008, pp. 575-612.

2008. Blaise Genest and Anca Muscholl. Pattern Matching and Membership for Hierarchical Message Sequence Charts, Theory Comput. Syst. 42(4) 536-567 (2008).

2008. Puneet Bhateja and Madhavan Mukund. Timestamps make local testing of message sequence charts feasible.

2008. S. Akshay, Madhavan Mukund and K. Narayan Kumar. Checking Conformance for Timed Message-Passing Systems.

2008. K. Lodaya, P.K. Pandya and S.S. Shah. Marking the chops: an unambiguous temporal logic, Proc. 5th IFIP TCS, Milano (G. Ausiello, J. Karhum\"aki, G. Mauri and L. Ong, eds.), IFIP Series 273 (Springer, 2008), pp. 461-476.

2008 Anca Muscholl, Igor Walukiewicz. A lower bound on web services composition. Logical Methods in Computer Science. 4(2:5) 2008. DOI 10.2168/LMCS-4(2:5)2008

2008. Nutan Limaye, Meena Mahajan and Antoine Meyer. On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata, Computer Science in Russia 2008, Lect. Notes in Computer Science 5010, Springer, 2008, pp. 240-251.

2007. Blaise Genest, Dietrich Kuske and Anca Muscholl. On communicating automata with bounded channels, Fundamenta Informatica 80(2), 147-167, 2007.

2007. Andre Arnold and Igor Walukiewicz. Nondeterministic controllers of nondeterministic processes, in J. Flum, E. Graedel, T. Wilke eds. Logic and Automata, Texts in Logic and Games, pp. 29-52, Amsterdam University Press, 2007.

2007. S. Akshay, Benedikt Bollig and Paul Gastin. Automata and Logics for Timed Message Sequence Charts, Proceedings of the 27th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'07), New Delhi, India, Lect. Notes in Computer Science, Springer, 2007.

2007. Benedikt Bollig, Dietrich Kuske and Ingmar Meinecke. Propositional Dynamic Logic for Message-Passing Systems, Proceedings of the 27th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'07), New Delhi, India, Lect. Notes in Computer Science, Springer, 2007.

2007. Puneet Bhateja, Paul Gastin, Madhavan Mukund and K. Narayan Kumar. Local testing of message sequence charts is difficult, Proc. FCT 2007, Lect. Notes in Computer Science 4639, Springer, 2007.

2007. Antoine Meyer. Traces of rational graphs. Proc. Mathematical Foundations of Computer Science (MFCS), Lect. Notes in Computer Science, Springer, 2007.

2007. S. Akshay, Madhavan Mukund and K. Narayan Kumar. Checking Coverage for Infinite Collections of Timed Scenarios. Proc. CONCUR 2007, Lect. Notes in Computer Science, Springer, 2007.

2007. Béatrice Bérard, Paul Gastin and Antoine Petit. Timed substitutions for regular signal-event languages. Formal Methods in System Design, 2007. To appear. DOI: 10.1007/s10703-007-0034-5

2007. Fabrice Chevalier (LSV), Deepak D'Souza (CSA, IISc), Pavithra Prabhakar (U. Illinois). Counter-free input-determined timed automata. In Proceedings of the 5th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'07), Lect. Notes in Computer Science, Springer.

2007. Stéphane Demri (LSV), Deepak D'Souza (CSA, IISc), Régis Gascon (LSV). Decidable temporal logic of repeating values. LFCS'07, Lect. Notes in Computer Science 4514, pp. 180-194, Springer,2007.

2007. Anca Muscholl (LaBRI), Igor Walukiewicz (LaBRI). A lower bound on web services composition. FOSSACS'07, Lect. Notes in Computer Science, Springer 2007.

2006. Volker Diekert and Paul Gastin. From local to global temporal logics over Mazurkiewicz traces Theoretical Computer Science 356 (1-2), pages 126-135, 2006. DOI: 10.1016/j.tcs.2006.01.035

2006. Béatrice Bérard, Paul Gastin and Antoine Petit. Refinements and abstractions of signal-event (timed) languages. In Proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'06), Paris, France, September 2006, LNCS 4202, pages 67-81. Springer. DOI: 10.1007/11867340_6

2006. Béatrice Bérard, Paul Gastin and Antoine Petit. Intersection of regular signal-event (timed) languages. In Proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'06), Paris, France, September 2006, LNCS 4202, pages 52-66. Springer. DOI: 10.1007/11867340_5

2006. Paul Gastin (LSV), Nathalie Sznajder (LSV), Marc Zeitoun (LaBRI). Distributed synthesis for well-connected architectures. FSTTCS'06, Lect. Notes in Computer Science 4337, pp. 321-332, Springer 2006.

2006. Fabrice Chevalier (LSV), Deepak D'Souza (CSA, IISc), Pavithra Prabhakar (CSA, IISc). On continuous timed automata with input-determined guards. FSTTCS'06, Lect. Notes in Computer Science 4337, Springer 2006.

2006. Puneet Bhateja (CMI), Paul Gastin (LSV), Madhavan Mukund (CMI). A fresh look at testing for asynchronous communication. ATVA'06, Lect. Notes in Computer Science 4218, Springer 2006, 369-383.

2006. P. Chandrasekaran (CMI), Madhavan Mukund (CMI). Matching scenarios with timing constraints. FORMATS'06, Lect. Notes in Computer Science 4202, Springer 2006, 98-112.

2006. Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun. Infinite-state High level MSCs: realizability and model-checking, J. Computer and System Sciences 72 (2006) 617-647. doi 10.1016/j.jcss.2005.09.007.

2005. Igor Walukiewicz (LaBRI). From logic to games. FSTTCS'05, Lect. Notes in Computer Science 3821, Springer 2005.

Activités financées par le projet / Activities funded by the project

January 2009 - Organisation of a final workshop at CMI, the Workshop on Automata, Concurrency and Timed Systems, ACTS. 5 project members from India and 7 project members from France participate in this workshop, as well as a good number of students from the participating institutions. Other participants come from Bombay, Delhi, Oxford, Leipzig, Stuttgart...

November 2008 - February 2009 - Pascal Weil (LaBRI) visits IIT Delhi.

December 2008 - Dietmar Berwanger (LSV), Paul Gastin (LSV), Antoine Meyer (LIAFA) and Pascal Weil (LaBRI) visit IISc and CMI.

September 2008 - Kamal Lodaya (IMSc) visits LIAFA.

August 2008 - October 2008 - Pascal Weil (LaBRI) visits IIT Delhi.

May-July 2008 - Kshitij Bhansal (CMI student) visits LSV for an internship.

May-July 2008 - Richie Abraham (IIT Bombay student) visits LaBRI for an internship.

April-May 2008 - Madhavan Mukund (CMI) and K. Narayan Kumar (CMI) visit LSV.

April 2008 - Sergiu Bursuc (LSV) visits IMSc.

April 2008 - Deepak D'Souza (IISc) visits LSV.

March 2008 - May 2008 - Pascal Weil (LaBRI) visits IIT Delhi.

February 2008 - S. Akshay (LSV, IMSc and CMI) and B. Bollig visit CMI.

December 2007 - Paul Gastin (LSV) visits CMI, Patricia Bouyer (LSV) visits IISc.

November 2007 - February 2008 - Pascal Weil (LaBRI) visits IIT Delhi.

July 2007 - A. Meyer (LIAFA) visits IMSc.

May-July 2007 - B. Srivathsan and Aaditya Ramdas (IIT Bombay students) visit LaBRI for an internship.

May-June 2007 - Kamal Lodaya (IMSc) visits LIAFA and LaBRI.

May 2007 - Madhavan Mukund (CMI) and K. Narayan Kumar (CMI) visit LSV and LaBRI.

April 2007 - Bharat Adsul (CMI) visits LaBRI.

February-March 2007 - Manfred Kufleitner (LaBRI) visits IMSc and CMI.

December 2006 - Eugène Asarin (LIAFA) visits FSTTCS; Paul Gastin (LIAFA), Marc Zeitoun (LaBRI) and Pascal Weil (LaBRI) visit IMSc and CMI.

September-October 2006 - Prakash Chandrasekaran (CMI) visits LSV and LaBRI.

June-July 2006 - Deepak D'Souza (IISc) visits LSV.

June 2006 - Antoine Meyer (LIAFA) visits IMSc.

May-June 2006 - Madhavan Mukund (CMI) and K. Narayan Kumar (CMI) visit LSV and LaBRI.

February-March 2006 - Pavithra Prabakhar (IISc) visits LSV and LaBRI;  Nutan Limaye (IMSc) visits LaBRI.

November-December 2005 - Dietmar Berwanger (LaBRI) visits IMSc; Fabrice Chevalier (LSV) visits IISc; Anca Muscholl (LIAFA), Igor Walukiewicz (LaBRI) and Pascal Weil (LaBRI) visit IMSc and CMI.

November 2005 - Madhavan Mukund (CMI) visits LSV and LaBRI.


Pascal Weil. Created March 27, 2006. Last updated January 10, 2009.