Search the dblp DataBase
Perry Alexander :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
P. Alexander , Costas Tsatsoulis , Julian Holtzman , G. Minden Case based planning for simulation. [Citation Graph (0, 0)][DBLP ] Expert Planning Systems, 1990, pp:217-220 [Conf ] Murali Rangarajan , John Penix , Perry Alexander , Philip A. Wilsey Gravity: An Object-Oriented Framework for Hardware/Software Tool Integration. [Citation Graph (0, 0)][DBLP ] Annual Simulation Symposium, 1997, pp:24-30 [Conf ] Nael B. Abu-Ghazaleh , Murali Rangarajan , Darryl D. Dieckman , Perry Alexander , Philip A. Wilsey ORBIT: An Environment for Component-Based Heterogeneous Design and Analysis. [Citation Graph (0, 0)][DBLP ] ECBS, 1999, pp:122-128 [Conf ] Perry Alexander Insertion of formalism into systems level design. [Citation Graph (0, 0)][DBLP ] ECBS, 1997, pp:479- [Conf ] Perry Alexander , Roshan Kamath , David Barton System Specification in Rosetta. [Citation Graph (0, 0)][DBLP ] ECBS, 2000, pp:299-307 [Conf ] Perry Alexander , Cindy Kong , David Schonberger A Practical Semantics for Design Facet Interaction. [Citation Graph (0, 0)][DBLP ] ECBS, 2001, pp:229-0 [Conf ] Phillip Baraona , Perry Alexander Representing abstract architectures with axiomatic specifications and activation conditions. [Citation Graph (0, 0)][DBLP ] ECBS, 1997, pp:161-168 [Conf ] Garrin Kimmell , Ed Komp , Perry Alexander Building Compilers by Combining Algebras. [Citation Graph (0, 0)][DBLP ] ECBS, 2005, pp:331-338 [Conf ] Cindy Kong , Perry Alexander The Rosetta Meta-Model Framework. [Citation Graph (0, 0)][DBLP ] ECBS, 2003, pp:133-140 [Conf ] Amitvikram Rajkhowa , Perry Alexander VSPEC Constraints Modeling and Evaluation. [Citation Graph (0, 0)][DBLP ] ECBS, 1999, pp:159-165 [Conf ] Murali Rangarajan , Perry Alexander , Nael B. Abu-Ghazaleh Using Automatable Proof Obligations for Component-Based Design Checking. [Citation Graph (0, 0)][DBLP ] ECBS, 1999, pp:304-310 [Conf ] Murali Rangarajan , Kshama Jambhekar , Amitvikram Rajkhowa , Perry Alexander VSPEC and Its Integrated Tool Suite. [Citation Graph (0, 0)][DBLP ] ECBS, 2002, pp:27-34 [Conf ] Brandon Morel , Perry Alexander A Slicing Approach for Parallel Component Adaptation. [Citation Graph (0, 0)][DBLP ] ECBS, 2003, pp:108-114 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ECBS, 2000, pp:110-0 [Conf ] Kalpesh Zinjuwadia , Perry Alexander DVTG and Test Harnessing using Rosetta Specifications. [Citation Graph (0, 0)][DBLP ] ECBS, 2004, pp:136-143 [Conf ] Perry Alexander , Cindy Kong Heterogeneous Modeling Support for Embedded Systems Design. [Citation Graph (0, 0)][DBLP ] EMSOFT, 2001, pp:1-13 [Conf ] Perry Alexander , Murali Rangarajan , Phillip Baraona A Brief Summary of VSPEC. [Citation Graph (0, 0)][DBLP ] World Congress on Formal Methods, 1999, pp:1068-1086 [Conf ] Balakrishnan Kannikeswaran , Radharamanan Radhakrishnan , Peter Frey , Perry Alexander , Philip A. Wilsey Formal Specification and Verification of the pGVT Algorithm. [Citation Graph (0, 0)][DBLP ] FME, 1996, pp:405-424 [Conf ] Cindy Kong , Perry Alexander , Darryl D. Dieckman Formal modeling of active network nodes using PVS. [Citation Graph (0, 0)][DBLP ] FMSP, 2000, pp:49-59 [Conf ] John Penix , Dale E. Martin , Peter Frey , Ramanan Radhakrishnan , Perry Alexander , Philip A. Wilsey Experiences in verifying parallel simulation algorithms. [Citation Graph (0, 0)][DBLP ] FMSP, 1998, pp:16-23 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] HICSS, 1999, pp:- [Conf ] John Penix , Perry Alexander Using Formal Specifications for Component Retrieval and Reuse. [Citation Graph (0, 0)][DBLP ] HICSS (3), 1998, pp:356-0 [Conf ] Arun Venkataraman , Murali Rangarajan , Perry Alexander Composing Specifications in VSPEC. [Citation Graph (0, 0)][DBLP ] ICFEM, 2000, pp:45-0 [Conf ] Victoria Chernyakhovsky , Peter Frey , Radharamanan Radhakrishnan , Philip A. Wilsey , Perry Alexander , Harold W. Carter A Formal Framework for Specifying and Verifying Time Warp Optimizations. [Citation Graph (0, 0)][DBLP ] IPPS/SPDP Workshops, 1999, pp:1228-1242 [Conf ] Brandon Morel , Perry Alexander Automating Component Adaptation for Reuse. [Citation Graph (0, 0)][DBLP ] ASE, 2003, pp:142-151 [Conf ] John Penix , Perry Alexander , Klaus Havelund Declarative Specification of Software Architectures. [Citation Graph (0, 0)][DBLP ] ASE, 1997, pp:201-0 [Conf ] John Penix , Phillip Baraona , Perry Alexander Classification and Retrieval of Reusable Components Using Semantic Features. [Citation Graph (0, 0)][DBLP ] KBSE, 1995, pp:131-138 [Conf ] Justin Ward , Garrin Kimmell , Perry Alexander Prufrock: a framework for constructing polytypic theorem provers. [Citation Graph (0, 0)][DBLP ] ASE, 2005, pp:423-426 [Conf ] Karthik Swaminathan , Radharamanan Radhakrishnan , Philip A. Wilsey , Perry Alexander Large Scale Active Networks Simulation. [Citation Graph (0, 0)][DBLP ] PARA, 1998, pp:537-542 [Conf ] Cindy Kong , Perry Alexander Multi-Faceted Requirements Modeling. [Citation Graph (0, 0)][DBLP ] RE, 2002, pp:112-122 [Conf ] Perry Alexander BENTON: A Multi-Agent System for Larch Specification Generation. [Citation Graph (0, 0)][DBLP ] SEKE, 1993, pp:125-133 [Conf ] Perry Alexander Combining transformational and derivational analogy in Larch specification generation. [Citation Graph (0, 0)][DBLP ] SEKE, 1994, pp:131-138 [Conf ] Perry Alexander , Pierre Flener Guest Editorial: ASE 2000 Special Issue. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 2003, v:10, n:2, pp:119-120 [Journal ] John Penix , Perry Alexander Efficient Specification-Based Component Retrieval. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 1999, v:6, n:2, pp:139-170 [Journal ] Perry Alexander , Cindy Kong Rosetta: Semantic Support for Model-Centered Systems-Level Design. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 2001, v:34, n:11, pp:64-70 [Journal ] Perry Alexander Task Analysis and Design Plans in Formal Specification Design. [Citation Graph (0, 0)][DBLP ] International Journal of Software Engineering and Knowledge Engineering, 1998, v:8, n:2, pp:223-252 [Journal ] Perry Alexander Integrating formalism into undergraduate software engineering. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 2005, v:74, n:2, pp:147-154 [Journal ] Cindy Kong , Perry Alexander , Catherine Menon Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language. [Citation Graph (0, 0)][DBLP ] J. UCS, 2003, v:9, n:11, pp:1322-1349 [Journal ] Peter Frey , Radharamanan Radhakrishnan , Harold W. Carter , Philip A. Wilsey , Perry Alexander A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2002, v:28, n:1, pp:58-78 [Journal ] Brandon Morel , Perry Alexander SPARTACAS Automating Component Reuse and Adaptation. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2004, v:30, n:9, pp:587-600 [Journal ] Constructing language processors with algebra combinators. [Citation Graph (, )][DBLP ] Modular and generic programming with interpreterlib. [Citation Graph (, )][DBLP ] Rosetta: language support for system-level design. [Citation Graph (, )][DBLP ] Writing Composable Software with InterpreterLib. [Citation Graph (, )][DBLP ] Synthesizing Software Defined Radio Components from Rosetta (invited). [Citation Graph (, )][DBLP ] Rosetta: Standardization at the System Level. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.007secs