default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWalid Taha
Walid Mohamed Taha
Person information
- affiliation: Halmstad University, Sweden
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c63]Sundas Munir, Walid Taha, Mirza Sanam Iqbal Baig:
Static Detection of Missing Validations in Solidity Smart Contracts. CSR 2024: 413-420- 2023
- [c62]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: 629-644 - [i5]Sundas Munir, Walid Taha:
Pre-deployment Analysis of Smart Contracts - A Survey. CoRR abs/2301.06079 (2023) - 2021
- [b2]Walid Mohamed Taha
, Abd-Elhamid M. Taha, Johan Thunberg:
Cyber-Physical Systems: A Model-Based Approach. Springer 2021, ISBN 978-3-030-36070-2, pp. 1-187 - [c61]Sotirios Tzamaras, Stavros P. Adam, Walid Taha:
Intelligent Techniques and Hybrid Systems Experiments Using the Acumen Modeling and Simulation Environment. AIAI 2021: 531-542 - 2020
- [j13]Eugenio Moggi, Walid Taha, Johan Thunberg:
Sound Over-Approximation of Probabilities. Acta Cybern. 24(3): 269-285 (2020) - [e10]Roger D. Chamberlain, Martin Edin Grimheden, Walid Taha:
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. Lecture Notes in Computer Science 11971, Springer 2020, ISBN 978-3-030-41130-5 [contents]
2010 – 2019
- 2019
- [c60]Eugenio Moggi, Amin Farjudian, Walid Taha:
System Analysis and Robustness. ICTCS 2019: 1-7 - [e9]Roger D. Chamberlain, Walid Taha, Martin Törngren:
Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers. Lecture Notes in Computer Science 11267, Springer 2019, ISBN 978-3-030-17909-0 [contents] - [e8]Roger D. Chamberlain, Walid Taha, Martin Törngren:
Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11615, Springer 2019, ISBN 978-3-030-23702-8 [contents] - 2018
- [j12]Eugenio Moggi, Amin Farjudian, Adam Duracz, Walid Taha:
Safe & robust reachability analysis of hybrid systems. Theor. Comput. Sci. 747: 75-99 (2018) - [c59]Eugenio Moggi, Amin Farjudian, Walid Taha:
System Analysis and Robustness. Models, Mindsets, Meta 2018: 36-44 - [c58]Adam Duracz, Eugenio Moggi, Walid Taha, Zhenchao Lin:
A Semantic Account of Rigorous Simulation. Principles of Modeling 2018: 223-239 - [c57]Judicaël Marchand, Gaël Puissochet, Thomas Lithén, Walid Taha:
MicroITS: A Scaled-Down ITS Platform. CyPhy/WESE 2018: 214-221 - 2017
- [c56]Yingfu Zeng, Ferenc A. Bartha, Walid Taha:
Compile-Time Extensions to Hybrid ODEs. SNR@ETAPS 2017: 52-70 - [e7]Yuliya Lierler, Walid Taha:
Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings. Lecture Notes in Computer Science 10137, Springer 2017, ISBN 978-3-319-51675-2 [contents] - [i4]Eugenio Moggi, Amin Farjudian, Adam Duracz, Walid Taha:
Safe & Robust Reachability Analysis of Hybrid Systems. CoRR abs/1709.05658 (2017) - 2016
- [j11]Jun Inoue, Walid Taha:
Reasoning about multi-stage programs. J. Funct. Program. 26: e22 (2016) - [j10]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): 44-52 (2016) - [c55]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: 412-422 - [c54]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: 8:1-8:8 - 2015
- [c53]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: 1093-1096 - [c52]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: 118-130 - [i3]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) - 2014
- [j9]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) - [c51]Walid Taha, Robert Cartwright, Roland Philippsen, Yingfu Zeng:
Developing A First Course on Cyber-Physical Systems. WESE 2014: 6:1-6:8 - [c50]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: 550-557 - [c49]Jan Duracz, Amin Farjudian, Michal Konecný, Walid Taha:
Function Interval Arithmetic. ICMS 2014: 677-684 - [e6]Ralf Lämmel, Walid Taha:
Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin, Germany, April 14-17, 2014. ACM 2014, ISBN 978-1-4503-2871-5 [contents] - [i2]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 abs/1408.1110 (2014) - 2013
- [c48]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: 120-125 - [c47]Walid Taha:
Invited Talk: Enclosing Hybrid Behavior. EOOLT 2013: 3 - [i1]Walid Taha, Roland Philippsen:
Modeling Basic Aspects of Cyber-Physical Systems. CoRR abs/1303.2792 (2013) - 2012
- [c46]Jun Inoue, Walid Taha:
Reasoning about Multi-stage Programs. ESOP 2012: 357-376 - [c45]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: 303-308 - [c44]Julien Bruneau, Charles Consel, Marcia K. O'Malley, Walid Taha, Wail Masry Hannourah:
Virtual Testing for Smart Buildings. Intelligent Environments 2012: 282-289 - 2011
- [j8]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): 81-114 (2011) - [j7]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): 39-43 (2011) - [c43]Walid Taha, Robert Cartwright:
The trouble with real numbers (Invited paper). GI-Jahrestagung 2011: 325 - [c42]Chaitanya Belwal, Albert M. K. Cheng, Walid Taha:
Release Offset Bounds for Response Time Analysis of P-FRP Using Exhaustive Enumeration. TrustCom 2011: 950-957 - [c41]Walid Taha, Verónica Gaspes, Rex L. Page:
Accurate Programming: Thinking about programs in terms of properties. DSL 2011: 236-260 - 2010
- [j6]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): 339-369 (2010) - [c40]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: 1-11 - [c39]Julien Bruneau, Charles Consel, Marcia K. O'Malley, Walid Taha, Wail Masry Hannourah:
Preliminary Results in Virtual Testing for Smart Buildings. MobiQuitous 2010: 347-349 - [c38]Edwin M. Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha:
Mint: Java multi-stage programming using weak separability. PLDI 2010: 400-411
2000 – 2009
- 2009
- [c37]Jeremy G. Siek, Ronald Garcia, Walid Taha:
Exploring the Design Space of Higher-Order Casts. ESOP 2009: 17-31 - [c36]Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek:
In Pursuit of Real Answers. ICESS 2009: 115-122 - [c35]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: 482-489 - [c34]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: 121-130 - [e5]Walid Mohamed Taha:
Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings. Lecture Notes in Computer Science 5658, Springer 2009, ISBN 978-3-642-03033-8 [contents] - [e4]Tianzhou Chen, Dimitrios N. Serpanos, Walid Taha:
International Conference on Embedded Software and Systems, ICESS '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009. IEEE Computer Society 2009, ISBN 978-0-7695-3678-1 [contents] - 2008
- [c33]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: 41-50 - 2007
- [j5]Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha:
Implicitly Heterogeneous Multi-Stage Programming. New Gener. Comput. 25(3): 305-336 (2007) - [c32]Jeremy G. Siek, Walid Taha:
Gradual Typing for Objects. ECOOP 2007: 2-27 - [c31]Roumen Kaiabachev, Walid Taha, Angela Yun Zhu:
E-FRP with priorities. EMSOFT 2007: 221-230 - [c30]Walid Taha:
A Gentle Introduction to Multi-stage Programming, Part II. GTTSE 2007: 260-290 - [c29]Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha:
Concoqtion: indexed types now! PEPM 2007: 112-121 - [c28]Stephan Ellner, Walid Taha:
The semantics of graphical languages. PEPM 2007: 122-133 - 2006
- [j4]Christian Lengauer, Walid Taha:
Preface. Sci. Comput. Program. 62(1): 1-2 (2006) - [c27]Jeremy G. Siek, Walid Taha:
A Semantic Analysis of C++ Templates. ECOOP 2006: 304-327 - [c26]Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic:
A monadic approach for avoiding code duplication when staging memoized functions. PEPM 2006: 160-169 - 2005
- [c25]Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha:
Implicitly Heterogeneous Multi-stage Programming. GPCE 2005: 275-292 - 2004
- [c24]Oleg Kiselyov, Kedar N. Swadi, Walid Taha:
A methodology for generating verified combinatorial circuits. EMSOFT 2004: 249-258 - [c23]Cristiano Calcagno, Eugenio Moggi, Walid Taha:
ML-Like Inference for Classifiers. ESOP 2004: 79-93 - [c22]Walid Taha:
Resource-Aware Programming. ICESS 2004: 38-43 - [c21]Oleg Kiselyov, Walid Taha:
Relating FFTW and Split-Radix. ICESS 2004: 488-493 - [c20]Miguel Guerrero, Edward Pizzi, Robert Rosenbaum, Kedar N. Swadi, Walid Taha:
Implementing DSLs in metaOCaml. OOPSLA Companion 2004: 41-42 - 2003
- [j3]Walid Taha:
Semantics, Applications, and Implementation of Program Generation. J. Funct. Program. 13(3): 453-454 (2003) - [j2]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): 829-831 (2003) - [c19]Walid Taha:
A Gentle Introduction to Multi-stage Programming. Domain-Specific Program Generation 2003: 30-50 - [c18]Krzysztof Czarnecki, John T. O'Donnell, Jörg Striegnitz, Walid Taha:
DSL Implementation in MetaOCaml, Template Haskell, and C++. Domain-Specific Program Generation 2003: 51-72 - [c17]Walid Taha, Stephan Ellner, Hongwei Xi:
Generating Heap-Bounded Programs in a Functional Setting. EMSOFT 2003: 340-355 - [c16]Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy:
Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection. GPCE 2003: 57-76 - [c15]Walid Taha, Patricia Johann:
Staged Notational Definitions. GPCE 2003: 97-116 - [c14]Walid Taha, Michael Florentin Nielsen:
Environment classifiers. POPL 2003: 26-37 - 2002
- [c13]Emir Pasalic, Walid Taha, Tim Sheard:
Tagless staged interpreters for typed languages. ICFP 2002: 218-229 - [c12]Zhanyong Wan, Walid Taha, Paul Hudak:
Event-Driven FRP. PADL 2002: 155-172 - [c11]Karol Ostrovsky, K. V. S. Prasad, Walid Taha:
Towards a primitive higher order calculus of broadcasting systems. PPDP 2002: 2-13 - [e3]Don S. Batory, Charles Consel, Walid Taha:
Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings. Lecture Notes in Computer Science 2487, Springer 2002, ISBN 3-540-44284-7 [contents] - 2001
- [c10]Walid Taha, Paul Hudak, Zhanyong Wan:
Directions in Functional Programming for Real(-Time) Applications. EMSOFT 2001: 185-203 - [c9]Steven E. Ganz, Amr Sabry, Walid Taha:
Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML. ICFP 2001: 74-85 - [c8]Zhanyong Wan, Walid Taha, Paul Hudak:
Real-Time FRP. ICFP 2001: 146-156 - [c7]Walid Taha, Henning Makholm, John Hughes:
Tag Elimination and Jones-Optimality. PADO 2001: 257-275 - [e2]Walid Taha:
Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings. Lecture Notes in Computer Science 2196, Springer 2001, ISBN 3-540-42558-6 [contents] - 2000
- [j1]Walid Taha, Tim Sheard:
MetaML and multi-stage programming with explicit annotations. Theor. Comput. Sci. 248(1-2): 211-242 (2000) - [c6]Cristiano Calcagno, Eugenio Moggi, Walid Taha:
Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming. ICALP 2000: 25-36 - [c5]Walid Taha:
A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract). PEPM 2000: 34-43 - [e1]Walid Taha:
Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings. Lecture Notes in Computer Science 1924, Springer 2000, ISBN 3-540-41054-6 [contents]
1990 – 1999
- 1999
- [b1]Walid Taha:
Multi-Stage Programming: Its Theory and Applications. Halmstad University, Sweden, 1999 - [c4]Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard:
An Idealized MetaML: Simpler, and More Expressive. ESOP 1999: 193-207 - 1998
- [c3]Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard:
Multi-Stage Programming: Axiomatization and Type Safety. ICALP 1998: 918-929 - 1997
- [c2]Walid Taha, Tim Sheard:
Multi-Stage Programming. ICFP 1997: 321 - [c1]Walid Taha, Tim Sheard:
Multi-Stage Programming with Explicit Annotations. PEPM 1997: 203-217
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
