Warren P. Alexander

School of Engineering - Electrical Engineering & Computer Science
AT&T Distinguished Professor
Primary office:
785-864-7741
Eaton Hall
Room 2022
University of Kansas
1520 West 15th Street
Lawrence, KS 66045
Second office:
785-864-7741
Nichols Hall
Room 208



Summary

Expertise and Current Research Activity

CPUs:  Short for Central Processing Units. The heart of every computer, but 98% of them don’t go in PCs. There are 80 of them in your new BMW. They are in your thermostat, your alarm clock and your refrigerator. There are at least 3 in your smart phone and one in your health monitor. There are at least 20 for every person on the planet. They process your music, your video, your tax return, and your health information. They talk to each other over networks both wired and wireless, in your home and office, between your browser and Amazon or your Skype and their Skype or your financial application and your bank. You walk around each day in an invisible sea of data.  They are everywhere and quite simply put, we depend on them. From flying eggs in Angry Birds to flying 737s in our airspace, we trust them and often with our lives. 

My work focuses on verifying and synthesizing systems that are worthy of our trust. I use mathematics - mostly logic and discrete math - to represent critical computing systems and prove properties that ensure correct behavior.  My goals are verifying existing systems to determine if they meet critical requirements and synthesizing new systems that are guaranteed to meet requirements. Most of my work is “under the hood” examining hardware components like the Trusted Processor Module (TPM) that is found in most enterprise PCs, the software hypervisor at the heart of virtually all cloud computing systems, the circuitry in radios, and the timing algorithms used to simulate complex digital circuits. I prove things ranging from security properties such as data confidentiality and integrity to functional properties such as timing and correctness. I always prove these things with the intent of establishing that the systems we trust are deserving of that trust. 

My students work nationally at NASA, Amazon, Apple, Google, and Intel. They work locally at Garmin, Perceptive Software, Sprint, and Cerner. Some work for small Kansas businesses while others are educators and researchers.  Many work in support of our national defense. All are busy contributors to our state and national infrastructure.

Why Study at the University of Kansas?

KU is an amazing place on so many levels.  As an undergraduate student, we feature one of the top Honors Programs in the nation.  Our programs in Electrical Engineering and Computer Science are relevant, hands-on and we are passionate about teaching and advising.  Opportunities for undergraduate research abound both within the discipline at ITTC and CReSIS and in other disciplines across campus.  As a graduate student, we have research projects sponsored by top agencies including NSF, DARPA, NIH, and NASA.  We offer top quality mentoring with highly individualized attention.  Finally, we have world renown researchers in many areas related to telecommunication, radar and remote sensing, computer system design, system security and assurance, and many others.  The biggest reason to come to KU is the same reason we all stay at KU – our people!

Education

Ph.D., Electrical and Computer Engineering, The University of Kansas

M.S., Electrical and Computer Engineering, The University of Kansas

B.S., Computer Science, The University of Kansas

B.S., Electrical Engineering, The University of Kansas

Research

My principle research area is formal methods application to system-level design. A formal method in software and systems engineering is any methodology based on sound mathematical principles. As society becomes increasingly dependent on computer systems, such mathematical approaches underlie tools that assure desired properties for the reliable, secure, and trustworthy systems we demand. I strive to make formal techniques prevalent in system design through: (a) development of pragmatic, engineering methodologies; (b) development of prototype languages and engineering tool sets; and (c) introducing formal methods into the software and systems engineering curriculum.

Selected Publications

