Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

• 1R. Jakse.
  
  Interactive runtime verification, CORSE - Compiler Optimization and Run-time Systems ; Université Grenoble - Alpes ; LIG (Laboratoire informatique de Grenoble) ; Inria Grenoble Rhône-Alpes, December 2019.
  
  https://hal.inria.fr/tel-02460734

Articles in International Peer-Reviewed Journals

• 2E. Cruz, M. Diener, L. Lima Pilla, P. Navaux.
  
  EagerMap: A Task Mapping Algorithm to Improve Communication and Load Balancing in Clusters of Multicore Systems, in: ACM Transactions on Parallel Computing, 2019, vol. 5, n^o 4, 17 p. [ DOI : 10.1145/3309711 ]
  
  https://hal.archives-ouvertes.fr/hal-02062952
• 3A. El-Hokayem, Y. Falcone.
  
  On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation, in: ACM Transactions on Software Engineering and Methodology, September 2019, pp. 1-57.
  
  https://hal.archives-ouvertes.fr/hal-02283429
• 4P. H. Penna, A. T. A. Gomes, M. Castro, P. Plentz, H. C. D. Freitas, F. Broquedis, J.-F. Méhaut.
  
  A Comprehensive Performance Evaluation of the BinLPT Workload-Aware Loop Scheduler, in: Concurrency and Computation: Practice and Experience, February 2019, vol. 31, n^o 18, pp. 1-22. [ DOI : 10.1002/cpe.5170 ]
  
  https://hal.archives-ouvertes.fr/hal-01986361
• 5M. 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, n^o 1, pp. 169-214. [ DOI : 10.1017/S0960129517000123 ]
  
  https://hal.archives-ouvertes.fr/hal-01262444
• 6C. Sanchez, G. Schneider, W. Ahrendt, E. Bartocci, D. Bianculli, C. Colombo, Y. Falcone, A. Francalanza, S. Krstić, J. Lourenço, D. Nickovic, G. Pace, J. Rufino, J. Signoles, D. Traytel, A. Weiss.
  
  A survey of challenges for runtime verification from advanced application domains (beyond software), in: Formal Methods in System Design, November 2019, vol. 54, n^o 3, pp. 279-335. [ DOI : 10.1007/s10703-019-00337-w ]
  
  https://hal.archives-ouvertes.fr/hal-02433558
• 7M. Selva, F. Gruber, D. Sampaio, C. Guillon, L.-N. Pouchet, F. Rastello.
  
  Building a Polyhedral Representation from an Instrumented Execution: Making Dynamic Analyses of Non-Affine Programs Scalable, in: ACM Transactions on Architecture and Code Optimization, December 2019, vol. 16, n^o 4, pp. 1-26. [ DOI : 10.1145/3363785 ]
  
  https://hal.inria.fr/hal-02418987

International Conferences with Proceedings

• 8F. Ait Salaht, F. Desprez, A. Lebre, C. Prud'Homme, M. Abderrahim.
  
  Service Placement in Fog Computing Using Constraint Programming, in: SCC 2019 : IEEE International Conference on Services Computing, Milan, Italy, IEEE, July 2019, pp. 19-27. [ DOI : 10.1109/SCC.2019.00017 ]
  
  https://hal.archives-ouvertes.fr/hal-02108806
• 9F. Gruber, M. Selva, D. Sampaio, C. Guillon, A. Moynault, L.-N. Pouchet, F. Rastello.
  
  Data-Flow/Dependence Profiling for Structured Transformations, in: PPoPP 2019 - 24th Symposium on Principles and Practice of Parallel Programming, Washington, D.C., United States, ACM, February 2019, pp. 173-185. [ DOI : 10.1145/3293883.3295737 ]
  
  https://hal.inria.fr/hal-02060796
• 10R. Li, A. Sukumaran-Rajam, R. Veras, T. M. Low, F. Rastello, A. Rountev, P. Sadayappan.
  
  Analytical Cache Modeling and Tilesize Optimization for Tensor Contractions, in: SC 2019 - International Conference for High Performance Computing, Networking, Storage and Analysis, Denver, United States, ACM Press, November 2019, pp. 1-13. [ DOI : 10.1145/3295500.3356218 ]
  
  https://hal.inria.fr/hal-02418875
