by kinds

Journal Articles

2019

  1. A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems. Claire Maiza, Hamza Rihani, Juan M. Rivas, Joël Goossens, Sebastian Altmeyer, Robert I. Davis - ACM Comput. Surv. - [bibtex]
  2. Fast and Exact Analysis for LRU Caches. Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke - Proc. ACM Program. Lang. - [bibtex]
  3. Improving WCET Evaluation using Linear Relation Analysis. Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, Rémy Boutonnet - Leibniz Transactions on Embedded Systems - [bibtex]

2016

  1. Modeling Power Consumption and Temperature in TLM Models. Matthieu Moy, Claude Helmstetter, Tayeb Bouhadiba, Florence Maraninchi - Leibniz Transactions on Embedded Systems - [bibtex]

2009

  1. Full Simulation Coverage for SystemC Transaction-Level Models of Systems-on-a-Chip. Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz - Formal Methods in System Design - [bibtex]

Conference Articles

2020

  1. Du discrètement continu au continûment discret. Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain - ALGOTEL 2020 - 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - [bibtex]
  2. SASA: A SimulAtor of Self-stabilizing Algorithms. Karine Altisen, Stéphane Devismes, Erwan Jahier - Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed] - [bibtex]
  3. Scaling Up the Memory Interference Analysis for Hard Real-Time Many-Core Systems. Maximilien Dupont De Dinechin, Matheus Schuh, Matthieu Moy, Claire Maiza - DATE 2020 - Design, Automation and Test in Europe Conference - [bibtex]

2019

  1. Manuel de savoir-prouver à l'usage des roboteux et des distributeux. Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain - ALGOTEL 2019, June 4-7, Proceedings - [bibtex]
  2. Integrating Formal Schedulability Analysis into a Verified OS Kernel. Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao - Computer Aided Verification - 31st International Conference, CAV 2019, July 15-18, Proceedings - [bibtex]
  3. Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots on Graphs. Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain - NETYS 2019, June 19-21, Proceedings - [bibtex]

2018

  1. Parallel Code Generation of Synchronous Programs for a Many-core Architecture. Amaury Graillat, Matthieu Moy, Pascal Raymond, Benoît Dupont De Dinechin - Design, Automation and Test in Europe - [bibtex]

2016

  1. RDBG: a Reactive Programs Extensible Debugger. Erwan Jahier - 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES'16), May 23th to 25th, 2016, Sankt Goar, Germany - [bibtex]

2014

  1. A General Approach for Expressing Infeasibility in Implicit Path Enumeration Technique. Pascal Raymond - International Conference on Embedded Software (EMSOFT 2014) - [bibtex]

Contact | Site Map | Site powered by SPIP 3.1.13 + AHUNTSIC [CC License]

info visites 1684601