EN FR
EN FR


previous Previous | up Home


Bibliography

Major publications by the team in recent years
  • 1C. Aubrun, D. Simon, Y.-Q. Song.

    C. Aubrun, D. Simon, Y.-Q. Song (editors), Co-design Approaches for Dependable Networked Control Systems, ISTE Wiley, January 2010, 314 p.

    http://hal.inria.fr/inria-00443847/en
  • 2P. Caserta, O. Zendra.

    Visualization of the Static aspects of Software: a survey, in: IEEE Transactions on Visualization and Computer Graphics, 2011, vol. 17, no 7, p. 913-933.

    http://hal.inria.fr/inria-00546158/en
  • 3L. Cucu-Grosjean, J. Goossens.

    Predictability of Fixed-Job Priority Schedulers on Heterogeneous Multiprocessor Real-Time Systems, in: Information Processing Letters, April 2010, vol. 110, no 10, p. 399-402.

    http://hal.inria.fr/inria-00544642/en
  • 4B. Gaujal, N. Navet.

    Dynamic voltage scaling under EDF revisited, in: Real-Time Systems / Real Time Systems; The Journal of Real-Time Systems, 2007, vol. 37, no 1, p. 77-97. [ DOI : 10.1007/s11241-007-9029-y ]

    http://hal.inria.fr/inria-00168449/en
  • 5Y. Li, C. S. Chen, Y.-Q. Song, Z. Wang, Y. Sun.

    Enhancing Real-Time Delivery in Wireless Sensor Networks With Two-Hop Information, in: IEEE Transactions on Industrial Informatics, May 2009, vol. 5, no 2, p. 113-122. [ DOI : 10.1109/TII.2009.2017938 ]

    http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4895705&tag=1
  • 6N. Navet, F. Simonot-Lion.

    N. Navet, F. Simonot-Lion (editors), The Automotive Embedded Systems Handbook, Industrial Information Technology Series, Taylor & Francis / CRC Press, 2008, 488 p.

    http://hal.inria.fr/inria-00336166/en
Publications of the year

Doctoral Dissertations and Habilitation Theses

  • 7P. Caserta.

    Analyse statique et dynamique de code et visualisation des logiciels via la métaphore de la ville : contribution à l'aide à la compréhension des programmes, Université de Lorraine, 2012.
  • 8A. Monot.

    Vérification des contraintes temporelles de bout-en-bout dans le contexte AutoSar, Université de Lorraine, November 2012, These Cifre réalisée avec PSA Peugeot Citroën.

    http://tel.archives-ouvertes.fr/tel-00767128

Articles in International Peer-Reviewed Journals

  • 9P. Caserta, O. Zendra.

    JBInsTrace: A Tracer of Java and JRE Classes at Basic-Block Granularity by Dynamically Instrumenting Bytecode, in: Science of Computer Programming, February 2012.

    http://hal.inria.fr/hal-00672976
  • 10F. J. Cazorla, E. Quinones, T. Vardanega, L. Cucu-Grosjean, B. Triquet, G. Bernat, E. Berger, J. Abella, F. Wartel, M. Houston, L. Santinelli, L. Kosmidis, C. Lo, D. Maxim.

    PROARTIS: Probabilistically Analyzable Real-Time System", in: ACM Transactions in Embedded Computing Systems, 2012.

    http://hal.inria.fr/hal-00646571
  • 11D. Maxim, L. Cucu-Grosjean.

    Towards an analysis framework for tasks with probabilistic execution times and probabilistic inter-arrival times, in: ACM SIGBED Review, 2012, vol. 9, no 4.

    http://hal.inria.fr/hal-00766019
  • 12A. Monot, N. Navet, B. Bavoux, F. Simonot-Lion.

    Multi-source software on multicore automotive ECUs - Combining runnable sequencing with task scheduling, in: IEEE Transactions on Industrial Electronics, 2012, vol. 59, no 10, p. 3934-3942.

    http://hal.inria.fr/hal-00646043

