Publications 2014

Books

  1. Eric Badouel, Luca Bernardinello, Philippe Darondeau. Petri net synthesis (in preparation). Springer, 2014. details
  2. Actes du CARI 2014 (Colloque africain sur la recherche en informatique et mathématiques appliquées). Mokhtar Sellami, Eric Badouel, Moussa Lo (eds.), 2014. details download
  3. Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'14). N. Bertrand, L. Bortolussi (eds.), 2014. details doi

Academic Journals

  1. D. Biswas, B. Genest. Minimal Observability and Privacy Preserving Compensation for Transactional Services. Discrete Event Dynamic Systems, 24(4):611-646, 2014. details doi
  2. S. Chédor, Ch. Morvan, S. Pinchinat, H. Marchand. Diagnosis and Opacity Problems for Infinite State Systems Modeled by Recursive Tile Systems. Discrete Event Dynamic Systems, 2014. details doi pdf
  3. Ph. Darondeau, H. Marchand, L. Ricker. Enforcing Opacity of Regular Predicates on Modal Transition Systems. Discrete Event Dynamic Systems, 2014. details doi pdf
  4. Y. Falcone, H. Marchand. Enforcement and Validation (at runtime) of Various Notions of Opacity. Discrete Event Dynamic Systems, 2014. details doi pdf
  5. S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand, A. Rollet, O. Nguema Timo. Runtime enforcement of timed properties revisited. Formal Methods in System Design, 45(3):381-422, 2014. details doi pdf
  6. G. Kalyon, T. Le Gall, H. Marchand, T. Massart. Symbolic Supervisory Control of Distributed Systems with Communications. IEEE Transaction on Automatic Control, 59(2):396-408, February 2014. details doi pdf

International Conferences

  1. S. Akshay, L. L. Hélouet, M.L. Mukund. Active Diagnosis for Probabilistic Systems. In 14th International Conference on Application of Concurrency to System Design, Tunis, Tunisia, 2014. details pdf
  2. Romain Brenguier, Guillermo A. Pérez, Jean-Fran\ccois Raskin, Ocan Sankur. AbsSynthe: abstract synthesis from succinct safety specifications. In Proceedings 3rd Workshop on, Krishnendu Chatterjee, Rüdiger Ehlers, Susmit Jha (eds.), 2014. details
  3. N. Bertrand, S. Haddad, E. Lefaucheux. Foundation of Diagnosis and Predictability in Probabilistic Systems. In FSTTCS'14, New Delhi, India, December 2014. details pdf
  4. N. Bertrand, Th. Brihaye, B. Genest. Deciding the value 1 problem for reachability in 1-clock decision stochastic timed automata. In proceedings of the 11th International Conference on Quantitative Evaluation of Systems (QEST'14), Springer (ed.), LNCS, Volume 8657, Pages 313-328, Firenze, Italy, September 2014. details doi pdf
  5. N. Berthier, H. Marchand. Discrete Controller Synthesis for Infinite State Systems with ReaX. In IEEE International Workshop on Discrete Event Systems, Pages 46-53, Cachan, France, May 2014. details pdf
  6. S. 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, Pages 420-427, Cachan, France, May 2014. details pdf
  7. N. Bertrand, E, Fabre, S. Haar, S. Haddad, L. Hélouet. Active diagnosis for probabilistic systems. In 17th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS'14, Springer (ed.), LNCS, Volume 8412, Pages 29-42, Grenoble, France, April 2014. details download
  8. N. Bertrand, P. Fournier, A. Sangnier. Playing with probabilities in reconfigurable broadcast networks. In 17th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS'14, Springer (ed.), LNCS, Volume 8412, Pages 134-148, Grenoble, France, April 2014. details doi
  9. S. 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, Pages 1279-1286, Gyeongju, Korea, March 2014. details pdf

Research Reports

  1. E. Badouel, L. Hélout, G. Kouamou, Ch. Morvan. A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment. No 0, May 2014. details

Thesis

  1. S. Chédor. Diagnostic, opacité et test de conformité pour des systèmes récursifs. PhD Thesis Université de Rennes 1, January 2014. details pdf

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic