Perry Alexander

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 11

Top Topics

Trusted Computing

Coloured Petri Nets

Formal Verification

Top Venues

Publications

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