Walid Taha

According to our database, Walid Taha authored at least 78 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Static Detection of Missing Validations in Solidity Smart Contracts.

Sundas Munir, Walid Taha, Mirza Sanam Iqbal Baig

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2024

2023

Pre-deployment Analysis of Smart Contracts - A Survey.

Sundas Munir, Walid Taha

CoRR, 2023

Practical Intent-driven Routing Configuration Synthesis.

Sivaramakrishnan Ramanathan, Ying Zhang, Mohab Gawish, Yogesh Mundada, Zhaodong Wang, Sangki Yun, Eric Lippert, Walid Taha, Minlan Yu, Jelena Mirkovic

Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

2021

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

Sotirios Tzamaras, Stavros P. Adam, Walid Taha

Proceedings of the Artificial Intelligence Applications and Innovations, 2021

Cyber-Physical Systems: A Model-Based Approach

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

Springer, ISBN: 978-3-030-36070-2, 2021

2020

Sound Over-Approximation of Probabilities.

Eugenio Moggi, Walid Taha, Johan Thunberg

Acta Cybern., 2020

2019

System Analysis and Robustness.

Eugenio Moggi, Amin Farjudian, Walid Taha

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

2018

Safe & robust reachability analysis of hybrid systems.

Eugenio Moggi, Amin Farjudian, Adam Duracz, Walid Taha

Theor. Comput. Sci., 2018

MicroITS: A Scaled-Down ITS Platform.

Judicaël Marchand, Gaël Puissochet, Thomas Lithén, Walid Taha

Proceedings of the Cyber Physical Systems. Model-Based Design - 8th International Workshop, 2018

A Semantic Account of Rigorous Simulation.

Adam Duracz, Eugenio Moggi, Walid Taha, Zhenchao Lin

Proceedings of the Principles of Modeling, 2018

2017

Compile-Time Extensions to Hybrid ODEs.

Yingfu Zeng, Ferenc A. Bartha, Walid Taha

Proceedings of the Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2017

2016

Developing a first course on cyber-physical systems.

Walid Taha, Yingfu Zeng, Adam Duracz, Fei Xu, Kevin Atkinson, Paul Brauner, Robert Cartwright, Roland Philippsen

SIGBED Rev., 2016

Reasoning about multi-stage programs.

Jun Inoue, Walid Taha

J. Funct. Program., 2016

Flipping a first course on cyber-physical systems: an experience report.

Walid Taha, Lars-Göran Hedstrom, Fei Xu, Adam Duracz, Ferenc A. Bartha, Yingfu Zeng, Jennifer David, Gaurav Gunjan

Proceedings of the 2016 Workshop on Embedded and Cyber-Physical Systems Education, 2016

Chattering-Free Simulation for Hybrid Dynamical Systems Semantics and Prototype Implementation.

Ayman Aljarbouh, Yingfu Zeng, Adam Duracz, Benoît Caillaud, Walid Taha

Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

2015

Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14).

Daisuke Ishii, Kohei Suenaga, Walid Taha

NII Shonan Meet. Rep., 2015

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

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

Proceedings of the Internet of Things. IoT Infrastructures, 2015

Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment.

Adam Duracz, Henrik Eriksson, Ferenc A. Bartha, Fei Xu, Yingfu Zeng, Walid Taha

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

2014

Conformance Testing of Cyber-Physical Systems: A Comparative Study.

Morteza Mohaqeqi, Mohammad Reza Mousavi, Walid Taha

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Modeling Basic Aspects of Cyber-Physical Systems, Part II.

Yingfu Zeng, Chad G. Rose, Paul Brauner, Walid Taha, Jawad Masood, Roland Philippsen, Marcia K. O'Malley, Robert Cartwright

CoRR, 2014

Function Interval Arithmetic.

Jan Duracz, Amin Farjudian, Michal Konecný, Walid Taha

Proceedings of the Mathematical Software - ICMS 2014, 2014

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

