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


Publications of the year

Doctoral Dissertations and Habilitation Theses

R. 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.

Articles in International Peer-Reviewed Journals

E. 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, no 4, 17 p. [ DOI : 10.1145/3309711 ]
A. 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.
P. 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, no 18, pp. 1-22. [ DOI : 10.1002/cpe.5170 ]
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 ]
C. 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, no 3, pp. 279-335. [ DOI : 10.1007/s10703-019-00337-w ]
M. 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, no 4, pp. 1-26. [ DOI : 10.1145/3363785 ]

International Conferences with Proceedings

F. 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 ]
F. 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 ]
R. 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 ]
F. 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 ]

Conferences without Proceedings

A. 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 ]
P. 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.
P. 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.

Scientific Books (or Scientific Book chapters)

E. 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 ]
Y. 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 ]

Internal Reports

F. 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, no RR-9295, pp. 1-43.
F. 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, no RR-9244, pp. 1-24.
R. 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.

Other Publications

A. Olivry, J. Langou, L.-N. Pouchet, P. Sadayappan, F. Rastello.
Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs, December 2019, - working paper or preprint.