Perry Alexander

2007
42	EE	Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander: Modular and generic programming with interpreterlib. ASE 2007: 473-476
41	EE	Perry Alexander: Rosetta: language support for system-level design. ASE 2007: 577
40	EE	Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander: Constructing language processors with algebra combinators. GPCE 2007: 155-164
2005
39	EE	Justin Ward, Garrin Kimmell, Perry Alexander: Prufrock: a framework for constructing polytypic theorem provers. ASE 2005: 423-426
38	EE	Garrin Kimmell, Ed Komp, Perry Alexander: Building Compilers by Combining Algebras. ECBS 2005: 331-338
37	EE	Perry Alexander: Integrating formalism into undergraduate software engineering. Journal of Systems and Software 74(2): 147-154 (2005)
2004
36	EE	Kalpesh Zinjuwadia, Perry Alexander: DVTG and Test Harnessing using Rosetta Specifications. ECBS 2004: 136-143
35	EE	Brandon Morel, Perry Alexander: SPARTACAS Automating Component Reuse and Adaptation. IEEE Trans. Software Eng. 30(9): 587-600 (2004)
2003
34	EE	Brandon Morel, Perry Alexander: Automating Component Adaptation for Reuse. ASE 2003: 142-151
33	EE	Brandon Morel, Perry Alexander: A Slicing Approach for Parallel Component Adaptation. ECBS 2003: 108-114
32	EE	Cindy Kong, Perry Alexander: The Rosetta Meta-Model Framework. ECBS 2003: 133-140
31	EE	Perry Alexander, Pierre Flener: Guest Editorial: ASE 2000 Special Issue. Autom. Softw. Eng. 10(2): 119-120 (2003)
30	EE	Cindy Kong, Perry Alexander, Catherine Menon: Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language. J. UCS 9(11): 1322-1349 (2003)
2002
29	EE	Murali Rangarajan, Kshama Jambhekar, Amitvikram Rajkhowa, Perry Alexander: VSPEC and Its Integrated Tool Suite. ECBS 2002: 27-34
28	EE	Cindy Kong, Perry Alexander: Multi-Faceted Requirements Modeling. RE 2002: 112-122
27	EE	Peter Frey, Radharamanan Radhakrishnan, Harold W. Carter, Philip A. Wilsey, Perry Alexander: A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation. IEEE Trans. Software Eng. 28(1): 58-78 (2002)
2001
26	EE	Perry Alexander, Cindy Kong, David Schonberger: A Practical Semantics for Design Facet Interaction. ECBS 2001: 229-
25	EE	Perry Alexander, Cindy Kong: Heterogeneous Modeling Support for Embedded Systems Design. EMSOFT 2001: 1-13
24	EE	Perry Alexander, Cindy Kong: Rosetta: Semantic Support for Model-Centered Systems-Level Design. IEEE Computer 34(11): 64-70 (2001)
2000
23	EE	Murali Rangarajan, Iqbal Mutabanna, Darryl D. Dieckman, Badar Farooqi, Amitvikram Rajkhowa, Sarjoun Doumit, Arun Venkataraman, Cindy Kong, Roshan Kamath, Perry Alexander, Nael B. Abu-Ghazaleh: On the Design of ORBIT. ECBS 2000: 110-
22	EE	Perry Alexander, Roshan Kamath, David Barton: System Specification in Rosetta. ECBS 2000: 299-307
21	EE	Cindy Kong, Perry Alexander, Darryl D. Dieckman: Formal modeling of active network nodes using PVS. FMSP 2000: 49-59
20	EE	Arun Venkataraman, Murali Rangarajan, Perry Alexander: Composing Specifications in VSPEC. ICFEM 2000: 45-
1999
19	EE	Nael B. Abu-Ghazaleh, Murali Rangarajan, Darryl D. Dieckman, Perry Alexander, Philip A. Wilsey: ORBIT: An Environment for Component-Based Heterogeneous Design and Analysis. ECBS 1999: 122-128
18	EE	Amitvikram Rajkhowa, Perry Alexander: VSPEC Constraints Modeling and Evaluation. ECBS 1999: 159-165
17	EE	Murali Rangarajan, Perry Alexander, Nael B. Abu-Ghazaleh: Using Automatable Proof Obligations for Component-Based Design Checking. ECBS 1999: 304-310
16	EE	Peter Frey, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander, Harold W. Carter: An Extensible Formal Framework for the Specification and Verification of an Optimistic Simulation Protocol. HICSS 1999
15		Victoria Chernyakhovsky, Peter Frey, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander, Harold W. Carter: A Formal Framework for Specifying and Verifying Time Warp Optimizations. IPPS/SPDP Workshops 1999: 1228-1242
14	EE	Perry Alexander, Murali Rangarajan, Phillip Baraona: A Brief Summary of VSPEC. World Congress on Formal Methods 1999: 1068-1086
13		John Penix, Perry Alexander: Efficient Specification-Based Component Retrieval. Autom. Softw. Eng. 6(2): 139-170 (1999)
1998
12	EE	John Penix, Dale E. Martin, Peter Frey, Ramanan Radhakrishnan, Perry Alexander, Philip A. Wilsey: Experiences in verifying parallel simulation algorithms. FMSP 1998: 16-23
11	EE	John Penix, Perry Alexander: Using Formal Specifications for Component Retrieval and Reuse. HICSS (3) 1998: 356-
10		Karthik Swaminathan, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander: Large Scale Active Networks Simulation. PARA 1998: 537-542
9	EE	Perry Alexander: Task Analysis and Design Plans in Formal Specification Design. International Journal of Software Engineering and Knowledge Engineering 8(2): 223-252 (1998)
1997
8	EE	John Penix, Perry Alexander, Klaus Havelund: Declarative Specification of Software Architectures. ASE 1997: 201-
7	EE	Murali Rangarajan, John Penix, Perry Alexander, Philip A. Wilsey: Gravity: An Object-Oriented Framework for Hardware/Software Tool Integration. Annual Simulation Symposium 1997: 24-30
6	EE	Phillip Baraona, Perry Alexander: Representing abstract architectures with axiomatic specifications and activation conditions. ECBS 1997: 161-168
5	EE	Perry Alexander: Insertion of formalism into systems level design. ECBS 1997: 479
1996
4		Balakrishnan Kannikeswaran, Radharamanan Radhakrishnan, Peter Frey, Perry Alexander, Philip A. Wilsey: Formal Specification and Verification of the pGVT Algorithm. FME 1996: 405-424
1995
3		John Penix, Phillip Baraona, Perry Alexander: Classification and Retrieval of Reusable Components Using Semantic Features. KBSE 1995: 131-138
1994
2		Perry Alexander: Combining transformational and derivational analogy in Larch specification generation. SEKE 1994: 131-138
1993
1		Perry Alexander: BENTON: A Multi-Agent System for Larch Specification Generation. SEKE 1993: 125-133

