Publications

2015

Journal articles

titre

ComprehensiveBench: a Benchmark for the Extensive Evaluation of Global Scheduling Algorithms

auteur

Laércio Lima Pilla, Tiago Bozetti, Marcio Castro, Philippe Navaux, Jean-François Méhaut

article

Journal of Physics: Conference Series, IOP Publishing, 2015, pp.1-12

Accès au texte intégral et bibtex

titre

Faithful Performance Prediction of a Dynamic Task-Based Runtime System for Heterogeneous Multi-Core Architectures

auteur

Luka Stanisic, Samuel Thibault, Arnaud Legrand, Brice Videau, Jean-François Méhaut

article

Concurrency and Computation: Practice and Experience, Wiley, 2015, pp.16. ⟨10.1002/cpe.3555⟩

Accès au texte intégral et bibtex

titre

Runtime Verification: the Application Perspective

auteur

Ylìès Falcone, Lenore Zuck

article

International Journal on Software Tools for Technology Transfer, Springer Verlag, 2015, 17 (2), pp.3. ⟨10.1007/s10009-014-0360-z⟩

Accès au texte intégral et bibtex

titre

On the Energy Efficiency and Performance of Irregular Application Executions on Multicore, NUMA and Manycore Platforms

auteur

Emilio Francesquini, Márcio Castro, Pedro Henrique Penna, Fabrice Dupros, Henrique Freitas, Philippe Olivier Alexandre Navaux, Jean-François Méhaut

article

Journal of Parallel and Distributed Computing, Elsevier, 2015, 76, pp. 32-48. ⟨10.1016/j.jpdc.2014.11.002⟩

Accès au texte intégral et bibtex

titre

On Using the Roofline Model with Lower Bounds on Data Movement

auteur

Venmugil Elango, Naser Sedaghati, Fabrice Rastello, Louis-Noël Pouchet, Jagannathan Ramanujam, Radu Teodorescu, P. Sadayappan

article

ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2015, 11 (4), pp.67:1–67:23

Accès au bibtex

titre

Performance/energy trade-off in scientific computing: the case of ARM big.LITTLE and Intel Sandy Bridge

auteur

Edson Luiz Padoin, Francieli Z. Boito, Laércio Lima Pilla, Marcio Bastos Castro, Philippe Olivier Alexandre Navaux, Jean-François Mehaut

article

IET Computers & Digital Techniques, Institution of Engineering and Technology, 2015, 9 (1), pp.1-9. ⟨10.1049/iet-cdt.2014.0074⟩

Accès au bibtex

titre

Enforcement and Validation (at runtime) of Various Notions of Opacity

auteur

Yliès Falcone, Hervé Marchand

article

Discrete Event Dynamic Systems, Springer Verlag, 2015, 25 (4), pp.531-570. ⟨10.1007/s10626-014-0196-4⟩

Accès au texte intégral et bibtex

titre

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation

auteur

Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem

article

Software and Systems Modeling, Springer Verlag, 2015, 14 (1), pp.38. ⟨10.1007/s10270-013-0323-y⟩

Accès au texte intégral et bibtex

Conference papers

titre

Fast and Accurate Simulation of Multithreaded Sparse Linear Algebra Solvers

auteur

Luka Stanisic, Emmanuel Agullo, Alfredo Buttari, Abdou Guermouche, Arnaud Legrand, Florent Lopez, Brice Videau

article

The 21st IEEE International Conference on Parallel and Distributed Systems, Dec 2015, Melbourne, Australia

Accès au texte intégral et bibtex

titre

Exploitation de la structure en communautés pour la réduction de défauts de cache dans la fouille des réseaux sociaux

auteur

Thomas Messi Nguélé, Maurice Tchuenté, Jean-François Mehaut

article

Conférence de Recherche en Informatique (CRI), Dec 2015, Yaoundé, Cameroun

Accès au bibtex

titre

Energy-Aware Massively Distributed Cloud Facilities: The DISCOVERY Initiative

auteur

Frédéric Desprez, Shadi Ibrahim, Adrien Lebre, Anne-Cécile Orgerie, Jonathan Pastor, Anthony Simonet

article

IEEE International Conference on Green Computing and Communications (GreenCom), Dec 2015, Sydney, Australia. pp.476 – 477, ⟨10.1109/DSDIS.2015.58⟩

Accès au texte intégral et bibtex

titre

Enforcement of (Timed) Properties with Uncontrollable Events

auteur

Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand

article

