Walid Taha

发表

Static consistency checking for Verilog wire interconnects

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

Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability

Jim Grundy, Cherif Salama, Gregory Malecha, 2008, PEPM '08.

EUC 2011: Message from the program committee chairs

Yang Xiang, Walid Taha, Hua Wang, 2011, EUC 2011.

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.

Acumen: An Open-Source Testbed for Cyber-Physical Systems Research

Marcia Kilchenman O'Malley, Fei Xu, Robert Cartwright, 2015, IoT 360.

Virtual Testing for Smart Buildings

Marcia Kilchenman O'Malley, Walid Taha, Julien Bruneau, 2012, 2012 Eighth International Conference on Intelligent Environments.

Mathematical equations as executable models of mechanical systems

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

A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trivial (preliminary Report)

Walid Taha, 1999 .

Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

Yuliya Lierler, Walid Taha, 2017, PADL.

Synthesizable High Level Hardware Descriptions

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

Developing a first course on cyber-physical systems

Fei Xu, Robert Cartwright, Walid Taha, 2016, SIGBED Rev..

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.

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).

Cyber Physical Systems. Model-Based Design

Martin Törngren, Walid Taha, Roger Chamberlain, 2018, Lecture Notes in Computer Science.

Preliminary Results in Virtual Testing for Smart Buildings

Marcia Kilchenman O'Malley, Walid Taha, Julien Bruneau, 2010, MobiQuitous.

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

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

Sound Over-Approximation of Probabilities

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

On using an OODBMS in a CASE environment

Walid Taha, 1995 .

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.

Modeling Electromechanical Aspects of Cyber-Physical Systems

Robert Cartwright, Marcia K. O'Malley, Walid Taha, 2016 .

Multi-Stage Programming.

Walid Taha, Tim Sheard, 1997, ICFP 1997.

Intelligent Techniques and Hybrid Systems Experiments Using the Acumen Modeling and Simulation Environment

Walid Taha, Sotirios Tzamaras, Stavros Adam, 2021, AIAI.

Picard Method for Enclosing ODEs with Uncertain Initial Values

Walid Taha, Amin Farjudian, Jan Duracz, 2014 .