| Intelligent Techniques and Hybrid Systems Experiments Using the Acumen Modeling and Simulation Environment. | 0 | 0.34 | 2021 |
| 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 | 0 | 0.34 | 2020 |
| Sound Over-Approximation of Probabilities | 0 | 0.34 | 2020 |
| 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 | 0 | 0.34 | 2019 |
| System Analysis and Robustness. | 0 | 0.34 | 2019 |
| Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers | 0 | 0.34 | 2019 |
| A Semantic Account of Rigorous Simulation. | 0 | 0.34 | 2018 |
| MicroITS - A Scaled-Down ITS Platform. | 0 | 0.34 | 2018 |
| Safe & Robust Reachability Analysis of Hybrid Systems. | 0 | 0.34 | 2018 |
| Compile-Time Extensions To Hybrid Odes | 0 | 0.34 | 2017 |
| Compile-Time Extensions to Hybrid ODEs. | 0 | 0.34 | 2017 |
| Flipping a first course on cyber-physical systems: an experience report. | 0 | 0.34 | 2016 |
| Chattering-Free Simulation for Hybrid Dynamical Systems Semantics and Prototype Implementation | 0 | 0.34 | 2016 |
| Developing A First Course on Cyber-Physical Systems. | 2 | 0.53 | 2016 |
| Using Rigorous Simulation To Support Iso 26262 Hazard Analysis And Risk Assessment | 1 | 0.38 | 2015 |
| Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14). | 0 | 0.34 | 2015 |
| Acumen : An Open-source Testbed for Cyber-Physical Systems Research | 3 | 0.45 | 2015 |
| Conformance Testing of Cyber-Physical Systems: A Comparative Study. | 5 | 0.45 | 2014 |
| Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract) | 0 | 0.34 | 2014 |
| Modeling Basic Aspects of Cyber-Physical Systems, Part II. | 2 | 0.42 | 2014 |
| Function Interval Arithmetic. | 0 | 0.34 | 2014 |
| Enclosing the behavior of a hybrid system up to and beyond a Zeno point | 4 | 0.54 | 2013 |
| Invited Talk: Enclosing Hybrid Behavior. | 0 | 0.34 | 2013 |
| Modeling Basic Aspects of Cyber-Physical Systems | 3 | 0.87 | 2013 |
| Virtual Testing for Smart Buildings | 2 | 0.49 | 2012 |
| A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) | 3 | 0.56 | 2012 |
| Reasoning about multi-stage programs | 5 | 0.43 | 2012 |
| Accurate Programming: Thinking About Programs In Terms Of Properties | 0 | 0.34 | 2011 |
| Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions | 2 | 0.40 | 2011 |
| Release Offset Bounds for Response Time Analysis of P-FRP Using Exhaustive Enumeration | 1 | 0.36 | 2011 |
| A core language for executable models of cyber physical systems: work in progress report | 0 | 0.34 | 2011 |
| The trouble with real numbers (Invited paper). | 0 | 0.34 | 2011 |
| Preliminary Results in Virtual Testing for Smart Buildings. | 1 | 0.35 | 2010 |
| Synthesizable high level hardware descriptions | 2 | 0.48 | 2010 |
| Mathematical equations as executable models of mechanical systems | 17 | 1.11 | 2010 |
| Mint: Java multi-stage programming using weak separability | 23 | 0.95 | 2010 |
| Implementing Haptic Feedback Environments from High-Level Descriptions | 4 | 0.54 | 2009 |
| Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings | 17 | 0.91 | 2009 |
| Exploring the Design Space of Higher-Order Casts | 28 | 1.32 | 2009 |
| In Pursuit of Real Answers | 0 | 0.34 | 2009 |
| Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability | 6 | 0.53 | 2008 |
| Implicitly heterogeneous multi-stage programming | 16 | 0.86 | 2007 |
| Concoqtion: indexed types now | 22 | 1.01 | 2007 |
| The semantics of graphical languages | 4 | 0.43 | 2007 |
| Gradual Typing for Objects | 166 | 6.35 | 2007 |
| A Gentle Introduction to Multi-stage Programming, Part II | 4 | 0.49 | 2007 |
| E-FRP with priorities | 24 | 1.10 | 2007 |
| A monadic approach for avoiding code duplication when staging memoized functions | 21 | 0.87 | 2006 |
| Relating FFTW and split-radix | 6 | 0.49 | 2004 |
| Implementing DSLs in metaOCaml | 2 | 0.42 | 2004 |
