Perry Alexander

Получаване на мой собствен потребителски профил

Позовавания

	Всички	От 2019
Позовавания	1184	152
h-индекс	17	7
i10-индекс	37	6

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320247 8 13 29 43 72 42 56 56 64 61 58 71 75 53 33 46 36 37 30 25 17 23 17 22 13 9 18 33 44 33

Публичен достъп

Преглед на всички

6 статии

1 статия

налични

неналични

Въз основа на изисквания при финансирането

Съавтори

John PenixGoogle, IncПотвърден имейл адрес: google.com
Philip A. WilseyProfessor of Electrical Enginering and Computer Science, Univ of CincinnatiПотвърден имейл адрес: uc.edu
Adam PetzПотвърден имейл адрес: ku.edu
Peter LoscoccoПотвърден имейл адрес: tycho.nsa.gov
Costas TsatsoulisMissouri University of Science and TechnologyПотвърден имейл адрес: mst.edu
Sarah HelbleJHU/APLПотвърден имейл адрес: jhuapl.edu
John D. RamsdellThe MITRE CorporationПотвърден имейл адрес: mitre.org
Paul D. RoweThe MITRE CorporationПотвърден имейл адрес: mitre.org
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryПотвърден имейл адрес: jpl.nasa.gov
Mark SnyderTerm Associate Professor of Computer Science, George Mason UniversityПотвърден имейл адрес: gmu.edu
Nael Abu-GhazalehUniversity of California, RiversideПотвърден имейл адрес: cs.ucr.edu
Matt ComiAssistant Professor, Utah Valley UniversityПотвърден имейл адрес: uvu.edu
William G. StaplesDepartment of Sociology, University of KansasПотвърден имейл адрес: ku.edu
Lee PikeAWS Automated ReasoningПотвърден имейл адрес: amazon.com
Dale MartinUniversity of CincinnatiПотвърден имейл адрес: the-martins.org
Catherine MenonUniversity of HertfordshireПотвърден имейл адрес: imperial.ac.uk
Andy GillCerebrasПотвърден имейл адрес: cerebras.net
Joseph EvansDistinguished Professor Emeritus of Electrical Engineering & Computer Science, University of KansasПотвърден имейл адрес: evans-net.com
Justin WardQueen Mary University of LondonПотвърден имейл адрес: qmul.ac.uk
Hayley BorckSIFTПотвърден имейл адрес: sift.net

Следене

Perry Alexander

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

Потвърден имейл адрес: ku.edu - Начална страница

Formal Methods Security Formal Verification Formal Synthesis Design Languages


Заглавие Сортиране по цитати Сортиране по година Сортиране по заглавие	Позовавания Позовавания	Година
Toward automated component adaptation J Penix, P Alexander Proceedings of the Ninth International Conference on Software Engineering …, 1997	94	1997
Efficient specification-based component retrieval J Penix, P Alexander Automated Software Engineering 6, 139-170, 1999	90	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	46	1995
Rosetta: Semantic support for model-centered systems-level design P Alexander, C Kong Computer 34 (11), 64-70, 2001	45	2001
Declarative specification of software architectures J Penix, P Alexander, K Havelund Proceedings 12th IEEE International Conference Automated Software …, 1997	38	1997
System specification in Rosetta P Alexander, R Kamath, D Barton Proceedings Seventh IEEE International Conference and Workshop on the …, 2000	34	2000
System Level Design with Rosetta P Alexander Elsevier, 2011	33	2011
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	33	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
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	24	2021
Automated component retrieval and adaptation using formal specifications JJ Penix University of Cincinnati, 1998	24	1998
Design representation for automating software component reuse J Penix, P Alexander Proceedings of the first international workshop on Knowledge-Based systems …, 1995	23	1995
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	22	2022
Orchestrating layered attestations JD Ramsdell, PD Rowe, P Alexander, SC Helble, P Loscocco, ... Principles of Security and Trust: 8th International Conference, POST 2019 …, 2019	17	2019
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	17	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

Системата не може да изпълни операцията сега. Опитайте отново по-късно.

Статии 1–20

Позовавания годишно

Дублирани описания

Обединени библиографски описания

Добавяне на съавториСъавтори

Следене

Позовавания

Съавтори