Bibliography

Publications of the year

Articles in International Peer-Reviewed Journals

• 1S. Hallé, R. Khoury, Q. Betti, A. El-Hokayem, Y. Falcone.
  Decentralized enforcement of document lifecycle constraints, in: Information Systems, August 2017. [ DOI : 10.1016/j.is.2017.08.002 ]
  https://hal.archives-ouvertes.fr/hal-01653879
• 2A. Kassem, Y. Falcone, P. Lafourcade.
  Formal analysis and offline monitoring of electronic exams, in: Formal Methods in System Design, August 2017, vol. 51, n^o 1, pp. 117 - 153. [ DOI : 10.1007/s10703-017-0280-0 ]
  https://hal.inria.fr/hal-01653884
• 3T. M. Messi Nguélé, M. Tchuente, J.-F. Méhaut.
  Social network ordering based on communities to reduce cache misses, in: Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, May 2017, vol. Volume 24 - 2016-2017 - Special issue CRI 2015, pp. 23 - 47, Last version asked for publication 10th may; finally accepted in 6th April 2017; Accepted after minor changes in 17th October 2016.
  https://hal.archives-ouvertes.fr/hal-01304968
• 4H. Nazarpour, Y. Falcone, S. Bensalem, M. Bozga.
  Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation, in: Formal Aspects of Computing, November 2017, vol. 29, n^o 6, pp. 951 - 986. [ DOI : 10.1007/s00165-017-0422-6 ]
  https://hal.inria.fr/hal-01653883
• 5P. H. Penna, M. Castro, H. Cota de Freitas, F. Broquedis, J.-F. Méhaut.
  Design methodology for workload-aware loop scheduling strategies based on genetic algorithm and simulation, in: Concurrency and Computation: Practice and Experience, November 2017, vol. 29, n^o 22. [ DOI : 10.1002/cpe.3933 ]
  https://hal.archives-ouvertes.fr/hal-01354028
• 6S. Pinisetty, T. Jéron, S. Tripakis, Y. Falcone, H. Marchand, V. Preoteasa.
  Predictive Runtime Verification of Timed Properties, in: Journal of Systems and Software, October 2017, vol. 132, pp. 353 - 365. [ DOI : 10.1016/j.jss.2017.06.060 ]
  https://hal.inria.fr/hal-01666995
• 7S. Pinisetty, V. Preoteasa, S. Tripakis, T. Jéron, Y. Falcone, H. Marchand.
  Predictive runtime enforcement, in: Formal Methods in System Design, August 2017, vol. 51, n^o 1, pp. 154 - 199. [ DOI : 10.1007/s10703-017-0271-1 ]
  https://hal.inria.fr/hal-01647787
• 8M. Renard, Y. Falcone, A. Rollet, T. Jéron, H. Marchand.
  Optimal Enforcement of (Timed) Properties with Uncontrollable Events, in: Mathematical Structures in Computer Science, May 2017. [ DOI : 10.1017/S0960129517000123 ]
  https://hal.archives-ouvertes.fr/hal-01262444
• 9M. A. Souza, P. H. Penna, M. M. Queiroz, A. D. Pereira, L. F. W. Góes, H. Cota de Freitas, M. Castro, P. O. Navaux, J.-F. Méhaut.
  CAP Bench: a benchmark suite for performance and energy evaluation of low-power many-core processors, in: Concurrency and Computation: Practice and Experience, February 2017, vol. 29, n^o 4. [ DOI : 10.1002/cpe.3892 ]
  https://hal.archives-ouvertes.fr/hal-01330543
• 10V. Vargas, P. Ramos, V. Ray, C. Jalier, R. Stevens, B. Dupont de Dinechin, M. Baylac, F. Villa, S. Rey, N.-E. Zergainoh, J.-F. Méhaut, R. Velazco.
  Radiation Experiments on a 28nm Single-Chip Many-core Processor and SEU error-rate prediction, in: IEEE Transactions on Nuclear Science, 2017, vol. 64, n^o 1, pp. 483-490. [ DOI : 10.1109/TNS.2016.2638081 ]
  https://hal.archives-ouvertes.fr/hal-01459823
• 11B. Videau, K. Pouget, L. Genovese, T. Deutsch, D. Komatitsch, F. Desprez, J.-F. Méhaut.
  BOAST: A metaprogramming framework to produce portable and efficient computing kernels for HPC applications, in: International Journal of High Performance Computing Applications, August 2017. [ DOI : 10.1177/1094342017718068 ]
  https://hal.archives-ouvertes.fr/hal-01620778

International Conferences with Proceedings

• 12A. El-Hokayem, Y. Falcone.
  Monitoring Decentralized Specifications, in: ISSTA 2017, Santa Barbara, CA, United States, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, July 2017, pp. 125-135. [ DOI : 10.1145/3092703.3092723 ]
  https://hal.archives-ouvertes.fr/hal-01653725
• 13A. El-Hokayem, Y. Falcone.
  THEMIS: A Tool for Decentralized Monitoring Algorithms, in: ISSTA 2017, Santa Barbara, United States, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, July 2017, pp. 125-135. [ DOI : 10.1145/3092703.3092723 ]
  https://hal.archives-ouvertes.fr/hal-01653727
• 14T. Gonçalves, M. Perache, F. Desprez, J.-F. Méhaut.
  Dynamic Load Balancing of Monte Carlo Particle Transport Applications, in: ParCo2017 - International Conference on Parallel Computing, Bologna, Italy, September 2017.
  https://hal.inria.fr/hal-01652145
• 15R. Jakse, Y. Falcone, J.-F. Méhaut, K. Pouget.
  Interactive Runtime Verification - When Interactive Debugging meets Runtime Verification, in: ISSRE17 - 28th International Symposium on Software Reliability Engineering, Toulouse, France, October 2017.
  https://hal.inria.fr/hal-01592671
• 16J. Luca Bez, F. Zanon Boito, L. M. Schnorr, P. O. Navaux, J.-F. Méhaut.
  TWINS: Server Access Coordination in the I/O Forwarding Layer, in: 25th Euromicro International Conference on Parallel, Distributed and Networked-based Processing, St. Petersburg, Russia, I. Kotenko, Y. Cotronis, M. Daneshtalab (editors), Proceedings of the 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), IEEE Xplore Digital Library, March 2017.
  https://hal.archives-ouvertes.fr/hal-01515047
• 17E. Luiz Padoin, P. O. Navaux, J.-F. Méhaut.
  Using Power Demand and Residual Load Imbalance in the Load Balancing to Save Energy of Parallel Systems, in: International Conference on Computational Science (ICCS'17), Zurich, Switzerland, P. Koumoutsakos, M. Lees, V. Krzhizhanovskaya, J. Dongarra, P. Sloot (editors), The Art of Computational Science, Bridging Gaps - Forming Alloys, Procedia Computer Science, June 2017, vol. 108.
  https://hal.archives-ouvertes.fr/hal-01516645
• 18V. Machado, A. Braga, N. Rampon, J. Bez, F. Boito, R. Kassick, E. Padoin, J. Diaz, J.-F. Méhaut, P. Navaux.
  Towards Energy-Efficient Storage Servers, in: 32nd ACM Symposium on Applied Computing (SAC 2017), Marrakesh, Morocco, M. L. Dongwan Shin (editor), Proceedings of the Symposium on Applied Computing (SAC'17), ACM Digital Library, April 2017.
  https://hal.archives-ouvertes.fr/hal-01519168
• 19T. Messi Nguélé, M. Tchuente, J.-F. Méhaut.
  Using Complex-Network properties For Efficient Graph Analysis, in: International Conference on Parallel Computing, ParCo 2017, Bologne, Italy, Foundation ParCo Conferences and Consortium Cineca, September 2017.
  https://hal.archives-ouvertes.fr/hal-01498578
• 20P. H. Penna, E. C. Inacio, M. Castro, P. Plentz, H. Cota de Freitas, F. Broquedis, J.-F. Méhaut.
  Assessing the Performance of the SRR Loop Scheduler with Irregular Workloads, in: International Conference on Computational Science (ICCS'17), Zurich, Switzerland, P. Koumoutsakos, M. Lees, V. Krzhizhanovskaya, J. Dongarra, P. Sloot (editors), The Art of Computational Science, Bridging Gaps - Forming Alloys, Procedia Computer Science, June 2017, vol. 108.
  https://hal.archives-ouvertes.fr/hal-01519205
• 21S. Rajbhandari, F. Rastello, K. Kowalski, S. Krishnamoorthy, P. Sadayappan.
  Optimizing the Four-Index Integral Transform Using Data Movement Lower Bounds Analysis, in: PPoPP 2017 - 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Austin, United States, ACM SIGPLAN Notices - PPoPP '17, February 2017, vol. 52, n^o 8, pp. 327 - 340. [ DOI : 10.1145/3018743.3018771 ]
  https://hal.inria.fr/hal-01653823
• 22M. Renard, A. Rollet, Y. Falcone.
  GREP: Games for the Runtime Enforcement of Properties, in: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings, St. Petersburg, Russia, Testing Software and Systems, October 2017, vol. LNCS 10533.
  https://hal.archives-ouvertes.fr/hal-01568665
• 23M. Renard, A. Rollet, Y. Falcone.
  Runtime Enforcement Using Büchi Games, in: Model Checking Software - 24rd International Symposium, SPIN 2017, Co-located with ISSTA 2017, Santa Barbara, United States, ACM (editor), July 2017.
  https://hal.archives-ouvertes.fr/hal-01509827
• 24O. Riganelli, D. Micucci, L. Mariani, Y. Falcone.
  Verifying Policy Enforcers, in: RV 2017 - 17th International Conference on Runtime Verification, Seattle, United States, September 2017.
  https://hal.inria.fr/hal-01653894
• 25D. Sampaio, L.-N. Pouchet, F. Rastello.
  Simplification and Run-time Resolution of Data Dependence Constraints for Loop Transformations, in: ICS 2017 - International Conference on Supercomputing, Chicago, United States, June 2017, pp. 1-11. [ DOI : 10.1145/3079079.3079098 ]
  https://hal.inria.fr/hal-01653819
• 26L. Stanisic, L. C. Mello Schnorr, A. Degomme, F. C. Heinrich, A. Legrand, B. Videau.
  Characterizing the Performance of Modern Architectures Through Opaque Benchmarks: Pitfalls Learned the Hard Way, in: IPDPS 2017 - 31st IEEE International Parallel & Distributed Processing Symposium (RepPar workshop), Orlando, United States, June 2017.
  https://hal.inria.fr/hal-01470399

Conferences without Proceedings

• 27P. H. Penna, M. Castro, P. Plentz, H. Cota de Freitas, F. Broquedis, J.-F. Méhaut.
  BinLPT: A Novel Workload-Aware Loop Scheduler for Irregular Parallel Loops, in: Simpósio em Sistemas Computacionais de Alto Desempenho, Campinas, Brazil, October 2017.
  https://hal.archives-ouvertes.fr/hal-01596427
• 28P. H. Penna, H. Cota de Freitas, J. Caram, M. Castro, J.-F. Méhaut.
  Using The Nanvix Operating System in Undergraduate Operating System Courses, in: VII Brazilian Symposium on Computing Systems Engineering, Curitiba, Brazil, November 2017.
  https://hal.archives-ouvertes.fr/hal-01635880
• 29P. Virouleau.
  Étude de l'impact d'une clause d'affinité sur les performances et l'énergie dans un support exécutif OpenMP, in: Compas 2017, Sophia Antipolis, France, June 2017.
  https://hal.archives-ouvertes.fr/hal-01609007

Other Publications

• 30E. Lavoie, L. Hendren, F. Desprez.
  Pando: An Easy-to-Deploy P2P Volunteer Computing Platform for the Web, September 2017, 2nd International Workshops on Foundations and Applications of Self* Systems (FAS* W), IEEE, Poster.
  https://hal.inria.fr/hal-01652993