Следене
Perry Alexander
Perry Alexander
AT&T Foundation Distinguished Professor, ITTC Director, The University of Kansas
Потвърден имейл адрес: ku.edu - Начална страница
Заглавие
Позовавания
Позовавания
Година
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
871999
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
362000
System Level Design with Rosetta
P Alexander
Elsevier, 2011
352011
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
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
202021
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
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
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
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20