Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

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

Articles in International Peer-Reviewed Journals

[5]
O. Beaumont, T. Lambert, L. Marchal, B. Thomas.
Performance Analysis and Optimality Results for Data-Locality Aware Tasks Scheduling with Replicated Inputs, in: Future Generation Computer Systems, October 2019, pp. 1-28. [ DOI : 10.1016/j.future.2019.08.024 ]
https://hal.inria.fr/hal-02275473
[6]
N. Bertrand, M. Dewaskar, B. Genest, H. Gimbert, A. Godbole.
Controlling a population, in: Logical Methods in Computer Science, 2019, vol. 15, no 3, pp. 1-30. [ DOI : 10.23638/LMCS-15(3:6)2019 ]
https://hal.archives-ouvertes.fr/hal-02350251
[7]
N. Bertrand, S. Haddad, E. Lefaucheux.
A Tale of Two Diagnoses in Probabilistic Systems, in: Journal of Information and Computation, December 2019, vol. 269, pp. 1-33. [ DOI : 10.1016/j.ic.2019.104441 ]
https://hal.inria.fr/hal-02430814
[8]
S. Cherrared, S. Imadali, E. Fabre, G. Gössler, I. G. B. Yahia.
A Survey of Fault Management in Network Virtualization Environments: Challenges and Solutions, in: IEEE Transactions on Network and Service Management, October 2019, pp. 1-15. [ DOI : 10.1109/TNSM.2019.2948420 ]
https://hal.inria.fr/hal-02370378
[9]
M. Pichené, S. K. Palaniappan, E. Fabre, B. Genest.
Modeling Variability in Populations of Cells using Approximated Multivariate Distributions, in: IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2019, pp. 1-12, forthcoming. [ DOI : 10.1109/TCBB.2019.2904276 ]
https://hal.archives-ouvertes.fr/hal-02350249
[10]
M. Renard, Y. Falcone, A. Rollet, T. Jéron, H. Marchand.
Optimal Enforcement of (Timed) Properties with Uncontrollable Events, in: Mathematical Structures in Computer Science, 2019, vol. 29, no 1, pp. 169-214. [ DOI : 10.1017/S0960129517000123 ]
https://hal.archives-ouvertes.fr/hal-01262444

International Conferences with Proceedings

