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 |