☰

Alwyn E. Goodloe, Ph.D. - Publications

Affiliations: 
2008 University of Pennsylvania, Philadelphia, PA, United States 
Area:
Computer Science, Mathematics
Tree Info Similar researchers PubMed Report error

6 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2020 Perez I, Goodloe AE. Fault-tolerant functional reactive programming (extended version) Journal of Functional Programming. 30. DOI: 10.1017/S0956796820000118  0.335
2013 Goodloe AE, Muñoz CA. Compositional verification of a communication protocol for a remotely operated aircraft Science of Computer Programming. 78: 813-827. DOI: 10.1016/J.Scico.2011.10.011  0.426
2013 Pike L, Wegmann N, Niller S, Goodloe A. Copilot: Monitoring embedded systems Innovations in Systems and Software Engineering. 9: 235-255. DOI: 10.1007/S11334-013-0223-X  0.333
2009 Goodloe AE, Gunter CA. Completeness of discovery protocols Proceedings of the Acm Conference On Computer and Communications Security. 29-36. DOI: 10.1145/1655062.1655070  0.485
2009 Goodloe AE, Muñoz CA. Compositional verification of a communication protocol for a remotely operated vehicle Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5825: 86-101. DOI: 10.1007/978-3-642-04570-7_8  0.392
2007 Goodloe AE, Gunter CA. Reasoning about concurrency for security tunnels Proceedings - Ieee Computer Security Foundations Symposium. 64-78. DOI: 10.1109/CSF.2007.28  0.492
Show low-probability matches.