University of Notre Dame — United States
Computer Science · Physical Sciences
4h-index62citations4works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(2), Software Testing and Debugging Techniques(2), Logic, programming, and type systems(1), Advanced Database Systems and Queries(1), Network Security and Intrusion Detection(1)
Publications4 total
2002· 40 cited
IFIP advances in information and communication technology·1996· 4 cited
Frequent Co-authors
Baudouin Le Charlier(3), A. Mounji(1), Naji Habra(1), François Gagnon(1), Jean‐Charles Grégoire(1)