Coauthor Index

1	Nael B. Abu-Ghazaleh	[17] [19] [23]
2	Phillip Baraona	[3] [6] [14]
3	David Barton	[22]
4	Harold W. Carter	[15] [16] [27]
5	Victoria Chernyakhovsky	[15]
6	Darryl D. Dieckman	[19] [21] [23]
7	Sarjoun Doumit	[23]
8	Badar Farooqi	[23]
9	Pierre Flener	[31]
10	Peter Frey	[4] [12] [15] [16] [27]
11	Nicolas Frisby	[40] [42]
12	Klaus Havelund	[8]
13	Kshama Jambhekar	[29]
14	Roshan Kamath	[22] [23]
15	Balakrishnan Kannikeswaran	[4]
16	Garrin Kimmell	[38] [39] [40] [42]
17	Ed Komp	[38]
18	Cindy Kong	[21] [23] [24] [25] [26] [28] [30] [32]
19	Dale E. Martin	[12]
20	Catherine Menon	[30]
21	Brandon Morel	[33] [34] [35]
22	Iqbal Mutabanna	[23]
23	John Penix	[3] [7] [8] [11] [12] [13]
24	Radharamanan Radhakrishnan	[4] [10] [15] [16] [27]
25	Ramanan Radhakrishnan	[12]
26	Amitvikram Rajkhowa	[18] [23] [29]
27	Murali Rangarajan	[7] [14] [17] [19] [20] [23] [29]
28	David Schonberger	[26]
29	Karthik Swaminathan	[10]
30	Arun Venkataraman	[20] [23]
31	Justin Ward	[39]
32	Philip Weaver	[40] [42]
33	Philip A. Wilsey	[4] [7] [10] [12] [15] [16] [19] [27]
34	Kalpesh Zinjuwadia	[36]

Colors in the list of coauthors