EN FR
EN FR


Bibliography

Major publications by the team in recent years
  • 1S. Akshay, B. Genest, L. Hélouët, 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 ]
  • 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. Hélouët, 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

Articles in International Peer-Reviewed Journals

  • 16M. Agrawal, S. Akshay, B. Genest, P. Thiagarajan.

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

    https://hal.inria.fr/hal-00920793
  • 17N. Bertrand, P. Bouyer, T. Brihaye, Q. Menet, C. Baier, M. Groesser, M. Jurdzinski.

    Stochastic timed automata, in: Logical Methods in Computer Science, December 2014, vol. 10, no 4, 73 p. [ DOI : 10.2168/LMCS-10(4:6)2014 ]

    https://hal.inria.fr/hal-01102368
  • 18N. Bertrand, A. Stainer, T. Jéron, M. Krichen.

    A game approach to determinize timed automata, in: Formal Methods in System Design, December 2014, 39 p. [ DOI : 10.1007/s10703-014-0220-1 ]

    https://hal.inria.fr/hal-01102472
  • 19D. Biswas, B. Genest.

    Minimal Observability and Privacy Preserving Compensation for Transactional Services, in: Discrete Event Dynamic Systems, 2014, vol. 24, no 4, pp. 611-646. [ DOI : 10.1007/s10626-013-0177-z ]

    https://hal.inria.fr/hal-00916645
  • 20S. Chédor, T. Jéron, C. Morvan.

    Test Generation from Recursive Tile Systems, in: Journal of Software Testing, Verification, and Reliability, November 2014, vol. 24, no 7, pp. 532-557. [ DOI : 10.1002/stvr.1525 ]

    https://hal.inria.fr/hal-01091672
  • 21S. Chédor, C. Morvan, S. Pinchinat, H. Marchand.

    Diagnosis and Opacity Problems for Infinite State Systems Modeled by Recursive Tile Systems, in: Discrete Event Dynamic Systems, 2014. [ DOI : 10.1007/s10626-014-0197-3 ]

    https://hal.inria.fr/hal-00994970
  • 22P. Darondeau, H. Marchand, S. L. Ricker.

    Enforcing Opacity of Regular Predicates on Modal Transition Systems, in: Discrete Event Dynamic Systems, 2014, 20 p. [ DOI : 10.1007/s10626-014-0193-7 ]

    https://hal.inria.fr/hal-00987988
  • 23Y. Falcone, H. Marchand.

    Enforcement and Validation (at runtime) of Various Notions of Opacity, in: Discrete Event Dynamic Systems, 2014, 42 p. [ DOI : 10.1007/s10626-014-0196-4 ]

    https://hal.inria.fr/hal-00987985
  • 24L. Hélouët, H. Marchand, B. Genest, T. Gazagnaire.

    Diagnosis from Scenarios, in: Discrete Event Dynamic Systems, 2014, vol. 24, no 4, pp. 353–415. [ DOI : 10.1007/s10626-013-0158-2 ]

    https://hal.inria.fr/hal-00879441
  • 25G. 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 ]

    https://hal.inria.fr/hal-00903452
  • 26S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand, A. Rollet, O. L. Nguena Timo.

    Runtime enforcement of timed properties revisited, in: Formal Methods in System Design, 2014, vol. 45, no 3, pp. 381-422. [ DOI : 10.1007/s10703-014-0215-y ]

    https://hal.inria.fr/hal-01088136

International Conferences with Proceedings

  • 27S. Akshay, L. Hélouët, M. Mukund.

    Sessions with an unbounded number of agents, in: 14th International Conference on Application of Concurrency to System Design, Tunis, Tunisia, 14th International Conference on Application of Concurrency to System Design, IEEE, June 2014.

    https://hal.inria.fr/hal-01088994
  • 28N. Berthier, H. Marchand.

    Discrete Controller Synthesis for Infinite State Systems with ReaX, in: IEEE International Workshop on Discrete Event Systems, Cachan, France, May 2014, pp. 420-427.

    https://hal.inria.fr/hal-00974553
  • 29N. Bertrand, T. Brihaye, B. Genest.

    Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata, in: Quantitative Evaluation of Systems (QEST'14), Florence, Italy, September 2014, pp. 313 - 328. [ DOI : 10.1007/978-3-319-10696-0_25 ]

    https://hal.inria.fr/hal-01088113
  • 30N. Bertrand, E. Fabre, S. Haar, S. Haddad, L. Hélouët.

    Active diagnosis for probabilistic systems, in: 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'14), Grenoble, France, A. Muscholl (editor), Proceedings of FOSSACS 2014, Springer, April 2014. [ DOI : 10.1007/978-3-642-54830-7_2 ]

    https://hal.inria.fr/hal-00930919
  • 31N. Bertrand, P. Fournier, A. Sangnier.

    Playing with Probabilities in Reconfigurable Broadcast Networks, in: Foundations of Software Science and Computation Structures (FoSSaCS), Grenoble, France, April 2014. [ DOI : 10.1007/978-3-642-54830-7_9 ]

    https://hal.inria.fr/hal-01082129
  • 32N. Bertrand, S. Haddad, E. Lefaucheux.

    Foundation of Diagnosis and Predictability in Probabilistic Systems, in: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'14), New Delhi, India, December 2014.

    https://hal.inria.fr/hal-01088117
  • 33S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand.

    Runtime Enforcement of Parametric Timed Properties with Practical Applications, in: IEEE International Workshop on Discrete Event Systems, Cachan, France, May 2014, pp. 46-53.

    https://hal.inria.fr/hal-00974548
  • 34S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand.

    Runtime Enforcement of Regular Timed Properties, in: Software Verification and Testing, track of the Symposium on Applied Computing ACM-SAC 2014, Gyeongju, South Korea, ACM, March 2014, pp. 1279-1286.

    https://hal.inria.fr/hal-00907571

Books or Proceedings Editing

  • 35N. Bertrand, L. Bortolussi (editors)

    Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'14), Electronic Proceedings in Theoretical Computer Science (EPTCS), April 2014. [ DOI : 10.4204/EPTCS.154 ]

    https://hal.inria.fr/hal-01082133
  • 36M. Sellami, E. Badouel, M. Lo (editors)

    Actes du CARI 2014 (Colloque africain sur la recherche en informatique et mathématiques appliquées), Colloques CARI, Inria, October 2014, 376 p.

    https://hal.inria.fr/hal-01062320

Internal Reports

  • 37E. Badouel, L. Hélouët, G.-E. Kouamou, C. Morvan.

    A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment, May 2014, no RR-8528, 32 p.

    https://hal.inria.fr/hal-00990007
  • 38E. Fabre, K. Kecir, L. Hélouët.

    Deliverable L3.1 : Model for regulated urban railway systems., Projet P22 Inria SUMO- Alstom Transport, September 2014, 21 p.

    https://hal.inria.fr/hal-01094381
  • 39B. Genest, C. Morvan, E. Fabre, H. Marchand, K. Kecir, L. Hélouët.

    Deliverable L2: Objectives of Phase 1 and use cases denition., Projet P22 Inria SUMO- Alstom Transport, June 2014, 5 p.

    https://hal.inria.fr/hal-01094374
  • 40L. Hélouët, E. Fabre, C. Morvan, B. Genest, K. Kecir, H. Marchand.

    Deliverable L1 : State of the art and selected references, Projet P22 Inria SUMO- Alstom Transport, September 2014, 32 p.

    https://hal.inria.fr/hal-01094366
  • 41L. Hélouët.

    Robustness in Scenarios. ANR IMPRO Deliverable L 4.3, ANR IMPRO, November 2014, 23 p.

    https://hal.inria.fr/hal-01094363

Other Publications

References in notes
  • 45P. A. Abdulla, A. Nylén.

    Timed Petri Nets and BQOs, in: ICATPN, Springer, 2001, pp. 53-70.
  • 46S. Abiteboul, L. Segoufin, V. Vianu.

    Static analysis of active XML systems, in: Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada, ACM, 2008, pp. 221–230.
  • 47E. Fabre, L. Jezequel.

    Distributed optimal planning: an approach by weighted automata calculus, in: CDC, 2009, pp. 211-216.
  • 48L. 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.
  • 49L. Jezequel, E. Fabre.

    A#: A distributed version of A* for factored planning, in: CDC, 2012, pp. 7377-7382.
  • 50L. Jezequel, E. Fabre, V. Khomenko.

    Factored Planning: From Automata to Petri Nets, in: Proceedings of the 13th International Conference on Application of Concurrency to System Design, ACSD 2013, IEEE, 2013, pp. 130–139.
  • 51B. 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.
  • 52P. M. Merlin.

    A Study of the Recoverability of Computing Systems, University of California, Irvine, CA, USA, 1974.
  • 53A. 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
  • 54S. Rosario.

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