EN FR
EN FR


previous Previous | up Home


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), 2015, vol. 62, no 1, pp. 34-65.

    https://hal.inria.fr/hal-00920793
  • 17S. Akshay, L. Hélouët, C. Jard, P.-A. Reynier.

    Robustness of Time Petri Nets under Guard Enlargement, in: Fundamenta Informaticae, 2016, vol. 143.

    https://hal.inria.fr/hal-01237124
  • 18E. Badouel, L. Hélouët, G.-E. Kouamou, C. Morvan, R. F. J. Nsaibirni.

    Active Workspaces: Distributed Collaborative Systems based on Guarded Attribute Grammars, in: ACM SIGAPP Applied Computing Review (ACM Digital Library), September 2015, vol. 15, no 3, 28 p.

    https://hal.inria.fr/hal-01237131
  • 19N. Berthier, É. Rutten, N. De Palma, S. M.-K. Gueye.

    Designing Autonomic Management Systems by using Reactive Control Techniques, in: IEEE Transactions on Software Engineering, December 2015, 18 p.

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

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

    https://hal.inria.fr/hal-01102472
  • 21P. Bouyer, N. Markey, O. Sankur.

    Robust Reachability in Timed Automata: A Game-Based Approach, in: Journal of Theoretical Computer Science (TCS), 2015, vol. 563, pp. 43-74. [ DOI : 10.1016/j.tcs.2014.08.014 ]

    https://hal.archives-ouvertes.fr/hal-01105077
  • 22L. Jezequel, E. Fabre.

    Factored Cost-Optimal Planning Using Message Passing Algorithms, in: Fundamenta Informaticae, July 2015, vol. 139, no 4. [ DOI : 10.3233/FI-2015-1239 ]

    https://hal.inria.fr/hal-01247346
  • 23L. Jezequel, E. Fabre, V. Khomenko.

    Factored Planning: From Automata to Petri Nets, in: ACM Transactions in Embedded Computing Systems, March 2015, vol. 14, no 2. [ DOI : 10.1145/2656215 ]

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

Invited Conferences

  • 24X. An, G. Delaval, J.-P. Diguet, A. Gamatie, S. M.-K. Gueye, H. Marchand, N. De Palma, E. Rutten.

    Discrete Control-Based Design of Adaptive and Autonomic Computing Systems, in: ICDCIT: International Conference on Distributed Computing and Internet Technology, Bhubaneswar, India, 11th International Conference on Distributed Computing and Internet Technology, ICDCIT 2015, Springer, February 2015, vol. LNCS, no 8956. [ DOI : 10.1007/978-3-319-14977-6_6 ]

    https://hal.archives-ouvertes.fr/hal-01116015
  • 25M. Randour, R. Jean-François, O. Sankur.

    Variations on the Stochastic Shortest Path Problem, in: Verification, Model Checking, and Abstract Interpretation, Mumbai, India, January 2015. [ DOI : 10.1007/978-3-662-46081-8_1 ]

    https://hal.archives-ouvertes.fr/hal-01248766

