Concetta Pilotto, Ph.D.
Affiliations: | 2011 | Computer Science | California Institute of Technology, Pasadena, CA |
Area:
Computer ScienceGoogle:
"Concetta Pilotto"Parents
Sign in to add mentor| K. Mani Chandy | grad student | 2011 | Caltech | |
| (Systematic Design and Formal Verification of Multi-Agent Systems.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Pilotto C, White J. (2011) Towards a verification framework for faulty message passing systems in PVS Innovations in Systems and Software Engineering. 7: 109-118 |
| Chandy KM, Go B, Mitra S, et al. (2011) Verification of distributed systems with local-global predicates Formal Aspects of Computing. 23: 649-679 |
| Pilotto C, Chandy KM, White J. (2010) Consensus on asynchronous communication networks in presence of external input Proceedings of the Ieee Conference On Decision and Control. 3838-3844 |
| Chandy KM, Mitra S, Pilotto C. (2008) Convergence verification: From shared memory to partially synchronous systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5215: 218-232 |