Publications 2014

Books

  1. Eric Badouel, Luca Bernardinello, Philippe Darondeau. Petri net synthesis (in preparation). Springer, 2014. details
  2. Mokhtar Sellami, Eric Badouel, Moussa Lo (eds.). Actes du CARI 2014 (Colloque africain sur la recherche en informatique et mathématiques appliquées). 2014. details Hal : Hyper Archive en ligne download
  3. N. Bertrand, L. Bortolussi (eds.). Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'14). 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 Hal : Hyper Archive en ligne 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 Hal : Hyper Archive en ligne doi pdf
  3. Ph. Darondeau, H. Marchand, L. Ricker. Enforcing Opacity of Regular Predicates on Modal Transition Systems. Discrete Event Dynamic Systems, 2014. details Hal : Hyper Archive en ligne doi pdf
  4. Y. Falcone, H. Marchand. Enforcement and Validation (at runtime) of Various Notions of Opacity. Discrete Event Dynamic Systems, 2014. details Hal : Hyper Archive en ligne 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 Hal : Hyper Archive en ligne 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 Hal : Hyper Archive en ligne 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 Hal : Hyper Archive en ligne pdf
  2. Romain Brenguier, Guillermo A. Pérez, Jean-François 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 Hal : Hyper Archive en ligne 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 Hal : Hyper Archive en ligne 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 Hal : Hyper Archive en ligne 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 Hal : Hyper Archive en ligne 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 Hal : Hyper Archive en ligne 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 Hal : Hyper Archive en ligne 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 Hal : Hyper Archive en ligne

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