12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Oct 2015, Cali, Colombia. pp.542-560, ⟨10.1007/978-3-319-25150-9_31⟩

Accès au texte intégral et bibtex

titre

Uma Metodologia Baseada em Simulação e Algoritmo Genético para Exploração de Estratégias de Escalonamento de Laços

auteur

Pedro Henrique Penna, Marcio Castro, Henrique Freitas, Francois Broquedis, Jean-François Méhaut

article

WSCAD 2015 – Simpósio em Sistemas Computacionais de Alto Desempenho, SBC, Oct 2015, Florianópolis, Brazil

Accès au texte intégral et bibtex

titre

Data Mining Approach to Temporal Debugging of Embedded Streaming Applications

auteur

Oleg Iegorov, Alexandre Termier, Vincent Leroy, Jean-François Méhaut, Miguel Santana

article

15th International Conference on Embedded Software (EMSOFT’2015), Oct 2015, Amsterdam, Netherlands

Accès au texte intégral et bibtex

titre

Runtime pointer disambiguation

auteur

Péricles Alves, Fabian Gruber, Johannes Doerfert, Alexandros Lambrineas, Tobias Grosser, Fabrice Rastello, Fernando Magno Quintão Pereira

article

Proceedings of the 2015 International Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2015, Oct 2015, Pittsburgh, United States. pp.18

Accès au bibtex

titre

TiPEX: A Tool Chain for Timed Property Enforcement During eXecution

auteur

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand

article

RV’2015, 6th International Conference on Runtime Verification, Sep 2015, Vienne, Austria. pp.306-320, ⟨10.1007/978-3-319-23820-3_22⟩

Accès au texte intégral et bibtex

titre

Monitoring Electronic Exams

auteur

Ali Kassem, Yliès Falcone, Pascal Lafourcade

article

6th International Conference on Runtime Verification, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Australia. pp.16, ⟨10.1007/978-3-319-23820-3_8⟩

Accès au texte intégral et bibtex

titre

RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial

auteur

Philip Daian, Yliès Falcone, Patrick Meredith, Traian Florin Serbanuta, Shin’ichi Shiriashi, Akihito Iwai, Grigore Rosu

article

6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Austria. pp.16, ⟨10.1007/978-3-319-23820-3_24⟩

Accès au texte intégral et bibtex

titre

Second International Competition on Runtime Verification

auteur

Yliès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma

article

6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Austria. pp.16, ⟨10.1007/978-3-319-23820-3_27⟩

Accès au texte intégral et bibtex

titre

Dynamic Detection and Mitigation of DMA Races in MPSoCs

auteur

Selma Saidi, Yliès Falcone

article

18th Euromicro Conference on Digital Systems Design (DSD 2015), Aug 2015, Madeire, Portugal. ⟨10.1109/DSD.2015.77⟩

Accès au texte intégral et bibtex

titre

Runtime Enforcement for Component-Based Systems

auteur

Hadil Charafeddine, Khalil El-Harake, Yliès Falcone, Mohamad Jaber

article

Symposium on Applied Computing – Software Verification and Testing , Apr 2015, Salamanque, Spain. ⟨10.1145/2695664.2695879⟩

Accès au texte intégral et bibtex

titre

Performance comparison between Java and JNI for optimal implementation of computational micro-kernels

auteur

Nassim Halli, Henri-Pierre Charles, Jean-François Méhaut

article

ADAPT 2015 : The 5th International Workshop on Adaptive Self-tuning Computing Systems, Jan 2015, Amsterdam, Netherlands

Accès au texte intégral et bibtex

titre

On Characterizing the Data Access Complexity of Programs

auteur

Venmugil Elango, Fabrice Rastello, Louis-Noël Pouchet, Jagannathan Ramanujam, Ponnuswamy Sadayappan

article

42nd Annual Symposium on Principles of Programming Languages, 2015, Jan 2015, Mumbai, India. pp.567-580

Accès au bibtex

titre

Reducing trace size in multimedia applications endurance tests

auteur

Serge Vladimir Emteu Tchagou, Alexandre Termier, Jean-François Méhaut, Brice Videau, Miguel Santana, René Quiniou

article

Design, Automation & Test in Europe Conference & Exhibition (DATE) , 2015, Grenoble, France

Accès au texte intégral et bibtex

Book sections

titre

Programmation et Exploitation des Platesformes HPC: Défis et challenges

auteur

François Bodin, Jean-François Méhaut

article

Clés du futur, TERATEC, 2015

Accès au texte intégral et bibtex