[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, Aachen, Germany, W. van der Aalst, R. Bergenthum, J. Carmona (editors), Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019, CEUR Workshop Proceedings, June 2019, vol. 2371, no 3, pp. 36-53.
https://hal.inria.fr/hal-02337628
[12]
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, Bombay, India, Proceedings of FSTTCS 2019 - 39th IARCS Annual Conference on. Foundations of Software Technology and Theoretical Computer Science, LIPIcs, 2019, vol. volume 150 of LIPIcs, no 29, pp. 1-14. [ DOI : 10.4230/LIPIcs.FSTTCS.2019.29 ]
https://hal.archives-ouvertes.fr/hal-02350252
[13]
C. 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, Vancouver, Canada, IEEE, June 2019, pp. 1-31. [ DOI : 10.1109/LICS.2019.8785672 ]
https://hal.archives-ouvertes.fr/hal-02349456
[14]
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, Rennes, France, Actes de AI&Defense, 2019, pp. 1-10.
https://hal.archives-ouvertes.fr/hal-02350253
[15]
N. Bertrand, B. Bordais, L. Hélouët, 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, Lille, France, LNCS, Springer, June 2019, pp. 59-76. [ DOI : 10.1007/978-3-030-18744-6_4 ]
https://hal.inria.fr/hal-02065365
[16]
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, Bombay, India, LIPIcs, December 2019, pp. 1-15.
https://hal.inria.fr/hal-02351236
[17]
N. Bertrand, P. Bouyer, A. Majumdar.
Reconfiguration and message losses in parameterized broadcast networks, in: CONCUR 2019 - 30th International Conference on Concurrency Theory, Amsterdam, Netherlands, August 2019, pp. 1 - 15. [ DOI : 10.4230/LIPIcs.CONCUR.2019.32 ]
https://hal.inria.fr/hal-02191382
[18]
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, Amsterdam, Netherlands, August 2019, pp. 1-16. [ DOI : 10.4230/LIPIcs.CONCUR.2019.33 ]
https://hal.inria.fr/hal-02191348
[19]
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, Macao, China, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI'19), August 2019, pp. 1588-1594, https://arxiv.org/abs/1905.11537. [ DOI : 10.24963/ijcai.2019/220 ]
https://hal.archives-ouvertes.fr/hal-02268141
[20]
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, New-York, United States, LNCS, Springer, July 2019, pp. 572-590. [ DOI : 10.1007/978-3-030-25540-4_33 ]
https://hal.archives-ouvertes.fr/hal-02264083
[21]
T. Charrier, A. Queffelec, O. Sankur, F. Schwarzentruber.
Reachability and Coverage Planning for Connected Agents, in: AAMAS 2019 - 18th International Conference on Autonomous Agents and MultiAgent Systems, Montreal, Canada, Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, ACM, May 2019, vol. 3, pp. 1874-1876.
https://hal.archives-ouvertes.fr/hal-02349490
[22]
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, Macao, China, August 2019, pp. 1-7.
https://hal.archives-ouvertes.fr/hal-02349475
[23]
L. Hélouët, N. Markey, R. Raha.
Reachability Games with Relaxed Energy Constraints, in: GandALF 2019 - Tenth International Symposium on Games, Automata, Logics, and Formal Verification, Bordeaux, France, EPTCS, September 2019, vol. 305, pp. 17-33. [ DOI : 10.4204/EPTCS.305.2 ]
https://hal.inria.fr/hal-02291241
[24]
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, Nice, France, IEEE, December 2019, pp. 1-6.
https://hal.inria.fr/hal-02390435
[25]
T. A. Pham, T. 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, Copenhagen, Denmark, J. A. Pérez, N. Yoshida (editors), Formal Techniques for Distributed Objects, Components, and Systems, Springer International Publishing, 2019, vol. LNCS-11535, pp. 224-241, Part 1: Full Papers. [ DOI : 10.1007/978-3-030-21759-4_13 ]
https://hal.inria.fr/hal-02109769
[26]
V. Roussanaly, O. Sankur, N. Markey.
Abstraction Refinement Algorithms for Timed Automata, in: CAV 2019 - 31st International Conference on Computer Aided Verification, New York, United States, LNCS, Springer, July 2019, vol. 11561, pp. 22-40. [ DOI : 10.1007/978-3-030-25540-4_2 ]
https://hal.archives-ouvertes.fr/hal-02265808

Conferences without Proceedings

[27]
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, pp. 1-4.
https://hal.archives-ouvertes.fr/hal-02268161

Internal Reports

[28]
E. Badouel, C. Ferigato, P. Aubel.
Computers and Coordination of Debate. A study on the role of computers for ordering public debates at various levels, from open citizen's polls to formal parliamentary debate, Euopean Community Joint Research Center - Ispra ; Inria Rennes - Bretagne Atlantique ; Université Rennes 1 ; Irisa, November 2019, no JRC115574, 63 p.
https://hal.inria.fr/hal-02346119

Other Publications

[29]
S. Akshay, B. Genest, L. Hélouët, S. Mital.
Timed Negotiations, October 2019, working paper or preprint.
https://hal.inria.fr/hal-02337887
[30]
E. Badouel, R. A. Djeumen Djatcha.
A Calculus of Interfaces for Guarded Attribute Grammars, June 2019, working paper or preprint.
https://hal.inria.fr/hal-02145920
[31]
N. Bertrand, I. Konnov, M. Lazic, J. Widder.
Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries, April 2019, Experiments presented in this paper were carried out using the Grid5000 testbed, supported by a scientific interest group hosted by Inria and including CNRS, RENATER and several Universities as well as other organizations, see grid5000.fr.
https://hal.inria.fr/hal-01925533
[32]
P. Bourhis, L. Hélouët, R. Singh, Z. Miklós.
Data Centric Workflows for Crowdsourcing, September 2019, working paper or preprint.
https://hal.inria.fr/hal-01976280
[33]
S. Cherrared, S. Imadali, E. Fabre, G. Gössler.
SAKURA a Model Based Root Cause Analysis Framework for vIMS, ACM Press, June 2019, pp. 594-595, MobiSys 2019 - 17th ACM International Conference on Mobile Systems, Applications, and Services, Poster.
https://hal.inria.fr/hal-02291163
[34]
R. Singh, L. Hélouët, Z. Miklós.
Reducing the Cost of Aggregation in Crowdsourcing, December 2019, working paper or preprint.
https://hal.inria.fr/hal-02397971
References in notes
[35]
E. Badouel, U. Schlachter.
Incremental Process Discovery using Petri Net Synthesis, in: Fundamenta Informaticae, June 2017, vol. 154, no 1-4, pp. 1-13. [ DOI : 10.3233/FI-2017-1548 ]
https://hal.inria.fr/hal-01599760
[36]
N. Bertrand, P. Bouyer, T. Brihaye, P. Carlier.
Analysing Decisive Stochastic Processes, in: ICALP 2016 - 43rd International Colloquium on Automata, Languages, and Programming, Rome, Italy, LiPIcs, LZI, 2016, vol. 55, pp. 101:1-101:14. [ DOI : 10.4230/LIPIcs.ICALP.2016.101 ]
https://hal.inria.fr/hal-01397794
[37]
N. Bertrand, P. Bouyer, T. Brihaye, P. Carlier.
When are stochastic transition systems tameable?, in: Journal of Logical and Algebraic Methods in Programming, 2018, vol. 99, pp. 41-96. [ DOI : 10.1016/j.jlamp.2018.03.004 ]
https://hal.inria.fr/hal-01938135
[38]
P. Bouyer, N. Markey, N. Perrin, P. Schlehuber-Caissier.
Timed automata abstraction of switched dynamical systems using control funnels, in: Real-Time Systems, May 2017, vol. 53, no 3, pp. 327-353.
http://dx.doi.org/10.1007/s11241-016-9262-3
[39]
I. V. Konnov, M. Lazic, H. Veith, J. Widder.
A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms, in: POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages, ACM, 2017, pp. 719-734.
[40]
A. Nigam, N. S. Caswell.
Business artifacts: An approach to operational specification, in: IBM Systems Journal, 2003, vol. 42, no 3, pp. 428-445.