International Conferences with Proceedings

  • 13D. Chillet, E. Senn, O. Zendra, C. Belleudy, S. Bilavarn, R. Ben Atitallah, C. Samoyeau, A. Fritsch.

    Open-People: Open Power and Energy Optimization PLatform and Estimator, in: 15th Euromicro Conference on Digital System Design, Cesme, Izmir, Turkey, September 2012.

    http://hal.inria.fr/hal-00741610
  • 14H. Cruz-Sanchez, S. Staples, R. Schott, Y.-Q. Song.

    Operator Calculus Approach to Minimal Paths: Precomputed routing in a Store and Forward Satellite Constellation, in: IEEE Globecom2012, Anaheim, California, United States, IEEE Xplore, December 2012, To appear.

    http://hal.inria.fr/hal-00745161
  • 15L. Cucu-Grosjean, L. Santinelli, M. Houston, C. Lo, T. Vardanega, L. Kosmidis, J. Abella, E. Mezzeti, E. Quinones, F. J. Cazorla.

    Measurement-Based Probabilistic Timing Analysis for Multi-path Programs, in: the 24th Euromicro Conference on Real-Time Systems, Pise, Italy, December 2012.

    http://hal.inria.fr/hal-00765987
  • 16D. Khan, L. Santinelli, L. Cucu-Grosjean.

    Modeling Uncertainties in Safety-Critical Real-Time Systems: A Probabilistic Component-Based Analysis, in: the 7th IEEE International Symposium on Industrial Embedded Systems, Karlsruhe, Germany, June 2012.

    http://hal.inria.fr/hal-00765989
  • 17C. Maxim, G. Adriana, D. Maxim, L. Cucu-Grosjean.

    Estimation of Probabilistic Minimum Inter-arrival Times Using Extreme Value Theory, in: 6th Junior Workshop on Real-Time Computing, France, 2012.

    http://hal.inria.fr/hal-00766063
  • 18D. Maxim, M. Houston, L. Santinelli, G. Bernat, R. Davis, L. Cucu-Grosjean.

    Re-Sampling for Statistical Timing Analysis of Real-Time Systems, in: RTNS2012 - 20th International Conference on Real-Time and Network Systems - 2012, Pont à Mousson, France, ACM Digital Library, November 2012, PROARTIS Project grant agreement no. 249100 (www.proartis-project.eu) and the UK EPSRC funded Tempo project (EP/G055548/1).

    http://hal.inria.fr/hal-00766045
  • 19D. Maxim.

    Towards optimal priority assignments for real-time tasks with probabilistic arrivals and execution times, in: 3rd International Real-Time Scheduling Open Problems Seminar, Pise, Italy, 2012.

    http://hal.inria.fr/hal-00766057
  • 20A. Monot, N. Navet, B. Bavoux, C. Maxim.

    Fine-grained Simulation in the Design of Automotive Communication Systems, in: Embedded Real Time Software and Systems - ERTSS 2012 (2012), Toulouse, France, February 2012.

    http://hal.inria.fr/hal-00767046
  • 21E. Senn, D. Blouin, O. Zendra.

    A Multi-Paradigm DSML for Quantitative Analysis of Embedded System Architecture Models, in: ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems - MODELS 2012, Innsbruck, Austria, October 2012, xx p.

    http://hal.inria.fr/hal-00760298
  • 22E. Senn, D. Chillet, O. Zendra, C. Belleudy, R. Ben Atitallah, A. Fritsch, C. Samoyeau.

    Open-People: an Open Platform for Estimation and Optimizations of energy consumption, in: Design and Architectures for Signal and Image Processing Conference (DASIP 2012), Karlsruhe, Germany, October 2012.

    http://hal.inria.fr/hal-00741609
  • 23L. Yue, T. Nolte, I. Bate, L. Cucu-Grosjean.

    A statistical response-time analysis of real-time embedded systems, in: the 33rd IEEE Real-time Systems Symposium, San Juan, United States, IEEE, December 2012.

    http://hal.inria.fr/hal-00765983

Internal Reports

  • 24F. J. Cazorla, E. Quinones, T. Vardanega, L. Cucu-Grosjean, B. Triquet, G. Bernat, E. Berger, J. Abella, F. Wartel, M. Houston, L. Santinelli, L. Kosmidis, C. Lo, D. Maxim.

    PROARTIS: Probabilistically Analysable Real-Time Systems, Inria, January 2012, no RR-7869, 30 p.

    http://hal.inria.fr/hal-00663329
  • 25F. Comets, F. Delarue, R. Schott.

    Information Transmission under Random Emission Constraints, 2012.

    http://hal.archives-ouvertes.fr/hal-00637304

Other Publications

  • 26R. Schott, S. Staples.

    Operator calculus in generalized zeon algebras: theory and application to multi-constrained path problems, June 2012, Prépublication de l'Institut Elie Cartan, 2011/18 Prépublication de l'Institut Elie Cartan, 2011/18.

    http://hal.archives-ouvertes.fr/hal-00603748


previous Previous | up Home