Perry Alexander

Cited by

	All	Since 2017
Citations	1090	98
h-index	17	5
i10-index	32	1

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120229 8 13 32 43 73 40 54 52 65 61 57 72 77 53 34 43 36 35 30 26 17 26 20 26 14 5 17 15

Public access

View all

3 articles

0 articles

available

not available

Based on funding mandates

Co-authors

John PenixGoogle, IncVerified email at google.com
Philip A. WilseyProfessor of Electrical Enginering and Computer Science, Univ of CincinnatiVerified email at uc.edu
Costas TsatsoulisMissouri University of Science and TechnologyVerified email at mst.edu
Adam PetzVerified email at ku.edu
Peter LoscoccoVerified email at tycho.nsa.gov
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Mark SnyderTerm Associate Professor of Computer Science, George Mason UniversityVerified email at gmu.edu
Nael Abu-GhazalehUniversity of California, RiversideVerified email at cs.ucr.edu
Sarah HelbleJHU/APLVerified email at jhuapl.edu
John D. RamsdellThe MITRE CorporationVerified email at mitre.org
Paul D. RoweThe MITRE CorporationVerified email at mitre.org
Lee PikeAWS Automated Reasoning GroupVerified email at amazon.com
Dale MartinUniversity of CincinnatiVerified email at the-martins.org
Catherine MenonUniversity of HertfordshireVerified email at imperial.ac.uk
Hayley BorckSIFTVerified email at sift.net
Andy GillCerebrasVerified email at cerebras.net
Joseph EvansDistinguished Professor Emeritus of Electrical Engineering & Computer Science, University of KansasVerified email at evans-net.com
Matt ComiKoller Postdoctoral Fellow -- National Farm Medicine Center, Marshfield Clinic Research InstituteVerified email at marshfieldresearch.org
William G. StaplesDepartment of Sociology, University of KansasVerified email at ku.edu
Justin WardQueen Mary University of LondonVerified email at qmul.ac.uk

Perry Alexander

AT&T Foundation Distinguished Professor, ITTC Director, The University of Kansas

Verified email at ku.edu - Homepage

Formal Methods Security Formal Verification Formal Synthesis Design Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Toward automated component adaptation J Penix, P Alexander Proceedings of the Ninth International Conference on Software Engineering …, 1997	97	1997
Efficient specification-based component retrieval J Penix, P Alexander Automated Software Engineering 6 (2), 139-170, 1999	82	1999
SPARTACAS: automating component reuse and adaptation B Morel, P Alexander IEEE Transactions on Software Engineering 30 (9), 587-600, 2004	69	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	43	2001
Declarative specification of software architectures J Penix, P Alexander, K Havelund Proceedings 12th IEEE International Conference Automated Software …, 1997	39	1997
System specification in Rosetta P Alexander, R Kamath, D Barton Proceedings Seventh IEEE International Conference and Workshop on the …, 2000	36	2000
System Level Design with Rosetta P Alexander Elsevier, 2011	35	2011
Rosetta usage guide P Alexander, D Barton, C Kong The University of Kansas/ITTC 2335, 411-419, 2001	32	2001
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
The Rosetta meta-model framework C Kong, P Alexander 10th IEEE International Conference and Workshop on the Engineering of …, 2003	27	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	25	2002
Design representation for automating software component reuse J Penix, P Alexander IN PROCEEDINGS OF THE FIRST INTERNATIONAL WORKSHOP ON KNOWLEDGE-BASED …, 1995	25	1995
Automated component retrieval and adaptation using formal specifications JJ Penix University of Cincinnati, 1998	22	1998
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	17	2015
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	17	1994
Storing design knowledge in cases P Alexander, G Minden, C Tsatsoulis, J Holtzman Second DARPA Workshop on Case-Based Reasoning, 188-192, 1989	17	1989
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	16	1996

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors