Case based planning for simulation. - Perry Alexander; Costas Tsatsoulis; Julian Holtzman; Gary J. Minden (Expert Planning Systems, 1990)

BENTON: A Multi-Agent System for Larch Specification Generation. - Perry Alexander (SEKE, 1993)

Combining transformational and derivational analogy in Larch specification generation. - Perry Alexander (SEKE, 1994)

Classification and Retrieval of Reusable Components Using Semantic Features. - John Penix; Phillip Baraona; Perry Alexander (KBSE, 1995)

Formal Specification and Verification of the pGVT Algorithm. - Balakrishnan Kannikeswaran; Radharamanan Radhakrishnan; Peter Frey; Perry Alexander; Philip A. Wilsey (FME, 1996)

Gravity: An Object-Oriented Framework for Hardware/Software Tool Integration. - Murali Rangarajan; John Penix; Perry Alexander; Philip A. Wilsey (Annual Simulation Symposium, 1997)

Insertion of formalism into systems level design. - Perry Alexander (ECBS, 1997)

Representing abstract architectures with axiomatic specifications and activation conditions. - Phillip Baraona; Perry Alexander (ECBS, 1997)

Declarative Specification of Software Architectures. - John Penix; Perry Alexander; Klaus Havelund (ASE, 1997)

Experiences in verifying parallel simulation algorithms. - John Penix; Dale E. Martin; Peter Frey; Ramanan Radhakrishnan; Perry Alexander; Philip A. Wilsey (FMSP, 1998)

Using Formal Specifications for Component Retrieval and Reuse. - John Penix; Perry Alexander (HICSS (3), 1998)

Large Scale Active Networks Simulation. - Karthik Swaminathan; Radharamanan Radhakrishnan; Philip A. Wilsey; Perry Alexander (PARA, 1998)

Task Analysis and Design Plans in Formal Specification Design. - Perry Alexander (Int. J. Softw. Eng. Knowl. Eng., 1998)

Formal verification and empirical analysis of rollback relaxation. - Kothanda Umamageswaran; Krishnan Subramani; Philip A. Wilsey; Perry Alexander (J. Syst. Archit., 1998)

ORBIT: An Environment for Component-Based Heterogeneous Design and Analysis. - Nael B. Abu-Ghazaleh; Murali Rangarajan; Darryl D. Dieckman; Perry Alexander; Philip A. Wilsey (ECBS, 1999)

VSPEC Constraints Modeling and Evaluation. - Amitvikram Rajkhowa; Perry Alexander (ECBS, 1999)

Using Automatable Proof Obligations for Component-Based Design Checking. - Murali Rangarajan; Perry Alexander; Nael B. Abu-Ghazaleh (ECBS, 1999)

A Brief Summary of VSPEC. - Perry Alexander; Murali Rangarajan; Phillip Baraona (World Congress on Formal Methods, 1999)

An Extensible Formal Framework for the Specification and Verification of an Optimistic Simulation Protocol. - Peter Frey; Radharamanan Radhakrishnan; Philip A. Wilsey; Perry Alexander; Harold W. Carter (HICSS, 1999)

A Formal Framework for Specifying and Verifying Time Warp Optimizations. - Victoria Chernyakhovsky; Peter Frey; Radharamanan Radhakrishnan; Philip A. Wilsey; Perry Alexander; Harold W. Carter (IPPS/SPDP Workshops, 1999)

Efficient Specification-Based Component Retrieval. - John Penix; Perry Alexander (Autom. Softw. Eng., 1999)

Abstract Architecture Representation Using VSPEC. - Phillip Baraona; Perry Alexander (VLSI Design, 1999)

System Specification in Rosetta. - Perry Alexander; Roshan Kamath; David Barton (ECBS, 2000)

On the Design of ORBIT. - 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 (ECBS, 2000)

Formal modeling of active network nodes using PVS. - Cindy Kong; Perry Alexander; Darryl D. Dieckman (FMSP, 2000)

Composing Specifications in VSPEC. - Arun Venkataraman; Murali Rangarajan; Perry Alexander (ICFEM, 2000)

A Practical Semantics for Design Facet Interaction. - Perry Alexander; Cindy Kong; David Schonberger (ECBS, 2001)

Heterogeneous Modeling Support for Embedded Systems Design. - Perry Alexander; Cindy Kong (EMSOFT, 2001)

Rosetta: Semantic Support for Model-Centered Systems-Level Design. - Perry Alexander; Cindy Kong (Computer, 2001)

VSPEC and Its Integrated Tool Suite. - Murali Rangarajan; Kshama Jambhekar; Amitvikram Rajkhowa; Perry Alexander (ECBS, 2002)

Multi-Faceted Requirements Modeling. - Cindy Kong; Perry Alexander (RE, 2002)

A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation. - Peter Frey; Radharamanan Radhakrishnan; Harold W. Carter; Philip A. Wilsey; Perry Alexander (IEEE Trans. Software Eng., 2002)

The Rosetta Meta-Model Framework. - Cindy Kong; Perry Alexander (ECBS, 2003)