• 11F. Zanon Boito, J.-F. Méhaut, T. Deutsch, B. Videau, F. Desprez.
  
  Instrumental Data Management and Scientific Workflow Execution: the CEA case study, in: IPDPSW 2019 - International Parallel and Distributed Processing Symposium Workshops, Rio de Janeiro, Brazil, IEEE, May 2019, pp. 850-857. [ DOI : 10.1109/IPDPSW.2019.00139 ]
  
  https://hal.inria.fr/hal-02076963

Conferences without Proceedings

• 12A. Kassem, Y. Falcone.
  
  Detecting Fault Injection Attacks with Runtime Verification, in: SPRO 2019 - 3rd International Workshop on Software PROtection, Londres, United Kingdom, ACM, November 2019, pp. 65-76. [ DOI : 10.1145/3338503.3357724 ]
  
  https://hal.archives-ouvertes.fr/hal-02283434
• 13P. H. Penna, J. Souto, D. F. Lima, M. Castro, F. Broquedis, H. H. Freitas, J.-F. Méhaut.
  
  On the Performance and Isolation of Asymmetric Microkernel Design for Lightweight Manycores, in: SBESC 2019 - IX Brazilian Symposium on Computing Systems Engineering, Natal, Brazil, November 2019, pp. 1-31.
  
  https://hal.archives-ouvertes.fr/hal-02297637
• 14P. H. Penna, M. Souza, E. P. Junior, J. Souto, M. Castro, F. Broquedis, H. Cota de Freitas, J.-F. Méhaut.
  
  RMem: An OS Service for Transparent Remote Memory Access in Lightweight Manycores, in: MultiProg 2019 - 25th International Workshop on Programmability and Architectures for Heterogeneous Multicores, Valencia, Spain, High-Performance and Embedded Architectures and Compilers Workshops (HiPEAC Workshops), January 2019, pp. 1-16.
  
  https://hal.archives-ouvertes.fr/hal-01986366

Scientific Books (or Scientific Book chapters)

• 15E. Bartocci, Y. Falcone, G. Reger.
  
  International Competition on Runtime Verification (CRV), in: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019, Springer, April 2019, pp. 41-49. [ DOI : 10.1007/978-3-030-17502-3_3 ]
  
  https://hal.archives-ouvertes.fr/hal-02433552
• 16Y. Falcone, S. Pinisetty.
  
  On the Runtime Enforcement of Timed Properties, in: Proceedings of the Runtime Verification 2019 conference, Springer, October 2019, pp. 48-69. [ DOI : 10.1007/978-3-030-32079-9_4 ]
  
  https://hal.archives-ouvertes.fr/hal-02433521

Internal Reports

• 17F. Ait Salaht, F. Desprez, A. Lebre.
  
  An overview of service placement problem in Fog and Edge Computing, Univ Lyon, EnsL, UCBL, CNRS, Inria, LIP, LYON, France, October 2019, n^o RR-9295, pp. 1-43.
  
  https://hal.inria.fr/hal-02313711
• 18F. Gruber, M. Selva, D. Sampaio, C. Guillon, L.-N. Pouchet, F. Rastello.
  
  Building of a Polyhedral Representation from an Instrumented Execution: Making Dynamic Analyses of non-Affine Programs Scalable, CORSE - Compiler Optimization and Run-time Systems, January 2019, n^o RR-9244, pp. 1-24.
  
  https://hal.inria.fr/hal-01967828
• 19R. Jakse, Y. Falcone, J.-F. Méhaut.
  
  Interactive Runtime Verification: Formal Models, Algorithms, and Implementation, UGA (Université Grenoble Alpes) ; LIG (Laboratoire informatique de Grenoble) ; Inria Grenoble Rhône-Alpes, Université de Grenoble, July 2019.
  
  https://hal.inria.fr/hal-02190656

Other Publications

• 20A. Olivry, J. Langou, L.-N. Pouchet, P. Sadayappan, F. Rastello.
  
  Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs, December 2019, https://arxiv.org/abs/1911.06664 - working paper or preprint.
  
  https://hal.inria.fr/hal-02421026