Perry Alexander
Perry Alexander
AT&T Foundation Distinguished Professor, ITTC Director, The University of Kansas
Verified email at - Homepage
Cited by
Cited by
Toward automated component adaptation
J Penix, P Alexander
Proceedings of the Ninth International Conference on Software Engineering …, 1997
Efficient specification-based component retrieval
J Penix, P Alexander
Automated Software Engineering 6, 139-170, 1999
SPARTACAS: automating component reuse and adaptation
B Morel, P Alexander
IEEE Transactions on Software Engineering 30 (9), 587-600, 2004
Classification and retrieval of reusable components using semantic features
J Penix, P Baraona, P Alexander
Proceedings 1995 10th Knowledge-Based Software Engineering Conference, 131-138, 1995
Rosetta: Semantic support for model-centered systems-level design
P Alexander, C Kong
Computer 34 (11), 64-70, 2001
Declarative specification of software architectures
J Penix, P Alexander, K Havelund
Proceedings 12th IEEE International Conference Automated Software …, 1997
System specification in Rosetta
P Alexander, R Kamath, D Barton
Proceedings Seventh IEEE International Conference and Workshop on the …, 2000
System Level Design with Rosetta
P Alexander
Elsevier, 2011
Rosetta usage guide
P Alexander, D Barton, C Kong
The University of Kansas/ITTC 2335, 2001
VSPEC: A declarative requirements specification language for VHDL
P Baraona, J Penix, P Alexander
High-Level System Modeling: Specification Languages, 51-75, 1995
Automating component adaptation for reuse
B Morel, P Alexander
18th IEEE International Conference on Automated Software Engineering, 2003 …, 2003
The Rosetta meta-model framework
C Kong, P Alexander
10th IEEE International Conference and Workshop on the Engineering of …, 2003
A formal specification and verification framework for time warp-based parallel simulation
P Frey, R Radhakrishnan, HW Carter, PA Wilsey, P Alexander
IEEE Transactions on Software Engineering 28 (1), 58-78, 2002
Automated component retrieval and adaptation using formal specifications
JJ Penix
University of Cincinnati, 1998
Design representation for automating software component reuse
J Penix, P Alexander
Proceedings of the first international workshop on Knowledge-Based systems …, 1995
Flexible mechanisms for remote attestation
SC Helble, ID Kretz, PA Loscocco, JD Ramsdell, PD Rowe, P Alexander
ACM Transactions on Privacy and Security (TOPS) 24 (4), 1-23, 2021
Cyberassured systems engineering at scale
D Cofer, I Amundson, J Babar, D Hardin, K Slind, P Alexander, J Hatcliff, ...
IEEE Security & Privacy 20 (3), 52-64, 2022
Activespec: A framework for the specification and verification of active network services and security policies
D Dieckman, P Alexander, PA Wilsey
Thirteenth IEEE Annual Symposium on Logic in Computer Science, 1998
Formal specification and verification of the pGVT algorithm
B Kannikeswaran, R Radhakrishnan, P Frey, P Alexander, PA Wilsey
FME'96: Industrial Benefit and Advances in Formal Methods: Third …, 1996
Board and MCM Level Synthesis for Embedded Systems: The COMET Cosynthesis Environment
R Vemuri, H Carter, P Alexander
Proceedings of the First Annual RASSP Conference, 124-133, 1994
The system can't perform the operation now. Try again later.
Articles 1–20