Ramsdell, J. Rowe, P. D., Alexander, P. Helble, S. Loscocco, P. Pendergrass, J. A., & Petz, A. (in press). Orchestrating Layered Attestations. Proceedings of Principles of Security and Trust (POST'19) 20. Prauge, Czech Republic.

Alexander, P. (2018). Voices Column on IoT Security. EdTech Magazine,(Winter 2018).

Borck, H. Kline, P. Shackleton, H. Gohde, J. Johnson, S. Alexander, P. & Carpenter, T. (2017). 100 Years of Software - Adapting Cyber-Physical Systems to the Changing World. Proceedings of Software Engineering for Resilient Systems (SERENE'17). Geneva, Switzerland.

Austin, E. & Alexander, P. (2015). Challenges Implementing an LCF-Style Proof System with Haskell. Proceedings of the International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS'15). 10. Austin, TX.

Alexander, P. Pike, L. Loscocco, P. & Coker, G. (2015). Model Checking Distributed Access Control Policies. ACM Transactions on Information and System Security, 18(2), 6:1-25.

Austin, E. & Alexander, P. (2013). Stateless Higher-Order Logic with Quantified Types. In International Conference on Interactive Theorem Proving (ITP’13), LNCS 7998, Rennes, France, July.

Halling, B. & Alexander, P. (2013). Verifying a Privacy CA Remote Attestation Protocol. In NASA Formal Methods Conference (NFM’13), LNCS 7871, Mountain View, CA, May.

Peck, M. & Alexander, P. (2013). Rosetta Composition Semantics. In G. Daz, C. Lovelle, P. García-Bustelo, & S. Martínez (Eds.), Progressions and Innovations in Model-Driven Software Engineering. IGI Global.

Frisby, N. Gill, A. & Alexander, P. (2012). A Pattern for Almost Homomorphic Functions. In The ACM SIGPLAN Workshop on Generic Programming (WGP’12), Copenhagen, Denmark, September 9-10.

Haricombe, L. J., Emmett, L. A., & Alexander, P. (2012). Open Access: An Evolving Alternative. IEEE Computer, 45(8), 70-72.

Austin, E. & Alexander, P. (2011). Haskell + HOL = HaskHOL. In 2011 Symposium on Implementation and Application of Functional Langauges (IFL’11), Lawrence, KS.

Frisby, N. Peck, M. Snyder, M. & Alexander, P. (2011). Model Composition in Rosetta. In IEEE Engineering of Computer-Based Systems Symposium and Workshops, (ECBS’11), Las Vegas, NV.

Kimmell, G. Peck, W. & Alexander, P. (2011). System Development with Oread. In 2011 Symposium on Implementation and Application of Functional Langauges (IFL’11), Lawrence, KS.

Austin, E. & Alexander, P. (2010). HaskHOL: A Haskell Hosted Domain Specific Language Representation of HOL Light. In Trends in Functional Programming (TFP’10), Norman, OK, May 17-19.

Snyder, M. & Alexander, P. (2010). Type-Indexed Monads. In Trends in Functional Programming (TFP’10), Norman, OK, May 17-19.

Kimmell, G. Frisby, N. Weaver, P. & Alexander, P. (2010). Constructing Language Processors with Algebra Combinators. Science of Computer Programming, 75(7).

Snyder, M. Frisby, N. Kimmell, G. & Alexander, P. (2009). Writing Composable Software with InterpreterLib. In Software Composition (SC’09), Zurich, Switzerland, July 2-3.

Alexander, P. (2009). Rosetta: Standardization at the System-Level. IEEE Computer, 42(1).

Kimmell, G. Komp, E. & Alexander, P. (2008). Multi-target Synthesis of Embedded Systems. In Emerging Technologies and Factory Automation (ETFA’08), Hamburg, Germany, September 15-18.

Kimmell, G. Komp, E. Minden, G. Evans, J. & Alexander, P. (2008). Synthesis of Software Defined Radios using Rosetta. In The Federation of Design Languages (FDL’08), Stuttgart, Germany, September 8-10.

Weaver, P. Kimmell, G. Frisby, N. & Alexander, P. (2007). Modular and Generic Programming with InterpreterLib. In IEEE/ACM International Conference on Automated Software Engineering (ASE’07), Atlanta, GA, November.

Weaver, P. Kimmell, G. & Alexander, P. (2007). Software Engineering with Algebra Combinators. In ACM International Conference on Generative Programming and Component Engineering (GPCE’07), Salsburg, Austria, October 1-3.

Streb, J. Kimmell, G. Frisby, N. & Alexander, P. (2006). Domain Specific Model Composition Using A Lattice of Coalgebras. In OOPSLA’06 Workshop on Domain Specific Modeling, Portland, OR, October 22.

Streb, J. & Alexander, P. (2006). Using a Lattice of Coalgebras For Heterogeneous Model Composition. In MoDELS Workshop on Multi-Paradigm Modeling: Concepts and Tools, Genova, Italy, October 2.

Alexander, P. (2006). System-Level Design with Rosetta, Morgan Kaufmann Publishers.

Ward, J. Kimmell, G. & Alexander, P. (2005). Prufrock: A Framework for Constructing Polytypic Theorem Provers. In The 20th International Conference on Automated Software Engineering (ASE’05), Long Beach, CA, September.

Andrews, D. & Alexander, P. (2004). Laboratory Support for MIPS-style Processor Design. In . (Ed.), supplement to Computer Organization and Design, 3rd Edition. Hennessey and Patterson.

Penix, J. & Alexander, P. (2004). REBOUND: A Framework for Automated Component Adaptation. In K. Lau (Ed.), Component-Based Software Development, Case Studies Volume.

Kimmell, G. Komp, E. & Alexander, P. (2004). Building Compilers by Combining Algebras. In The 12th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS’05), Washington, DC, April 4-7.

Zinjuwadia, K. & Alexander, P. (2004). DVTG and Test Harnessing Using Rosetta Specifications. In The 11th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS’04), Brno, Czech Republic, May 24-26.

