Perry Alexander

Viittaukset

	Kaikki	2019 lähtien
Sitaatit	1184	152
h-indeksi	17	7
i10-indeksi	37	6

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

Yleisessä käytössä

Näytä kaikki

6 artikkelia

1 artikkeli

käytettävissä

ei käytettävissä

Perustuu rahoitusehtoihin

Muut kirjoittajat

John PenixGoogle, IncVahvistettu sähköpostiosoite verkkotunnuksessa google.com
Philip A. WilseyProfessor of Electrical Enginering and Computer Science, Univ of CincinnatiVahvistettu sähköpostiosoite verkkotunnuksessa uc.edu
Adam PetzVahvistettu sähköpostiosoite verkkotunnuksessa ku.edu
Peter LoscoccoVahvistettu sähköpostiosoite verkkotunnuksessa tycho.nsa.gov
Costas TsatsoulisMissouri University of Science and TechnologyVahvistettu sähköpostiosoite verkkotunnuksessa mst.edu
Sarah HelbleJHU/APLVahvistettu sähköpostiosoite verkkotunnuksessa jhuapl.edu
John D. RamsdellThe MITRE CorporationVahvistettu sähköpostiosoite verkkotunnuksessa mitre.org
Paul D. RoweThe MITRE CorporationVahvistettu sähköpostiosoite verkkotunnuksessa mitre.org
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVahvistettu sähköpostiosoite verkkotunnuksessa jpl.nasa.gov
Mark SnyderTerm Associate Professor of Computer Science, George Mason UniversityVahvistettu sähköpostiosoite verkkotunnuksessa gmu.edu
Nael Abu-GhazalehUniversity of California, RiversideVahvistettu sähköpostiosoite verkkotunnuksessa cs.ucr.edu
Matt ComiAssistant Professor, Utah Valley UniversityVahvistettu sähköpostiosoite verkkotunnuksessa uvu.edu
William G. StaplesDepartment of Sociology, University of KansasVahvistettu sähköpostiosoite verkkotunnuksessa ku.edu
Lee PikeAWS Automated ReasoningVahvistettu sähköpostiosoite verkkotunnuksessa amazon.com
Dale MartinUniversity of CincinnatiVahvistettu sähköpostiosoite verkkotunnuksessa the-martins.org
Catherine MenonUniversity of HertfordshireVahvistettu sähköpostiosoite verkkotunnuksessa imperial.ac.uk
Andy GillCerebrasVahvistettu sähköpostiosoite verkkotunnuksessa cerebras.net
Joseph EvansDistinguished Professor Emeritus of Electrical Engineering & Computer Science, University of KansasVahvistettu sähköpostiosoite verkkotunnuksessa evans-net.com
Justin WardQueen Mary University of LondonVahvistettu sähköpostiosoite verkkotunnuksessa qmul.ac.uk
Hayley BorckSIFTVahvistettu sähköpostiosoite verkkotunnuksessa sift.net

Seuraa

Perry Alexander

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

Vahvistettu sähköpostiosoite verkkotunnuksessa ku.edu - Kotisivu

Formal Methods Security Formal Verification Formal Synthesis Design Languages


Nimike Lajittele sitaattien mukaan Lajittele vuoden mukaan Lajittele otsikon mukaan	Viittaukset Viittaukset	Vuosi
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

Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.

Artikkelit 1–20

Sitaatteja vuodessa

Päällekkäiset lähteet

Yhdistetyt sitaatit

Lisää muut kirjoittajatMuut kirjoittajat

Seuraa

Viittaukset

Muut kirjoittajat