From swallow floats to argothe development of neutrally buoyant floats, Deep Sea Research Part II: Topical Studies in Oceanography, vol.52, pp.529-543, 2005. ,
The argo program observing the global ocean with profiling floats, Oceanography, vol.22, 2009. ,
Near Real-Time Underwater Passive Acoustic Monitoring of Natural and Anthropogenic Sounds, pp.203-226, 2018. ,
Tracking beaked whales with a passive acoustic profiler float, The Journal of the Acoustical Society of America, vol.133, issue.2, pp.731-771, 2013. ,
Passive acoustic detection and measurement of rainfall at sea, Journal of Atmospheric and Oceanic Technology -J ATMOS OCEAN TECHNOL, vol.22, pp.1225-1248, 2005. ,
Seismic monitoring in the oceans by autonomous floats, 2015. ,
URL : https://hal.archives-ouvertes.fr/insu-01235776
Imaging the galápagos mantle plume with an unconventional application of floating seismometers, Scientific Reports, 2019. ,
Real-Time Software Design for Embedded Systems, 2016. ,
The relevance of model-driven engineering thirty years from now, MoDELS, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01156595
Guest editor's introduction: Model-driven engineering, Computer, vol.39, pp.25-31, 2006. ,
Model driven engineering, Proceedings of the Third International Conference on Integrated Formal Methods, ser. IFM '02, pp.286-298, 2002. ,
, Domain Specific Languages, 2010.
Scheduling algorithms for multiprogramming in a hard-real-time environment, J. ACM, vol.20, pp.46-61, 1973. ,
Antlr: A predicated-ll(k) parser generator, Softw., Pract. Exper, vol.25, pp.789-810, 1995. ,
A survey of software adaptation in mobile and ubiquitous computing, Enterprise Information Systems, vol.4, issue.4, pp.355-389, 2010. ,
Squeezing deep learning into mobile and embedded devices, IEEE Pervasive Computing, vol.16, issue.3, pp.82-88, 2017. ,
Operating systems for iot devices: A critical survey, 2015 IEEE Region 10 Symposium, pp.33-36, 2015. ,
Energy efficiency across programming languages: how do energy, time, and memory relate, SLE, 2017. ,
A model-driven workflow for energyaware scheduling analysis of iot-enabled use cases, IEEE Internet of Things Journal, vol.5, pp.4914-4925, 2018. ,
Characterizing a source code model with energy measurements, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01952724
ait: Worst-case execution time prediction by static program analysis, Building the Information Society, pp.377-383, 2004. ,
The future of software performance engineering, Future of Software Engineering (FOSE '07), pp.171-187, 2007. ,
Resource aware programming in the pixie os, Proceedings of the 6th ACM Conference on Embedded Network Sensor Systems, ser. SenSys '08, pp.211-224, 2008. ,
Eon: A language and runtime system for perpetual systems, Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, ser. SenSys '07, pp.161-174, 2007. ,
Uml profile for marte: Modeling and analysis of real-time embedded systems, 2011. ,
The architecture analysis & design language (aadl): An introduction, p.145, 2006. ,
Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, pp.134-152, 1997. ,
Timesquare: treat your models with logical time, TOOLS, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00688590
Cpal: high-level abstractions for safe embedded systems, DSM@SPLASH, 2016. ,
A design and analysis methodology for component-based real-time architectures of autonomous systems, Journal of Intelligent and Robotic Systems, pp.1-16, 2018. ,