Concetta Pilotto
-
To appear: Formal Aspects of Computing
-
PVS libraries of the System of Linear Equation Problem
-
Verification and Validation MURI hands-on workshop
-
Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS`08) , LNCS 5215, 217-231, September 2008, Springer
-
Fifth International IEEE Conference on Networked Sensing Systems (INSS 2008), June 17 - 19, 2008, Kanazawa, Japan
-
PVS Meta-theory for the paper "Convergence Verification: From Shared Memory to Partially Synchronous Systems". Submitted, May 2008.
-
Center for the Mathematics of Information, April 24, 2008
-
Systems Workshop, Harvey Mudd, March 2008