Formal Requirements Elicitation with FRET.
Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020
IKOS: A Framework for Static Analysis Based on Abstract Interpretation.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014
User-Driven Collaboration for NASA Mission Control.
Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012
Reverse Engineering of Design Patterns from Java Source Code.
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006
Improving the Performance of Distributed CORBA Applications.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002