default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPerry Alexander
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c50]Adam Petz, Will Thomas, Anna Fritz, T. J. Barclay, Logan Schmalz, Perry Alexander:
Verified Configuration and Deployment of Layered Attestation Managers. SEFM 2024: 290-308- 2023
- [j17]Adam Petz, Perry Alexander:
Formally verified bundling and appraisal of evidence for layered attestations. Innov. Syst. Softw. Eng. 19(4): 411-426 (2023) - [c49]Anna Fritz, Perry Alexander
:
A Framework for Policy Based Negotiation. NFM 2023: 207-223 - 2022
- [j16]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): 52-64 (2022) - 2021
- [j15]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): 29:1-29:23 (2021) - [c48]Adam Petz, Grant Jurgensen, Perry Alexander:
Design and formal verification of a copland-based attestation protocol. MEMOCODE 2021: 111-117 - [c47]Adam Petz, Perry Alexander:
An Infrastructure for Faithful Execution of Remote Attestation Protocols. NFM 2021: 268-286 - 2020
- [c46]Grant Jurgensen, Michael Neises, Perry Alexander:
An seL4-based architecture for layered attestation. HotSoS 2020: 18:1-18:2 - [e2]Perry Alexander, Drew Davidson, Baek-Young Choi:
Proceedings of the 7th Annual Symposium on Hot Topics in the Science of Security, HotSoS 2020, Lawrence, Kansas, USA, September 22-24, 2020. ACM 2020, ISBN 978-1-4503-7561-0 [contents] - [i1]Adam Petz, Perry Alexander:
An Infrastructure for Faithful Execution of Remote Attestation Protocols. CoRR abs/2012.10511 (2020)
2010 – 2019
- 2019
- [c45]Adam Petz, Perry Alexander:
A copland attestation manager. HotSoS 2019: 6:1-6:10 - [c44]John D. Ramsdell, Paul D. Rowe, Perry Alexander, Sarah Helble, Peter A. Loscocco, J. Aaron Pendergrass, Adam Petz:
Orchestrating Layered Attestations. POST 2019: 197-221 - 2017
- [c43]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: 133-148 - 2015
- [j14]Perry Alexander, Lee Pike, Peter A. Loscocco, George Coker:
Model Checking Distributed Mandatory Access Control Policies. ACM Trans. Inf. Syst. Secur. 18(2): 6:1-6:25 (2015) - 2013
- [c42]Evan Austin, Perry Alexander:
Stateless Higher-Order Logic with Quantified Types. ITP 2013: 469-476 - [c41]Brigid Halling, Perry Alexander:
Verifying a Privacy CA Remote Attestation Protocol. NASA Formal Methods 2013: 398-412 - 2012
- [j13]Lorraine J. Haricombe, L. Ada Emmett, Perry Alexander:
Open Access: An Evolving Alternative. Computer 45(8): 70-72 (2012) - [c40]Nicolas Frisby, Andy Gill, Perry Alexander:
A pattern for almost homomorphic functions. WGP@ICFP 2012: 1-12 - 2011
- [c39]Nicolas Frisby, M. Peck, Mark Snyder, Perry Alexander:
Model Composition in Rosetta. ECBS 2011: 140-148 - [e1]Perry Alexander, Corina S. Pasareanu, John G. Hosking:
26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011. IEEE Computer Society 2011, ISBN 978-1-4577-1638-6 [contents] - 2010
- [j12]Nicolas Frisby, Garrin Kimmell, Philip Weaver, Perry Alexander:
Constructing language processors with algebra combinators. Sci. Comput. Program. 75(7): 543-572 (2010) - [c38]Mark Snyder, Perry Alexander:
Monad Factory: Type-Indexed Monads. Trends in Functional Programming 2010: 198-213
2000 – 2009
- 2009
- [j11]Perry Alexander:
Rosetta: Standardization at the System Level. Computer 42(1): 108-110 (2009) - [c37]Mark Snyder, Nicolas Frisby, Garrin Kimmell, Perry Alexander:
Writing Composable Software with InterpreterLib. SC@TOOLS 2009: 160-176 - 2008
- [c36]Garrin Kimmell, Ed Komp, Gary J. Minden, Joseph B. Evans, Perry Alexander:
Synthesizing Software Defined Radio Components from Rosetta (invited). FDL 2008: 148-153 - 2007
- [c35]Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander:
Constructing language processors with algebra combinators. GPCE 2007: 155-164 - [c34]Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander:
Modular and generic programming with interpreterlib. ASE 2007: 473-476 - [c33]Perry Alexander:
Rosetta: language support for system-level design. ASE 2007: 577 - 2005
- [j10]Perry Alexander:
Integrating formalism into undergraduate software engineering. J. Syst. Softw. 74(2): 147-154 (2005) - [c32]Garrin Kimmell, Ed Komp, Perry Alexander:
Building Compilers by Combining Algebras. ECBS 2005: 331-338 - [c31]Justin Ward, Garrin Kimmell, Perry Alexander:
Prufrock: a framework for constructing polytypic theorem provers. ASE 2005: 423-426 - 2004
- [j9]Brandon Morel, Perry Alexander:
SPARTACAS Automating Component Reuse and Adaptation. IEEE Trans. Software Eng. 30(9): 587-600 (2004) - [c30]Kalpesh Zinjuwadia, Perry Alexander:
DVTG and Test Harnessing using Rosetta Specifications. ECBS 2004: 136-143 - 2003
- [j8]Perry Alexander, Pierre Flener:
Guest Editorial: ASE 2000 Special Issue. Autom. Softw. Eng. 10(2): 119-120 (2003) - [j7]Cindy Kong, Perry Alexander, Catherine Menon:
Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language. J. Univers. Comput. Sci. 9(11): 1322-1349 (2003) - [c29]Brandon Morel, Perry Alexander:
A Slicing Approach for Parallel Component Adaptation. ECBS 2003: 108-114 - [c28]Cindy Kong, Perry Alexander:
The Rosetta Meta-Model Framework. ECBS 2003: 133-140 - [c27]Brandon Morel, Perry Alexander:
Automating Component Adaptation for Reuse. ASE 2003: 142-151 - 2002
- [j6]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): 58-78 (2002) - [c26]Murali Rangarajan, Kshama Jambhekar, Amitvikram Rajkhowa, Perry Alexander:
VSPEC and Its Integrated Tool Suite. ECBS 2002: 27-34 - [c25]Cindy Kong, Perry Alexander:
Multi-Faceted Requirements Modeling. RE 2002: 112-122 - 2001
- [j5]Perry Alexander, Cindy Kong:
Rosetta: Semantic Support for Model-Centered Systems-Level Design. Computer 34(11): 64-70 (2001) - [c24]Perry Alexander, Cindy Kong, David Schonberger:
A Practical Semantics for Design Facet Interaction. ECBS 2001: 229- - [c23]Perry Alexander, Cindy Kong:
Heterogeneous Modeling Support for Embedded Systems Design. EMSOFT 2001: 1-13 - 2000
- [c22]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: 110- - [c21]Perry Alexander, Roshan Kamath, David Barton:
System Specification in Rosetta. ECBS 2000: 299-307 - [c20]Cindy Kong, Perry Alexander, Darryl D. Dieckman:
Formal modeling of active network nodes using PVS. FMSP 2000: 49-59 - [c19]Arun Venkataraman, Murali Rangarajan, Perry Alexander:
Composing Specifications in VSPEC. ICFEM 2000: 45-56
1990 – 1999
- 1999
- [j4]John Penix, Perry Alexander:
Efficient Specification-Based Component Retrieval. Autom. Softw. Eng. 6(2): 139-170 (1999) - [j3]Phillip Baraona, Perry Alexander:
Abstract Architecture Representation Using VSPEC. VLSI Design 9(2): 181-201 (1999) - [c18]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: 122-128 - [c17]Amitvikram Rajkhowa, Perry Alexander:
VSPEC Constraints Modeling and Evaluation. ECBS 1999: 159-165 - [c16]Murali Rangarajan, Perry Alexander, Nael B. Abu-Ghazaleh:
Using Automatable Proof Obligations for Component-Based Design Checking. ECBS 1999: 304-310 - [c15]Perry Alexander, Murali Rangarajan, Phillip Baraona:
A Brief Summary of VSPEC. World Congress on Formal Methods 1999: 1068-1086 - [c14]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 - [c13]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: 1228-1242 - 1998
- [j2]Perry Alexander:
Task Analysis and Design Plans in Formal Specification Design. Int. J. Softw. Eng. Knowl. Eng. 8(2): 223-252 (1998) - [j1]Kothanda Umamageswaran, Krishnan Subramani, Philip A. Wilsey, Perry Alexander:
Formal verification and empirical analysis of rollback relaxation. J. Syst. Archit. 44(6-7): 473-495 (1998) - [c12]John Penix, Dale E. Martin, Peter Frey, Ramanan Radhakrishnan, Perry Alexander, Philip A. Wilsey:
Experiences in verifying parallel simulation algorithms. FMSP 1998: 16-23 - [c11]John Penix, Perry Alexander:
Using Formal Specifications for Component Retrieval and Reuse. HICSS (3) 1998: 356- - [c10]Karthik Swaminathan, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander:
Large Scale Active Networks Simulation. PARA 1998: 537-542 - 1997
- [c9]Murali Rangarajan, John Penix, Perry Alexander, Philip A. Wilsey:
Gravity: An Object-Oriented Framework for Hardware/Software Tool Integration. Annual Simulation Symposium 1997: 24-30 - [c8]Phillip Baraona, Perry Alexander:
Representing abstract architectures with axiomatic specifications and activation conditions. ECBS 1997: 161-168 - [c7]Perry Alexander:
Insertion of formalism into systems level design. ECBS 1997: 479 - [c6]John Penix, Perry Alexander, Klaus Havelund:
Declarative Specification of Software Architectures. ASE 1997: 201- - 1996
- [c5]Balakrishnan Kannikeswaran, Radharamanan Radhakrishnan, Peter Frey, Perry Alexander, Philip A. Wilsey:
Formal Specification and Verification of the pGVT Algorithm. FME 1996: 405-424 - 1995
- [c4]John Penix, Phillip Baraona, Perry Alexander:
Classification and Retrieval of Reusable Components Using Semantic Features. KBSE 1995: 131-138 - 1994
- [c3]Perry Alexander:
Combining transformational and derivational analogy in Larch specification generation. SEKE 1994: 131-138 - 1993
- [c2]Perry Alexander:
BENTON: A Multi-Agent System for Larch Specification Generation. SEKE 1993: 125-133 - 1990
- [c1]Perry Alexander, Costas Tsatsoulis, Julian Holtzman, Gary J. Minden:
Case based planning for simulation. Expert Planning Systems 1990: 217-220
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-13 19:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