Yingfu Zeng, Chad G. Rose, Paul Brauner, Walid Taha, Jawad Masood, Roland Philippsen, Marcia Kilchenman O'Malley, Robert Cartwright

Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

Developing A First Course on Cyber-Physical Systems.

Walid Taha, Robert Cartwright, Roland Philippsen, Yingfu Zeng

Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, 2014

2013

Modeling Basic Aspects of Cyber-Physical Systems

Walid Taha, Roland Philippsen

CoRR, 2013

Invited Talk: Enclosing Hybrid Behavior.

Walid Taha

Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2013

Enclosing the behavior of a hybrid system up to and beyond a Zeno point.

Michal Konecný, Walid Taha, Jan Duracz, Adam Duracz, Aaron D. Ames

Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, 2013

2012

Virtual Testing for Smart Buildings.

Julien Bruneau, Charles Consel, Marcia K. O'Malley, Walid Taha, Wail Masry Hannourah

Proceedings of the 2012 Eighth International Conference on Intelligent Environments, 2012

A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report).

Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Verónica Gaspes, Aaron D. Ames, Alexandre Chapoutot

Proceedings of the 32nd International Conference on Distributed Computing Systems Workshops (ICDCS 2012 Workshops), 2012

2011

A core language for executable models of cyber physical systems: work in progress report.

Walid Taha, Paul Brauner, Robert Cartwright, Verónica Gaspes, Aaron D. Ames, Alexandre Chapoutot

SIGBED Rev., 2011

Static consistency checking for Verilog wire interconnects - Using dependent types to check the sanity of Verilog descriptions.

Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary

High. Order Symb. Comput., 2011

Accurate Programming: Thinking about programs in terms of properties

Walid Taha, Verónica Gaspes, Rex L. Page

Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011

Release Offset Bounds for Response Time Analysis of P-FRP Using Exhaustive Enumeration.

Chaitanya Belwal, Albert M. K. Cheng, Walid Taha

Proceedings of the IEEE 10th International Conference on Trust, 2011

The trouble with real numbers (Invited paper).

Walid Taha, Robert Cartwright

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

2010

Synthesizable High Level Hardware Descriptions.

Jennifer Gillenwater, Gregory Malecha, Cherif R. Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary

New Gener. Comput., 2010

Mint: Java multi-stage programming using weak separability.

Edwin M. Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Preliminary Results in Virtual Testing for Smart Buildings.

Julien Bruneau, Charles Consel, Marcia K. O'Malley, Walid Taha, Wail Masry Hannourah

Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2010

Mathematical equations as executable models of mechanical systems.

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

Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

2009

In Pursuit of Real Answers.

Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek

Proceedings of the International Conference on Embedded Software and Systems, 2009

Implementing Haptic Feedback Environments from High-Level Descriptions.

Angela Yun Zhu, Jun Inoue, Marisa Linnea Peralta, Walid Taha, Marcia K. O'Malley, Dane Powell

Proceedings of the International Conference on Embedded Software and Systems, 2009

Exploring the Design Space of Higher-Order Casts.

Jeremy G. Siek, Ronald Garcia, Walid Taha

Proceedings of the Programming Languages and Systems, 2009

2008

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

Jennifer Gillenwater, Gregory Malecha, Cherif R. Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

2007

Implicitly Heterogeneous Multi-Stage Programming.

Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha

New Gener. Comput., 2007

Concoqtion: indexed types now!

Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha

Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

The semantics of graphical languages.

Stephan Ellner, Walid Taha

Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

A Gentle Introduction to Multi-stage Programming, Part II.

Walid Taha

Proceedings of the Generative and Transformational Techniques in Software Engineering II, 2007

E-FRP with priorities.

Roumen Kaiabachev, Walid Taha, Angela Yun Zhu

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

Gradual Typing for Objects.

Jeremy G. Siek, Walid Taha

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

2006

Preface.

