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
981997
Efficient specification-based component retrieval
J Penix, P Alexander
Automated Software Engineering 6 (2), 139-170, 1999
831999
SPARTACAS: automating component reuse and adaptation
B Morel, P Alexander
IEEE Transactions on Software Engineering 30 (9), 587-600, 2004
682004
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
412001
Declarative specification of software architectures
J Penix, P Alexander, K Havelund
Proceedings 12th IEEE International Conference Automated Software …, 1997
391997
System specification in Rosetta
P Alexander, R Kamath, D Barton
Proceedings Seventh IEEE International Conference and Workshop on the …, 2000
372000
System Level Design with Rosetta
P Alexander
Elsevier, 2011
332011
Rosetta usage guide
P Alexander, D Barton, C Kong
The University of Kansas/ITTC 2335, 71-80, 2001
332001
Automating component adaptation for reuse
B Morel, P Alexander
18th IEEE International Conference on Automated Software Engineering, 2003 …, 2003
312003
VSPEC: A declarative requirements specification language for VHDL
P Baraona, J Penix, P Alexander
High-Level System Modeling, 51-75, 1995
311995
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
IN PROCEEDINGS OF THE FIRST INTERNATIONAL WORKSHOP ON KNOWLEDGE-BASED …, 1995
251995
Automated component retrieval and adaptation using formal specifications
JJ Penix
University of Cincinnati, 1998
241998
Storing design knowledge in cases
P Alexander, G Minden, C Tsatsoulis, J Holtzman
Second DARPA Workshop on Case-Based Reasoning, 188-192, 1989
171989
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
162015
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
161998
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
161996
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
151994
The system can't perform the operation now. Try again later.
Articles 1–20