EN FR
EN FR


previous Previous | up Home


Bibliography

Major publications by the team in recent years
  • 1S. Akshay, B. Genest, L. Helouet, S. Yang.

    Regular Set of Representatives for Time-Constrained MSC Graphs, in: Information Processing Letters, 2012, vol. 112, no 14-15, pp. 592-598.

    http://hal.inria.fr/hal-00879825
  • 2E. Badouel, M. A. Bednarczyk, A. M. Borzyszkowski, B. Caillaud, P. Darondeau.

    Concurrent Secrets, in: Discrete Event Dynamic Systems, 2007, vol. 17, no 4, pp. 425-446.
  • 3A. Benveniste, E. Fabre, S. Haar, C. Jard.

    Diagnosis of Asynchronous Discrete Event Systems: A Net Unfolding Approach, in: IEEE Transactions on Automatic Control, November 2003, vol. 48, no 5, pp. 714-727, RNRT project MAGDA. [ DOI : 10.1109/TAC.2003.811249 ]

    http://hal.inria.fr/inria-00638224
  • 4N. Bertrand, B. Genest, H. Gimbert.

    Qualitative Determinacy and Decidability of Stochastic Games with Signals, in: Proceedings of LICS'09, Los Angeles, États-Unis, August 2009.

    http://hal.archives-ouvertes.fr/hal-00356566
  • 5N. Bertrand, T. Jéron, A. Stainer, M. Krichen.

    Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata, in: Logical Methods in Computer Science, October 2012, vol. 8, no 4:8, pp. 1-33.

    http://hal.inria.fr/hal-00744074
  • 6J. Dubreil, P. Darondeau, H. Marchand.

    Supervisory Control for Opacity, in: IEEE Transactions on Automatic Control, May 2010, vol. 55, no 5, pp. 1089-1100. [ DOI : 10.1109/TAC.2010.2042008 ]

    http://hal.inria.fr/inria-00483891
  • 7E. Fabre, A. Benveniste.

    Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them, in: Journal of Discrete Events Dynamical Systems, 2007, vol. 17, no 3, pp. 357-403.
  • 8E. Fabre.

    Trellis Processes: a Compact Representation for Runs of Concurrent Systems, in: Journal of Discrete Event Dynamical Systems, 2007, vol. 17, no 3, pp. 267-306.
  • 9E. Fabre, L. Jezequel.

    Distributed optimal planning: an approach by weighted automata calculus, in: CDC, 2009, pp. 211-216.
  • 10B. Gaudin, H. Marchand.

    An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-Based Approach, in: Discrete Event Dynamic System, 2007, vol. 17, no 2, pp. 179-209.
  • 11T. Gazagnaire, B. Genest, L. Helouet, P. Thiagarajan, S. Yang.

    Causal Message Sequence Charts, in: Theoretical Computer Science, 2009, 38 p, EA DST.

    http://hal.inria.fr/inria-00429538
  • 12C. Jard, T. Jéron.

    TGV: theory, principles and algorithms, in: STTT, 2005, vol. 7, no 4, pp. 297-315.
  • 13B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva.

    Symbolic Test Selection Based on Approximate Analysis, in: TACAS, Edinburgh, Royaume-Uni, 2005.

    http://hal.inria.fr/inria-00564617
Publications of the year

Doctoral Dissertations and Habilitation Theses

  • 14R. Abdallah.

    Implementability of distributed systems described with scenarios, École normale supérieure de Cachan - ENS Cachan, July 2013.

    http://hal.inria.fr/tel-00919684
  • 15C. Hounkonnou.

    Auto-diagnostic actif dans les réseaux de télécommunications, Université Rennes 1, July 2013.

    http://hal.inria.fr/tel-00931853
  • 16L. Hélouët.

    Automates d'ordres : théorie et applications, Université Rennes 1, May 2013, Habilitation à Diriger des Recherches.

    http://hal.inria.fr/tel-00926742
  • 17A. Junier.

    Analyse de performance et de stabilité des réseaux de télécommunication, École normale supérieure de Cachan - ENS Cachan, December 2013.

    http://hal.inria.fr/tel-00932176
  • 18A. Stainer.

    Contribution à la vérification des automates temporisés : déterminisation, vérification quantitative et accessibilité dans les réseaux d'automates, Université Rennes 1, November 2013.

    http://hal.inria.fr/tel-00926316

Articles in International Peer-Reviewed Journals

  • 19R. Abdallah, L. Hélouët, C. Jard.

    Distributed Implementation of Message Sequence Charts, in: Software and Systems Modeling, June 2013, pp. 10-32.

    http://hal.inria.fr/hal-00840372
  • 20M. Agrawal, S. Akshay, B. Genest, P. Thiagarajan.

    Approximate Verification of the Symbolic Dynamics of Markov Chains, in: Journal of the ACM (JACM), January 2014, accepted.

    http://hal.inria.fr/hal-00920793
  • 21E. Badouel, R. Tchougong, C. Nkuimi-Jugnia, B. Fotsing.

    Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition, in: Theoretical Computer Science, February 2013, vol. 480, pp. 1-25. [ DOI : 10.1016/j-tcs.2013.02.007 ]

    http://hal.inria.fr/hal-00915031
  • 22N. Bertrand, P. Schnoebelen.

    Computable fixpoints in well-structured symbolic model checking, in: Formal Methods in System Design, October 2013, vol. 43, no 2, pp. 233-267. [ DOI : 10.1007/s10703-012-0168-y ]

    http://hal.inria.fr/hal-00906826
  • 23D. Biswas, B. Genest.

    Minimal Observability and Privacy Preserving Compensation for Transactional Services, in: Discrete Event Dynamic Systems, December 2013, vol. accepted.

    http://hal.inria.fr/hal-00916645
  • 24G. Delaval, É. Rutten, H. Marchand.

    Integrating discrete controller synthesis into a reactive programming language compiler, in: Discrete Event Dynamic Systems, 2013, vol. 23, no 4, pp. 385-418. [ DOI : 10.1007/s10626-013-0163-5 ]

    http://hal.inria.fr/hal-00863286
  • 25L. Helouet, H. Marchand, B. Genest, T. Gazagnaire.

    Diagnosis from Scenarios, in: Discrete Event Dynamic Systems, March 2013, no 10626. [ DOI : 10.1007/s10626-013-0158-2 ]

    http://hal.inria.fr/hal-00879441
  • 26T. Jéron, M. Veanes, B. Wolff.

    Symbolic Methods in Testing (Dagstuhl Seminar 13021), in: Dagstuhl Reports, 2013, vol. 3, no 1, pp. 1–29. [ DOI : 10.4230/DagRep.3.1.1 ]

    http://hal.inria.fr/hal-00945878
  • 27G. Kalyon, T. Le Gall, H. Marchand, T. Massart.

    Symbolic Supervisory Control of Distributed Systems with Communications, in: IEEE Transactions on Automatic Control, 2014, vol. 59, no 2, pp. 396-408. [ DOI : 10.1109/TAC.2013.2283093 ]

    http://hal.inria.fr/hal-00903452

