EN FR
EN FR
CORSE - 2017
CORSE - 2017
Project-Team Corse
Personnel
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
Project-Team Corse
Personnel
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography


previous Previous | up Home


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, no 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, no 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, no 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, no 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, no 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, no 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, no 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


previous Previous | up Home