Actual Research
|
My main interest is formal methods for modular model checking.
I also work with
Macq Electronique
on an OO distributed language (dSL) for process supervision and
automata control tasks (more info:
dSL project
).
|
M.S. Thesis
|
'Optimisation de Code : Méthodes d'évaluation
éparse des propriétés statiques', Université Libre de
Bruxelles, Belgium (1999). I received the Solvay Awards for
this thesis.
For the full text send me a mail
apiron@ulb.ac.be
(I really enjoy knowing new people).
|
Technical Reports
|
F. Geurts, F. Macq, T. Massart, A. Piron et G. Vanstraelen.
'Présentation du projet Distributed SL (dSL)', Université Libre de
Bruxelles, Belgium (2001).
|
Collaborators
|
Prof. R. Devillers
;
Prof. Th. Massart
;
Prof. J.-F. Raskin
;
Mr. L. Van Begin ;
Mr. E. Van Nuffel ;
Macq Electronique
.
|
Formal Methods Links
|
Bookmarks about compilers and formal methods.
|