Follow
Perry Alexander
Perry Alexander
AT&T Foundation Distinguished Professor, ITTC Director, The University of Kansas
Verified email at ku.edu - Homepage
Title
Cited by
Cited by
Year
Toward automated component adaptation
J Penix, P Alexander
Proceedings of the Ninth International Conference on Software Engineering …, 1997
951997
Efficient specification-based component retrieval
J Penix, P Alexander
Automated Software Engineering 6, 139-170, 1999
891999
SPARTACAS: automating component reuse and adaptation
B Morel, P Alexander
IEEE Transactions on Software Engineering 30 (9), 587-600, 2004
732004
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
481995
Rosetta: Semantic support for model-centered systems-level design
P Alexander, C Kong
Computer 34 (11), 64-70, 2001
442001
Declarative specification of software architectures
J Penix, P Alexander, K Havelund
Proceedings 12th IEEE International Conference Automated Software …, 1997
371997
System Level Design with Rosetta
P Alexander
Elsevier, 2011
342011
System specification in Rosetta
P Alexander, R Kamath, D Barton
Proceedings Seventh IEEE International Conference and Workshop on the …, 2000
342000
Rosetta usage guide
P Alexander, D Barton, C Kong
The University of Kansas/ITTC 2335, 2001
332001
VSPEC: A declarative requirements specification language for VHDL
P Baraona, J Penix, P Alexander
High-Level System Modeling: Specification Languages, 51-75, 1995
321995
Automating component adaptation for reuse
B Morel, P Alexander
18th IEEE International Conference on Automated Software Engineering, 2003 …, 2003
302003
The Rosetta meta-model framework
C Kong, P Alexander
10th IEEE International Conference and Workshop on the Engineering of …, 2003
282003
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
262002
Design representation for automating software component reuse
J Penix, P Alexander
Proceedings of the first international workshop on Knowledge-Based systems …, 1995
251995
Automated component retrieval and adaptation using formal specifications
JJ Penix
University of Cincinnati, 1998
241998
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
212021
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
181998
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
172022
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
171996
Best of both worlds [formal and semi-formal software engineering]
P Alexander
IEEE Potentials 14 (5), 29-32, 1995
171995
The system can't perform the operation now. Try again later.
Articles 1–20