Concepedia

Emmanuel Dall’Olio

ED

2

Publications

34

Citations

2

H-Index

2003

Active since

Affiliations

Université Libre de Bruxelles(Current)

University of Mons

Emmanuel Dall’Olio is an author at Université Libre de Bruxelles specializing in verification, systems engineering, and formal methods.

Top concepts

Publications per year

2003–2008

2

Publications

2

Durations and parametric model-checking in timed automata

Véronique Bruyère, Emmanuel Dall’Olio, Jean-François Raskin · ACM Transactions on Computational Logic · 2008 · 22 citations

, , +13

Durations, parametric model-checking in timed automata with presburger arithmetic

Véronique Bruyère, Emmanuel Dall’Olio, Jean-François Raskin · 2003 · 12 citations

Rows per page

1–2 of 2