A Slicing Approach for Parallel Component Adaptation. - Brandon Morel; Perry Alexander (ECBS, 2003)

Automating Component Adaptation for Reuse. - Brandon Morel; Perry Alexander (ASE, 2003)

Guest Editorial: ASE 2000 Special Issue. - Perry Alexander; Pierre Flener (Autom. Softw. Eng., 2003)

Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language. - Cindy Kong; Perry Alexander; Catherine Menon (J. Univers. Comput. Sci., 2003)

DVTG and Test Harnessing using Rosetta Specifications. - Kalpesh Zinjuwadia; Perry Alexander (ECBS, 2004)

SPARTACAS Automating Component Reuse and Adaptation. - Brandon Morel; Perry Alexander (IEEE Trans. Software Eng., 2004)

Building Compilers by Combining Algebras. - Garrin Kimmell; Ed Komp; Perry Alexander (ECBS, 2005)

Prufrock: a framework for constructing polytypic theorem provers. - Justin Ward; Garrin Kimmell; Perry Alexander (ASE, 2005)

Integrating formalism into undergraduate software engineering. - Perry Alexander (J. Syst. Softw., 2005)

Rosetta: language support for system-level design. - Perry Alexander (ASE, 2007)

Modular and generic programming with interpreterlib. - Philip Weaver; Garrin Kimmell; Nicolas Frisby; Perry Alexander (ASE, 2007)

Synthesizing Software Defined Radio Components from Rosetta (invited). - Garrin Kimmell; Ed Komp; Gary J. Minden; Joseph B. Evans; Perry Alexander (FDL, 2008)

Writing Composable Software with InterpreterLib. - Mark Snyder; Nicolas Frisby; Garrin Kimmell; Perry Alexander (SC@TOOLS, 2009)

Rosetta: Standardization at the System Level. - Perry Alexander (Computer, 2009)

Monad Factory: Type-Indexed Monads. - Mark Snyder; Perry Alexander (Trends in Functional Programming, 2010)

Constructing language processors with algebra combinators. - Nicolas Frisby; Garrin Kimmell; Philip Weaver; Perry Alexander (Sci. Comput. Program., 2010)

Model Composition in Rosetta. - Nicolas Frisby; M. Peck; Mark Snyder; Perry Alexander (ECBS, 2011)

A pattern for almost homomorphic functions. - Nicolas Frisby; Andy Gill; Perry Alexander (WGP@ICFP, 2012)

Open Access: An Evolving Alternative. - Lorraine J. Haricombe; L. Ada Emmett; Perry Alexander (Computer, 2012)

Stateless Higher-Order Logic with Quantified Types. - Evan Austin; Perry Alexander (ITP, 2013)

Verifying a Privacy CA Remote Attestation Protocol. - Brigid Halling; Perry Alexander (NASA Formal Methods, 2013)

Model Checking Distributed Mandatory Access Control Policies. - Perry Alexander; Lee Pike; Peter A. Loscocco; George Coker (ACM Trans. Inf. Syst. Secur., 2015)

100 Years of Software - Adapting Cyber-Physical Systems to the Changing World. - Hayley Borck; Paul Kline; Hazel Shackleton; John Gohde; Steven Johnston; Perry Alexander; Todd Carpenter (SERENE, 2017)

A copland attestation manager. - Adam Petz; Perry Alexander (HotSoS, 2019)

Orchestrating Layered Attestations. - John D. Ramsdell; Paul D. Rowe; Perry Alexander; Sarah Helble; Peter A. Loscocco; J. Aaron Pendergrass; Adam Petz (POST, 2019)

An seL4-based architecture for layered attestation. - Grant Jurgensen; Michael Neises; Perry Alexander (HotSoS, 2020)

Design and formal verification of a copland-based attestation protocol. - Adam Petz; Grant Jurgensen; Perry Alexander (MEMOCODE, 2021)

An Infrastructure for Faithful Execution of Remote Attestation Protocols. - Adam Petz; Perry Alexander (NFM, 2021)

Flexible Mechanisms for Remote Attestation. - Sarah C. Helble; Ian D. Kretz; Peter A. Loscocco; John D. Ramsdell; Paul D. Rowe; Perry Alexander (ACM Trans. Priv. Secur., 2021)

Cyberassured Systems Engineering at Scale. - 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 (IEEE Secur. Priv., 2022)

A Framework for Policy Based Negotiation. - Anna Fritz; Perry Alexander (NFM, 2023)

Formally verified bundling and appraisal of evidence for layered attestations. - Adam Petz; Perry Alexander (Innov. Syst. Softw. Eng., 2023)

Verified Configuration and Deployment of Layered Attestation Managers. - Adam Petz; Will Thomas; Anna Fritz; T. J. Barclay; Logan Schmalz; Perry Alexander (SEFM, 2024)

Proof Repair Utilizing Large Language Models: A Case Study on the Copland Remote Attestation Proofbase. - Amer Tahat; David S. Hardin; Adam Petz; Perry Alexander (AISoLA, 2024)