International Conferences with Proceedings

  • 28R. Abdallah, A. Gotlieb, L. Hélouët, C. Jard.

    Scenario Realizability with Constraint Optimization, in: FASE 2013, Rome, France, LNCS, March 2013, vol. 7793, pp. 194-209.

    http://hal.inria.fr/hal-00840393
  • 29S. Akshay, N. Bertrand, S. Haddad, L. Helouet.

    The steady-state control problem for Markov decision processes, in: Qest 2013, Buenos Aires, Argentina, K. R. Joshi, M. Siegle, M. Stoelinga, P. R. D'Argenio (editors), LNCS, Springer, September 2013, vol. 8054, pp. 290-304.

    http://hal.inria.fr/hal-00879355
  • 30S. Akshay, I. Dinca, B. Genest, A. Stefanescu.

    Implementing Realistic Asynchronous Automata, in: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, Guwahati, India, December 2013, pp. 213-224.

    http://hal.inria.fr/hal-00920776
  • 31S. Akshay, L. Helouet, C. Jard, D. Lime, O. H. Roux.

    Robustness of Time Petri Nets under architectural constraints, in: Formal Modeling and Analysis of Timed Systems, Warwik, United Kingdom, M. Jurdzinski, D. Nickovic (editors), LNCS, Springer, September 2013, vol. 7595, pp. 11-26.

    http://hal.inria.fr/hal-00879818
  • 32P. Ballarini, N. Bertrand, A. Horvath, M. Paolieri, E. Vicario.

    Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes, in: QEST - 10th International Conference on Quantitative Evaluation of Systems, Buenos Aires, Argentina, LNCS, Springer, 2013, vol. 8054, pp. 355-371. [ DOI : 10.1007/978-3-642-40196-1_30 ]

    http://hal.inria.fr/hal-00915026
  • 33N. Bertrand, E. Fabre, S. Haar, S. Haddad, L. Helouet.

    Active diagnosis for probabilistic systems, in: FOSSACS'2014, Grenoble, France, A. Muscholl (editor), Springer, April 2014.

    http://hal.inria.fr/hal-00930919
  • 34N. Bertrand, P. Fournier.

    Parameterized verification of many identical probabilistic timed processes, in: FSTTCS - 33rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Guwahati, India, 2013.

    http://hal.inria.fr/hal-00914263
  • 35N. Bertrand, P. Schnoebelen.

    Solving Stochastic Büchi Games on Infinite Decisive Arenas, in: QAPL - 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, Rome, Italy, EPTCS, 2013, vol. 117, pp. 116-131. [ DOI : 10.4204/EPTCS.117.8 ]

    http://hal.inria.fr/hal-00906831
  • 36B. Bollig, A. Cyriac, L. Helouet, A. Kara, T. Schwentick.

    Dynamic Communicating Automata and Branching High-Level MSCs, in: LATA 2013, bilbao, Spain, A. Horia Dediu, C. Martín-Vide, B. Truthe (editors), LNCS, Springer, April 2013, vol. 7810, pp. 177-189.

    http://hal.inria.fr/hal-00879353
  • 37A. Bouillard, C. Jard, A. Junier.

    Some Synchronization Issues in OSPF Routing, in: DCNET13: the 4th International Conference on Data Communication Networking, Reykjavik, Iceland, M. S. Obaidat, J. L. Sevillano, Z. Zhang (editors), SciTePress, July 2013, pp. 5-14.

    http://hal.inria.fr/hal-00840350
  • 38A. Bouillard, A. Junier, B. Ronot.

    Impact of Rare Alarms on Event Correlation, in: CNSM - 9th international Conference on Network and Service Management, Zürich, Switzerland, October 2013.

    http://hal.inria.fr/hal-00920685
  • 39L. Clemente, F. Herbreteau, A. Stainer, G. Sutre.

    Reachability of Communicating Timed Processes, in: FoSSaCS - 16th International Conference on Foundations of Software Science and Computation Structures, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS - 2013, Rome, Italy, F. Pfenning (editor), Lecture Notes in Computer Science, Springer, March 2013, vol. 7794, pp. 81-96, Extended version. [ DOI : 10.1007/978-3-642-37075-5_6 ]

    http://hal.inria.fr/hal-00744085
  • 40G. Delaval, N. De Palma, S. M.-K. Gueye, H. Marchand, É. Rutten.

    Discrete Control of Computing Systems Administration: a Programming Language supported Approach, in: European Control Conference, Zurich, Switzerland, M. Morari (editor), July 2013, pp. 117-124.

    http://hal.inria.fr/hal-00863276
  • 41Y. Falcone, H. Marchand.

    Runtime Enforcement of K-step Opacity, in: 52nd IEEE Conference on Decision and Control, Florence, Italy, T. Parisini, R. Tempo (editors), 2013.

    http://hal.inria.fr/hal-00863223
  • 42B. Genest, H. Gimbert, A. Muscholl, I. Walukiewicz.

    Asynchronous Games over Tree Architectures, in: ICALP - 40th International Colloquium on Automata, Languages, and Programming- 2013, RIGA, Latvia, F. V. Fomin, R. Freivalds, M. Kwiatkowska, D. Peleg (editors), LNCS, Springer, July 2013, vol. 7966, pp. 275-286. [ DOI : 10.1007/978-3-642-39212-2_26 ]

    http://hal.inria.fr/hal-00916615
  • 43C. Hounkonnou, E. Fabre.

    Enhanced OSPF Graceful Restart, in: IFIP/IEEE International Symposium on Integrated Network Management, Ghent, Belgium, May 2013.

    http://hal.inria.fr/hal-00931798
  • 44L. Jezequel, E. Fabre, V. Khomenko.

    Factored Planning: From Automata to Petri Nets, in: International Conference on Application of Concurrency to System Design (ACSD), Barcelone, Spain, July 2013.

    http://hal.inria.fr/hal-00931844
  • 45S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand.

    Runtime Enforcement of Timed Response Properties, in: Software Verification and Testing, track of the Symposium on Applied Computing ACM-SAC 2014, Gyeongju, Korea, Republic Of, 2014.

    http://hal.inria.fr/hal-00907571
  • 46L. Ricker, H. Marchand.

    A parity-based architecture for decentralized discrete-event control, in: American Control Conference, Washigton, United States, 2013, pp. 5678 - 5684.

    http://hal.inria.fr/hal-00828714

