pchapin's Publications
Work done at Vermont Technical College (now Vermont State University)
- CubedOS: A Verified CubeSat
Operating System by Carl Brandon, Peter Chapin, Chris Farnsworth, and Sean Klink. Ada
User Journal; 38(3), September 2017.
- The Use of SPARK in a Complex Spacecraft
by Carl Brandon and Peter Chapin. Proceedings of the High Integrity Language Technology
workshop (HILT-2016); October 6–7, 2016, Pittsburgh, PA, USA. (slides)
- High Integrity Software for CubeSats and Other
Space Missions by Carl Brandon and Peter Chapin. Proceedings of the 66th International Astronautical Congress;
October 12--16, 2015 (Jerusalem, Israel).
- Building
High Integrity Applications with SPARK by John W. McCormick and Peter C. Chapin. August
2015 (Cambridge University Press).
- A SPARK/Ada CubeSat Control Program by
Carl Brandon and Peter Chapin. Proceedings of Ada Europe 2013; June 10--14, 2013
(Berlin, Germany); LNCS 7896, pages 51--64.
- Use of SPARK in a Resource Constrained
Embedded System by Chad Loseby, Peter Chapin, and Carl Brandon. Proceedings of the ACM
International Conference on Ada and Related Technologies; November 1--5, 2009 (Saint
Petersburg, Florida, USA); pages 87–90. Slides used for
the presentation.
Work done at the University of Vermont
- SpartanRPC: Remote Procedure Call
Authorization in Wireless Sensor Networks by Peter Chapin and Christian Skalka. ACM
Transactions on Information and System Security; to appear.
- Trust Management in Distributed Resource
Constrained Embedded Systems. A Ph.D. dissertation by Peter Chapin. January 2014.
- Scalaness/nesT: Type Specialized
Staged Programming for Sensor Networks by Peter Chapin, Christian Skalka, Scott Smith, and
Michael Watson. Proceedings of the Twelfth International Conference on Generative
Programming Concepts & Experiences; October 27–28, 2013 (Indianapolis Indiana, USA).
Slides used for the presentation.
- SpartanRPC: Secure WSN Middleware for
Cooperating Domains by Peter Chapin and Christian Skalka. Proceedings of the Seventh
IEEE International Conference on Mobile Ad-hoc and Sensor Systems; November 8–12, 2010
(San Francisco, California, USA). Slides used for the
presentation.
- Authorization in Trust Management:
Features and Foundations by Peter Chapin, Christian Skalka, and X. Sean Wang. ACM
Computing Surveys; 40(3), pages 1–48. August 2008. (citation)
- Risk Management for Distributed
Authorization by Christian Skalka, X. Sean Wang, and Peter Chapin. Journal of Computer
Security; 15(4), 2007.
- Risk Assessment in Distributed
Authorization by Peter Chapin, Christian Skalka, and X. Sean Wang. Proceedings of the
Workshop on Formal Methods in Security Engineering; November 11, 2005; Fairfax, Virgina;
pages x--y. Slides used for the presentation.
Work done at the University of Illinois
- Experimental
Study of the Frequency Limits of a Resonant Tunneling Oscillator by Paul D. Coleman,
Steven Goedeke, Thomas J. Shewchuk, Peter C. Chapin, Joseph M. Gering, Hadis Morkoc. Applied
Physics Letters; 48(6). pages 422–424. February 1986.
- Stable and
Unstable Current-Voltage Measurements of a Resonant Tunneling Heterostructure Oscillator
by T. J. Shewchuck, J. M. Gering, P. C. Chapin, P. D. Coleman, W. Kopp, C. K. Peng, and H
Morkoc. Applied Physics Letters; 47(9), pages 986–988. November 1985.
- Microwave Admittance Characterization of GaAs-AlxGa1-xAs Resonant
Tunneling Heterostructures by W. Kopp, H. Morkoc, T. J. Shewchuck, P. C. Chapin, J. M. Gering,
P. D. Coleman. Proceedings of the Sixth Biennial Conference on High Speed Semiconductor
Devices; July 1985 (Cornell University, Ithaca, New York)
- Resonant
Tunneling Oscillations in a GaAs-AlxGa1-xAs Heterostructure at Room
Temperature by T. J. Shewchuck, P. C. Chapin, P. D. Coleman, W. Kopp, R. Fischer, and H.
Morkoc. 46. pages 508--510. March 1985.
Last Revised: 2025-11-12
© Copyright 2025 by Peter Chapin <peter.chapin@vermontstate.edu>