Perry Alexander

2008
44	EE	Garrin Kimmell, Ed Komp, Gary J. Minden, Joseph B. Evans, Perry Alexander: Synthesizing Software Defined Radio Components from Rosetta (invited). FDL 2008: 148-153
2007
43	EE	Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander: Modular and generic programming with interpreterlib. ASE 2007: 473-476
42	EE	Perry Alexander: Rosetta: language support for system-level design. ASE 2007: 577
41	EE	Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander: Constructing language processors with algebra combinators. GPCE 2007: 155-164
2005
40	EE	Justin Ward, Garrin Kimmell, Perry Alexander: Prufrock: a framework for constructing polytypic theorem provers. ASE 2005: 423-426
39	EE	Garrin Kimmell, Ed Komp, Perry Alexander: Building Compilers by Combining Algebras. ECBS 2005: 331-338
38	EE	Perry Alexander: Integrating formalism into undergraduate software engineering. Journal of Systems and Software 74(2): 147-154 (2005)
2004
37	EE	Kalpesh Zinjuwadia, Perry Alexander: DVTG and Test Harnessing using Rosetta Specifications. ECBS 2004: 136-143
36	EE	Brandon Morel, Perry Alexander: SPARTACAS Automating Component Reuse and Adaptation. IEEE Trans. Software Eng. 30(9): 587-600 (2004)
2003
35	EE	Brandon Morel, Perry Alexander: Automating Component Adaptation for Reuse. ASE 2003: 142-151
34	EE	Brandon Morel, Perry Alexander: A Slicing Approach for Parallel Component Adaptation. ECBS 2003: 108-114
33	EE	Cindy Kong, Perry Alexander: The Rosetta Meta-Model Framework. ECBS 2003: 133-140
32	EE	Perry Alexander, Pierre Flener: Guest Editorial: ASE 2000 Special Issue. Autom. Softw. Eng. 10(2): 119-120 (2003)
31	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
30	EE	Murali Rangarajan, Kshama Jambhekar, Amitvikram Rajkhowa, Perry Alexander: VSPEC and Its Integrated Tool Suite. ECBS 2002: 27-34
29	EE	Cindy Kong, Perry Alexander: Multi-Faceted Requirements Modeling. RE 2002: 112-122
28	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
27	EE	Perry Alexander, Cindy Kong, David Schonberger: A Practical Semantics for Design Facet Interaction. ECBS 2001: 229-
26	EE	Perry Alexander, Cindy Kong: Heterogeneous Modeling Support for Embedded Systems Design. EMSOFT 2001: 1-13
25	EE	Perry Alexander, Cindy Kong: Rosetta: Semantic Support for Model-Centered Systems-Level Design. IEEE Computer 34(11): 64-70 (2001)
2000
24	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-
23	EE	Perry Alexander, Roshan Kamath, David Barton: System Specification in Rosetta. ECBS 2000: 299-307
22	EE	Cindy Kong, Perry Alexander, Darryl D. Dieckman: Formal modeling of active network nodes using PVS. FMSP 2000: 49-59
21	EE	Arun Venkataraman, Murali Rangarajan, Perry Alexander: Composing Specifications in VSPEC. ICFEM 2000: 45-
1999
20	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
19	EE	Amitvikram Rajkhowa, Perry Alexander: VSPEC Constraints Modeling and Evaluation. ECBS 1999: 159-165
18	EE	Murali Rangarajan, Perry Alexander, Nael B. Abu-Ghazaleh: Using Automatable Proof Obligations for Component-Based Design Checking. ECBS 1999: 304-310
17	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
16		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
15	EE	Perry Alexander, Murali Rangarajan, Phillip Baraona: A Brief Summary of VSPEC. World Congress on Formal Methods 1999: 1068-1086
14		John Penix, Perry Alexander: Efficient Specification-Based Component Retrieval. Autom. Softw. Eng. 6(2): 139-170 (1999)
1998
13	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
12	EE	John Penix, Perry Alexander: Using Formal Specifications for Component Retrieval and Reuse. HICSS (3) 1998: 356-
11		Karthik Swaminathan, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander: Large Scale Active Networks Simulation. PARA 1998: 537-542
10	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
9	EE	John Penix, Perry Alexander, Klaus Havelund: Declarative Specification of Software Architectures. ASE 1997: 201-
8	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
7	EE	Phillip Baraona, Perry Alexander: Representing abstract architectures with axiomatic specifications and activation conditions. ECBS 1997: 161-168
6	EE	Perry Alexander: Insertion of formalism into systems level design. ECBS 1997: 479
1996
5		Balakrishnan Kannikeswaran, Radharamanan Radhakrishnan, Peter Frey, Perry Alexander, Philip A. Wilsey: Formal Specification and Verification of the pGVT Algorithm. FME 1996: 405-424
1995
4		John Penix, Phillip Baraona, Perry Alexander: Classification and Retrieval of Reusable Components Using Semantic Features. KBSE 1995: 131-138
1994
3		Perry Alexander: Combining transformational and derivational analogy in Larch specification generation. SEKE 1994: 131-138
1993
2		Perry Alexander: BENTON: A Multi-Agent System for Larch Specification Generation. SEKE 1993: 125-133
1990
1		Perry Alexander, Costas Tsatsoulis, Julian Holtzman, Gary J. Minden: Case based planning for simulation. Expert Planning Systems 1990: 217-220

Coauthor Index

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

Colors in the list of coauthors