Jerome White

Consensus on Asynchronous Communication Networks in Presence of External Input

49th IEEE Conference on Decision and Control. Atlanta, GA, USA. December 15--17, 2010.

cdc.pdf
Verification of Faulty Message Passing Systems with Continuous State Space in PVS

Second NASA Formal Methods Symposium

SystemLE.zip, nfm.pdf
Verification of Distributed Systems with Local-Global Predicates

To appear: Formal Aspects of Computing

FAC-PVS.zip, FAC-java.zip, fac.20100109.pdf
Formal methods and theorem proving using PVS

Verification and Validation MURI hands-on workshop

pvs.pilotto-white.pdf, lib-localglobal.zip
Towards Verified Distributed Software Through Refinement of Formal Archetypes

Second IFIP Working Conference on Verified Software: Theories, Tools and Experiments Workshop on Experiments

cgmw-refinement.pdf, vstte.pdf
Exploring Interfaces Between Computer Science and Control and Dynamical Systems

Center for the Mathematics of Information, April 24, 2008

Exploring Interfaces Between Computer Science and Control and Dynamical Systems.pdf