September 2003 (ENS
Cachan) : the slides (fr,pdf)
of my presentation
about verification and symbolic automata (introduction to the area and
my master thesis).
October 2006 Combining widening and acceleration + Aspic
demo, invited speach in LIAFA
Verification group My slides.
Quantity of Resource Properties Expression and Runtime Assurance
for Embedded Systems : to be sumitted to AICCSA
Abstract Acceleration in Linear Relation Analysis : journal
paper for FMSD submission.
Published papers
Runtime resource assurance and adaptation with Qinna
framework~: a case study : in Real Time Systems (RTS) ,
October 2008, Wisla, Poland.
Combining widening and acceleration in Linear Relation Analysis
Laure Gonnord and Nicolas Halbwachs
In Symposium of Static Analysis (SAS) Proceedings
August 2006, Seoul, Korea.
Some ways to reduce the space dimension in polyhedra computations
Nicolas Halbwachs, David Merchat and Laure Gonnord
Formal Methods in System Design, 2006 (journal)
From Discrete Duration Calculus to Symbolic Automata
Laure Gonnord, Nicolas Halbwachs and Pascal Raymond
In Synchronous Langages, Applications and Programming (SLAP)
Proceedings
March 2004, Barcelona