The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Perry Alexander: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. Perry Alexander
    Insertion of formalism into systems level design. [Citation Graph (0, 0)][DBLP]
    ECBS, 1997, pp:479- [Conf]
  5. Perry Alexander, Roshan Kamath, David Barton
    System Specification in Rosetta. [Citation Graph (0, 0)][DBLP]
    ECBS, 2000, pp:299-307 [Conf]
  6. Perry Alexander, Cindy Kong, David Schonberger
    A Practical Semantics for Design Facet Interaction. [Citation Graph (0, 0)][DBLP]
    ECBS, 2001, pp:229-0 [Conf]
  7. Phillip Baraona, Perry Alexander
    Representing abstract architectures with axiomatic specifications and activation conditions. [Citation Graph (0, 0)][DBLP]
    ECBS, 1997, pp:161-168 [Conf]
  8. Garrin Kimmell, Ed Komp, Perry Alexander
    Building Compilers by Combining Algebras. [Citation Graph (0, 0)][DBLP]
    ECBS, 2005, pp:331-338 [Conf]
  9. Cindy Kong, Perry Alexander
    The Rosetta Meta-Model Framework. [Citation Graph (0, 0)][DBLP]
    ECBS, 2003, pp:133-140 [Conf]
  10. Amitvikram Rajkhowa, Perry Alexander
    VSPEC Constraints Modeling and Evaluation. [Citation Graph (0, 0)][DBLP]
    ECBS, 1999, pp:159-165 [Conf]
  11. 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]
  12. 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]
  13. Brandon Morel, Perry Alexander
    A Slicing Approach for Parallel Component Adaptation. [Citation Graph (0, 0)][DBLP]
    ECBS, 2003, pp:108-114 [Conf]
  14. 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]
  15. Kalpesh Zinjuwadia, Perry Alexander
    DVTG and Test Harnessing using Rosetta Specifications. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:136-143 [Conf]
  16. Perry Alexander, Cindy Kong
    Heterogeneous Modeling Support for Embedded Systems Design. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2001, pp:1-13 [Conf]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. John Penix, Perry Alexander
    Using Formal Specifications for Component Retrieval and Reuse. [Citation Graph (0, 0)][DBLP]
    HICSS (3), 1998, pp:356-0 [Conf]
  23. Arun Venkataraman, Murali Rangarajan, Perry Alexander
    Composing Specifications in VSPEC. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:45-0 [Conf]
  24. 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]
  25. Brandon Morel, Perry Alexander
    Automating Component Adaptation for Reuse. [Citation Graph (0, 0)][DBLP]
    ASE, 2003, pp:142-151 [Conf]
  26. John Penix, Perry Alexander, Klaus Havelund
    Declarative Specification of Software Architectures. [Citation Graph (0, 0)][DBLP]
    ASE, 1997, pp:201-0 [Conf]
  27. 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]
  28. 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]
  29. 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]
  30. Cindy Kong, Perry Alexander
    Multi-Faceted Requirements Modeling. [Citation Graph (0, 0)][DBLP]
    RE, 2002, pp:112-122 [Conf]
  31. Perry Alexander
    BENTON: A Multi-Agent System for Larch Specification Generation. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:125-133 [Conf]
  32. Perry Alexander
    Combining transformational and derivational analogy in Larch specification generation. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:131-138 [Conf]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]

  41. Constructing language processors with algebra combinators. [Citation Graph (, )][DBLP]


  42. Modular and generic programming with interpreterlib. [Citation Graph (, )][DBLP]


  43. Rosetta: language support for system-level design. [Citation Graph (, )][DBLP]


  44. Writing Composable Software with InterpreterLib. [Citation Graph (, )][DBLP]


  45. Synthesizing Software Defined Radio Components from Rosetta (invited). [Citation Graph (, )][DBLP]


  46. Rosetta: Standardization at the System Level. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002