• Home
• People
• Publications

Publications 2020

Books

1. B. Watson, E, Niang, O. Badouel. CARI 2020 - Colloque Africain sur la Recherche en Informatique et Mathématiques Appliquées. October 2020.

Academic Journals

1. Matthieu Pichené, Sucheendra K. Palaniappan, Eric Fabre, Blaise Genest. Modeling Variability in Populations of Cells using Approximated Multivariate Distributions. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 17(5):1691-1702, 2020.
2. Nathalie Bertrand, Serge Haddad, Engel Lefaucheux. Diagnosis and Degradation Control for Probabilistic Systems. Discrete Event Dynamic Systems, 30(4):695-723, December 2020.
3. E. Badouel, Rodrigue A. Djeumen D.. A Calculus of Interfaces for Distributed Collaborative Systems: The Guarded Attribute Grammar Approach. Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, Volume 31 - 2019 - CARI 2018, October 2020.
4. Olivier Beaumont, Thomas Lambert, Loris Marchal, Bastien Thomas. Performance Analysis and Optimality Results for Data-Locality Aware Tasks Scheduling with Replicated Inputs. Future Generation Computer Systems, 111:582-598, October 2020.
5. Tristan Charrier, Arthur Queffelec, Ocan Sankur, Francois Schwarzentruber. Complexity of planning for connected agents. Autonomous Agents and Multi-Agent Systems, 34(2), October 2020.
6. Sundararaman Akshay, Lo\"ic Hélou\"et, Ramchandra Phawade. Combining Free choice and Time in Petri Nets. Journal of Logical and Algebraic Methods in Programming, pages 1-36, May 2020.
7. P. Gardy, P. Bouyer, N. Markey. Dependences in Strategy Logic. Theory of Computing Systems, 64(3):467-507, April 2020.
8. G. Michele Pinna, Éric Fabre. Spreading nets: a uniform approach to unfoldings. Journal of Logical and Algebraic Methods in Programming, 112, April 2020.
9. Nathalie Bertrand. Model checking randomized distributed algorithms. ACM SIGLOG News, 7(1):35-45, February 2020.
10. E. André, D. Lime, N. Markey. Language Preservation Problems in Parametric Timed Automata. Logical Methods in Computer Science, Extended version of the paper of the name published in the proceedings of FORMATS 2015, 16(1), January 2020.

International Conferences

1. Hugo Bazille, Blaise Genest, Cyrille Jegourel, Jun Sun. Global PAC Bounds for Learning Discrete Time Markov Chains. In CAV 2020, CAV 2020, Volume LNCS, Pages 304-326, Los Angeles, United States, 2020.
2. Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax. Succinct Population Protocols for Presburger Arithmetic. In STACS 2020, STACS 2020, Volume LIPICS, Pages 40-40, Montpellier, France, 2020.
3. G. Zinck, L. S. L. Ricker, H. Marchand, L. Hélouet. Enforcing Opacity in Modular Systems. In Ifac world Congress, Berlin, Germany, 2020.
4. N. Bertrand, N. Markey, S. Sadhukhan, O. Sankur. Dynamic network congestion games. In 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020), Goa, India, December 2020.
5. Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar. Synthesizing safe coalition strategies. In FSTTCS'20, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, on line, India, December 2020.
6. E. Clement, T. Jéron, N. Markey, D. Mentré. Computing maximally-permissive strategies in acyclic timed automata. In FORMATS 2020 - 18th International Conference on Formal Modeling and Analysis of Timed Systems, Augmented version with proofs, Pages 1-33, Vienna, Austria, September 2020.
7. L. Henry, N. Markey, T. Jéron. Active learning of timed automata with unobservable resets. In FORMATS 2020 - 18th International Conference on Formal Modeling and Analysis of Timed Systems, Long version of the FORMATS2020 paper of same name, Pages 1-26, Vienna, Austria, September 2020.
8. T. Jéron, N. Markey, D. Mentré, R. Noguchi, O. Sankur. Incremental methods for checking real-time consistency. In FORMATS 2020 - 18th International Conference on Formal Modeling and Analysis of Timed Systems, 18 pages, published in Formats 2020, Pages 1-18, Vienne, Austria, September 2020.
9. R. Singh, L. Hélouet, Z. Miklos. Reducing the Cost of Aggregation in Crowdsourcing. In Web Services - (ICWS) 2020 - 27th International Conference, Proceedings of Web Services - (ICWS) 2020 - 27th International Conference, Held as Part of the Services Conference Federation SCF 2020), Volume 12406, Honolulu, United States, September 2020.
10. N. Bertrand. Concurrent Games with Arbitrarily Many Players. In 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), Prag, France, August 2020.
11. P. Bourhis, L. Hélouet, Z. Miklos, R. Singh. Data Centric Workflows for Crowdsourcing. In Petri Nets 2020 - 41st International Conference on Application and Theory of Petri Nets and Concurrency, Pages 1-39, Paris, France, June 2020.
12. Arij Elmajed, Armen Aghasaryan, Eric Fabre. Machine Learning Approaches to Early Fault Detection and Identification in NFV Architectures. In NetSoft 2020 - 6th IEEE International Conference on Network Softwarization, Pages 200-208, Ghent, France, June 2020.
13. S Akshay, B. Genest, L. Hélouet, S. Mital. Timed Negotiations. In 23rd International Conference on Foundations of Software Science and Computation Structures, Dublin (physical conference cancelled), Ireland, April 2020.

Thesis

1. Victor Roussanaly. Efficient verification of real time systems. PhD Thesis Université Rennes 1, November 2020.
2. Sihem Cherrared. Fault management of programmable multi-tenant networks. PhD Thesis Université Rennes 1, No 2020,June 2020.

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