Olivier Zendra
99
Documents
Publications
|
The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical SystemsDATE 2023 - Design, Automation and Test in Europe Conference (MPP - Multi-Partner Projects Track ), Apr 2023, Antwerp, Belgium. pp.1-6
Conference papers
hal-04108237v1
|
|
A Call for Removing VariabilityVaMoS 2023 - 17th International Working Conference on Variability Modelling of Software-Intensive Systems, Jan 2023, Odense, Denmark. pp.3, ⟨10.1145/3571788.3571801⟩
Conference papers
hal-03882594v1
|
|
Semi-automatic ladderisation: improving code security through rewriting and dependent typesPEPM 2022 - ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Jan 2022, Philadelphia PA, United States. pp.14-27, ⟨10.1145/3498886.3502202⟩
Conference papers
hal-03805561v1
|
|
Towards Incremental Build of Software ConfigurationsICSE-NIER 2022 - 44th International Conference on Software Engineering -- New Ideas and Emerging Results, May 2022, Pittsburgh, PA, United States. pp.1-5, ⟨10.1145/3510455.3512792⟩
Conference papers
hal-03558479v1
|
|
Accurate and Robust Malware Analysis through Similarity of External Calls Dependency Graphs (ECDG)ARES 2021 - The 16th International Conference on Availability, Reliability and Security, Aug 2021, Virtual, Austria. pp.1-12, ⟨10.1145/3465481.3470115⟩
Conference papers
hal-03328395v1
|
|
SE-PAC: A Self-Evolving PAcker Classifier against rapid packers evolutionCODASPY '21 - 11th ACM Conference on Data and Application Security and Privacy, Apr 2021, Virtual Event, United States. pp.1-12, ⟨10.1145/3422337.3447848⟩
Conference papers
hal-03149211v1
|
|
The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2TrustCom 2019 - 18th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, Aug 2019, Rotorua, New Zealand. pp.1-8
Conference papers
hal-01980276v2
|
|
Model Checking the IKEv2 Protocol Using SpinPST 2019 - 17th International Conference on Privacy, Security and Trust, Aug 2019, Fredericton, Canada. pp.1-9
Conference papers
hal-02062292v2
|
|
MASSE: Modular Automated Syntactic Signature ExtractionRESSI 2019 - Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2019, Erquy, France. pp.1
Conference papers
hal-02159947v1
|
|
Type-Driven Verification of Non-functional PropertiesPPDP 2019 - 21st International Symposium on Principles and Practice of Declarative Programming, Oct 2019, Porto, Portugal. pp.1-15, ⟨10.1145/3354166.3354171⟩
Conference papers
hal-02314723v1
|
|
Using Cooja for WSN Simulations: Some New Uses and LimitsEWSN 2016 — NextMote workshop, ACM, Feb 2016, Graz, Austria. pp.319‒324
Conference papers
hal-01240986v2
|
|
RIOT OS Paves the Way for Implementation of High-Performance MAC ProtocolsSENSORNETS 2015, INSTICC; ESEO Angers, Feb 2015, Angers, France. pp.5-14, ⟨10.5220/0005237600050014⟩
Conference papers
hal-01141496v1
|
Open-People: an Open Platform for Estimation and Optimizations of energy consumptionDesign and Architectures for Signal and Image Processing Conference (DASIP 2012), Oct 2012, Karlsruhe, Germany. ⟨10.1007/978-3-642-17752-1_26⟩
Conference papers
hal-00741609v1
|
|
|
Open-People: Open Power and Energy Optimization PLatform and EstimatorDSD 2012 - 15th Euromicro Conference on Digital System Design, Sep 2012, Çeşme, Izmir, Turkey. pp.668-675, ⟨10.1109/DSD.2012.98⟩
Conference papers
hal-00741610v1
|
QAML: a multi-paradigm DSML for quantitative analysis of embedded system architecture modelsThe 6th International Workshop on Multi-Paradigm Modeling, Oct 2012, Innsbruck, Austria. pp.37-42, ⟨10.1145/2508443.2508450⟩
Conference papers
hal-03219224v1
|
|
A Multi-Paradigm DSML for Quantitative Analysis of Embedded System Architecture ModelsACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems - MODELS 2012, Sep 2012, Innsbruck, Austria
Conference papers
hal-00760298v1
|
|
Towards reducing preemptions to save energythe 5th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2011), Sep 2011, Nantes, France
Conference papers
hal-00646997v1
|
|
Open Power and Energy Optimization Platform and Estimator (Open-People) ANR ProjectDATE 2011 - Design, Automation & Test in Europe, Mar 2011, Grenoble, France
Conference papers
hal-00650649v1
|
|
|
3D Hierarchical Edge Bundles to Visualize Relations in a Software City Metaphor6th IEEE International Workshop on Visualizing Software for Understanding and Analysis (VISSOFT 2011), Sep 2011, Williamsburg, United States
Conference papers
inria-00613725v2
|
Open power and energy optimization platform and estimator (open-people)International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS 2011), Sep 2011, Madrid, Spain
Conference papers
hal-00650648v1
|
|
Open-People: Open-Power and Energy Optimization Platform and EstimatorForum SAME 2011 - Sophia Antipolis Microelectronics, Oct 2011, Sophia Antipolis, France
Conference papers
hal-00664206v1
|
|
|
A Tracing Technique using Dynamic Bytecode Instrumentation of Java Applications and Libraries at Basic Block Level6th workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems 2011 (ICOOOLPS 2011), Ian Rogers, Jul 2011, Lancaster, United Kingdom
Conference papers
inria-00613720v1
|
Genetic Heuristics for Reducing Memory Energy Consumption in Embedded SystemsICSOFT 2010 - 5th International Conference on Software Engineering and Data Technologies, Jul 2010, Athens, Greece. pp.394-402
Conference papers
inria-00516396v1
|
|
Sequential and Distributed Hybrid GA-SA Algorithms for Energy Optimization in Embedded Systemsthe IADIS International Conference Applied Computing 2010, Oct 2010, Timisoara, Romania. pp.167-174
Conference papers
inria-00524974v1
|
|
Reduction of Energy Consumption in Embedded Systems: A Hybrid Evolutionary AlgorithmMETA'10 - 3rd International Conference on Metaheuristics and Nature Inspired Computing, Oct 2010, Djerba, Tunisia
Conference papers
inria-00524975v1
|
|
|
A framework to experiment optimizations for real-time and embedded softwareInternational Conference on Embedded Real Time Software and Systems (ERTS2), May 2010, Toulouse, France
Conference papers
inria-00539973v1
|
Sequential and Distributed SA-Type Algorithms for Energy Optimization in Embedded SystemsIEEE-CiSE 2010 (International Conference on Computational Intelligence and Software Engineering), Dec 2010, Wuhan, China
Conference papers
inria-00541375v1
|
|
A Tabu Search Heuristic for Scratch-Pad Memory ManagementICSET 2010 - International Conference on Software Engineering and Technology, WASET - World Academy of Science, Engineering and Technology, Apr 2010, Rome, Italy. pp.386-390
Conference papers
inria-00491191v1
|
|
Hybrid Heuristics for Optimizing Energy Consumption in Embedded SystemsISCIS 2010 - 25th International Symposium on Computer and Information Sciences, Sep 2010, Londres, United Kingdom. pp.409 - 414
Conference papers
inria-00524320v1
|
|
|
A Survey of Scratch-Pad Memory Management Techniques for low-power and -energy2nd ECOOP Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2007), ECOOP, Jul 2007, Berlin, Germany. pp.31-38
Conference papers
inria-00170210v1
|
|
Memory and compiler optimizations for low-power and -energy.1st ECOOP Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2006)., Jul 2006, Nantes, France. pp.8
Conference papers
inria-00104146v2
|
|
Stress-testing Control Structures for Dynamic Dispatch in Java2nd Java Virtual Machine Research and Technology Symposium (JVM'2002), Usenix - The Advanced Computing Systems Association, Aug 2002, San Francisco, CA, USA, pp.105-118
Conference papers
inria-00000111v1
|
Dynamic inheritance: a powerful mechanism for operating system design5th ECOOP Workshop on Object-Orientation and Operating Systems - ECOOP-OOOSWS'2002, Jun 2002, Malaga, Espagne, 5 p
Conference papers
inria-00100788v1
|
|
|
Vers un usage plus sûr de l'aliasing avec Eiffel5ème Colloque Langages et Modèles à Objets - LMO'2000, Jan 2000, Mont Saint-Hilaire, Québec, Canada, pp.183--194
Conference papers
inria-00099060v1
|
|
Optimizations of Eiffel programs: SmallEiffel, The GNU Eiffel Compiler.29th conference on Technology of Object-Oriented Languages & Systems - TOOLS Europe 29'99, Jun 1999, Nancy, France, pp.341 - 350, ⟨10.1109/TOOLS.1999.779065⟩
Conference papers
inria-00098754v1
|
Towards safer aliasing with the Eiffel languageIntercontinental Workshop on Aliasing in Object-Oriented Systems IWAOOS'99 - ECOOP'99 workshop reader, 1999, Lisbonne, Portugal, pp.153
Conference papers
inria-00098844v1
|
|
|
Adding external iterators to an existing Eiffel class library32th conference on Technology of Object-Oriented Languages & Systems - TOOLS Pacific'99, Nov 1999, Melbourne, Australia, pp.188 - 199, ⟨10.1109/TOOLS.1999.809425⟩
Conference papers
inria-00098784v1
|
|
Compiler Support to Customize the Mark & Sweep AlgorithmACM SIGPLAN International Symposium on Memory Management - ISMM'98, ACM Special Interest Group on Programming Languages (SIGPLAN), 1998, Vancouver, British Columbia, Canada, pp.154--165
Conference papers
inria-00098708v1
|
|
Type Inference for Late Binding. The SmallEiffel Compiler.Joint Modular Languages Conference (JMLC), 1997, Lintz, Austria. pp.67--81
Conference papers
inria-00563353v1
|
|
Efficient Dynamic Dispatch without Virtual Function Tables. The SmallEiffel Compiler.12th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'97), ACM SIGPLAN, Oct 1997, Atlanta, United States. pp.125--141
Conference papers
inria-00565627v1
|
|
Analysis and Advanced Visualization of SoftwareThe 25th European Conference on Object-Oriented Programming (ECOOP 2011), Jul 2011, Lancaster, United Kingdom
Conference poster
inria-00612601v2
|
|
Evaluation of the runtime performance of control flow structures for dynamic dispatch in JavaObject-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2001, Tampa, United States
Conference poster
inria-00563339v1
|
|
Optimized late binding: the SmallEiffel exampleObject-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 1999, Denver, United States
Conference poster
inria-00563279v1
|
|
HiPEAC Vision 2023Books hal-04023794v1 |
|
HiPEAC Vision 2021pp.1-228, 2021, 9789078427025
Books
hal-03359519v1
|
|
The HiPEAC Vision 2019Duranton, Marc; De Bosschere, Koen; Coppens, Bart; Gamrat, Christian; Gray, Madeleine; Munk, Harm; Ozer, Emre; Vardanega, Tullio; Zendra, Olivier. HiPEAC CSA, pp.178, 2019, 978-90-90-31364-1
Books
hal-02314184v1
|
|
The HiPEAC Vision 2017Duranton, Marc; De Bosschere, Koen; Gamrat, Christian; Maebe, Jonas; Munk, Harm; Zendra, Olivier. HiPEAC network of excellence, pp.138, 2017, 978-90-9030182-2
Books
hal-01491758v1
|
Langages et Modèles à Objets : LMO 2009Cepadues Editions, Revue RNTI L-3, pp.154, 2009, 978.2.85428.886.5
Books
hal-00713975v1
|
|
Conférence francophone sur les Architectures Logicielles : CAL 2009Cépaduès, L-4, pp.104, 2009, RNTI, RNTI, 978-2-85428-887-2
Books
hal-02141769v1
|
Open-PEOPLE ANR Project, Open Power and Energy Optimization Platform and Estimator2010, vol.24, p.16
Other publications
hal-00923804v1
|
|
|
Compilation et faible consommation2006
Other publications
inria-00113532v1
|
|
PyroBuildS: Enabling Efficient Exploration of Linux Configuration Space with Incremental Build2023
Preprints, Working Papers, ...
hal-04130361v1
|
|
The Indiscernibility Methodology: quantifying information leakage from side-channels with no prior knowledge2022
Preprints, Working Papers, ...
hal-03793085v1
|
|
Traduction et optimisation globale dans les langages de classesInformatique [cs]. Université Henri Poincaré - Nancy 1, 2000. Français. ⟨NNT : 2000NAN10085⟩
Theses
tel-01747581v2
|
|
Contributions à la production de logiciels de qualitéInformatique [cs]. Université de Rennes, 2023
Habilitation à diriger des recherches
tel-04428591v1
|