Skip to Main content Skip to Navigation

hal-00741610v1  Conference papers
Eric SennDaniel ChilletOlivier ZendraCécile BelleudySébastien Bilavarn et al.  Open-People: Open Power and Energy Optimization PLatform and Estimator
15th Euromicro Conference on Digital System Design, Sep 2012, Cesme, Izmir, Turkey. pp.668-675, ⟨10.1109/DSD.2012.98⟩
hal-02996034v1  Journal articles
Bizhan Alipour PijaniAbdessamad ImineMichaël Rusinowitch. Inferring attributes with picture metadata embeddings
ACM SIGAPP applied computing review : a publication of the Special Interest Group on Applied Computing, Association for Computing Machinery (ACM), 2020, 20 (2), pp.36-45. ⟨10.1145/3412816.3412819⟩
inria-00544957v1  Conference papers
Dorina GhindiciGilles GrimaudIsabelle Simplot-Ryl. Embedding Verifiable Information Flow Analysis
Proc. 4th Annual Conference on Privacy, Security and Trust, 2006, Toronto, Canada. pp.343--352
hal-00809644v1  Conference papers
Chen XiaohongJing LiuFrédéric MalletZhi Jin. Modeling Timing Requirements in Problem Frames Using CCSL
APSEC 2011 - 18th Asia Pacific Software Engineering Conference, Dec 2011, Ho Chi Minh, Vietnam. pp.381-388, ⟨10.1109/APSEC.2011.30⟩
tel-00540371v1  Theses
Aurélien Francillon. Attacking and Protecting Constrained Embedded Systems from Control Flow Attacks
Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2009. English
hal-00290184v1  Conference papers
Nicolas FourtyDavid GuiraudPhilippe FraisseGuillaume PerolleIgone Etxeberria. A specific neural network used on a portable system for classifying activities in ambulatory monitoring
International Conference on Industrial Technology (ICIT'06), Dec 2006, Mumbai, India. pp.1-4244-0726-5/06
tel-00113765v1  Theses
Alexandre Courbot. Spécialisation tardive de systèmes Java embarqués pour petits objets portables et sécurisés
Réseaux et télécommunications [cs.NI]. Université des Sciences et Technologie de Lille - Lille I, 2006. Français
inria-00528632v1  Conference papers
Julien BertranePatrick CousotRadhia CousotJérôme FeretLaurent Mauborgne et al.  Static Analysis by Abstract Interpretation of Embedded Critical Software
the 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China
tel-01762404v1  Theses
Roman Korkikian. Side-channel and fault analysis in the presence of countermeasures : tools, theory, and practice
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2016. English. ⟨NNT : 2016PSLEE052⟩
inria-00637574v1  Conference papers
Bijoy Anthony JoseAbdoulaye GamatiéJulien OuySandeep Kumar Shukla. SMT based false causal loop detection during code synthesis from Polychronous specifications
9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE), Jul 2011, Cambridge, United Kingdom. ⟨10.1109/MEMCOD.2011.5970517⟩
tel-01058041v1  Theses
van Chan Ngo. Formal Verification of a Synchronous Data- flow Compiler : from Signal to C
Software Engineering [cs.SE]. Université Rennes 1, 2014. English
hal-00541841v1  Conference papers
Abdoulaye GamatiéThierry Gautier. Synchronous modeling of avionics applications using the SIGNAL language
9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), May 2003, Toronto, Canada. pp.144-151, ⟨10.1109/RTTAS.2003.1203046⟩
hal-03043623v1  Reports
Hugo PompougnacUlysse BeaugnonAlbert CohenDumitru Potop-Butucaru. From SSA to Synchronous Concurrency and Back
[Research Report] RR-9380, INRIA Sophia Antipolis - Méditerranée (France). 2020, pp.23
hal-02270337v1  Conference papers
Claude GomezSimone Mannori. Scilab/Scicos: an Open Source Platform for Embedded Real Time Systems Development
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
inria-00618587v1  Conference papers
Mikel CordovillaFrédéric BoniolJulien ForgetEric NoulardClaire Pagetti. Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset
19th International Conference on Real-Time and Network Systems, Irccyn, Sep 2011, Nantes, France