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
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

[1]
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.
https://hal.inria.fr/tel-02460734

Articles in International Peer-Reviewed Journals

[2]
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 ]
https://hal.archives-ouvertes.fr/hal-02062952
[3]
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.
https://hal.archives-ouvertes.fr/hal-02283429
[4]
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 ]
https://hal.archives-ouvertes.fr/hal-01986361
[5]
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
[6]
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 ]
https://hal.archives-ouvertes.fr/hal-02433558
[7]
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 ]
https://hal.inria.fr/hal-02418987

International Conferences with Proceedings

[8]
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 ]
https://hal.archives-ouvertes.fr/hal-02108806
[9]
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 ]
https://hal.inria.fr/hal-02060796
[10]
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 ]
https://hal.inria.fr/hal-02418875
[11]
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 ]
https://hal.inria.fr/hal-02076963

Conferences without Proceedings

[12]
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 ]
https://hal.archives-ouvertes.fr/hal-02283434
[13]
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.
https://hal.archives-ouvertes.fr/hal-02297637
[14]
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.
https://hal.archives-ouvertes.fr/hal-01986366

Scientific Books (or Scientific Book chapters)

[15]
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 ]
https://hal.archives-ouvertes.fr/hal-02433552
[16]
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 ]
https://hal.archives-ouvertes.fr/hal-02433521

Internal Reports

[17]
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.
https://hal.inria.fr/hal-02313711
[18]
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.
https://hal.inria.fr/hal-01967828
[19]
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.
https://hal.inria.fr/hal-02190656

Other Publications

[20]
A. 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