Kimmell, G. & Alexander, P. (2004). Modular Monadic Semantics for Aspect Oriented Programs. In Poster at ACM International Conference on Functional Programming, Snowbird, UT, September 19-22.

Morel, B. & Alexander, P. (2004). SPARTACAS: Automating Component Reuse and Adaptation. IEEE Transactions on Software Engineering, 30(9), 587-600.

Morel, B. & Alexander, P. (2003). A Slicing Approach for Parallel Component Adaptation. In IEEE Engineering of Computer-Based Systems Symposium and Workshop (ECBS’03), Huntsville, AL, April.

Morel, B. & Alexander, P. (2003). Automating Component Adaptation for Reuse. In Proceedings of the Automated Software Engineering Conference (ASE’03), Montreal, Quebec, Canada, October.

Kong, C. & Alexander, P. (2003). Defining a Formal Semantics for the Rosetta Specification Language. In IFIP Formal Specification of Computer-Based Systems Workshop (FSCBS’03), Huntsville, AL, April.

Kong, C. & Alexander, P. (2003). The Rosetta Meta-Model Framework. In IEEE Engineering of Computer-Based Systems Symposium and Workshop (ECBS’03), Huntsville, AL, April.

Alexander, P. (2003). Integrating Formalism into Undergraduate Software Engineering. Journal of Systems and Software, 72(3).

Kong, C. Alexander, P. & Menon, C. (2003). Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language. Journal of Universal Computer Science, 9(11).

Kong, C. & Alexander, P. (2002). Modeling Model of Computation Ontologies in Rosetta. In Formal Specification of Computer Based Systems (FSCBS’02), Lund, Sweden, April 10-11.

Kong, C. & Alexander, P. (2002). Multi-Faceted Requirements Modeling and Analysis. In IEEE Joint International Requirements Engineering Conference (RE’02), Essen, Germany, September 9-13.

Alexander, P. & Kong, C. (2002). Synthesis as Retrieval: Feature-Based Retrieval and Adaptation Architectures. In AAAI 2002 Spring Symposium Series, Workshop on Logic-Based Program Synthesis, Stanford University, March 25-27.

Murali, R. Jambhekar, K. Rajkhowa, A. & Alexander, P. (2002). VSPEC and its Integrated Tool Suite. In Proceedings of the 9th IEEE Engineering of Computer-Based Systems Symposium and Workshop, Lund, Sweden, April 8-11.

Alexander, P. (2002). Designing At The Systems Level: Evolution or Revolution? Electronic Design, 50(26), 40.

Alexander, P. (2002). Rosetta Blooms for System-Level Design. Integrated Systems Design, 20-22.

Frey, P. Radhakrishnan, R. Carter, H. Alexander, P. & Wilsey, P. (2002). A Formal Specification and Verification Framework for Time Warp Based Parallel Simulation. IEEE Transactions on Software Engineering, 28(1), 58-78.

