Walid M. Taha

Cyber-Physical Systems: A Model-Based Approach

Abd-Elhamid M. Taha, Walid M. Taha, Johan Thunberg, 2020 .

Multi-stage programming (poster)

Walid M. Taha, T. Sheard, 1997, ICFP '97.

Semantics, Applications, and Implementation of Program Generation

Walid M. Taha, J. V. Leeuwen, J. V. Leeuwen, 2001, Lecture Notes in Computer Science.

Sound Over-Approximation of Probabilities

Walid Taha, Eugenio Moggi, Johan Thunberg, 2020, Acta Cybern..

Static consistency checking for Verilog wire interconnects

Jim Grundy, Cherif Salama, Gregory Malecha, 2011, High. Order Symb. Comput..

Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions

Jim Grundy, Cherif Salama, Gregory Malecha, 2009, PEPM '09.

Control Theory

Walid M. Taha, J. Thunberg, A. Taha, 2020, Cyber-Physical Systems: A Model-Based Approach.

Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract)

Marcia Kilchenman O'Malley, Robert Cartwright, Walid Taha, 2014, 2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS).

Mathematical equations as executable models of mechanical systems

Marcia Kilchenman O'Malley, Robert Cartwright, Cherif Salama, 2010, ICCPS '10.

Cyber Physical Systems. Model-Based Design: 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers

Walid Taha, Roger Chamberlain, Martin Edin Grimheden, 2020, CyPhy/WESE.

Implementing Haptic Feedback Environments from High-Level Descriptions

Marcia Kilchenman O'Malley, Walid Taha, Angela Yun Zhu, 2009, 2009 International Conference on Embedded Software and Systems.

DSL Implementation in MetaOCaml, Template Haskell, and C++

Krzysztof Czarnecki, John T. O'Donnell, Walid Taha, 2003, Domain-Specific Program Generation.

Synthesizable High Level Hardware Descriptions

Jim Grundy, Cherif Salama, Gregory Malecha, 2010, New Generation Computing.