Walid Taha
Orcid: 0000-0003-3160-9188Affiliations:
- Halmstad University, Sweden
According to our database1,
Walid Taha
authored at least 77 papers
between 1997 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on cs.rice.edu
On csauthors.net:
Bibliography
2023
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.
Proceedings of the Artificial Intelligence Applications and Innovations, 2021
Springer, ISBN: 978-3-030-36070-2, 2021
2020
2019
Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019
2018
Proceedings of the Cyber Physical Systems. Model-Based Design - 8th International Workshop, 2018
Proceedings of the Principles of Modeling, 2018
2017
Proceedings of the Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2017
2016
Proceedings of the 2016 Workshop on Embedded and Cyber-Physical Systems Education, 2016
Chattering-Free Simulation for Hybrid Dynamical Systems Semantics and Prototype Implementation.
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).
NII Shonan Meet. Rep., 2015
Proceedings of the Internet of Things. IoT Infrastructures, 2015
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015
2014
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014
Proceedings of the Mathematical Software - ICMS 2014, 2014
Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014
Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, 2014
2013
Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2013
Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, 2013
2012
Proceedings of the 2012 Eighth International Conference on Intelligent Environments, 2012
A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report).
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.
SIGBED Rev., 2011
Static consistency checking for Verilog wire interconnects - Using dependent types to check the sanity of Verilog descriptions.
High. Order Symb. Comput., 2011
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.
Proceedings of the IEEE 10th International Conference on Trust, 2011
Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011
2010
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2010
Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010
2009
Proceedings of the International Conference on Embedded Software and Systems, 2009
Proceedings of the International Conference on Embedded Software and Systems, 2009
Proceedings of the Programming Languages and Systems, 2009
2008
Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability.
Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008
2007
Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007
Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007
Proceedings of the Generative and Transformational Techniques in Software Engineering II, 2007
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007
Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007
2006
Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006
2004
Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004
Proceedings of the Embedded Software and Systems, First International Conference, 2004
Proceedings of the Embedded Software and Systems, First International Conference, 2004
Proceedings of the Programming Languages and Systems, 2004
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.
J. Funct. Program., 2003
J. Funct. Program., 2003
Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003
Proceedings of the Generative Programming and Component Engineering, 2003
Proceedings of the Generative Programming and Component Engineering, 2003
Proceedings of the Embedded Software, Third International Conference, 2003
Proceedings of the Domain-Specific Program Generation, International Seminar, 2003
Proceedings of the Domain-Specific Program Generation, International Seminar, 2003
2002
Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002
Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002
2001
Proceedings of the Programs as Data Objects, Second Symposium, 2001
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.
Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001
Proceedings of the Embedded Software, First International Workshop, 2001
2000
Theor. Comput. Sci., 2000
A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract).
Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), 2000
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000
1999
Proceedings of the Programming Languages and Systems, 1999
1998
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998
1997
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997
Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997