Alexander, P. Kong, C. & Schonberger, D. (2001). A Practical Semantics for Domain Interaction. In Proceedings of The Engineering of Computer Based Systems Symposium and Workshop (ECBS’01), Washington, DC, April.

Alexander, P. & Barton, D. (2001). A Tutorial Introduction to Rosetta. In Hardware Description Languages Conference (HDLCon’01), San Jose, CA, March.

Murali, R. & Alexander, P. (2001). Analysis of Component-Based Systems - An Automated Theorem Proving Approach. In OOPSLA’01 Workshop on Specification and Verification of Component-Based Systems, Tampa, FL, October 14.

Chawla, P. & Alexander, P. (2001). Automated Reuse Support for Design of Embedded Avionics Systems. In IEEE Aerospace Conference, March.

Akkipeddi, S. Alexander, P. Ranganathan, K. & Chawla, P. (2001). Generating Test Vectors from Systems Requirements. In AutoTestCon’01, Washington, DC, August.

Kong, C. & Alexander, P. (2001). Heterogeneous Computer-Based System Specification. In Formal Specification of Computer-Based Systems Workshop, Washington, DC, April 20.

Alexander, P. & Kong, C. (2001). Heterogeneous Modeling Support for Embedded Systems Design. In Proceedings of DARPA Embedded Software Workshop, Lecture Notes in Computer Science, 2211, October 10.

Alexander, P. & Kong, C. (2001). Rosetta: Semantic Support for Model-centered Systems Level Design. IEEE Computer Special Issue on Engineering of Computer-Based Systems, 34(11), 64-70.

Alexander, P. & Barton, D. (2001). Multi-Faceted Modeling: The Key to Systems Engineering. In P. Ashenden, J. Mermet, & R. Seepold (Eds.), System-on-Chip Methodologies & Design Languages. Kluwer Academic Publishers.

Patil, M. & Alexander, P. (2000). A Component Retrieval System Using PVS. In Theorem Proving in Higher Order Logics (TPHOLS’00), Portland, OR, August 15-16.

Ashenden, P. Alexander, P. & Barton, D. (2000). A Dual Spring System Case-Study Model in Rosetta. In FDL’00, Tubingen, Germany, September.

Venkataraman, A. Rangarajan, M. & Alexander, P. (2000). Composing Specifications in VSPEC. In Proceedings of the International Conference in Formal Engineering Methods (ICFEM’00), York, UK, September.

Ranganathan, K. Rangarajan, M. & Alexander, P. (2000). Design Verification Test Generation from Rosetta Requirements. In VHDL International User’s Forum (VIUF’00), Orlando, FL, October 16-18.

Kong, C. & Alexander, P. (2000). Formal Modeling of Active Network Nodes using PVS. In Formal Methods in Software Practice (FMSP’00), Portland, OR, October.

Rangarajan, M. & Alexander, P. (2000). On the Design of Orbit. In IEEE Engineering of Computer Based Systems Workshop (ECBS’00), Edinburgh, UK, April.

Alexander, P. Kamath, R. & Barton, D. (2000). System Specification in Rosetta. In IEEE Engineering of Computer Based Systems Workshop and Symposium (ECBS’00), Edinburgh, UK, April.

Alexander, P. Kong, C. & Barton, D. (2000). The Rosetta Functional Requirements Specification Domains. In Hardware Description Language Conference (HDLCON’00), Los Angeles, CA, March.

Alexander, P. & Barton, D. (2000). Rosetta rolls out system-level language for designers. Electronic Engineering Times.

Alexander, P. Rangarajan, M. & Baraona, P. (1999). A Brief Summary of VSPEC. In World Congress on Formal Methods (FM’99), Toulouse, France, September.

Chernyakhovsky, V. Frey, P. Radhakrishnan, R. Wilsey, P. A., Alexander, P. & Carter, H. W. (1999). A Formal Framework for Specifying and Verifying Time Warp Optimizations. In Workshop on Formal Methods for Parallel Programming: Theory and Applications, April.

Frey, P. Radhakrishnan, R. Wilsey, P. A., Alexander, P. & Carter, H. W. (1999). An Extensible Formal Framework for the Specification and Verification of an Optimistic Simulation Protocol. In 32th Hawaii International Conference on System Sciences (HICSS’32), January.

