default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th CyPhy / 15th WESE 2019: New York City, NY, USA
- Roger D. Chamberlain
, Martin Edin Grimheden, Walid Taha:
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. Lecture Notes in Computer Science 11971, Springer 2020, ISBN 978-3-030-41130-5
Models and Design
- Lorenzo Lazzara, Giulio Mosé Mancuso, Fabio Cremona, Alessandro Ulisse:
A Modular SystemC RTOS Model for Uncertainty Analysis. 3-27 - Martin Schoeberl:
Multicore Models of Communication for Cyber-Physical Systems. 28-43 - Mehrshad Zandigohar, Mo Han, Deniz Erdogmus, Gunar Schirner:
Towards Creating a Deployable Grasp Type Probability Estimator for a Prosthetic Hand. 44-58 - Marten Lohstroh, Íñigo Íncer Romeo, Andrés Goens, Patricia Derler, Jerónimo Castrillón, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
Reactors: A Deterministic Model for Composable Reactive Systems. 59-85
Simulation and Tools
- Paul Rousse, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche:
Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems. 89-107 - Adam Duracz, Ayman Aljarbouh, Ferenc A. Bartha, Jawad Masood, Roland Philippsen, Henrik Eriksson, Jan Duracz, Fei Xu, Yingfu Zeng, Christian Grante:
Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation. 108-126 - Wonseok Lee, Jaehwan Jeong, Seonghyeon Park, Chang-Gun Lee:
Practical Multicore Extension of Functionally and Temporally Correct Real-Time Simulation for Automotive Systems. 127-152 - Yunosuke Yamada, Masashi Sato, Kazunori Ueda:
Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI. 153-178
Formal Methods
- Adrien Le Coënt, Laurent Fribourg:
Guaranteed Optimal Reachability Control of Reaction-Diffusion Equations Using One-Sided Lipschitz Constants and Model Reduction. 181-202 - Mihail Asavoae, Imane Haur, Mathieu Jan, Belgacem Ben Hedia, Martin Schoeberl:
Towards Formal Co-validation of Hardware and Software Timing Models of CPSs. 203-227
Workshop on Embedded and Cyber-Physical Systems Education
- Manfred Smieschek, Stefan Rakel, David Thönnessen, Andreas Derks, André Stollenwerk, Stefan Kowalewski:
A Remote Test Environment for a Large-Scale Microcontroller Laboratory Course. 231-246 - André Stollenwerk:
An Embedded Graduate Lab Course with Spirit. 247-263 - Martin Törngren, Fredrik Asplund, Tor Ericson, Catrin Granbom, Erik Herzog, Zhonghai Lu, Mats Magnusson, Maria Månsson, Stefan Norrwing, Johanna Olsson, Johnny Öberg:
Competence Networks in the Era of CPS - Lessons Learnt in the ICES Cross-Disciplinary and Multi-domain Center. 264-283
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-10 00:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
