Papers, Presentations and Tech Reports
Click on a year to see a list of papers.

2008

  • Frisby, N., G. Kimmell, and P. Alexander, "Integrating a DSL within Haskell" submitted to The Haskell Symposium , Vancouver, Canada, Septemner, 2008
  • Kimmell, G., N. Frisby, P. Weaver, and P. Alexander,  "Constructing Language Processors with Algebra Combinators ," in revision for Science of Computer Programming, March, 2008
  • Ward, J., G. Kimmell, E. Komp, and P. Alexander,  "Prufrock: A Framework for Constructing Generic Theorem Provers," in revision for The Automated Software Engineering Journal, July, 2008
  • Kimmell, G., E. Komp, G. Minden, and P. Alexander, "Synthesizing Software Defined Radios from Rosetta Specifications" Proceedings of the Forum on specification and Design Languages (FDL'08), Stuttgart, Germany, September 23-25, 2008
  • Kimmell, G., E. Komp, and P. Alexander, "Mutli-target Synthesis from a Monadic Specification Language" Proceedings of the Emerging Technologies and Factory Automation (ETFA'08) , Hamburg, Germany, September 15-18, 2008
  • Alexander, P., "Security as a System-Level Constraint" invited presentation at Google Tech Talks , Mountain View, CA, June 4, 2008
  • Alexander, P., "Security as a System-Level Constraint" invited presentation at High Confidence Systems and Software Symposium (HCSS'08) , Baltimore, MD, March 3, 2008
  • Alexander, P., " A Tutorial Introduction to Rosetta Semantics " tutorial presentation at the Forum on specification and Design Languages (FDL'08) , Stuttgart, Germany, September 23-25, 2008

2007

  • Weaver, P., Kimmell, G., N. Frisby, and P. Alexander, "Modular and Generic Programming with InterpreterLib" Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE'07), Atlanta, GA, November, 2007
  • Weaver, P., G. Kimmell, N. Frisby, and P. Alexander, "Constructing Language Processors with Algebra Combinators" Proceedings of the Generative Programming and Component Engineering (GPCE'07), Salzburg, Austria, October, 2007
  • Alexander, P., G. Kimmell, and D. Burke, Security as a System Property: Modeling trust and security in Rosetta, technical memo, January 4, 2007

2006

2005

2004

  • Morel, B. and P. Alexander,  "SPARTACAS: Automating Component Reuse and Adaptation," IEEE Transactions on Software Engineering, 30(9)
  • Andrews, D. and P. Alexander, "Laboratory Support for MIPS-style Processor Design" supplement to Computer Organization and Design, 3rd Edition , by David Patterson and John Hennessey, Morgan Kaufmann, 2004
  • Kimmell, G. and P. Alexander, "Modular Monadic Semantics for Aspect Oriented Programs" poster presentation at the ACM International Conference on Functional Programming, Snowbird, UT, September 19-22, 2004
  • Zinjuwadia, K. and P. Alexander, "DVTG and Test Harnessing Using Rosetta Specifications" Proceedings of the 11th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS'04), Brno, Czech Republic, May 24-26, 2004

2003

  • Kong, C., P. Alexander, and C. Menon,  "Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language," Journal of Universal Computer Science, 9(11)
  • Morel, B. and P. Alexander, "Automating Component Adaptation for Reuse" Proceedings of the Automated Software Engineering Conference (ASE'03), Montreal, Quebec, Canada, October 2003
  • Kong, C. and P. Alexander, "Defining a Formal Semantics for the Rosetta Specification Language" Proceedings of the IFIP Formal Specification of Computer-Based Systems Workshop (FSCBS'03), Huntsville, AL, April 2003
  • Morel, B. and P. Alexander, "A Slicing Approach for Parallel Component Adaptation" Proceedings of the IEEE Engineering of Computer-Based Systems Symposium and Workshop (ECBS'03), Huntsville, AL, April 7-10, 2003
  • Kong, C. and P. Alexander, "The Rosetta Meta-Model Framework" Proceedings of the IEEE Engineering of Computer-Based Systems Symposium and Workshop (ECBS'03), Huntsville, AL, April 7-11, 2003

2002

  • Kong, C. and P. Alexander, "Multi-Faceted Requirements Modeling and Analysis" Proceedings of the IEEE Joint International Requirements Engineering Conference (RE'02), Essen, Germany, Septebmer 9-13, 2002
  • Kong, C. and P. Alexander, "Modeling Model of Computation Ontologies in Rosetta" Proceedings of the Formal Specification of Computer Based Systems (FSCBS'02), Lund, Sweden, April 10-11, 2002
  • Alexander, P. and C. Kong, "Synthesis as Retrieval: Feature-Based Retrieval and Adaptation Architectures" Proceedings of the AAAI 2002 Spring Symposium Series, Workshop on Logic-Based Program Synthesis, Stanford University, March 25-27, 2002
  • Murali, R., K. Jambhekar, A. Rajkhowa, and P. Alexander, "VSPEC and its Integrated Tool Suite" Proceedings of the 9th IEEE Engineering of Computer-Based Systems Symposium and Workshop,, Lund, Sweden, April 8-11, 2002
  • Frey, P. and R. Radhakrishnan, H. Carter, P. Alexander, and P. Wilsey,  "A Formal Specification and Verification Framework for Time Warp Based Parallel Simulation," IEEE Transactions on Software Engineering, 28(1) , pp. 58-78

2001

  • Alexander, P. and C. Kong,  "Rosetta: Semantic Support for Model-centered Systems Level Design," IEEE Computer, 34(11) , pp. 64-70
  • Akkipeddi, S., P. Alexander, K. Ranganathan, and P. Chawla, "Generating Test Vectors from Systems Requirements" Proceedings of the Procedings of AutoTestCon'01, Washington, DC, May, 2001
  • Cindy Kong and Perry Alexander, "Heterogeneous Computer-Based System Specification" Proceedings of the Formal Specification of Computer-Based Systems Workshop, Washington, DC, April 20, 2001
  • Alexander, P., C. Kong and D. Schonberger, "A Practical Semantics for Domain Interaction" Proceedings of the Engineering of Computer Based Systems Symposium and Workshop (ECBS'01), Washington, DC, April, 2001
  • Chawla, P. and P. Alexander, "Automated Reuse Support for Design of Embedded Avionics Systems" Proceedings of the IEEE Aerospace Conference, March, 2001
  • Alexander, P. and D. Barton, "A Tutorial Introduction to Rosetta" Proceedings of the Hardware Description Languages Conference (HDLCon'01), San Jose, CA, March 2001

2000

  • Perry Alexander, Roshan Kamath, and David Barton, "System Specification in Rosetta" Proceedings of the IEEE Engineering of Computer Based Systems Symposium, Edinburgh, UK, April 2000
  • Murali Rangarajan, Perry Alexander, et. al., "On the Design of Orbit" Proceedings of the IEEE Engineering of Computer Based Systems Symposium, Edinburgh, UK, April 2000
  • Perry Alexander and David Barton, "An Introduction to Rosetta" tutorial presentation at the HDLCon00, San Jose, CA, March, 2000
  • Perry Alexander, Cindy Kong and David Barton, "Rosetta Functional Specification Domains" Proceedings of the HDLCon00, San Jose, CA, March, 2000
  • Perry Alexander, "Introuction to Theorem Proving in Higher Order Logic" tutorial presentation at the TPHOLs 2000, Porland, OR, August, 2000
  • Makarand Patil and Perry Alexander, "A Component Retrieval System Using PVS" poster presentation at the TPHOLs 2000, Porland, OR, August, 2000
  • Cindy Kong, Darryl Dieckman and Perry Alexander, "Formal Modeling of Active Network Nodes using PVS" Proceedings of the Formal Methods in Software Processes(FMSP'00), Portland OR, August 2000
  • Arun Venkataswaran, Murali Rangarajan, and Perry Alexander, "Composition of Specifications in VSPEC" Proceedings of the Inernational Conference on Formal Engineering Methods (ICFEM'00), York, England, September, 2000
  • Krishna Ranganathan, Murali Rangarajan, Perry Alexander, and Tom Regan, "Design Verification Test Generation from Rosetta Specifications" Proceedings of the VHDL International User's Forumd (VIUF'00), Orlando, FL, October 2000
  • Peter Ashenden, Perry Alexander and David Barton, "A Dual Spring System Case Study Model in Rosetta" Proceedings of the Forum On Design Languages (FDL-00), Tubingen, Germany, September 2000

Earlier

This is a partial list of papers dated earlier than 2000. If you are looking for something that isn't listed, please contact me.
  • Praveen Chawla and Perry Alexander, "Enabling Collaboration Through Specification Based Search and Retrieval" Proceedings of the Collaborative Engineering Workshop, Detroit, MI, November 1999
  • Perry Alexander, Roshan Kamath, and David Barton, "Facets and Domains in SLDL" Proceedings of the Forum On Desgin Languages (FDL-99), Lyon, FR, September 1999
  • Roshan Kamath, Perry Alexander, and David Barton, "SLDL: A Systems Level Design Language" Proceedings of the ASIC/SOC 99, Washington, DC, September 1999
  • Perry Alexander, Murali Rangarajan, and Phillip Baraona, "A Brief Summary of VSPEC" Proceedings of the World Congress on Formal Methods (FM'99), Tolous, FR, September 1999
  • Murali Rangarajan and Perry Alexander, "Application of Proof Obligations in the Design Process" Proceedings of the International Conference on Software Engineering and Knowledge Engineering (SEKE-99), 1999
  • Victoria Chernyakhovsky, Peter Frey, Ramanan Radhakrishnan, Philip A. Wilsey, Perry Alexander and Hal Carter, "A Formal Framework for Specifying and Verifying Time Warp Optimizations" Proceedings of the Workshop on Formal Methods for Parallal Programming: Theory and Application, April 1999
  • Murali Rangarajan, Nael Abu-Ghazaleh, and Perry Alexander, "Using Automatable Proof Obligations for Component-Based Design Checking" Proceedings of the International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'99), Nashville, TN, March 1999
  • Nael Abu-Ghazaleh, Darryl Dieckman, Murali Rangarajan, Perry Alexander and Philip A. Wilsey, "Orbit: An Environment for Component-Based Heterogeneous Design and Analysis" Proceedings of the International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'99), Nashville, TN, March 1999
  • Amit Rajkhowa and Perry Alexander, "VSPEC Constraint Modeling and Evaluation" Proceedings of the International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'99), Nashville, TN, March 1999
  • Peter Frey, Ramanan Radhakrishnan, Philip A. Wilsey, Perry Alexander and Hal Carter, "An Extensible Formal Framework for the Specification and Verification of an Optimistic Simulation Protocol" Proceedings of the 32nd Hawaii International Conference on System Sciences (HICSS-32), January, 1999