Rangarajan, M. & Alexander, P. (1999). Application of Proof Obligations in the Design Process. In International Conference on Software Engineering and Knowledge Engineering (SEKE’99).

Chawla, P. & Alexander, P. (1999). Enabling Collaboration Through Specification Based Search and Retrieval. In Collaborative Engineering Workshop, November 9, Detroit, MI.

Alexander, P. Kamath, R. & Barton, D. (1999). Facets and Domains in SLDL. In Forum on Design Languages (FDL’00), Lyon, France, September.

Abu-Ghazaleh, N. Dieckman, D. Rangarajan, M. Alexander, P. & Wilsey, P. (1999). Orbit: An Environment for Component-Based Heterogeneous Design and Analysis. In International Symposium and Workshop on Engineering of Computer Based Systems (ECBS’99), Nashville, TN, March.

Kamath, R. Alexander, P. & Barton, D. (1999). SLDL: A Systems Level Design Language. In ASIC/SOC 99, Washington, DC, September.

Rangarajan, M. Abu-Ghazaleh, N. & Alexander, P. (1999). Using Automatable Proof Obligations for Component-Based Design Checking. In International Symposium and Workshop on Engineering of Computer Based Systems (ECBS’99), Nashville, TN, March.

Rajkhowa, A. & Alexander, P. (1999). VSPEC Constraint Modeling and Evaluation. In International Symposium and Workshop on Engineering of Computer Based Systems (ECBS’99), Nashville, TN, March.

Alexander, P. & Baraona, P. (1999). Abstract Architecture Specification Using VSPEC. VLSI Design, 9(2), 181-201.

Barton, D. & Alexander, P. (1999). Rosetta – The SLDL Constraints Language. In VHDL Users International Forum (VIUF-99), Orlando, FL.

Penix, J. & Alexander, P. (1999). Efficient Specification-Based Component Retrieval. Automated Software Engineering, 6(2), 139-170.

Chawla, P. Alexander, P. & Vemuri, R. (1998). A Search and Retrieval Tool to Enable System Design Through Intellectual Property Reuse. In NAECOM, July.

Dieckman, D. Alexander, P. & Wilsey, P. A. (1998). ACTIVESPEC: A Framework for the Specification and Verification of Active Network Services and Security Policies. In Formal Methods in Security Protocols, June.

Rao, D. M., Swaminathan, K. Radhakrishnan, R. Wilsey, P. A., & Alexander, P. (1998). ANSE: An Active Networks Simulation Environment. In Workshop on Distributed and Parallel Systems (DAPSYS’98), September.

Penix, J. Martin, D. Frey, P. Radhakrishnan, R. Alexander, P. & Wilsey, P. (1998). Experiences in Verifying Parallel Simulation Algorithms. In Workshop on Formal Methods in Software Practice (FMSP-98), March 3-4.

Swaminathan, K. Radhakrishnan, R. Wilsey, P. A., & Alexander, P. (1998). Large Scale Active Networks Simulation. In International Workshop on Applied Parallel Computing, March.

Swaminathan, K. Radhakrishnan, R. Wilsey, P. A., & Alexander, P. (1998). Large Scale Active Networks Simulation. In International Workshop on Applied Parallel Computing, March.

Rangarajan, M. Abu-Ghazaleh, N. & Alexander, P. (1998). Light-Weight Analysis of Compositional Designs: towards compositional verification. In International Conference on Software Engineering and Knowledge Engineering (SEKE-98), KSI Press, June.

Alexander, P. (1998). Multi-faceted Design: The Key to Systems Engineering. In Forum on Design Languages (FDL’98), September 10-11.

Umamageswaran, K. Subramani, K. Wilsey, P. A., & Alexander, P. (1998). Formal Verification and Empirical Analysis of Rollback Relaxation. Journal of Systems Architecture, 44, 473-495.

Alexander, P. (1998). Task Analysis and Design Plans in Formal Specification Design. International Journal of Software Engineering and Knowledge Engineering, 8(2), 223-252.

