| Toward automated component adaptation J Penix, P Alexander Proceedings of the Ninth International Conference on Software Engineering …, 1997 | 93 | 1997 |
| Efficient specification-based component retrieval J Penix, P Alexander Automated Software Engineering 6 (2), 139-170, 1999 | 81 | 1999 |
| SPARTACAS: automating component reuse and adaptation B Morel, P Alexander IEEE Transactions on Software Engineering 30 (9), 587-600, 2004 | 67 | 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 | 43 | 1995 |
| Rosetta: Semantic support for model-centered systems-level design P Alexander, C Kong Computer 34 (11), 64-70, 2001 | 41 | 2001 |
| Declarative specification of software architectures J Penix, P Alexander, K Havelund Proceedings 12th IEEE International Conference Automated Software …, 1997 | 38 | 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 |
| Automating component adaptation for reuse B Morel, P Alexander 18th IEEE International Conference on Automated Software Engineering, 2003 …, 2003 | 31 | 2003 |
| VSPEC: A declarative requirements specification language for VHDL P Baraona, J Penix, P Alexander High-Level System Modeling, 51-75, 1995 | 31 | 1995 |
| Rosetta usage guide P Alexander, D Barton, C Kong The University of Kansas/ITTC 2335, 2000 | 29 | 2000 |
| The Rosetta meta-model framework C Kong, P Alexander 10th IEEE International Conference and Workshop on the Engineering of …, 2003 | 25 | 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 | 24 | 2002 |
| Design representation for automating software component reuse J Penix, P Alexander IN PROCEEDINGS OF THE FIRST INTERNATIONAL WORKSHOP ON KNOWLEDGE-BASED …, 1995 | 24 | 1995 |
| Automated component retrieval and adaptation using formal specifications JJ Penix University of Cincinnati, 1998 | 22 | 1998 |
| Storing design knowledge in cases P Alexander, G Minden, C Tsatsoulis, J Holtzman Second DARPA Workshop on Case-Based Reasoning, 188-192, 1989 | 19 | 1989 |
| 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 | 16 | 2015 |
| 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 | 16 | 1998 |
| 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 | 15 | 1996 |
| Using a lattice of coalgebras for heterogeneous model composition J Streb, P Alexander Proceedings of the MoDELS Workshop on Multi-Paradigm Modeling, 27-38, 2006 | 13 | 2006 |
John PenixGoogle, IncEmail verificata su google.com
