• Home
• People
• Publications

Publications 2021

Academic Journals

1. Romulo Meira-Goes, Stephane Lafortune, Hervé Marchand. Synthesis of Supervisors Robust Against Sensor Deception Attacks. IEEE Transactions on Automatic Control, 2021.
2. N. Bertrand, I. Konnov, M. Lazic, J. Widder. Verification of Randomized Consensus Algorithms under Round-Rigid Adversaries. International Journal on Software Tools for Technology Transfer, 23:797-821, October 2021.
3. R. Singh, L. Hélouet, Z. Miklos. Reducing the Cost of Aggregation in Crowdsourcing. Transactions on Large-Scale Data- and Knowledge-Centered Systems, pages 1-38, October 2021.
4. Sihem Cherrared, Sofiane Imadali, Eric Fabre, Gregor Gössler. SFC Self-Modeling and Active Diagnosis. IEEE Transactions on Network and Service Management, 18(3):2515-2530, September 2021.
5. P. Bouyer, L. Henry, S. Jaziri, Th. Jéron, N. Markey. Diagnosing timed automata using timed markings. International Journal on Software Tools for Technology Transfer, 23(2):229-253, April 2021.
6. Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar. Reconfiguration and Message Losses in Parameterized Broadcast Networks. Logical Methods in Computer Science, 17(1):1-18, March 2021.
7. Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Larsen, Nicolas Markey, Pierre-Alain Reynier. Optimal and robust controller synthesis using energy timed automata with uncertainty. Formal Aspects of Computing, 33(1):3-25, January 2021.

International Conferences

1. S. Akshay, B. Genest, L. Hélouet, S. Krishna, S. Roychowdhury. Resilience of Timed Systems. In FSTTCS 2021 - 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Pages 1-22, Virtual Conference due to COVID, India, December 2021.
2. N. Bertrand, B. Thomas, J. Widder. Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms. In Concur 2021 - International Conference on Concurrency Theory, Pages 1-17, Paris, France, August 2021.
3. N. Bertrand, L. de Alfaro, R. J Van Glabbeek, C. Palamidessi, N. Yoshida. CONCUR Test-Of-Time Award 2021. In Concur 2021 - International Conference on Concurrency Theory, Pages 1-3, Paris, France, August 2021.
4. Jakob Piribauer, Christel Baier, Nathalie Bertrand, Ocan Sankur. Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking. In CONCUR 2021 - 32nd International Conference on Concurrency Theory, Pages 1-18, Paris, France, August 2021.
5. L. Hélouet, Z. Miklos, R. Singh. Cost and Quality in Crowdsourcing Workflows. In PETRI NETS 2021 - 42nd International Conference on Applications and Theory of Petri Nets and Concurrency, Lecture Notes in Computer Science, Volume 12734, Pages 33-54, Paris, France, June 2021.
6. Arthur Queffelec, Ocan Sankur, Fran\c cois Schwarzentruber. Planning for Connected Agents in a Partially Known Environment. In AI 2021 - 34th Canadian Conference on Artificial Intelligence, Pages 1-23, Vancouver / Virtual, Canada, May 2021.
7. Abdul Majith, Ocan Sankur, Hervé Marchand, Thai Dinh. Compositional model checking of an SDN platform. In DRCN 2021 - 17th International Conference on the Design of Reliable Communication Networks, Pages 1-8, Milan, Italy, April 2021.
8. N. Bertrand, M. Lazic, J. Widder. A Reduction Theorem for Randomized Distributed Algorithms Under Weak Adversaries. In 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'21), Pages 219-239, Copenhagen, Denmark, January 2021.

Thesis

1. Léo Henry. There and back again : formal methods and model learning for real-time systems : acting upon reality and learning from its reactions. PhD Thesis Université Rennes 1, December 2021.
2. S. Sadhukhan. A Verification Viewpoint on Network Congestion Games. PhD Thesis Inria Rennes, December 2021.
3. A. Queffelec. Connected Multi-Agent Path Finding: How Robots Get Away with Texting and Driving. PhD Thesis IRISA, équipe LogicA, October 2021.
4. A. Majumdar. Vérification et synthèse de systèmes concurrents paramétrés. PhD Thesis Université Paris-Saclay, No 2021,September 2021.
5. Rituraj Singh. Data Centric Workflows for Crowdsourcing Application. PhD Thesis Université de Rennes 1, May 2021.

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