Perry Alexander
Perry Alexander
EECS 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
941997
Efficient specification-based component retrieval
J Penix, P Alexander
Automated Software Engineering 6 (2), 139-170, 1999
821999
SPARTACAS: automating component reuse and adaptation
B Morel, P Alexander
IEEE Transactions on Software Engineering 30 (9), 587-600, 2004
652004
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
441995
Rosetta: Semantic support for model-centered systems-level design
P Alexander, C Kong
Computer 34 (11), 64-70, 2001
412001
Declarative specification of software architectures
J Penix, P Alexander, K Havelund
Proceedings 12th IEEE International Conference Automated Software …, 1997
391997
VSPEC: A declarative requirements specification language for VHDL
P Baraona, J Penix, P Alexander
High-Level System Modeling, 51-75, 1995
341995
System Level Design with Rosetta
P Alexander
Elsevier, 2011
332011
System specification in Rosetta
P Alexander, R Kamath, D Barton
Proceedings Seventh IEEE International Conference and Workshop on the …, 2000
332000
Automating component adaptation for reuse
B Morel, P Alexander
18th IEEE International Conference on Automated Software Engineering, 2003 …, 2003
312003
Rosetta usage guide
P Alexander, D Barton, C Kong
The University of Kansas/ITTC 2335, 2000
302000
The Rosetta meta-model framework
C Kong, P Alexander
10th IEEE International Conference and Workshop on the Engineering of …, 2003
252003
Design representation for automating software component reuse
J Penix, P Alexander
IN PROCEEDINGS OF THE FIRST INTERNATIONAL WORKSHOP ON KNOWLEDGE-BASED …, 1995
241995
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
232002
Automated component retrieval and adaptation using formal specifications
JJ Penix
University of Cincinnati, 1998
231998
Storing design knowledge in cases
P Alexander, G Minden, C Tsatsoulis, J Holtzman
Second DARPA Workshop on Case-Based Reasoning, 188-192, 1989
181989
ActiveSPEC-A Framework for the Specification and Verification of Active Network Services and Security Policies
D Dieckman, P Alexander, PA Wilsey
In Thirteenth IEEE Annual Symposium on Logic in Computer Science. IEEE, 1998
171998
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
152015
Formal specification and verification of the pGVT algorithm
B Kannikeswaran, R Radhakrishnan, P Frey, P Alexander, PA Wilsey
International Symposium of Formal Methods Europe, 405-424, 1996
141996
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
141994
The system can't perform the operation now. Try again later.
Articles 1–20