Université Laval — Canada
Computer Science · Physical Sciences
3h-index108citations18works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(11), Formal Methods in Verification(11), Security and Verification in Computing(6), Advanced Malware Detection Techniques(4), Software Testing and Debugging Techniques(3)
Publications18 total
2011· 13 cited
Lecture notes in computer science·2011· 1 cited
Proceedings of the 10th international conference on Mathematics of program construction
Mathematics of Program Construction·2010· 2 cited
Lecture notes in computer science·2009· 2 cited
Lecture notes in computer science·2008
Toward Solving Equations in Kleene Algebras
New Trends in Software Methodologies, Tools and Techniques·2007· 1 cited
Knowledge-Based Systems·2007· 2 cited
A Formal Translation From an Imperative Language With Array to a Declarative Language
New Trends in Software Methodologies, Tools and Techniques·2006
Knowledge-Based Systems·2005
Knowledge-Based Systems·2005· 1 cited
Knowledge-Based Systems·2004· 3 cited
Conference on Privacy, Security and Trust·2004· 3 cited
Formal Implementation of Network Security Policies.
Conference on Privacy, Security and Trust·2004· 1 cited
Knowledge-Based Systems·2003
2002· 3 cited
Lecture notes in computer science·1998· 3 cited
Frequent Co-authors
Mohamed Mejri(8), Claude Bolduc(5), Hamido Fujita(4), Mourad Debbabi(3), Mourad Erhioui(2), Daniel Godbout(2), François Lajeunesse-Robert(2), Janick Bergeron(1), Hashem Waly(1), Abdelkader Benzakour(1), Mathieu Couture(1), Frédéric Massicotte(1), E. Giasson(1), François Michaud(1), Nadia Tawbi(1), Jules Desharnais(1), Alexandre Lacasse(1), Mohamed Mbarki(1), Jules Desharnais(1)