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
971997
Efficient specification-based component retrieval
J Penix, P Alexander
Automated Software Engineering 6, 139-170, 1999
861999
SPARTACAS: automating component reuse and adaptation
B Morel, P Alexander
IEEE Transactions on Software Engineering 30 (9), 587-600, 2004
722004
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
491995
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 specification in Rosetta
P Alexander, R Kamath, D Barton
Proceedings Seventh IEEE International Conference and Workshop on the …, 2000
352000
System Level Design with Rosetta
P Alexander
Elsevier, 2011
342011
Automating component adaptation for reuse
B Morel, P Alexander
18th IEEE International Conference on Automated Software Engineering, 2003 …, 2003
322003
Rosetta usage guide
P Alexander, D Barton, C Kong
The University of Kansas/ITTC 2335, 71-80, 2001
322001
VSPEC: A declarative requirements specification language for VHDL
P Baraona, J Penix, P Alexander
High-Level System Modeling: Specification Languages, 51-75, 1995
321995
The Rosetta meta-model framework
C Kong, P Alexander
10th IEEE International Conference and Workshop on the Engineering of …, 2003
272003
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
252002
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
231998
Model checking distributed mandatory access control policies
P Alexander, L Pike, P Loscocco, G Coker
ACM Transactions on Information and System Security (TISSEC) 18 (2), 1-25, 2015
182015
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
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
171994
Storing design knowledge in cases
P Alexander, G Minden, C Tsatsoulis, J Holtzman
Second DARPA Workshop on Case-Based Reasoning, 188-192, 1989
171989
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
161996
The system can't perform the operation now. Try again later.
Articles 1–20