Perry Alexander

72 papers A* 6A 2B 3C 5Misc 1Journal 19Unranked 35

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Designing Trustworthy Layered Attestations. CoRR Will Thomas, Logan Schmalz, Adam Petz, Perry Alexander, Joshua D. Guttman, Paul D. Rowe, James Carter
2024	—	`conf`	Proof Repair Utilizing Large Language Models: A Case Study on the Copland Remote Attestation Proofbase. AISoLA Amer Tahat, David S. Hardin, Adam Petz, Perry Alexander
2024	B	`conf`	Verified Configuration and Deployment of Layered Attestation Managers. SEFM Adam Petz, Will Thomas, Anna Fritz, T. J. Barclay, Logan Schmalz, Perry Alexander
2023	—	`conf`	A Framework for Policy Based Negotiation. NFM Anna Fritz, Perry Alexander
2023	J	`jnl`	Formally verified bundling and appraisal of evidence for layered attestations. Innov. Syst. Softw. Eng. Adam Petz, Perry Alexander
2022	J	`jnl`	Cyberassured Systems Engineering at Scale. IEEE Secur. Priv. Darren D. Cofer, Isaac Amundson, Junaid Babar, David S. Hardin, Konrad Slind, Perry Alexander, John Hatcliff, Robby, Gerwin Klein, Corey Lewis, Eric Mercer, John Shackleton
2021	—	`conf`	An Infrastructure for Faithful Execution of Remote Attestation Protocols. NFM Adam Petz, Perry Alexander
2021	C	`conf`	Design and formal verification of a copland-based attestation protocol. MEMOCODE Adam Petz, Grant Jurgensen, Perry Alexander
2021	J	`jnl`	Flexible Mechanisms for Remote Attestation. ACM Trans. Priv. Secur. Sarah C. Helble, Ian D. Kretz, Peter A. Loscocco, John D. Ramsdell, Paul D. Rowe, Perry Alexander
2020	J	`jnl`	An Infrastructure for Faithful Execution of Remote Attestation Protocols. CoRR Adam Petz, Perry Alexander
2020	—	`conf`	An seL4-based architecture for layered attestation. HotSoS Grant Jurgensen, Michael Neises, Perry Alexander
2020	—	`ed.`	Proceedings of the 7th Annual Symposium on Hot Topics in the Science of Security, HotSoS 2020, Lawrence, Kansas, USA, September 22-24, 2020 HotSoS Perry Alexander, Drew Davidson, Baek-Young Choi
2019	—	`conf`	A copland attestation manager. HotSoS Adam Petz, Perry Alexander
2019	—	`conf`	Orchestrating Layered Attestations. POST John D. Ramsdell, Paul D. Rowe, Perry Alexander, Sarah Helble, Peter A. Loscocco, J. Aaron Pendergrass, Adam Petz
2017	—	`conf`	100 Years of Software - Adapting Cyber-Physical Systems to the Changing World. SERENE Hayley Borck, Paul Kline, Hazel Shackleton, John Gohde, Steven Johnston, Perry Alexander, Todd Carpenter
2015	J	`jnl`	Model Checking Distributed Mandatory Access Control Policies. ACM Trans. Inf. Syst. Secur. Perry Alexander, Lee Pike, Peter A. Loscocco, George Coker
2013	B	`conf`	Stateless Higher-Order Logic with Quantified Types. ITP Evan Austin, Perry Alexander
2013	—	`conf`	Verifying a Privacy CA Remote Attestation Protocol. NASA Formal Methods Brigid Halling, Perry Alexander
2012	—	`conf`	A pattern for almost homomorphic functions. WGP@ICFP Nicolas Frisby, Andy Gill, Perry Alexander
2012	J	`jnl`	Open Access: An Evolving Alternative. Computer Lorraine J. Haricombe, L. Ada Emmett, Perry Alexander
2011	A*	`ed.`	26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011 ASE Perry Alexander, Corina S. Pasareanu, John G. Hosking
2011	—	`conf`	Model Composition in Rosetta. ECBS Nicolas Frisby, M. Peck, Mark Snyder, Perry Alexander
2010	J	`jnl`	Constructing language processors with algebra combinators. Sci. Comput. Program. Nicolas Frisby, Garrin Kimmell, Philip Weaver, Perry Alexander
2010	—	`conf`	Monad Factory: Type-Indexed Monads. Trends in Functional Programming Mark Snyder, Perry Alexander
2009	J	`jnl`	Rosetta: Standardization at the System Level. Computer Perry Alexander
2009	A	`conf`	Writing Composable Software with InterpreterLib. SC Mark Snyder, Nicolas Frisby, Garrin Kimmell, Perry Alexander
2008	C	`conf`	Synthesizing Software Defined Radio Components from Rosetta (invited). FDL Garrin Kimmell, Ed Komp, Gary J. Minden, Joseph B. Evans, Perry Alexander
2007	B	`conf`	Constructing language processors with algebra combinators. GPCE Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander
2007	A*	`conf`	Modular and generic programming with interpreterlib. ASE Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander
2007	A*	`conf`	Rosetta: language support for system-level design. ASE Perry Alexander
2005	—	`conf`	Building Compilers by Combining Algebras. ECBS Garrin Kimmell, Ed Komp, Perry Alexander
2005	J	`jnl`	Integrating formalism into undergraduate software engineering. J. Syst. Softw. Perry Alexander
2005	A*	`conf`	Prufrock: a framework for constructing polytypic theorem provers. ASE Justin Ward, Garrin Kimmell, Perry Alexander
2004	—	`conf`	DVTG and Test Harnessing using Rosetta Specifications. ECBS Kalpesh Zinjuwadia, Perry Alexander
2004	J	`jnl`	SPARTACAS Automating Component Reuse and Adaptation. IEEE Trans. Software Eng. Brandon Morel, Perry Alexander
2003	—	`conf`	A Slicing Approach for Parallel Component Adaptation. ECBS Brandon Morel, Perry Alexander
2003	A*	`conf`	Automating Component Adaptation for Reuse. ASE Brandon Morel, Perry Alexander
2003	J	`jnl`	Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language. J. Univers. Comput. Sci. Cindy Kong, Perry Alexander, Catherine Menon
2003	J	`jnl`	Guest Editorial: ASE 2000 Special Issue. Autom. Softw. Eng. Perry Alexander, Pierre Flener
2003	—	`conf`	The Rosetta Meta-Model Framework. ECBS Cindy Kong, Perry Alexander
2002	J	`jnl`	A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation. IEEE Trans. Software Eng. Peter Frey, Radharamanan Radhakrishnan, Harold W. Carter, Philip A. Wilsey, Perry Alexander
2002	A	`conf`	Multi-Faceted Requirements Modeling. RE Cindy Kong, Perry Alexander
2002	—	`conf`	VSPEC and Its Integrated Tool Suite. ECBS Murali Rangarajan, Kshama Jambhekar, Amitvikram Rajkhowa, Perry Alexander
2001	—	`conf`	A Practical Semantics for Design Facet Interaction. ECBS Perry Alexander, Cindy Kong, David Schonberger
2001	Misc	`conf`	Heterogeneous Modeling Support for Embedded Systems Design. EMSOFT Perry Alexander, Cindy Kong
2001	J	`jnl`	Rosetta: Semantic Support for Model-Centered Systems-Level Design. Computer Perry Alexander, Cindy Kong
2000	C	`conf`	Composing Specifications in VSPEC. ICFEM Arun Venkataraman, Murali Rangarajan, Perry Alexander
2000	—	`conf`	Formal modeling of active network nodes using PVS. FMSP Cindy Kong, Perry Alexander, Darryl D. Dieckman
2000	—	`conf`	On the Design of ORBIT. ECBS Murali Rangarajan, Iqbal Mutabanna, Darryl D. Dieckman, Badar Farooqi, Amitvikram Rajkhowa, Sarjoun Doumit, Arun Venkataraman, Cindy Kong, Roshan Kamath, Perry Alexander, Nael B. Abu-Ghazaleh
2000	—	`conf`	System Specification in Rosetta. ECBS Perry Alexander, Roshan Kamath, David Barton
1999	—	`conf`	A Brief Summary of VSPEC. World Congress on Formal Methods Perry Alexander, Murali Rangarajan, Phillip Baraona
1999	—	`conf`	A Formal Framework for Specifying and Verifying Time Warp Optimizations. IPPS/SPDP Workshops Victoria Chernyakhovsky, Peter Frey, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander, Harold W. Carter
1999	J	`jnl`	Abstract Architecture Representation Using VSPEC. VLSI Design Phillip Baraona, Perry Alexander
1999	—	`conf`	An Extensible Formal Framework for the Specification and Verification of an Optimistic Simulation Protocol. HICSS Peter Frey, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander, Harold W. Carter
1999	J	`jnl`	Efficient Specification-Based Component Retrieval. Autom. Softw. Eng. John Penix, Perry Alexander
1999	—	`conf`	ORBIT: An Environment for Component-Based Heterogeneous Design and Analysis. ECBS Nael B. Abu-Ghazaleh, Murali Rangarajan, Darryl D. Dieckman, Perry Alexander, Philip A. Wilsey
1999	—	`conf`	Using Automatable Proof Obligations for Component-Based Design Checking. ECBS Murali Rangarajan, Perry Alexander, Nael B. Abu-Ghazaleh
1999	—	`conf`	VSPEC Constraints Modeling and Evaluation. ECBS Amitvikram Rajkhowa, Perry Alexander
1998	—	`conf`	Experiences in verifying parallel simulation algorithms. FMSP John Penix, Dale E. Martin, Peter Frey, Ramanan Radhakrishnan, Perry Alexander, Philip A. Wilsey
1998	J	`jnl`	Formal verification and empirical analysis of rollback relaxation. J. Syst. Archit. Kothanda Umamageswaran, Krishnan Subramani, Philip A. Wilsey, Perry Alexander
1998	—	`conf`	Large Scale Active Networks Simulation. PARA Karthik Swaminathan, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander
1998	J	`jnl`	Task Analysis and Design Plans in Formal Specification Design. Int. J. Softw. Eng. Knowl. Eng. Perry Alexander
1998	—	`conf`	Using Formal Specifications for Component Retrieval and Reuse. HICSS (3) John Penix, Perry Alexander
1997	A*	`conf`	Declarative Specification of Software Architectures. ASE John Penix, Perry Alexander, Klaus Havelund
1997	—	`conf`	Gravity: An Object-Oriented Framework for Hardware/Software Tool Integration. Annual Simulation Symposium Murali Rangarajan, John Penix, Perry Alexander, Philip A. Wilsey
1997	—	`conf`	Insertion of formalism into systems level design. ECBS Perry Alexander
1997	—	`conf`	Representing abstract architectures with axiomatic specifications and activation conditions. ECBS Phillip Baraona, Perry Alexander
1996	—	`conf`	Formal Specification and Verification of the pGVT Algorithm. FME Balakrishnan Kannikeswaran, Radharamanan Radhakrishnan, Peter Frey, Perry Alexander, Philip A. Wilsey
1995	—	`conf`	Classification and Retrieval of Reusable Components Using Semantic Features. KBSE John Penix, Phillip Baraona, Perry Alexander
1994	C	`conf`	Combining transformational and derivational analogy in Larch specification generation. SEKE Perry Alexander
1993	C	`conf`	BENTON: A Multi-Agent System for Larch Specification Generation. SEKE Perry Alexander
1990	—	`conf`	Case based planning for simulation. Expert Planning Systems Perry Alexander, Costas Tsatsoulis, Julian Holtzman, Gary J. Minden