Systems and methods for performing software performance estimations
Luciano Lavagno, Mihai Lazarescu, Alberto L. Sangiovanni-Vincentelli and Marcello Lajolo
U.S. Patent 7,702,499. April 2010

System and method for automatically synthesizing interfaces between incompatible protocols
Roberto Passerone, James A. Rowson and Alberto Sangiovanni-Vincentelli
U.S. Patent 7,136,947. November 2006

System and method for simulating discrete functions using ordered decision arrays
Patrick C. McGeer, Alexander Saldanha and Alberto Sangiovanni-Vincentelli
U.S. Patent 5,752,000. May 1998