Tsatsoulis, C. & Alexander, P. (1997). Integrating Cases, Sub-cases And Generic Prototypes For Design. In M. L. Maher & P. Pu (Eds.), Issues and Applications of Case-Based Reasoning to Design (pp. 261-299). Mahwah, NJ: Lawrence Erlbaum Associates.

Penix, J. & Alexander, P. (1997). Component Reuse and Adaptation at the Specification Level. In The Eighth Annual Workshop on Software Reuse (WISR8), March 23-26.

Penix, J. & Alexander, P. (1997). Declarative Specification of Software Architectures. In Proceedings of the Automated Software Engineering Conference (ASE-97), IEEE Press, November 2-5.

Alexander, P. (1997). Extending VHDL to the Systems Level. In Proceedings of the VHDL International User’s Forum (VIUF 97), IEEE Press, October 19-23.

Alexander, P. (1997). Formal Methods at the Systems Level. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, IEEE Press, October 12-15.

Penix, J. & Alexander, P. (1997). Formal Specifications for Component Retrieval and Reuse. In Hawai’i International Conference on Systems Sciences (HICSS 98), January.

Rangarajan, M. Penix, J. Alexander, P. & Wilsey, P. (1997). Gravity: An Object-Oriented Framework for Hardware/Software Tool Integration. In Proceedings of the 30th Annual Simulation Symposium, April.

Baraona, P. & Alexander, P. (1997). Representing Abstract Architectures with Axiomatic Specifications and Activation Conditions. In Proceedings of the IEEE Engineering of Computer Based Systems Symposium (ECBS-97), IEEE Press, March.

Penix, J. & Alexander, P. (1997). Toward Automated Component Adaptation. In Proceedings of the International Conference on Software Engineering and Knowledge Engineering (SEKE-97), Knowledge Systems Institute, June 18-20.

Alexander, P. (1997). Software as Math (or Why You Should Pay Attention In Abstract Math Class). IEEE Potentials, 16(4).

Alexander, P. (1997). VSPEC: Designing at the Requirements Level. Electronic Engineering Times.

Alexander, P. (1996). Formal Representations for Abstract System Evaluation. In Proceedings of the IEEE Engineering of Computer Based Systems Workshop, IEEE Press, September 25.

Kannikeswaran, B. Radharkrishna, R. Frey, P. Alexander, P. & Wilsey, P. (1996). Formal Specification and Verification of the pGVT Algorithm. In Proceedings of the Formal Methods Europe ’96 Symposium, Lecture Notes in Computer Science 1051.

Alexander, P. (1996). Integrating Formalism in Software Engineering. In Proceedings of the DIMACS Symposium on Teaching Logic and Reasoning in an Illogical World, July.

Alexander, P. (1995). Combining Formal and Semi-Formal Methods in Software Engineering. IEEE Potentials, 15(5).

Alexander, P. Baraona, P. & Penix, J. (1995). A Declarative Specification Methodology For System Synthesis. In Proceedings of the International Conference on Electronic Hardware Description Languages, Society for Computer Simulation, Las Vegas, NV, March, 144-149.

Alexander, P. Baraona, P. & Penix, J. (1995). Application of Software Synthesis Techniques to Composite Systems. In Proceedings of the Computers in Engineering Symposium of the American Society of Mechanical Engineers Energy Technology Conference, Houston, TX, January. ASME Press.

Penix, J. Baraona, P. & Alexander, P. (1995). Classification and Retrieval of Reusable Components Using Semantic Features. In Proceedings of the Knowledge-Based Software Engineering Conference (KBSE-95), Boston, MA, IEEE Press, November, pp 131-138.

Penix, J. & Alexander, P. (1995). Design Representation for Automating Software Component Reuse. In Proceedings of the Knowledge-Based Systems for the (Re)Use of Program Libraries Workshop, INRIA Sophia Antipolis, France, November.

Baraona, P. Penix, J. & Alexander, P. (1995). VSPEC: A Declarative Specification Methodology For System Specification. In Proceedings of the IEEE International Symposium and Workshop on Systems Engineering of Computer Based Systems, IEEE Press, Tucson, AZ, March, pp 261-268.

Carter, D. Baker, A. & Alexander, P. (1995). I-I-Con: A visual communications paradigm to integrate industrial control system engineering. ISA Transactions, 34, 153-163.

