Olivier Zendra

Orcid: 0000-0001-6830-2572

According to our database1, Olivier Zendra authored at least 42 papers between 1997 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Options Matter: Documenting and Fixing Non-Reproducible Builds in Highly-Configurable Systems.
Proceedings of the 21st IEEE/ACM International Conference on Mining Software Repositories, 2024

2023
A Call for Removing Variability.
Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, 2023

The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Contributions à la production de logiciels de qualité.
, 2023

2022
Semi-automatic ladderisation: improving code security through rewriting and dependent types.
Proceedings of the PEPM 2022: Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Philadelphia, PA, USA, January 17, 2022

Towards Incremental Build of Software Configurations.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results ICSE (NIER) 2022, 2022

2021
SE-PAC: A Self-Evolving PAcker Classifier against rapid packers evolution.
Proceedings of the CODASPY '21: Eleventh ACM Conference on Data and Application Security and Privacy, 2021

Accurate and Robust Malware Analysis through Similarity of External Calls Dependency Graphs (ECDG).
Proceedings of the ARES 2021: The 16th International Conference on Availability, 2021

2019
The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2.
Proceedings of the 18th IEEE International Conference On Trust, 2019

Model Checking the IKEv2 Protocol Using Spin.
Proceedings of the 17th International Conference on Privacy, Security and Trust, 2019

Type-Driven Verification of Non-functional Properties.
Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

2018
Group abstraction for assisted navigation of social activities in intelligent environments.
J. Reliab. Intell. Environ., 2018

2016
Using Cooja for WSN Simulations: Some New Uses and Limits.
Proceedings of the International Conference on Embedded Wireless Systems and Networks, 2016

2015
RIOT OS Paves the Way for Implementation of High-performance MAC Protocols.
Proceedings of the SENSORNETS 2015, 2015

2014
JBInsTrace: A tracer of Java and JRE classes at basic-block granularity by dynamically instrumenting bytecode.
Sci. Comput. Program., 2014

2012
ICOOLPS 2010 and MASPEGHI 2010.
J. Object Technol., 2012

QAML: a multi-paradigm DSML for quantitative analysis of embedded system architecture models.
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012

Open-People: Open Power and Energy Optimization PLatform and Estimator.
Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

Open-people: An open platform for estimation and optimizations of energy consumption.
Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012

2011
Visualization of the Static Aspects of Software: A Survey.
IEEE Trans. Vis. Comput. Graph., 2011

3D Hierarchical Edge bundles to visualize relations in a software city metaphor.
Proceedings of the 6th IEEE International Workshop on Visualizing Software for Understanding and Analysis, 2011

A tracing technique using dynamic bytecode instrumentation of Java applications and libraries at basic block level.
Proceedings of the 6th Workshop on Implementation, 2011

2010
A framework to experiment optimizations for real-time and embedded software
CoRR, 2010

Hybrid Heuristics for Optimizing Energy Consumption in Embedded Systems.
Proceedings of the Computer and Information Sciences, 2010

Genetic Heuristics for Reducing Memory Energy Consumption in Embedded Systems.
Proceedings of the ICSOFT 2010, 2010

2007
Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2007 at ECOOP'07
CoRR, 2007

Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2006 at ECOOP'06
CoRR, 2007

Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems.
Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

2006
Memory and compiler optimizations for low-power and -energy
CoRR, 2006

Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems.
Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006

2004
Conformance of agents in the Eiffel language.
J. Object Technol., 2004

GC<sup>2</sup>: a generational conservative garbage collector for the ATImage library.
J. Log. Algebraic Methods Program., 2004

2002
Stress-testing Control Structures for Dynamic Dispatch in Java.
Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium, 2002

2001
Coping with aliasing in the GNU Eiffel Compiler implementation.
Softw. Pract. Exp., 2001

2000
Traduction et optimisation globale dans les langages de classes. (Translation and global optimization in class-based languages).
PhD thesis, 2000

Vers un usage plus sûr de l'aliasing avec Eiffel.
Proceedings of the Actes des journées Langages et Modèles à Objets, 2000

1999
Adding External Iterators to an Existing Eiffel Class Library.
Proceedings of the TOOLS Pacific 1999: 32nd International Conference on Technology of Object-Oriented Languages and Systems, 1999

Optimizations of Eiffel Programs: Smalleiffel, the GNU Eiffel Compiler.
Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999

Towards Safer Aliasing with the Eiffel Language.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998
Compiler Support to Customize the Mark and Sweep Algorithm.
Proceedings of the International Symposium on Memory Management, 1998

1997
Efficient Dynamic Dispatch without Virtual Function Tables: The SmallEiffel Compiler.
Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

Type Inference for Late Binding: The SmallEiffel Compiler.
Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 1997


  Loading...