Christian Lengauer, Walid Taha

Sci. Comput. Program., 2006

A monadic approach for avoiding code duplication when staging memoized functions.

Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

A Semantic Analysis of C++ Templates.

Jeremy G. Siek, Walid Taha

Proceedings of the ECOOP 2006, 2006

2004

Implementing DSLs in metaOCaml.

Miguel Guerrero, Edward Pizzi, Robert Rosenbaum, Kedar N. Swadi, Walid Taha

Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Resource-Aware Programming.

Walid Taha

Proceedings of the Embedded Software and Systems, First International Conference, 2004

Relating FFTW and Split-Radix.

Oleg Kiselyov, Walid Taha

Proceedings of the Embedded Software and Systems, First International Conference, 2004

ML-Like Inference for Classifiers.

Cristiano Calcagno, Eugenio Moggi, Walid Taha

Proceedings of the Programming Languages and Systems, 2004

A methodology for generating verified combinatorial circuits.

Oleg Kiselyov, Kedar N. Swadi, Walid Taha

Proceedings of the EMSOFT 2004, 2004

2003

"Essentials of Programming Languages" (2nd ed) by Daniel P. Friedman, Mitchell Wand and Christopher T. Haynes, MIT Press, ISBN 0-262-06217-8, 2001.

Walid Taha

J. Funct. Program., 2003

Semantics, Applications, and Implementation of Program Generation.

Walid Taha

J. Funct. Program., 2003

Environment classifiers.

Walid Taha, Michael Florentin Nielsen

Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

Staged Notational Definitions.

Walid Taha, Patricia Johann

Proceedings of the Generative Programming and Component Engineering, 2003

Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection.

Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy

Proceedings of the Generative Programming and Component Engineering, 2003

Generating Heap-Bounded Programs in a Functional Setting.

Walid Taha, Stephan Ellner, Hongwei Xi

Proceedings of the Embedded Software, Third International Conference, 2003

A Gentle Introduction to Multi-stage Programming.

Walid Taha

Proceedings of the Domain-Specific Program Generation, International Seminar, 2003

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

Krzysztof Czarnecki, John T. O'Donnell, Jörg Striegnitz, Walid Taha

Proceedings of the Domain-Specific Program Generation, International Seminar, 2003

2002

Towards a primitive higher order calculus of broadcasting systems.

Karol Ostrovsky, K. V. S. Prasad, Walid Taha

Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

Event-Driven FRP.

Zhanyong Wan, Walid Taha, Paul Hudak

Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

Tagless staged interpreters for typed languages.

Emir Pasalic, Walid Taha, Tim Sheard

Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

2001

Tag Elimination and Jones-Optimality.

Walid Taha, Henning Makholm, John Hughes

Proceedings of the Programs as Data Objects, Second Symposium, 2001

Real-Time FRP.

Zhanyong Wan, Walid Taha, Paul Hudak

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML.

Steven E. Ganz, Amr Sabry, Walid Taha

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

Directions in Functional Programming for Real(-Time) Applications.

Walid Taha, Paul Hudak, Zhanyong Wan

Proceedings of the Embedded Software, First International Workshop, 2001

2000

MetaML and multi-stage programming with explicit annotations.

Walid Taha, Tim Sheard

Theor. Comput. Sci., 2000

A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract).

Walid Taha

Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), 2000

Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming.

Cristiano Calcagno, Eugenio Moggi, Walid Taha

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

1999

Multi-Stage Programming: Its Theory and Applications.

Walid Taha

PhD thesis, 1999

An Idealized MetaML: Simpler, and More Expressive.

Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard

Proceedings of the Programming Languages and Systems, 1999

1998

Multi-Stage Programming: Axiomatization and Type Safety.

Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

1997

Multi-Stage Programming with Explicit Annotations.

Walid Taha, Tim Sheard

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997

Multi-Stage Programming.

Walid Taha, Tim Sheard

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997