EN FR
EN FR




Bibliography

Major publications by the team in recent years
  • 1P. Gastin, F. Laroussinie (editors)

    Proceedings of the 21st International Conference on Concurrency Theory (CONCUR'10), Lecture Notes in Computer Science, Springer, August-September 2010, vol. 6269.

    http://www.springerlink.com/content/978-3-642-15374-7
  • 2S. Akshay.

    Spécification et vérification pour des systèmes distribués et temporisés, Laboratoire Spécification et Vérification, ENS Cachan, France, July 2010.
  • 3S. Akshay, B. Bollig, P. Gastin, M. Mukund, K. Narayan Kumar.

    Distributed Timed Automata with Independently Evolving Clocks, in: Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08), Toronto, Canada, F. van Breugel, M. Chechik (editors), Lecture Notes in Computer Science, Springer, August 2008, vol. 5201, p. 82-97. [ DOI : 10.1007/978-3-540-85361-9_10 ]

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/ABGMN-concur08.pdf
  • 4S. Akshay, P. Gastin, M. Mukund, K. Narayan Kumar.

    Model checking time-constrained scenario-based specifications, in: Proceedings of the 30th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'10), Chennai, India, K. Lodaya, M. Mahajan (editors), Leibniz International Proceedings in Informatics, Leibniz-Zentrum für Informatik, December 2010, To appear.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/AGMN-fsttcs10.pdf
  • 5S. Balaguer, Th. Chatain, S. Haar.

    A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata, in: Proceedings of the 17th International Symposium on Temporal Representation and Reasoning (TIME'10), Paris, France, N. Markey, J. Wijsen (editors), IEEE Computer Society Press, September 2010, p. 77-84.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BCH-time10.pdf
  • 6P. Baldan, A. Bruni, A. Corradini, B. König, S. Schwoon.

    On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars, in: Proceedings of the 5th International Conference on Graph Transformation (ICGT'10), Enschede, The Netherlands, H. Ehrig, A. Rensink, G. Rozenberg, A. Schürr (editors), Lecture Notes in Computer Science, Springer, 2010, vol. 6372, p. 91–106.
  • 7P. Baldan, Th. Chatain, S. Haar, B. König.

    Unfolding-based Diagnosis of Systems with an Evolving Topology, in: Information and Computation, October 2010, vol. 208, no 10, p. 1169-1192.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BCHK-icomp10.pdf
  • 8P. Baldan, A. Corradini, B. König, S. Schwoon.

    McMillan's complete prefix for contextual nets, in: Transactions on Petri Nets and Other Models of Concurrency, November 2008, vol. 1, p. 199–220, Volume 5100 of Lecture Notes in Computer Science.
  • 9M. Ben Hmida, S. Haddad.

    Client Synthesis for Aspect Oriented Web Services, in: Revised Selected Papers of the 15th Monterey Workshop on Foundations of Computer Software (MONTEREY'08), Budapest, Hungary, Ch. Choppy, O. Sokolsky (editors), Lecture Notes in Computer Science, Springer, April 2010, vol. 6028, p. 24-42.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BH-monterey08.pdf
  • 10P. Bhateja, P. Gastin, M. Mukund, K. Narayan Kumar.

    Local testing of message sequence charts is difficult, in: Proceedings of the 16th International Symposium on Fundamentals of Computation Theory (FCT'07), Budapest, Hungary, E. Csuhaj-Varjú, Z. Ésik (editors), Lecture Notes in Computer Science, Springer, August 2007, vol. 4639, p. 76-87. [ DOI : 10.1007/978-3-540-74240-1_8 ]

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BGMN-fct07.pdf
  • 11B. Bollig, P. Gastin.

    Weighted versus Probabilistic Logics, in: Proceedings of the 13th International Conference on Developments in Language Theory (DLT'09), Stuttgart, Germany, V. Diekert, D. Nowotka (editors), Lecture Notes in Computer Science, Springer, June-July 2009, vol. 5583, p. 18-38. [ DOI : 10.1007/978-3-642-02737-6_2 ]

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BG-dlt09.pdf
  • 12B. Bollig, P. Gastin, B. Monmege, M. Zeitoun.

    Pebble weighted automata and transitive closure logics, in: Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP'10) – Part II, Bordeaux, France, S. Abramsky, F. Meyer auf der Heide, P. Spirakis (editors), Lecture Notes in Computer Science, Springer, July 2010, vol. 6199, p. 587-598.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BGMZ-icalp10.pdf
  • 13B. Bollig, L. Hélouët.

    Realizability of Dynamic MSC Languages, in: Proceedings of the 5th International Computer Science Symposium in Russia (CSR'10), Kazan, Russia, E. W. Mayr (editor), Lecture Notes in Computer Science, Springer, June 2010, vol. 6072, p. 48-59.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BH-csr10.pdf
  • 14B. Bollig, J.-P. Katoen, C. Kern, M. Leucker.

    Learning Communicating Automata from MSCs, in: IEEE Transactions on Software Engineering, May/June 2010, vol. 36, no 3, p. 390-408.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BKKL-tse09.pdf
  • 15B. Bollig, J.-P. Katoen, C. Kern, M. Leucker.

    SMA—The Smyle Modeling Approach, in: Computing and Informatics, 2010, vol. 29, no 1, p. 45-72.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BKKL-cai09.pdf
  • 16B. Bollig, J.-P. Katoen, C. Kern, M. Leucker, D. Neider, D. R. Piegdon.

    libalf: the Automata Learning Framework, in: Proceedings of the 22nd International Conference on Computer Aided Verification (CAV'10), Edinburgh, Scotland, UK, B. Cook, P. Jackson, T. Touili (editors), Lecture Notes in Computer Science, Springer, July 2010, vol. 6174, p. 360-364.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BKKLNP-cav10.pdf
  • 17B. Bollig, D. Kuske, I. Meinecke.

    Propositional Dynamic Logic for Message-Passing Systems, in: Logical Methods in Computer Science, September 2010, vol. 6, no 3:16.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BKM-lmcs10.pdf
  • 18P. Bouyer, S. Haddad, P.-A. Reynier.

    Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences, in: Information and Computation, January 2008, vol. 206, no 1, p. 73-107. [ DOI : 10.1016/j.ic.2007.10.004 ]

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BHR-ic07.pdf
  • 19A. Bušić, H. Djafri, J.-M. Fourneau.

    Stochastic Bounds for Censored Markov Chains, in: Proceedings of the 6th International Meeting on the Numerical Solution of Markov Chains (NSMC'10), Williamsburg, Virginia, USA, M. Benzi, T. Dayar (editors), sep 2010.
  • 20B. Bérard, F. Cassez, S. Haddad, D. Lime, O. H. Roux.

    When are Timed Automata Weakly Timed Bisimilar to Time Petri Nets ?, in: Theoretical Computer Science, September 2008, vol. 403, no 2-3, p. 202-220. [ DOI : 10.1016/j.tcs.2008.03.030 ]

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BCHLR-tcs08.pdf
  • 21B. Bérard, S. Haddad, M. Sassolas.

    Real Time Properties for Interrupt Timed Automata, in: Proceedings of the 17th International Symposium on Temporal Representation and Reasoning (TIME'10), Paris, France, N. Markey, J. Wijsen (editors), IEEE Computer Society Press, September 2010, p. 69-76.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BHS-time10.pdf
  • 22B. Bérard, S. Haddad, M. Sassolas, M. Zeitoun.

    Distributed Synthesis with Incomparable Information, Laboratoire Spécification et Vérification, ENS Cachan, France, October 2010, no LSV-10-17, 20 pages.

    http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/PDF/rr-lsv-2010-17.pdf
  • 23T. Chatain, E. Fabre.

    Factorization Properties of Symbolic Unfoldings of Colored Petri Nets, in: Proceedings of the 31st International Conference on Applications and Theory of Petri Nets (ICATPN'10), Braga, Portugal, J. Lilius, W. Penczek (editors), Lecture Notes in Computer Science, Springer, June 2010, vol. 6128, p. 165-184.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/CF-pn10.pdf
  • 24Th. Chatain, P. Gastin, N. Sznajder.

    Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems, in: Proceedings of the 35th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'09), Špindlerův Mlýn, Czech Republic, M. Nielsen, A. Kučera, P. Bro Miltersen, C. Palamidessi, P. Tůma, F. Valencia (editors), Lecture Notes in Computer Science, Springer, January 2009, vol. 5404, p. 141-152. [ DOI : 10.1007/978-3-540-95891-8_16 ]

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/CGS-sofsem09.pdf
  • 25Th. Chatain, C. Jard.

    Sémantique concurrente symbolique des réseaux de Petri saufs et dépliages finis des réseaux temporels, in: Actes de la 10ème Conférence Internationale sur les NOuvelles TEchnologies de la RÉpartition (NOTERE'10), Tozeur, Tunisia, IEEE Computer Society Press, May-June 2010.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/CJ-notere10.pdf
  • 26S. Demri, P. Gastin.

    Specification and Verification using Temporal Logics, in: Modern applications of automata theory, D. D'Souza, P. Shankar (editors), IISc Research Monographs, World Scientific, 2010, vol. 2, To appear.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/DG-iis09.pdf
  • 27M. Droste, P. Gastin.

    Weighted automata and weighted logics, in: Theoretical Computer Science, June 2007, vol. 380, no 1-2, p. 69-86. [ DOI : 10.1016/j.tcs.2007.02.055 ]

    http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/PDF/rr-lsv-2005-13.pdf
  • 28D. El Hog-Benzina, S. Haddad, R. Hennicker.

    Process Refinement and Asynchronous Composition with Modalities, in: Proceedings of the 2nd International Workshop on Abstractions for Petri Nets and Other Models of Concurrency (APNOC'10), Braga, Portugal, N. Sidorova, A. Serebrenik (editors), June 2010.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/EHH-apnoc10.pdf
  • 29E. Fabre, A. Benveniste, C. Jard, S. Haar.

    Distributed monitoring of concurrent and asynchronous systems., in: Discrete Event Dynamic Systems: theory and application, 2005, vol. 15 (1), p. 33-84, Preliminary version: Proc. CONCUR 2003, LNCS 2761, pp.1–28, Springer..
  • 30P. Gastin, D. Kuske.

    Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces, in: Information and Computation, July 2010, vol. 208, no 7, p. 797-816.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/GK-icomp10.pdf
  • 31P. Gastin, N. Sznajder.

    Decidability of well-connectedness for distributed synthesis, Laboratoire Spécification et Vérification, ENS Cachan, France, February 2010, no LSV-10-02, 15 pages.

    http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/PDF/rr-lsv-2010-02.pdf
  • 32P. Gastin, N. Sznajder, M. Zeitoun.

    Distributed synthesis for well-connected architectures, in: Proceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06), Kolkata, India, N. Garg, S. Arun-Kumar (editors), Lecture Notes in Computer Science, Springer, December 2006, vol. 4337, p. 321-332. [ DOI : 10.1007/11944836_30 ]

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/GSZ-fsttcs2006.pdf
  • 33S. Haar.

    Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets, in: IEEE Transactions on Automatic Control, October 2010, vol. 55, no 10, p. 2310-2320.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/haar-tac10.pdf
  • 34S. Haar.

    What Topology Tells us about Diagnosability in Partial Order Semantics, in: Proceedings of the 10th Workshop on Discrete Event Systems (WODES'10), Berlin, Germany, August-September 2010, p. 221-226.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/SH-wodes10.pdf
  • 35S. Haddad, L. Mokdad, S. Youcef.

    Response time of BPEL4WS constructors, in: Proceedings of the 15th IEEE Symposium on Computers and Communications (ISCC'10), Riccione, Italy, IEEE Computer Society Press, June 2010, p. 695-700.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/HMY-iscc10.pdf
  • 36S. Haddad, L. Mokdad, S. Youcef.

    Selection of the Best composite Web Service Based on Quality of Service, in: Proceedings of the 2nd International Symposium on Services Science and 3rd International Conference on Business Process and Services Computing (ISSS/BPSC'10), Leipzig, Germany, W. Abramowicz, R. Alt, K.-P. Fähnrich, B. Franczyk, L. A. Maciaszek (editors), Lecture Notes in Informatics, Gesellschaft für Informatik, September-October 2010, vol. 177, p. 255-266.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/hmy-bpsc10.pdf
  • 37S. Li, S. Balaguer, A. David, K. Larsen, B. Nielsen, S. Pusinskas.

    Scenario-based verification of real-time systems using Uppaal, in: Formal Methods in System Design, 2010, p. 1-65, 10.1007/s10703-010-0103-z.

    http://dx.doi.org/10.1007/s10703-010-0103-z
  • 38B. Monmege.

    Propriétés quantitatives des mots et des arbres – Applications aux langages XML, Master Parisien de Recherche en Informatique, Paris, France, September 2010.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/monmege-m2.pdf
  • 39L. Recalde, S. Haddad, M. Silva.

    Continuous Petri Nets: Expressive Power and Decidability Issues, in: International Journal of Foundations of Computer Science, April 2010, vol. 21, no 2, p. 235-256.
  • 40C. Rodríguez.

    Implementation of a complete prefix unfolder for contextual nets, Master Parisien de Recherche en Informatique, Paris, France, September 2010.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/cr-m2.pdf
Publications of the year

Articles in International Peer-Reviewed Journal

  • 41S. Baarir, M. Beccuti, C. Dutheillet, G. Franceschinis, S. Haddad.

    Lumping partially symmetrical stochastic models, in: Performance Evaluation, January 2011, vol. 76, p. 21-44. [ DOI : 10.1016/j.peva.2010.09.002 ]

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/bbdfh-pe10.pdf
  • 42M. Beccuti, G. Franceschinis, S. Haddad.

    MDWNsolver: A Framework to Design and Solve Markov Decision Petri Nets, in: International Journal of Performability Engineering, 2011, To appear.
  • 43S. Haar.

    What Topology tells us about Diagnosability in Partial Order Semantics, in: Discrete Event Dynamic Systems: Theory and Applications (Special Issue WODES 2010), 2012, to appear.

International Conferences with Proceedings

  • 44S. Balaguer, T. Chatain, S. Haar.

    Building Tight Occurrence Nets from Reveals Relations., in: ACSD 2011, Newcastle, United Kingdom, Caillaud, Benoit, Carmona, Josep (editors), IEEE Computer Society Press, June 2011, p. 44-53. [ DOI : 10.1109/ACSD.2011.16 ]

    http://hal.inria.fr/inria-00638232/en
  • 45P. Ballarini, H. Djafri, M. Duflot, S. Haddad, N. Pekergin.

    COSMOS: a Statistical Model Checker for the Hybrid Automata Stochastic Logic, in: Proceedings of the 8th International Conference on Quantitative Evaluation of Systems (QEST'11), Aachen, Germany, IEEE Computer Society Press, September 2011, To appear.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BDDHP-qest11.pdf
  • 46P. Ballarini, H. Djafri, M. Duflot, S. Haddad, N. Pekergin.

    HASL: An Expressive Language for Statistical Verification of Stochastic Models, in: Proceedings of the 5th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'11), Cachan, France, May 2011, To appear.
  • 47P. Ballarini, H. Djafri, M. Duflot, S. Haddad, N. Pekergin.

    Petri Nets Compositional Modeling and Verification of Flexible Manufacturing Systems, in: Proceedings of the 7th IEEE Conference on Automation Science and Engineering (CASE'11), Trieste, Italy, IEEE Robotics & Automation Society, August 2011, To appear.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BDDHP-case11.pdf
  • 48B. Barbot, S. Haddad, C. Picaronny.

    Échantillonnage préférentiel pour le model checking statistique, in: Actes du 0ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'11), Lille, France, É. Craye, A. Gamatié (editors), Journal Européen des Systèmes Automatisés, Hermès, November 2011, vol. 45, To appear.
  • 49B. Bollig.

    An automaton over data words that captures EMSO logic, in: Proceedings of the 22nd International Conference on Concurrency Theory (CONCUR'11), Aachen, Germany, J.-P. Katoen, B. König (editors), Lecture Notes in Computer Science, Springer, September 2011, vol. 6901, p. 171-186. [ DOI : 10.1007/978-3-642-23217-6_12 ]

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/B-concur11.pdf
  • 50B. Bollig, A. Cyriac, P. Gastin, M. Zeitoun.

    Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking, in: Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science (MFCS'11), Warsaw, Poland, F. Murlak, P. Sankowski (editors), Lecture Notes in Computer Science, Springer, August 2011, vol. 6907, p. 132-144. [ DOI : 10.1007/978-3-642-22993-0_15 ]

    http://hal.archives-ouvertes.fr/hal-00591139/en/
  • 51S. Haar, C. Kern, S. Schwoon.

    Computing the Reveals Relation in Occurrence Nets, in: Gandalf, Minori, Italy, D'Agostino, Giovanna, L. Torre, Salvatore (editors), Electronic Proceedings in Theoretical Computer Science, June 2011, vol. 54, p. 31-44. [ DOI : 10.4204/EPTCS.54.3 ]

    http://hal.inria.fr/inria-00638262/en
  • 52S. Haddad, J. Mairesse, H.-T. Nguyen.

    Synthesis and Analysis of Product-form Petri Nets, in: Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets (ICATPN'11), Newcastle upon Tyne, UK, L. M. Kristensen, L. Petrucci (editors), Lecture Notes in Computer Science, Springer, June 2011, vol. 6709, p. 288-307. [ DOI : 10.1007/978-3-642-21834-7_16 ]

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/HMN-atpn11.pdf
  • 53C. Rodríguez, S. Schwoon, P. Baldan.

    Efficient contextual unfolding, in: Proceedings of the 22nd International Conference on Concurrency Theory (CONCUR'11), Aachen, Germany, J.-P. Katoen, B. König (editors), Lecture Notes in Computer Science, Springer, September 2011, vol. 6901, p. 342-357. [ DOI : 10.1007/978-3-642-23217-6_23 ]

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/RSB-concur11.pdf
  • 54S. Schwoon, C. Rodríguez.

    Construction and SAT-based verification of Contextual Unfoldings, in: Proceedings of the 13th International Workshop on Descriptional Complexity of Formal Systems (DCFS'11), Limburg, Germany, M. Holzer, M. Kutrib, G. Pighizzini (editors), Lecture Notes in Computer Science, Springer, July 2011, vol. 6808, p. 34-42. [ DOI : 10.1007/978-3-642-22600-7_3 ]

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/SR-dcfs11.pdf

Books or Proceedings Editing

Internal Reports

Other Publications

  • 59C. Rodríguez.

    The Cunf tool, 2011, See http://www.lsv.ens-cachan.fr/~rodriguez/tools/cunf/.
References in notes
  • 60W. Kuich, H. Vogler, M. Droste (editors)

    Handbook of Weighted Automata, EATCS Monographs in Theoretical Computer Science, Springer, 2009.
  • 61S. Abbes, A. Benveniste, S. Haar.

    A Petri net model for distributed estimation, in: Proc. MTNS 2004, Sixteenth International Symposium on Mathematical Theory of Networks and Systems, Louvain (Belgium), ISBN 90-5682-517-8, 2004.
  • 62S. Akshay, B. Bollig, P. Gastin, M. Mukund, K. Narayan Kumar.

    Distributed Timed Automata with Independently Evolving Clocks, in: Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08), Toronto, Canada, F. van Breugel, M. Chechik (editors), Lecture Notes in Computer Science, Springer, August 2008, vol. 5201, p. 82-97.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/ABGMN-concur08.pdf
  • 63R. Alur, D. Dill.

    A Theory of Timed Automata, in: Theoretical Computer Science, 1994, vol. 126, no 2, p. 183–235.
  • 64R. Alur, K. Etessami, M. Yannakakis.

    Realizability and Verification of MSC Graphs, in: Theor. Comput. Sci., 2005, vol. 331, no 1, p. 97–114.
  • 65P. Baldan, Th. Chatain, S. Haar, B. Koenig.

    Unfolding-based Diagnosis of Systems with an Evolving Topology, in: Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08), Toronto, Canada, F. van Breugel, M. Chechik (editors), Lecture Notes in Computer Science, Springer, August 2008, vol. 5201, p. 203-217, Extended version accepted for publication in: Information and Computation.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BCHK-concur08.pdf
  • 66P. Baldan, A. Corradini, B. König, S. Schwoon.

    McMillan's complete prefix for contextual nets, in: Transactions on Petri Nets and Other Models of Concurrency, November 2008, vol. 1, p. 199–220, Volume 5100 of Lecture Notes in Computer Science.
  • 67P. Baldan, S. Haar, B. Koenig..

    Distributed Unfolding of Petri Nets, in: Proc.FOSSACS 2006, LNCS, Springer, 2006, vol. 3921, p. 126-141, Extended version: Technical Report CS-2006-1. Department of Computer Science, University Ca' Foscari of Venice..
  • 68F. Baskett, K. M. Chandy, R. R. Muntz, F. G. Palacios.

    Open, Closed, and Mixed Networks of Queues with Different Classes of Customers, in: J. ACM, April 1975, vol. 22, p. 248–260.

    http://doi.acm.org/10.1145/321879.321887
  • 69A. Benveniste, E. Fabre, S. Haar.

    Markov Nets: Probabilistic Models for distributed and concurrent Systems, in: IEEE Transactions on Automatic Control, 2003, vol. 48 (11), p. 1936-1950, Extended version: IRISA Research Report 1538..
  • 70P. Bhateja, P. Gastin, M. Mukund, K. Narayan Kumar.

    Local testing of message sequence charts is difficult, in: Proceedings of the 16th International Symposium on Fundamentals of Computation Theory (FCT'07), Budapest, Hungary, E. Csuhaj-Varjú, Z. Ésik (editors), Lecture Notes in Computer Science, Springer, August 2007, vol. 4639, p. 76-87.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BGMN-fct07.pdf
  • 71R. Bishop.

    Intelligent Vehicle R&D: a review and contrast of programs worldwide and emerging trends., in: Annals of Telecommunications - Intelligent Transportation Systems, J. Ehrlich (editor), GET-Lavoisier, March-April 2005, vol. 60(3–4), p. 228–263.
  • 72J.-M. Blosseville.

    Driving assistance systems and road safety: State-of-the-art and outlook, in: Annals of Telecommunications - Intelligent Transportation Systems, J. Ehrlich (editor), GET-Lavoisier, March-April 2005, vol. 60(3–4), p. 281–298.
  • 73P. Bly.

    e-Safety - Co-operative Systems for Road Transport (IST Work Progamme 2005-2006), European Commission, 2004.
  • 74G. V. Bochmann, S. Haar, C. Jard, G.-V. Jourdan.

    Testing Systems Specified as Partial Order Input/Output Automata., in: Proc. TESTCOM/Fates 08, 20th IFIP International Conference on Testing of Communicating Systems and 8th International Workshop on Formal Approaches to Testing of Software, LNCS, Springer, 2008, vol. 5047, p. 169-183.
  • 75P. Bouyer, S. Haddad, P.-A. Reynier.

    Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences, in: Proceedings of the 33rd International Colloquium on Automata, Languages and Programming (ICALP'06) — Part II, Venice, Italy, M. Buglesi, B. Preneel, V. Sassone, I. Wegener (editors), Lecture Notes in Computer Science, Springer, July 2006, vol. 4052, p. 420-431.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BHR-icalp06.pdf
  • 76P. Bouyer, S. Haddad, P.-A. Reynier.

    Timed Unfoldings for Networks of Timed Automata, in: Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06), Beijing, ROC, S. Graf, W. Zhang (editors), Lecture Notes in Computer Science, Springer, October 2006, vol. 4218, p. 292-306.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BHR-atva06.pdf
  • 77M. Boyer, O. H. Roux.

    On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets, in: Fundamenta Informaticae, 2008, vol. 88, no 3, p. 225-249.
  • 78B. Bérard, F. Cassez, S. Haddad, D. Lime, O. H. Roux.

    Comparison of the Expressiveness of Timed Automata and Time Petri Nets, in: Proceedings of the 3rd International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05), Uppsala, Sweden, P. Pettersson, W. Yi (editors), Lecture Notes in Computer Science, Springer, November 2005, vol. 3829, p. 211-225.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BCHLR-formats2005.pdf
  • 79F. Cassez, O. H. Roux.

    Structural Translation from Time Petri Nets to Timed Automata, in: Journal of Systems and Software, 2006.
  • 80G. Chiola, C. Dutheillet, G. Franceschinis, S. Haddad.

    Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications, in: IEEE Transactions on Computers, November 1993, vol. 42, no 11, p. 1343-1360.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/CDFH-toc93.ps
  • 81A. Church.

    Logic, arithmetics, and automata, in: Proc. of Int. Congr. of Mathematicians, 1962, p. 23–35.
  • 82R. Debouk, D. Teneketzis.

    Coordinated decentralized protocols for failure diagnosis of discrete-event systems, in: Journal of Discrete Event Dynamical Systems: Theory and Application, 2000, vol. 10, p. 33–86.
  • 83J. Esparza, K. Heljanko.

    Unfoldings - A Partial-Order Approach to Model Checking, EATCS Monographs in Theoretical Computer Science, Springer, 2008.
  • 84E. Fabre, A. Benveniste, C. Jard, S. Haar.

    Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach., in: IEEE Trans. Aut. Control, 2003, vol. 48 (5), p. 714-727.
  • 85E. Fabre, A. Benveniste, C. Jard, S. Haar.

    Distributed monitoring of concurrent and asynchronous systems., in: Discrete Event Dynamic Systems: theory and application, 2005, vol. 15 (1), p. 33-84, Preliminary version: Proc. CONCUR 2003, LNCS 2761, pp.1–28, Springer..
  • 86B. Finkbeiner, S. Schewe.

    Uniform distributed synthesis, in: Proc. of the 20th IEEE Annual Symposium on Logic in Computer Science (LICS'05), IEEE Computer Society Press, 2005, p. 321–330.
  • 87P. Gastin, B. Lerman, M. Zeitoun.

    Distributed games with causal memory are decidable for series-parallel systems, in: Proceedings of the 24th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'04), Chennai, India, K. Lodaya, M. Mahajan (editors), Lecture Notes in Computer Science, Springer, December 2004, vol. 3328, p. 275-286.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/GLZ-fsttcs04.pdf
  • 88P. Gastin, N. Sznajder, M. Zeitoun.

    Distributed synthesis for well-connected architectures, in: Proceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06), Kolkata, India, N. Garg, S. Arun-Kumar (editors), Lecture Notes in Computer Science, Springer, December 2006, vol. 4337, p. 321-332.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/GSZ-fsttcs2006.pdf
  • 89S. Haar, A. Benveniste, E. Fabre, C. Jard.

    Partial Order Diagnosability Of Discrete Event Systems Using Petri Net Unfoldings, in: 42nd IEEE Conference on Decision and Control (CDC), 2003.
  • 90S. Haar.

    Probabilistic Cluster Unfoldings, in: Fundamenta Informaticae, 2003, vol. 53 (3-4), p. 281-314.
  • 91S. Haar, C. Jard, G.-V. Jourdan.

    Testing Input/Output Partial Order Automata., in: Proc. TESTCOM/FATES, LNCS, SpringerLNCS 4581, pp. 171–185., 2007, vol. 4581, p. 171-185.
  • 92S. Haddad, P. Poizat.

    Transactional Reduction of Component Compositions, in: Proceedings of 27th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'07), Tallinn, Estonia, J. Derrick, J. Vain (editors), Lecture Notes in Computer Science, Springer, June 2007, vol. 4574, p. 341-357.

    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/HP-forte07.pdf
  • 93R. Horowitz, P. Varaiya.

    Control Design of an Automated Highway System, in: Proc. of the IEEE 88(7), 2000.
  • 94 Intelligent Vehicle Initiative.

    Saving Lives through advanced vehicle safety technology, September 2005.
  • 95O. Kupferman, M. Y. Vardi.

    Synthesizing Distributed Systems, in: Proc. of the 16th IEEE Annual Symposium on Logic in Computer Science (LICS'01), IEEE Computer Society Press, 2001.
  • 96D. König, N. Lohmann, S. Moser, C. Stahl, K. Wolf.

    Extending the compatibility notion for abstract WS-BPEL processes, in: WWW, ACM, 2008, p. 785-794.
  • 97S. Lafortune, Y. Wang, T.-S. Yoo.

    Diagnostic Decentralisé Des Systèmes A Evénements Discrets, in: Journal Europeen des Systèmes Automatisés (RS-JESA), August 2005, vol. 99, no 99, p. 95–110.
  • 98K. G. Larsen, P. Pettersson, W. Yi.

    Compositional and symbolic model-checking of real-time systems, in: Proc. of RTSS 1995, IEEE Computer Society, 1995, p. 76-89.
  • 99P. M. Merlin, D. J. Farber.

    Recoverability of Communication Protocols – Implications of a Theorical Study, in: IEEE Transactions on Communications, 1976, vol. 24.
  • 100S. Mohalik, I. Walukiewicz.

    Distributed Games, in: Proc. of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'03), LNCS, Springer, 2003, vol. 2914, p. 338–351.
  • 101A. Pnueli, R. Rosner.

    Distributed reactive systems are hard to synthesize, in: Proc. of the 31st Annual IEEE Symposium on Foundations of Computer Science (FOCS'90), IEEE Computer Society Press, 1990, vol. II, p. 746–757.
  • 102W. Reisig.

    Towards a Theory of Services, in: UNISCON, Lecture Notes in Business Information Processing, Springer, 2008, vol. 5, p. 271-281.
  • 103L. Ricker, K. Rudie.

    Know Means No: Incorporating Knowledge into Discrete-Event Control Systems, in: IEEE Transactions on Automatic Control, September 2000, vol. 45, no 9, p. 1656–1668.
  • 104L. Ricker, K. Rudie.

    Knowledge Is a Terrible Thing to Waste: Using Inference in Discrete-Event Control Problems, in: IEEE Transactions on Automatic Control, MarchSeptember 2007, vol. 52, no 3, p. 428–441.
  • 105Y. Robin-Jouan, J. Ehrlich, B. Guillaumin, M. Delarche, M. Dutech.

    Transport-specific communication services: Safety-based or critical applications for mobiles and cooperation with infrastructure networks, in: Annals of Telecommunications - Intelligent Transportation Systems, J. Ehrlich (editor), GET-Lavoisier, March-April 2005, vol. 60(3–4), p. 405–440.
  • 106J. Srba.

    Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets, in: FORMATS, 2008, p. 15-32.
  • 107S. Staab, W. van der Aalst, V. Benjamins, A. Sheth, J. Miller, C. Bussler, A. Maedche, D. Fensel, D. Gannon.

    Web Services: Been There, Done That?, in: IEEE Intelligent Systems, 2003, vol. 18, p. 72-85.
  • 108H. L. S. Younes, R. G. Simmons.

    Statistical probabilistic model checking with a focus on time-bounded properties, in: Inf. Comput., September 2006, vol. 204, p. 1368–1409. [ DOI : 10.1016/j.ic.2006.05.002 ]

    http://dl.acm.org/citation.cfm?id=1182767.1182770
  • 109M. B. van Riemsdijk, R. Hennicker, M. Wirsing, A. Schroeder.

    Service Specification and Matchmaking Using Description Logic, in: AMAST, Lecture Notes in Computer Science, Springer, 2008, vol. 5140, p. 392-406.