Остановите войну!
for scientists:
default search action
Perry Alexander
- > Home > Persons > Perry Alexander
Publications
- 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) - 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 - [i1]Adam Petz, Perry Alexander:
An Infrastructure for Faithful Execution of Remote Attestation Protocols. CoRR abs/2012.10511 (2020) - 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) - 2011
- [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] - 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) - [c28]Cindy Kong, Perry Alexander:
The Rosetta Meta-Model Framework. ECBS 2003: 133-140 - 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 - 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
- [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 - [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
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-04-25 02:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint