Power and Energy Communication Services for Control-software Models | 0 | 0.34 | 2021 |
Reuse-oriented SLAM Framework using Software Product Lines | 0 | 0.34 | 2020 |
Tooling for automated testing of cyber-physical system models | 0 | 0.34 | 2020 |
Early Analysis of Cyber-Physical Systems using Co-simulation and Multi-level Modelling | 0 | 0.34 | 2019 |
Rapid Development Of Embedded Control Software Using Variable-Detail Modelling And Model-To-Code Transformation | 1 | 0.43 | 2019 |
CoHLA: Design space exploration and co-simulation made easy | 1 | 0.37 | 2018 |
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems. | 0 | 0.34 | 2016 |
Thinking Tracks For Multidisciplinary System Design | 0 | 0.34 | 2016 |
On A Directed Tree Problem Motivated By A Newly Introduced Graph Product | 1 | 0.43 | 2015 |
Control and Omni-directional Locomotion of a Crawling Quadruped | 0 | 0.34 | 2014 |
A co-modelling method for solving incompatibilities during co-design of mechatronic devices | 2 | 0.48 | 2014 |
Fault Avoidance in Development of Robot Motion-Control Software by Modeling the Computation | 1 | 0.35 | 2014 |
Simulation, Modeling, and Programming for Autonomous Robots - 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings | 0 | 0.34 | 2014 |
Improving the performance of periodic real-time processes: a graph theoretical approach | 2 | 0.62 | 2013 |
Design and Use of CSP Meta-Model for Embedded Control Software Development | 1 | 0.41 | 2012 |
Schedulability analysis of timed CSP models using the PAT model checker | 2 | 0.45 | 2012 |
A Structuring Mechanism for Embedded Control Systems using Co-modelling and Co-simulation. | 1 | 0.38 | 2012 |
A Model Management Approach for Co-simulation Model Evolution. | 0 | 0.34 | 2011 |
Luna: Hard Real-Time, Multi-Threaded, Csp-Capable Execution Framework | 4 | 0.50 | 2011 |
Concurrent Design of Embedded Control Software | 1 | 0.42 | 2009 |
The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009 | 27 | 4.26 | 2009 |
Analysing gCSP Models Using Runtime and Model Analysis Algorithms | 2 | 0.46 | 2009 |
HW/SW Design Space Exploration on the Production Cell Setup | 3 | 0.52 | 2009 |
The thirty-first Communicating Process Architectures Conference, CPA 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008 | 33 | 4.32 | 2008 |
Fpga Based Control Of A Production Cell System | 0 | 0.34 | 2008 |
Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs | 6 | 0.54 | 2008 |
Virtual Prototyping Through Co-Simulation Of A Cartesian Plotter | 5 | 0.71 | 2008 |
Designing Animation Facilities For Gcsp | 1 | 0.42 | 2008 |
Csp And Real-Time: Reality Or Illusion? | 0 | 0.34 | 2007 |
Design Principles Of The Systemcsp Software Framework | 1 | 0.35 | 2007 |
Interacting Components | 0 | 0.34 | 2006 |
The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005 | 28 | 5.69 | 2005 |
gCSP occam Code Generation for RMoX | 3 | 0.49 | 2005 |
On Issues Of Constructing An Exception Handling Mechanism For Csp-Based Process-Oriented Concurrent Software | 2 | 0.39 | 2005 |
A Distributed Real-Time Java System Based on CSP | 12 | 1.76 | 2000 |
20-sim software for hierarchical bond-graph/block-diagram models | 9 | 1.66 | 1999 |
Libraries of Reusable Models: Theory and Application | 6 | 2.34 | 1998 |
Simulation of Sliding Mode Impedance Control for a 6 DOF Anthropomorphic Robot | 0 | 0.34 | 1998 |