Ugo Buy

A computer-based system for problem list maintenance and medical informatics

Sol M. Shatz, M. Altaher, Ugo Buy, 1997, Proceedings of the 19th Annual International Conference of the IEEE Engineering in Medicine and Biology Society. 'Magnificent Milestones and Emerging Opportunities in Medical Engineering' (Cat. No.97CH36136).

Automatic Generation of Inequality Systems for Constrained Expression Analysis

George S. Avrunin, James C. Corbett, Ugo Buy, 1990 .

Modeling and integration of hospital information systems with Petri nets

Houshang Darabi, William L. Galanter, Ugo Buy, 2009, 2009 IEEE/INFORMS International Conference on Service Operations, Logistics and Informatics.

A Framework for Testing Object-Oriented Components

Alessandro Orso, Carlo Ghezzi, Mauro Pezzè, 2015 .

Enforcing safety properties in web applications using petri nets

Liviu Grigore, Ugo Buy, 2008, ICSE 2008.