| An Application of Model Predictive Control to Reactive Motion Planning of Robot Manipulators. | 0 | 0.34 | 2021 |
| Specification and Runtime Verification of Temporal Assessments in Simulink | 0 | 0.34 | 2021 |
| A Simulator for Trading Traffic Privileges by Selfish Driving Cars | 0 | 0.34 | 2020 |
| A discrete-event and hybrid traffic simulation model based on SimEvents for intelligent transportation system analysis in Mcity. | 2 | 0.45 | 2019 |
| Hybrid simulation for cyber physical systems: a panel on where are we going regarding complexity, intelligence, and adaptability of CPS using simulation. | 0 | 0.34 | 2018 |
| The experiment model and validity frame in M&S | 0 | 0.34 | 2017 |
| Automated closed-loop model checking of implantable pacemakers using abstraction trees. | 0 | 0.34 | 2017 |
| A simevents model for hybrid traffic simulation | 0 | 0.34 | 2017 |
| Industry 4.0 as a Cyber-Physical System study. | 28 | 1.50 | 2016 |
| Ontological reasoning for consistency in the design of cyber-physical systems | 1 | 0.37 | 2016 |
| Extensible Discrete-Event Simulation framework in SimEvents. | 1 | 0.39 | 2016 |
| Simulating a multicore scheduler of real-time control systems in simulink. | 0 | 0.34 | 2016 |
| Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems. | 16 | 0.95 | 2016 |
| Grand challenges for modeling and simulation: simulation everywhere—from cyberinfrastructure to clouds to citizens | 4 | 0.57 | 2015 |
| Automating humanitarian missions with a heterogeneous fleet of vehicles. | 6 | 0.47 | 2014 |
| Jacobian pattern synthesis and application for dynamic system ensembles using boolean linear fraction transformation | 0 | 0.34 | 2014 |
| Motivating Use Cases For The Globalization Of Dsls | 0 | 0.34 | 2014 |
| A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities | 2 | 0.51 | 2014 |
| Rule-based model transformation for, and in simulink | 1 | 0.40 | 2014 |
| A Heterogeneous Fleet of Vehicles for Automated Humanitarian Missions | 6 | 0.58 | 2014 |
| Systematic management of simulation state for multi-branch simulations in simulink | 1 | 0.43 | 2013 |
| Semantics for an interdisciplinary computation (WIP) | 0 | 0.34 | 2013 |
| A graph algorithm for linearizing simulink models | 1 | 0.37 | 2013 |
| A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models. | 4 | 0.53 | 2013 |
| Data Type Propagation in Simulink Models with Graph Transformation | 4 | 0.42 | 2013 |
| Towards sensitivity analysis of hybrid systems using simulink | 3 | 0.47 | 2013 |
| Integrating discrete-event and time-based models with optimization for resource allocation | 0 | 0.34 | 2012 |
| Technical engine for democratization of modeling, simulations, and predictions | 2 | 0.51 | 2012 |
| AdvancingModel-Based Design by Modeling Approximations of Computational Semantics. | 8 | 0.77 | 2011 |
| Detecting data store access conflict in Simulink by solving Boolean satisfiability problems | 2 | 0.40 | 2010 |
| Guest Editorial: Special Issue on Multi-paradigm Modeling | 2 | 0.40 | 2009 |
| Automatic Code Generation for Synchronous Reactive Communication | 5 | 0.53 | 2009 |
| Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs | 6 | 0.54 | 2008 |
| Automatically Realising Embedded Systems from High-Level Functional Models | 0 | 0.34 | 2008 |
| Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools | 3 | 0.48 | 2007 |
| A graphical variant approach to object-oriented modeling of dynamic systems | 3 | 0.51 | 2007 |
| Model-Based Design of Embedded Systems | 1 | 0.38 | 2007 |
| Building Efficient Simulations From Hybrid Bond Graph Models | 1 | 0.41 | 2006 |
| 06161 Working Groups' Report: The Challenge of Combining Simulation and Verification | 1 | 0.63 | 2006 |
| Hybrid System Simulation with SIMEVENTS | 6 | 0.88 | 2006 |
| Formalizing Causal Block Diagrams For Modeling A Class Of Hybrid Dynamic Systems | 9 | 0.64 | 2005 |
| Computer Automated Multi-Paradigm Modeling: An Introduction | 67 | 4.04 | 2004 |
| Hybrid dynamic systems: mode transition behavior in hybrid dynamic systems | 1 | 0.50 | 2003 |
| A Hybrid Modeling and Simulation Methodology for Dynamic Physical Systems | 6 | 0.71 | 2002 |
| Guest editorial: Special issue on computer automated multi-paradigm modeling | 25 | 2.12 | 2002 |
| Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality | 5 | 0.60 | 2001 |
| A comprehensive methodology for building hybrid models of physical systems | 10 | 1.05 | 2000 |
| Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems | 5 | 0.79 | 2000 |
| Signal Interpretation For Monitoring And Diagnosis, A Cooling System Testbed | 4 | 0.79 | 2000 |
| Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions | 7 | 1.60 | 1999 |
