Toward automated component adaptation J Penix, P Alexander Proceedings of the Ninth International Conference on Software Engineering …, 1997 | 95 | 1997 |
Efficient specification-based component retrieval J Penix, P Alexander Automated Software Engineering 6, 139-170, 1999 | 89 | 1999 |
SPARTACAS: automating component reuse and adaptation B Morel, P Alexander IEEE Transactions on Software Engineering 30 (9), 587-600, 2004 | 73 | 2004 |
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 | 48 | 1995 |
Rosetta: Semantic support for model-centered systems-level design P Alexander, C Kong Computer 34 (11), 64-70, 2001 | 44 | 2001 |
Declarative specification of software architectures J Penix, P Alexander, K Havelund Proceedings 12th IEEE International Conference Automated Software …, 1997 | 37 | 1997 |
System Level Design with Rosetta P Alexander Elsevier, 2011 | 34 | 2011 |
System specification in Rosetta P Alexander, R Kamath, D Barton Proceedings Seventh IEEE International Conference and Workshop on the …, 2000 | 34 | 2000 |
Rosetta usage guide P Alexander, D Barton, C Kong The University of Kansas/ITTC 2335, 2001 | 33 | 2001 |
VSPEC: A declarative requirements specification language for VHDL P Baraona, J Penix, P Alexander High-Level System Modeling: Specification Languages, 51-75, 1995 | 32 | 1995 |
Automating component adaptation for reuse B Morel, P Alexander 18th IEEE International Conference on Automated Software Engineering, 2003 …, 2003 | 30 | 2003 |
The Rosetta meta-model framework C Kong, P Alexander 10th IEEE International Conference and Workshop on the Engineering of …, 2003 | 28 | 2003 |
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 | 26 | 2002 |
Design representation for automating software component reuse J Penix, P Alexander Proceedings of the first international workshop on Knowledge-Based systems …, 1995 | 25 | 1995 |
Automated component retrieval and adaptation using formal specifications JJ Penix University of Cincinnati, 1998 | 24 | 1998 |
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 | 21 | 2021 |
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 | 18 | 2022 |
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 | 18 | 1998 |
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 | 17 | 1996 |
Best of both worlds [formal and semi-formal software engineering] P Alexander IEEE Potentials 14 (5), 29-32, 1995 | 17 | 1995 |