Walid Taha

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 15

Top Topics

Reachability Analysis

Extended Abstract

Top Venues

Publications

Sundas Munir, Walid Taha
Pre-deployment Analysis of Smart Contracts - A Survey. CoRR (2023)
Sivaramakrishnan Ramanathan, Ying Zhang, Mohab Gawish, Yogesh Mundada, Zhaodong Wang, Sangki Yun, Eric Lippert, Walid Taha, Minlan Yu, Jelena Mirkovic
Practical Intent-driven Routing Configuration Synthesis. NSDI (2023)
Sotirios Tzamaras, Stavros Adam, Walid Taha
Intelligent Techniques and Hybrid Systems Experiments Using the Acumen Modeling and Simulation Environment. AIAI (2021)
Eugenio Moggi, Walid Taha, Johan Thunberg
Sound Over-Approximation of Probabilities. Acta Cybern. 24 (3) (2020)
Eugenio Moggi, Amin Farjudian, Walid Taha
System Analysis and Robustness. ICTCS (2019)
Eugenio Moggi, Amin Farjudian, Walid Taha
System Analysis and Robustness. Models, Mindsets, Meta (2018)
Eugenio Moggi, Amin Farjudian, Adam Duracz, Walid Taha
Safe & robust reachability analysis of hybrid systems. Theor. Comput. Sci. 747 (2018)
Adam Duracz, Eugenio Moggi, Walid Taha, Zhenchao Lin
A Semantic Account of Rigorous Simulation. Principles of Modeling (2018)
Judicaël Marchand, Gaël Puissochet, Thomas Lithén, Walid Taha
MicroITS: A Scaled-Down ITS Platform. CyPhy/WESE (2018)
Eugenio Moggi, Amin Farjudian, Adam Duracz, Walid Taha
Safe & Robust Reachability Analysis of Hybrid Systems. CoRR (2017)
Yingfu Zeng, Ferenc A. Bartha, Walid Taha
Compile-Time Extensions to Hybrid ODEs. SNR@ETAPS (2017)
Jun Inoue, Walid Taha
Reasoning about multi-stage programs. J. Funct. Program. 26 (2016)
Ayman Aljarbouh, Yingfu Zeng, Adam Duracz, Benoît Caillaud, Walid Taha
Chattering-Free Simulation for Hybrid Dynamical Systems Semantics and Prototype Implementation. CSE/EUC/DCABES (2016)
Walid Taha, Lars-Göran Hedstrom, Fei Xu, Adam Duracz, Ferenc A. Bartha, Yingfu Zeng, Jennifer David, Gaurav Gunjan
Flipping a first course on cyber-physical systems: an experience report. WESE (2016)
Walid Taha, Yingfu Zeng, Adam Duracz, Fei Xu, Kevin Atkinson, Paul Brauner, Robert Cartwright, Roland Philippsen
Developing a first course on cyber-physical systems. SIGBED Rev. 14 (1) (2016)
Walid Taha, Adam Duracz, Yingfu Zeng, Kevin Atkinson, Ferenc A. Bartha, Paul Brauner, Jan Duracz, Fei Xu, Robert Cartwright, Michal Konecný, Eugenio Moggi, Jawad Masood, Pererik Andreasson, Jun Inoue, Anita Pinheiro Sant'Anna, Roland Philippsen, Alexandre Chapoutot, Marcia O'Malley, Aaron D. Ames, Verónica Gaspes, Lise Hvatum, Shyam Mehta, Henrik Eriksson, Christian Grante
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research. IoT 360 (1) (2015)
Adam Duracz, Henrik Eriksson, Ferenc A. Bartha, Fei Xu, Yingfu Zeng, Walid Taha
Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment. HPCC/CSS/ICESS (2015)
Daisuke Ishii, Kohei Suenaga, Walid Taha
Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14). NII Shonan Meet. Rep. 2015 (2015)
Yingfu Zeng, Chad G. Rose, Paul Brauner, Walid Taha, Jawad Masood, Roland Philippsen, Marcia K. O'Malley, Robert Cartwright
Modeling Basic Aspects of Cyber-Physical Systems, Part II. CoRR (2014)
Morteza Mohaqeqi, Mohammad Reza Mousavi, Walid Taha
Conformance Testing of Cyber-Physical Systems: A Comparative Study. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
Yingfu Zeng, Chad G. Rose, Paul Brauner, Walid Taha, Jawad Masood, Roland Philippsen, Marcia Kilchenman O'Malley, Robert Cartwright
Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract). HPCC/CSS/ICESS (2014)
Walid Taha, Robert Cartwright, Roland Philippsen, Yingfu Zeng
Developing A First Course on Cyber-Physical Systems. WESE (2014)
Jan Duracz, Amin Farjudian, Michal Konecný, Walid Taha
Function Interval Arithmetic. ICMS (2014)
Walid Taha
Invited Talk: Enclosing Hybrid Behavior. EOOLT (2013)
Michal Konecný, Walid Taha, Jan Duracz, Adam Duracz, Aaron D. Ames
Enclosing the behavior of a hybrid system up to and beyond a Zeno point. CPSNA (2013)
Walid Taha, Roland Philippsen
Modeling Basic Aspects of Cyber-Physical Systems CoRR (2013)
Jun Inoue, Walid Taha
Reasoning about Multi-stage Programs. ESOP (2012)
Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Verónica Gaspes, Aaron D. Ames, Alexandre Chapoutot
A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report). ICDCS Workshops (2012)
Julien Bruneau, Charles Consel, Marcia K. O'Malley, Walid Taha, Wail Masry Hannourah
Virtual Testing for Smart Buildings. Intelligent Environments (2012)
Walid Taha, Robert Cartwright
The trouble with real numbers (Invited paper). GI-Jahrestagung (2011)
Walid Taha, Paul Brauner, Robert Cartwright, Verónica Gaspes, Aaron D. Ames, Alexandre Chapoutot
A core language for executable models of cyber physical systems: work in progress report. SIGBED Rev. 8 (2) (2011)
Walid Taha, Verónica Gaspes, Rex L. Page
Accurate Programming: Thinking about programs in terms of properties DSL (2011)
Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary
Static consistency checking for Verilog wire interconnects - Using dependent types to check the sanity of Verilog descriptions. High. Order Symb. Comput. 24 (1-2) (2011)
Chaitanya Belwal, Albert M. K. Cheng, Walid Taha
Release Offset Bounds for Response Time Analysis of P-FRP Using Exhaustive Enumeration. TrustCom (2011)
Jennifer Gillenwater, Gregory Malecha, Cherif R. Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary
Synthesizable High Level Hardware Descriptions. New Gener. Comput. 28 (4) (2010)
Edwin M. Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha
Mint: Java multi-stage programming using weak separability. PLDI (2010)
Julien Bruneau, Charles Consel, Marcia K. O'Malley, Walid Taha, Wail Masry Hannourah
Preliminary Results in Virtual Testing for Smart Buildings. MobiQuitous (2010)
Angela Yun Zhu, Edwin M. Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif R. Salama, Marisa Linnea Peralta, Travis Martin, Walid Taha, Marcia K. O'Malley, Robert Cartwright, Aaron D. Ames, Raktim Bhattacharya
Mathematical equations as executable models of mechanical systems. ICCPS (2010)
Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek
In Pursuit of Real Answers. ICESS (2009)
Angela Yun Zhu, Jun Inoue, Marisa Linnea Peralta, Walid Taha, Marcia K. O'Malley, Dane Powell
Implementing Haptic Feedback Environments from High-Level Descriptions. ICESS (2009)
Jeremy G. Siek, Ronald Garcia, Walid Taha
Exploring the Design Space of Higher-Order Casts. ESOP (2009)
Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary
Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. PEPM (2009)
Jennifer Gillenwater, Gregory Malecha, Cherif R. Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary
Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability. PEPM (2008)
Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha
Concoqtion: indexed types now! PEPM (2007)
Roumen Kaiabachev, Walid Taha, Angela Yun Zhu
E-FRP with priorities. EMSOFT (2007)
Stephan Ellner, Walid Taha
The semantics of graphical languages. PEPM (2007)
Walid Taha
A Gentle Introduction to Multi-stage Programming, Part II. GTTSE (2007)
Jeremy G. Siek, Walid Taha
Gradual Typing for Objects. ECOOP (2007)
Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha
Implicitly Heterogeneous Multi-Stage Programming. New Gener. Comput. 25 (3) (2007)
Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic
A monadic approach for avoiding code duplication when staging memoized functions. PEPM (2006)
Jeremy G. Siek, Walid Taha
A Semantic Analysis of C++ Templates. ECOOP (2006)
Christian Lengauer, Walid Taha
Preface. Sci. Comput. Program. 62 (1) (2006)
Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha
Implicitly Heterogeneous Multi-stage Programming. GPCE (2005)
Miguel Guerrero, Edward Pizzi, Robert Rosenbaum, Kedar N. Swadi, Walid Taha
Implementing DSLs in metaOCaml. OOPSLA Companion (2004)
Oleg Kiselyov, Walid Taha
Relating FFTW and Split-Radix. ICESS (2004)
Cristiano Calcagno, Eugenio Moggi, Walid Taha
ML-Like Inference for Classifiers. ESOP (2004)
Oleg Kiselyov, Kedar N. Swadi, Walid Taha
A methodology for generating verified combinatorial circuits. EMSOFT (2004)
Walid Taha
Resource-Aware Programming. ICESS (2004)
Walid Taha
Semantics, Applications, and Implementation of Program Generation. J. Funct. Program. 13 (3) (2003)
Walid Taha, Stephan Ellner, Hongwei Xi
Generating Heap-Bounded Programs in a Functional Setting. EMSOFT (2003)
Walid Taha, Patricia Johann
Staged Notational Definitions. GPCE (2003)
Walid Taha
A Gentle Introduction to Multi-stage Programming. Domain-Specific Program Generation (2003)
Walid Taha
"Essentials of Programming Languages" (2nd ed) by Daniel P. Friedman, Mitchell Wand and Christopher T. Haynes, MIT Press, ISBN 0-262-06217-8, 2001. J. Funct. Program. 13 (4) (2003)
Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy
Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection. GPCE (2003)
Walid Taha, Michael Florentin Nielsen
Environment classifiers. POPL (2003)
Krzysztof Czarnecki, John T. O'Donnell, Jörg Striegnitz, Walid Taha
DSL Implementation in MetaOCaml, Template Haskell, and C++. Domain-Specific Program Generation (2003)
Zhanyong Wan, Walid Taha, Paul Hudak
Event-Driven FRP. PADL (2002)
Karol Ostrovsky, K. V. S. Prasad, Walid Taha
Towards a primitive higher order calculus of broadcasting systems. PPDP (2002)
Emir Pasalic, Walid Taha, Tim Sheard
Tagless staged interpreters for typed languages. ICFP (2002)
Walid Taha, Henning Makholm, John Hughes
Tag Elimination and Jones-Optimality. PADO (2001)
Steven E. Ganz, Amr Sabry, Walid Taha
Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML. ICFP (2001)
Walid Taha, Paul Hudak, Zhanyong Wan
Directions in Functional Programming for Real(-Time) Applications. EMSOFT (2001)
Zhanyong Wan, Walid Taha, Paul Hudak
Real-Time FRP. ICFP (2001)
Cristiano Calcagno, Eugenio Moggi, Walid Taha
Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming. ICALP (2000)
Walid Taha
A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract). PEPM (2000)
Walid Taha, Tim Sheard
MetaML and multi-stage programming with explicit annotations. Theor. Comput. Sci. 248 (1-2) (2000)
Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard
An Idealized MetaML: Simpler, and More Expressive. ESOP (1999)
Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard
Multi-Stage Programming: Axiomatization and Type Safety. ICALP (1998)
Walid Taha, Tim Sheard
Multi-Stage Programming. ICFP (1997)
Walid Taha, Tim Sheard
Multi-Stage Programming with Explicit Annotations. PEPM (1997)