Browse wiki

From CERES
Jump to: navigation, search
Walid Taha
Affiliation Halmstad University, CERES, EMG Group, Rice University +
FamilyName Taha  +
GivenName Walid  +
Img WalidTaha.jpg  +
Office F 326  +
Person Walid Taha +
Phone +46-35-16-71-22  +
Ptitle PhD, Eng  +
Role Professor  +
Url http://ceres.hh.se  +
Has queryThis property is a special property in this wiki. Walid Taha + , Walid Taha + , Walid Taha + , Walid Taha + , Walid Taha + , Walid Taha + , Walid Taha + , Walid Taha + , Walid Taha + , Walid Taha + , Walid Taha + , Walid Taha + , Walid Taha + , Walid Taha + , Walid Taha + , Walid Taha +
Categories Only pages in namespace "Category" are allowed here. , Person  +
Modification dateThis property is a special property in this wiki. 23 June 2014 09:22:17  +
Page has default formThis property is a special property in this wiki. CreatePerson  +
EmailThis property is a special property in this wiki. walid.taha@hh.se  +
hide properties that link here 
Publications:A Core Language for Executable Models of Cyber Physical Systems : work in progress report + , Publications:A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) + , Publications:A First Course on Cyber Physical Systems + , Publications:A Gentle Introduction to Multi-stage Programming, Part II + , Publications:A Methodology for Generating Verified Combinatorial Circuits + , Publications:A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions + , Publications:A New Approach to Data Mining for Software Design + , Publications:A Semantic Analysis of C++ Templates + , Publications:A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. : Or, the Theory of MetaML is Non-trivial + , Publications:Accurate Programming : Thinking about programs in terms of properties + , Publications:Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming + , Publications:Concoqtion : Indexed Types Now! + , Publications:DSL Implementation in MetaOCaml, Template Haskell, and C++ + , Publications:DSLs Should be Online Applications + , Publications:Dependable Automotive Systems based on Model Certified Components + , Publications:Directions in Functional Programming for Real(-Time) Applications + , Publications:Domain-Specific Languages + , Publications:E-FRP with Priorities + , Publications:Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point + , Publications:Environment Classifiers + … Author
Walid Taha + Person
Acumen Robot Model Series + , Auto Generation of Embedded Controllers from High Level Specification + , Bridging the Gap between Acumen and Modelica + , Building a visual Truck model in CANoe + , Compiling Simulation Code + , Dynamic Unit Checking + , Forward and Reverse Simulation + , Interactive Simulation + , Modeling Humanoid Robots + , Modeling Quadcopters + , Modeling and Validation of PIE + , Modeling with Optimization + , Next Gen 3D Ping Pong Model + , Old Name of the new project + , Random Testing of Simulation Languages + , SmartC + , Syntax for Modeling Languages + , Testing Numerical Code + , Using stock devices for unobtrusive fall detection + , Visualization for Enclosures + … Supervisors
 

 

Enter the name of the page to start browsing from.
Retrieved from "https://wiki.hh.se/ceres/index.php/Special:Browse/Walid-20Taha"