• Home
• People
• Publications

Publications 2019

Academic Journals

1. N. Bertrand, M. Dewaskar, B. Genest, H. Gimbert, A. Godbole. Controlling a population. Logical Methods in Computer Science, 15(3):1-30, 2019.
2. N. Bertrand, S. Haddad, E. Lefaucheux. A Tale of Two Diagnoses in Probabilistic Systems. Journal of Information and Computation, 269:1-33, December 2019.
3. S. Cherrared, S. Imadali, E. Fabre, G. Gössler, I. Yahia. A Survey of Fault Management in Network Virtualization Environments: Challenges and Solutions. IEEE Transactions on Network and Service Management, pages 1-15, October 2019.
4. M. Renard, Y. Falcone, A. Rollet, T. Jéron, H. Marchand. Optimal Enforcement of (Timed) Properties with Uncontrollable Events. Mathematical Structures in Computer Science, 51(1), May 2019.

International Conferences

1. S Akshay, H. Bazille, E. Fabre, B. Genest. Classification among Hidden Markov Models. In FSTTCS 2019 - 39th IARCS Annual Conference on. Foundations of Software Technology and Theoretical Computer Science, Volume 150 of LIPIcs, Pages 1-14, Bombay, India, December 2019.
2. N. Bertrand, P. Bouyer, A. Majumdar. Concurrent parameterized games. In FSTTCS 2019 - 39th IARCS Annual Conference on. Foundations of Software Technology and Theoretical Computer Science, Pages 1-15, Bombay, India, December 2019.
3. R. Meira-Góes, H. Marchand, S. Lafortune. Towards resilient supervisors against sensor deception attacks. In CDC 2019 - 58th IEEE Conference on Decision and Control, Pages 1-6, Nice, France, December 2019.
4. L. Hélouet, N. Markey, R. Raha. Reachability Games with Relaxed Energy Constraints. In GandALF 2019 - Tenth International Symposium on Games, Automata, Logics, and Formal Verification, EPTCS, Volume 305, Pages 17-33, Bordeaux, France, September 2019.
5. N. Bertrand, P. Bouyer, A. Majumdar. Reconfiguration and message losses in parameterized broadcast networks. In CONCUR 2019 - 30th International Conference on Concurrency Theory, Pages 1-15, Amsterdam, Netherlands, August 2019.
6. N. Bertrand, I. Konnov, M. Lazic, J. Widder. Verification of Randomized Consensus Algorithms under Round-Rigid Adversaries. In CONCUR 2019 - 30th International Conference on Concurrency Theory, Pages 1-16, Amsterdam, Netherlands, August 2019.
7. P. Bouyer, O. Kupferman, N. Markey, B. Maubert, A. Murano, G. Perelli. Reasoning about Quality and Fuzziness of Strategic Behaviours. In IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI'19), Pages 1588-1594, Macao, France, August 2019.
8. T. Charrier, A. Queffelec, O, Sankur, F. Schwarzentruber. Reachability and Coverage Planning for Connected Agents. In IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Pages 1-7, Macao, China, August 2019.
9. D. Busatto-Gaston, B. Monmege, P.-A. Reynier, O. Sankur. Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach. In CAV 2019 - 31st International Conference on Computer Aided Verification, Pages 572-590, New-York, United States, July 2019.
10. Victor Roussanaly, Ocan Sankur, Nicolas Markey. Abstraction Refinement Algorithms for Timed Automata. In CAV 2019 - 31st International Conference on Computer Aided Verification, LNCS, Volume 11561, Pages 22-40, New York, United States, July 2019.
11. F. Adobbati, C. Ferigato, S. Gandelli, A. Puerto Aubel. Two Operations for Stable Structures of Elementary Regions. In ATAED 2019 - Workshop Algorithms & Theories for the Analysis of Event Data, Volume 2371, Pages 36-53, Aachen, Germany, June 2019.
12. Ch. Baier, N. Bertrand, J. Piribauer, O. Sankur. Long-run Satisfaction of Path Properties. In LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Pages 1-31, Vancouver, Canada, June 2019.
13. N. Bertrand, B. Bordais, L. Hélouet, T. Mari, J. Parreaux, O. Sankur. Performance Evaluation of Metro Regulations Using Probabilistic Model-checking. In RSSRail 2019 - International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification, LNCS, Pages 1-22, Lille, France, June 2019.
14. T.A. Pham, Th. Jéron, M. Quinson. Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs. In FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Pages 1-18, Copenhagen, Denmark, June 2019.

National Conferences

1. H. Bazille, E. Fabre, B. Genest. Certification formelle des réseaux neuronaux profonds : un état de l'art en 2019. In AI and Defense 2019 - Artificial Intelligence and defense, Actes de AI&Defense, Pages 1-10, Rennes, France, November 2019.
2. M. Gonzalez, P. Bouyer, S. Lasaulce, N. Markey. Optimisation en présence de contraintes en probabilité et processus markoviens contrôlés. In GRETSI 2019 - XXVIIème Colloque GRETSI Traitement du Signal & des Images, Lille, France, August 2019.

Misc

1. S. Cherrared, S. Imadali, E. Fabre, G. Gössler. SAKURA a Model Based Root Cause Analysis Framework for vIMS. MobiSys'19, pp. 594-595, June 2019.

Thesis

1. H. Bazille. Detection and Quantification of Events in Stochastic Systems. PhD Thesis Univ-Rennes1, December 2019.
2. T.A. Pham. Efficient state-space exploration for asynchronous distributed programs: Adapting unfolding-based dynamic partial order reduction to MPI programs. PhD Thesis ENS Rennes, December 2019.
3. K. Kecir. Performance evaluation of urban rail traffic management techniques. PhD Thesis Université Rennes 1, No 2019,July 2019.
4. R. Nsaibirni. A Guarded Attribute Grammar Based Model for User Centered, Distributed, and Collaborative Case Management Case of the Disease Surveillance Process. PhD Thesis Université de Yaoundé I, April 2019.

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