International Conferences with Proceedings

  • 26S. Akshay, B. Genest, B. Karelovic, N. Vyas.

    On Regularity of unary Probabilistic Automata, in: STACS 2016, Orléans, France, STACS 2016, 2016.

    https://hal.archives-ouvertes.fr/hal-01245037
  • 27E. Badouel, L. Hélouët, G.-E. Kouamou, C. Morvan.

    A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment, in: The 30th ACM/SIGAPP Symposium On Applied Computing, Salamanca, Spain, The 30th ACM/SIGAPP Symposium On Applied Computing, ACM, April 2015. [ DOI : 10.1145/2695664.2695698 ]

    https://hal.inria.fr/hal-01193222
  • 28E. Badouel, L. Hélouët, C. Morvan.

    Petri nets with semi-structured data, in: 36th International Conference on Application and Theory of Petri Nets and Concurrency, Bruxelles, Belgium, 36th International Conference on Application and Theory of Petri Nets and Concurrency, June 2015.

    https://hal.inria.fr/hal-01193279
  • 29N. Berthier, X. An, H. Marchand.

    Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures, in: 5th IFAC International Workshop On Dependable Control of Discrete Systems - DCDS'15, Cancun, Mexico, May 2015, vol. 48, no 7, pp. 132-138.

    https://hal.archives-ouvertes.fr/hal-01187745
  • 30N. Berthier, H. Marchand.

    Deadlock-free Discrete Controller Synthesis for Infinite State Systems, in: 54th IEEE Conference on Decision and Control, Osaka, Japan, December 2015.

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

    Distributed local strategies in broadcast networks, in: 26th International Conference on Concurrency Theory (CONCUR 2015), Madrid, Spain, September 2015. [ DOI : 10.4230/LIPIcs.CONCUR.2015.44 ]

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

    Accurate approximate diagnosability of stochastic systems, in: 10th International Conference on Language and Automata Theory and Applications, Prague, Czech Republic, Springer, March 2016.

    https://hal.inria.fr/hal-01220954
  • 33R. Brenguier, G. A. Pérez, J.-F. Raskin, O. Sankur.

    Compositional Algorithms for Succinct Safety Games, in: 4th Workshop on Synthesis, San Francisco, United States, July 2015.

    https://hal.archives-ouvertes.fr/hal-01248767
  • 34R. Brenguier, J.-F. Raskin, O. Sankur.

    Assume-Admissible Synthesis, in: 26th International Conference on Concurrency Theory (CONCUR 2015), Madrid, Spain, Leibniz International Proceedings in Informatics (LIPIcs), September 2015, vol. 42, pp. 100–113. [ DOI : 10.4230/LIPIcs.CONCUR.2015.100 ]

    https://hal.archives-ouvertes.fr/hal-01245193
  • 35T. Brihaye, G. Geeraerts, A. Haddad, E. Lefaucheux, B. Monmege.

    Simple Priced Timed Games Are Not That Simple, in: 35th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'15), Banaglore, India, Leibniz-Zentrum für Informatik, 2015.

    https://hal.archives-ouvertes.fr/hal-01242902
  • 36B. Bérard, L. Hélouët, J. Mullins.

    Non-interference in partial order models, in: ACSD 2015, Brussels, Belgium, ACSD 2015, IEEE, June 2015.

    https://hal.inria.fr/hal-01138787
  • 37B. Genest, D. Peled, S. Schewe.

    Knowledge = Observation + Memory + Computation, in: FoSSaCS 2015, London, United Kingdom, FoSSaCS 2015, Springer, 2015, vol. LNCS, no 9034, pp. 215-229. [ DOI : 10.1007/978-3-662-46678-0_14 ]

    https://hal.archives-ouvertes.fr/hal-01245016
  • 38S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand.

    TiPEX: A Tool Chain for Timed Property Enforcement During eXecution, in: RV'2015, 6th International Conference on Runtime Verification, Vienne, Austria, E. Bartocci, R. Majumdar (editors), Lecture Notes in Computer Science, Springer, September 2015, vol. 9333, 12 p. [ DOI : 10.1007/978-3-319-23820-3_22 ]

    https://hal.inria.fr/hal-01244446
  • 39S. Pinisetty, V. Preoteasa, S. Tripakis, T. Jéron, Y. Falcone, H. Marchand.

    Predictive Runtime Enforcement *, in: SAC 2016 31st ACM Symposium on Applied Computing, Pisa, Italy, ACM, April 2016, 6 p. [ DOI : 10.1145/2851613.2851827 ]

    https://hal.inria.fr/hal-01244369
  • 40M. Randour, J.-F. Raskin, O. Sankur.

    Percentile Queries in Multi-dimensional Markov Decision Processes, in: 27th International Conference on Computer Aided Verification (CAV 2015), San Francisco, United States, Lecture Notes in Computer Science, July 2015, vol. 9206. [ DOI : 10.1007/978-3-319-21690-4_8 ]

    https://hal.archives-ouvertes.fr/hal-01245196
  • 41M. Renard, Y. Falcone, A. Rollet, S. Pinisetty, T. Jéron, H. Marchand.

    Enforcement of (Timed) Properties with Uncontrollable Events, in: 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Cali, Colombia, Theoretical Aspects of Computing - ICTAC 2015, Springer, October 2015, vol. LNCS, no 9399, 22 p. [ DOI : 10.1007/978-3-319-25150-9_31 ]

    https://hal.inria.fr/hal-01185238
  • 42O. Sankur.

    Symbolic Quantitative Robustness Analysis of Timed Automata, in: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), London, United Kingdom, Lecture Notes in Computer Science, Springer, April 2015, vol. 9035. [ DOI : 10.1007/978-3-662-46681-0_48 ]

    https://hal.archives-ouvertes.fr/hal-01244766

Scientific Books (or Scientific Book chapters)

  • 43Proceedings of the Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'15), 2015. [ DOI : 10.4204/EPTCS.194 ]

    https://hal.inria.fr/hal-01243625
  • 44E. Badouel, L. Bernardinello, P. Darondeau.

    Petri Net Synthesis, Text in Theoretical Computer Science, an EATCS Series, Springer, November 2015, 339 p. [ DOI : 10.1007/978-3-662-47967-4 ]

    https://hal.inria.fr/hal-01237142
  • 45N. Bertrand, S. Haddad.

    Contrôle, probabilités et observation partielle, in: Informatique Mathématique. Une photographie en 2015, CNRS Édition, 2015, pp. 177-227.

    https://hal.archives-ouvertes.fr/hal-01242962

Internal Reports

Other Publications

  • 47S. K. Palaniappan, F. Bertaux, M. Pichene, E. Fabre, G. Batt, B. Genest.

    Approximating the dynamics of the Hybrid Stochastic-Deterministic Apoptosis pathway, CMSB 2015, 2015, CMSB 2015, Poster.

    https://hal.archives-ouvertes.fr/hal-01245034
References in notes
  • 48K. Etessami, M. Kwiatkowska, M. Y. Vardi, M. Yannakakis.

    Multi-objective model checking of Markov decision processes, in: Log. Methods Comput. Sci., 2008, vol. 4, no 4, 4:8, 21 p.

    http://dx.doi.org/10.2168/LMCS-4(4:8)2008
  • 49E. Fabre, L. Jezequel.

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

    A#: A distributed version of A* for factored planning, in: CDC, 2012, pp. 7377-7382.
  • 52N. D. Jones, L. H. Landweber, Y. E. Lien.

    Complexity of Some Problems in Petri Nets, in: Theor. Comput. Sci., 1977, vol. 4, no 3, pp. 277–299.
  • 53B. 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.
  • 54P. M. Merlin.

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

    Quality of Service issues in compositions of Web services, Université de Rennes 1, 2009.
  • 57V. V. Ruiz, F. C. Gomez, D. d. Frutos-Escrig.

    On Non-Decidability of Reachability for Timed-Arc Petri Nets, in: PNPM, IEEE Computer Society, 1999, pp. 188–.
  • 58B. Walter.

    Timed Petri-Nets for Modelling and Analysing Protocols with Real-Time Characteristics, in: Proc. of PSTV, 1983, pp. 149-159.


previous Previous | up Home