Perry Alexander

	2009
47		Mark Snyder, Nicolas Frisby, Garrin Kimmell, Perry Alexander: Writing Composable Software with InterpreterLib. Software Composition 2009: 160-176
46		Perry Alexander: Rosetta: Standardization at the System Level. IEEE Computer 42(1): 108-110 (2009)
	2008
45		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
44		Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander: Modular and generic programming with interpreterlib. ASE 2007: 473-476
43		Perry Alexander: Rosetta: language support for system-level design. ASE 2007: 577
42		Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander: Constructing language processors with algebra combinators. GPCE 2007: 155-164
	2005
41		Justin Ward, Garrin Kimmell, Perry Alexander: Prufrock: a framework for constructing polytypic theorem provers. ASE 2005: 423-426
40		Garrin Kimmell, Ed Komp, Perry Alexander: Building Compilers by Combining Algebras. ECBS 2005: 331-338
39		Perry Alexander: Integrating formalism into undergraduate software engineering. Journal of Systems and Software 74(2): 147-154 (2005)
	2004
38		Kalpesh Zinjuwadia, Perry Alexander: DVTG and Test Harnessing using Rosetta Specifications. ECBS 2004: 136-143
37		Brandon Morel, Perry Alexander: SPARTACAS Automating Component Reuse and Adaptation. IEEE Trans. Software Eng. 30(9): 587-600 (2004)
	2003
36		Brandon Morel, Perry Alexander: Automating Component Adaptation for Reuse. ASE 2003: 142-151
35		Brandon Morel, Perry Alexander: A Slicing Approach for Parallel Component Adaptation. ECBS 2003: 108-114
34		Cindy Kong, Perry Alexander: The Rosetta Meta-Model Framework. ECBS 2003: 133-140
33		Perry Alexander, Pierre Flener: Guest Editorial: ASE 2000 Special Issue. Autom. Softw. Eng. 10(2): 119-120 (2003)
32		Cindy Kong, Perry Alexander, Catherine Menon: Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language. J. UCS 9(11): 1322-1349 (2003)
	2002
31		Murali Rangarajan, Kshama Jambhekar, Amitvikram Rajkhowa, Perry Alexander: VSPEC and Its Integrated Tool Suite. ECBS 2002: 27-34
30		Cindy Kong, Perry Alexander: Multi-Faceted Requirements Modeling. RE 2002: 112-122
29		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
28		Perry Alexander, Cindy Kong, David Schonberger: A Practical Semantics for Design Facet Interaction. ECBS 2001: 229-
27		Perry Alexander, Cindy Kong: Heterogeneous Modeling Support for Embedded Systems Design. EMSOFT 2001: 1-13
26		Perry Alexander, Cindy Kong: Rosetta: Semantic Support for Model-Centered Systems-Level Design. IEEE Computer 34(11): 64-70 (2001)
	2000
25		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-
24		Perry Alexander, Roshan Kamath, David Barton: System Specification in Rosetta. ECBS 2000: 299-307
23		Cindy Kong, Perry Alexander, Darryl D. Dieckman: Formal modeling of active network nodes using PVS. FMSP 2000: 49-59
22		Arun Venkataraman, Murali Rangarajan, Perry Alexander: Composing Specifications in VSPEC. ICFEM 2000: 45-
	1999
21		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
20		Amitvikram Rajkhowa, Perry Alexander: VSPEC Constraints Modeling and Evaluation. ECBS 1999: 159-165
19		Murali Rangarajan, Perry Alexander, Nael B. Abu-Ghazaleh: Using Automatable Proof Obligations for Component-Based Design Checking. ECBS 1999: 304-310
18		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
17		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
16		Perry Alexander, Murali Rangarajan, Phillip Baraona: A Brief Summary of VSPEC. World Congress on Formal Methods 1999: 1068-1086
15		John Penix, Perry Alexander: Efficient Specification-Based Component Retrieval. Autom. Softw. Eng. 6(2): 139-170 (1999)
	1998
14		John Penix, Dale E. Martin, Peter Frey, Ramanan Radhakrishnan, Perry Alexander, Philip A. Wilsey: Experiences in verifying parallel simulation algorithms. FMSP 1998: 16-23
13		John Penix, Perry Alexander: Using Formal Specifications for Component Retrieval and Reuse. HICSS (3) 1998: 356-
12		Karthik Swaminathan, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander: Large Scale Active Networks Simulation. PARA 1998: 537-542
11		Perry Alexander: Task Analysis and Design Plans in Formal Specification Design. International Journal of Software Engineering and Knowledge Engineering 8(2): 223-252 (1998)
10		Kothanda Umamageswaran, Krishnan Subramani, Philip A. Wilsey, Perry Alexander: Formal verification and empirical analysis of rollback relaxation. Journal of Systems Architecture 44(6-7): 473-495 (1998)
	1997
9		John Penix, Perry Alexander, Klaus Havelund: Declarative Specification of Software Architectures. ASE 1997: 201-
8		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		Phillip Baraona, Perry Alexander: Representing abstract architectures with axiomatic specifications and activation conditions. ECBS 1997: 161-168
6		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	[19] [21] [25]
2	Phillip Baraona	[4] [7] [16]
3	David Barton	[24]
4	Harold W. Carter	[17] [18] [29]
5	Victoria Chernyakhovsky	[17]
6	Darryl D. Dieckman	[21] [23] [25]
7	Sarjoun Doumit	[25]
8	Joseph B. Evans	[45]
9	Badar Farooqi	[25]
10	Pierre Flener	[33]
11	Peter Frey	[5] [14] [17] [18] [29]
12	Nicolas Frisby	[42] [44] [47]
13	Klaus Havelund	[9]
14	Julian Holtzman	[1]
15	Kshama Jambhekar	[31]
16	Roshan Kamath	[24] [25]
17	Balakrishnan Kannikeswaran	[5]
18	Garrin Kimmell	[40] [41] [42] [44] [45] [47]
19	Ed Komp	[40] [45]
20	Cindy Kong	[23] [25] [26] [27] [28] [30] [32] [34]
21	Dale E. Martin	[14]
22	Catherine Menon	[32]
23	Gary J. Minden	[1] [45]
24	Brandon Morel	[35] [36] [37]
25	Iqbal Mutabanna	[25]
26	John Penix	[4] [8] [9] [13] [14] [15]
27	Radharamanan Radhakrishnan	[5] [12] [17] [18] [29]
28	Ramanan Radhakrishnan	[14]
29	Amitvikram Rajkhowa	[20] [25] [31]
30	Murali Rangarajan	[8] [16] [19] [21] [22] [25] [31]
31	David Schonberger	[28]
32	Mark Snyder	[47]
33	Krishnan Subramani	[10]
34	Karthik Swaminathan	[12]
35	Costas Tsatsoulis	[1]
36	Kothanda Umamageswaran	[10]
37	Arun Venkataraman	[22] [25]
38	Justin Ward	[41]
39	Philip Weaver	[42] [44]
40	Philip A. Wilsey	[5] [8] [10] [12] [14] [17] [18] [21] [29]
41	Kalpesh Zinjuwadia	[38]

Colors in the list of coauthors