Perry Alexander - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Model Composition in RosettaNicolas Frisby, M. Peck, Mark Snyder, Perry Alexander. ECBS 2011: 140-148 [doi]

2010

Constructing language processors with algebra combinatorsNicolas Frisby, Garrin Kimmell, Philip Weaver, Perry Alexander. SCP, 75(7):543-572, 2010. [doi]

Monad Factory: Type-Indexed MonadsMark Snyder, Perry Alexander. sfp 2011: 198-213 [doi]

2009

Rosetta: Standardization at the System LevelPerry Alexander. Computer, 42(1):108-110, 2009. [doi]

Writing Composable Software with InterpreterLibMark Snyder, Nicolas Frisby, Garrin Kimmell, Perry Alexander. SC 2009: 160-176 [doi]

2008

Synthesizing Software Defined Radio Components from Rosetta (invited)Garrin Kimmell, Ed Komp, Gary J. Minden, Joseph B. Evans, Perry Alexander. fdl 2008: 148-153 [doi]

2007

Rosetta: language support for system-level designPerry Alexander. ASE 2007: 577 [doi]

Constructing language processors with algebra combinatorsPhilip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander. GPCE 2007: 155-164 [doi]

Modular and generic programming with interpreterlibPhilip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander. ASE 2007: 473-476 [doi]

2005

Integrating formalism into undergraduate software engineeringPerry Alexander. jss, 74(2):147-154, 2005. [doi]

Building Compilers by Combining AlgebrasGarrin Kimmell, Ed Komp, Perry Alexander. ECBS 2005: 331-338 [doi]

Prufrock: a framework for constructing polytypic theorem proversJustin Ward, Garrin Kimmell, Perry Alexander. ASE 2005: 423-426 [doi]

2004

SPARTACAS Automating Component Reuse and AdaptationBrandon Morel, Perry Alexander. TSE, 30(9):587-600, 2004. [doi]

DVTG and Test Harnessing using Rosetta SpecificationsKalpesh Zinjuwadia, Perry Alexander. ECBS 2004: 136-143 [doi]

2003

2002

2001

A Practical Semantics for Design Facet InteractionPerry Alexander, Cindy Kong, David Schonberger. ECBS 2001: 229 [doi]

Rosetta: Semantic Support for Model-Centered Systems-Level DesignPerry Alexander, Cindy Kong. Computer, 34(11):64-70, 2001. [doi]

Heterogeneous Modeling Support for Embedded Systems DesignPerry Alexander, Cindy Kong. emsoft 2001: 1-13 [doi]

2000

1999

ORBIT: An Environment for Component-Based Heterogeneous Design and AnalysisNael B. Abu-Ghazaleh, Murali Rangarajan, Darryl D. Dieckman, Perry Alexander, Philip A. Wilsey. ECBS 1999: 122-128 [doi]

A Brief Summary of VSPECPerry Alexander, Murali Rangarajan, Phillip Baraona. fm 1999: 1068-1086 [doi]

A Formal Framework for Specifying and Verifying Time Warp OptimizationsVictoria Chernyakhovsky, Peter Frey, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander, Harold W. Carter. ipps 1999: 1228-1242

An Extensible Formal Framework for the Specification and Verification of an Optimistic Simulation ProtocolPeter Frey, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander, Harold W. Carter. hicss 1999: [doi]

Efficient Specification-Based Component RetrievalJohn Penix, Perry Alexander. ASE, 6(2):139-170, 1999.

VSPEC Constraints Modeling and EvaluationAmitvikram Rajkhowa, Perry Alexander. ECBS 1999: 159-165 [doi]

Using Automatable Proof Obligations for Component-Based Design CheckingMurali Rangarajan, Perry Alexander, Nael B. Abu-Ghazaleh. ECBS 1999: 304-310 [doi]

1998

1997

1996

Formal Specification and Verification of the pGVT AlgorithmBalakrishnan Kannikeswaran, Radharamanan Radhakrishnan, Peter Frey, Perry Alexander, Philip A. Wilsey. fm 1996: 405-424

1995

Classification and Retrieval of Reusable Components Using Semantic FeaturesJohn Penix, Phillip Baraona, Perry Alexander. jckbse 1995: 131-138

1994

Combining transformational and derivational analogy in Larch specification generationPerry Alexander. seke 1994: 131-138

1993

BENTON: A Multi-Agent System for Larch Specification GenerationPerry Alexander. seke 1993: 125-133

1990

Case based planning for simulationPerry Alexander, Costas Tsatsoulis, Julian Holtzman, Gary J. Minden. aips 1990: 217-220