CyPhy/WESE

Keyphrases

Publications

volume 11971, 2020

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 CyPhy/WESE 11971 (2020)

2019

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. CyPhy/WESE (2019)
Mihail Asavoae, Imane Haur, Mathieu Jan, Belgacem Ben Hedia, Martin Schoeberl
Towards Formal Co-validation of Hardware and Software Timing Models of CPSs. CyPhy/WESE (2019)
Adrien Le Coënt, Laurent Fribourg
Guaranteed Optimal Reachability Control of Reaction-Diffusion Equations Using One-Sided Lipschitz Constants and Model Reduction. CyPhy/WESE (2019)
Lorenzo Lazzara, Giulio Mosé Mancuso, Fabio Cremona, Alessandro Ulisse
A Modular SystemC RTOS Model for Uncertainty Analysis. CyPhy/WESE (2019)
Wonseok Lee, Jaehwan Jeong, Seonghyeon Park, Chang-Gun Lee
Practical Multicore Extension of Functionally and Temporally Correct Real-Time Simulation for Automotive Systems. CyPhy/WESE (2019)
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. CyPhy/WESE (2019)
Mehrshad Zandigohar, Mo Han, Deniz Erdogmus, Gunar Schirner
Towards Creating a Deployable Grasp Type Probability Estimator for a Prosthetic Hand. CyPhy/WESE (2019)
Yunosuke Yamada, Masashi Sato, Kazunori Ueda
Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI. CyPhy/WESE (2019)
Manfred Smieschek, Stefan Rakel, David Thönnessen, Andreas Derks, André Stollenwerk, Stefan Kowalewski
A Remote Test Environment for a Large-Scale Microcontroller Laboratory Course. CyPhy/WESE (2019)
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. CyPhy/WESE (2019)
André Stollenwerk
An Embedded Graduate Lab Course with Spirit. CyPhy/WESE (2019)
Martin Schoeberl
Multicore Models of Communication for Cyber-Physical Systems. CyPhy/WESE (2019)
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. CyPhy/WESE (2019)

volume 11615, 2019

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 CyPhy/WESE 11615 (2019)

2018