Books or Proceedings Editing

  • 47T. Jéron, M. Veanes, B. Wolff (editors)

    Symbolic Methods in Testing, Dagstuhl Publishing, May 2013, vol. 3, 29 p, Report from Dagstuhl Seminar 13021. [ DOI : 10.4230/DagRep.3.1.1 ]

    http://hal.inria.fr/hal-00823739
  • 48H. Marchand, L. Hélouët (editors)

    Modélisation des systèmes réactifs, Journal européen des systèmes automatisés, Lavoisier, 2013, vol. 47, 260 p.

    http://hal.inria.fr/hal-00906737

Internal Reports

  • 49R. Abdallah, A. Gotlieb, L. Hélouët, C. Jard.

    Scenario realizability with constraint optimization, January 2013.

    http://hal.inria.fr/hal-00769656
  • 50A. Bouillard, A. Junier, B. Ronot.

    Alarms correlation in telecommunication networks, Inria, June 2013, no RR-8321, 17 p.

    http://hal.inria.fr/hal-00838969
  • 51S. Chédor, T. Jéron, C. Morvan.

    Test Generation from Recursive Tile Systems, Inria, January 2013, no RR-8206, 32 p.

    http://hal.inria.fr/hal-00778134
  • 52G. Kalyon, T. Le Gall, H. Marchand, T. Massart.

    Symbolic Supervisory Control of Distributed Systems with Communications, Inria, March 2013, no RR-8260.

    http://hal.inria.fr/hal-00801840

Other Publications

References in notes
  • 54Z.120: Message Sequence Charts (MSC), International Telecommunication Union, 2011.
  • 55P. Darondeau, L. Hélouët, M. Mukund.

    Assembling Sessions, in: Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Lecture Notes in Computer Science, Springer, 2011, vol. 6996, pp. 259-274.
  • 56E. Fabre, L. Jezequel.

    Distributed optimal planning: an approach by weighted automata calculus, in: CDC, 2009, pp. 211-216.
  • 57L. Hélouët, A. Benveniste.

    Document Based Modeling of Web Services Choreographies Using Active XML, in: IEEE International Conference on Web Services, ICWS 2010, IEEE Computer Society, 2010, pp. 291-298.
  • 58L. Jezequel, E. Fabre.

    A#: A distributed version of A* for factored planning, in: CDC, 2012, pp. 7377-7382.
  • 59B. Masson, L. Hélouët, A. Benveniste.

    Compatibility of Data-Centric Web Services, in: WS-FM, Lecture Notes in Computer Science, Springer, 2011, vol. 7176, pp. 32-47.
  • 60A. Nigam, N. S. Caswell.

    Business artifacts: An approach to operational specification, in: IBM Systems Journal, 2003, vol. 42, no 3, pp. 428-445.

    http://dx.doi.org/10.1147/sj.423.0428
  • 61S. Rosario.

    Quality of Service issues in compositions of Web services, Université de Rennes 1, 2009.
  • 62W. Zielonka.

    Notes on Finite Asynchronous Automata, in: R.A.I.R.O - Informatique Théorique et Applications, 1987, vol. 21, no 2, pp. 99-135.


previous Previous | up Home