PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Zendra, Olivier"

Author of the publication

copydeleteadd this publication to your clipboard
Type-Driven Verification of Non-functional Properties.

, , , , and . PPDP, page 6:1-6:15. ACM, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Zendra, Olivier
add a person with the name Zendra, Olivier
 

Other publications of authors with the same name

Vers un usage plus sûr de l'aliasing avec Eiffel., and . LMO, page 183-194. Hermès, (2000)Hybrid Heuristics for Optimizing Energy Consumption in Embedded Systems., , and . ISCIS, volume 62 of Lecture Notes in Electrical Engineering, page 409-414. Springer, (2010)QAML: a multi-paradigm DSML for quantitative analysis of embedded system architecture models., , , and . MPM@MoDELS, page 37-42. ACM, (2012)Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2007 at ECOOP'07, , , , , , , and . CoRR, (2007)Stress-testing Control Structures for Dynamic Dispatch in Java., and . Java Virtual Machine Research and Technology Symposium, page 105-118. USENIX, (2002)Using Cooja for WSN Simulations: Some New Uses and Limits., , and . EWSN, page 319-324. Junction Publishing, Canada / ACM, (2016)Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems., , , , , , , and . ECOOP Workshops, volume 4906 of Lecture Notes in Computer Science, page 50-64. Springer, (2007)Towards Safer Aliasing with the Eiffel Language., and . ECOOP Workshops, volume 1743 of Lecture Notes in Computer Science, page 153-154. Springer, (1999)Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2006 at ECOOP'06, , , , , and . CoRR, (2007)JBInsTrace: A tracer of Java and JRE classes at basic-block granularity by dynamically instrumenting bytecode., and . Sci. Comput. Program., (2014)