Baraona, P. Penix, J. & Alexander, P. (1995). VSPEC: A Declarative Requirements Specification Language for VHDL. Current Issues in Electronic Modeling, Special Issue on Specification Languages and HDLs, 3, 51-75.

Vemuri, R. Carter, H. & Alexander, P. (1994). Board and MCM Level Synthesis for Embedded Systems: The COMET Cosynthesis Environment. In Proceedings of the 1st Annual RASSP Conference, Washington, DC, August.

Alexander, P. (1994). Combining Transformational and Derivational Analogy in Larch Specification Generation. In Proceedings of the The 6th International Conference on Software Engineering and Knowledge Engineering, Knowledge Systems Institute, Riga, Latvia, June, pp. 131-138.

Baraona, P. & Alexander, P. (1994). VSPEC: A Language For Digital System Specification. In Proceedings of the AAAI-94 Workshop on Artificial Intelligence and Systems Engineering, AAAI Press, Seattle, WA, August.

Alexander, P. Baraona, P. & Penix, J. (1994). Using Declarative Specifications and Case-Based Planning for System Synthesis. Concurrent Engineering: Research and Applications, 2(4), 291-302.

Alexander, P. (1993). AI Models for Systems Engineering: Lessons Learned from Knowledge-Based Software Engineering. In Proceedings of the AI Models for Systems Engineering, AAAI-93, AAAI Press, Washington, DC, July.

Alexander, P. (1993). BENTON: A Multi-agent System for Larch Specification Generation. In Proceedings of the The 5th International Conference on Software Engineering and Knowledge Engineering, Knowledge Systems Institute, San Francisco, CA.

Holtzman, J. & Alexander, P. (1992). A Proposed Curriculum for Computer Based Systems Engineering. In Proceedings of the The Computer Based Systems Engineering Workshop, IEEE Press, London, England, June.

Alexander, P. & Tsatsoulis, C. (1992). ASP-II: An Experiment in Combining Case-Based and Skeletal Planning. International Journal of Expert Systems: Research and Applications, 4(3), 221-247.

Alexander, P. Tsatsoulis, C. Minden, G. & Holtzman, J. (1990). A Case-Based System for Simulation Generation and Control. In AI and Simulation: Theory and Practice, Proc. of 1990 Artificial Intelligence and Simulation Conference, Society for Computer Simulation, April.

Alexander, P. Tsatsoulis, C. Minden, G. & Holtzman, J. (1990). Case-Based Planning for Simulation. In Proceedings of the IEE European Planning Conference, IEE Press, June, pp. 217-220.

Alexander, P. Magis, P. Holtzman, J. & Roy, S. (1989). A Methodology for Interoperability Analysis. In Proceedings of the Military Communications Conference (MILCOM ’89), IEEE Press, October, 6 pages.

Alexander, P. Magis, P. Holtzman, J. & Tam, D. (1989). An Integrated Workstation for Cosite EMC Analysis. In Proceedings of the 5th Annual Review of Progress in Applied Electromagnetics, March.

Alexander, P. Tsatsoulis, C. Minden, G. & Holtzman, J. (1989). Storing Design Knowledge in Cases. In Proceedings of the Proceedings: Case-Based Reasoning Workshop, DARPA, May, pp. 188-192.

Holtzman, J. Minden, G. Alexander, P. Oszorkiewicz, J. Sargent, G. & Yarbro, R. (1988). A Computer Aided Design Tool for Colocated HF Links. In Proceedings of the Fourth IEE International Conference on HF Radio Techniques, IEE Press, April, 7 pages.

Alexander, P. Holtzman, J. Sargent, G. & Shanmugan, K. S. (1988). COEDS: A CAAD Tool for Shipboard Communication EMC Systems Engineering. In Proceedings of the IEEE Global Telecommunications Conference, IEEE Press, November, 7 pages.


One of 34 U.S. public institutions in the prestigious Association of American Universities
44 nationally ranked graduate programs.
—U.S. News & World Report
Top 50 nationwide for size of library collection.
—ALA
5th nationwide for service to veterans —"Best for Vets: Colleges," Military Times
KU Today