CyPhy

Keyphrases

Publications

volume 11267, 2019

Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers CyPhy 11267 (2019)

2017

Ichiro Hasuo
Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid. CyPhy (2017)
Daisuke Ishii, Alexandre Goldsztejn, Naoki Yonezaki
Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis - (Extended Abstract). CyPhy (2017)
Hokeun Kim, Armin Wasicek, Edward A. Lee
An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems. CyPhy (2017)
Johann Thor Mogensen Ingibergsson, Dirk Kraft, Ulrik Pagh Schultz
Increasing Safety by Combining Multiple Declarative Rules in Robotic Perception Systems. CyPhy (2017)
Adnan Rashid, Osman Hasan
Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving. CyPhy (2017)
Kengo Kido, Sean Sedwards, Ichiro Hasuo
Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems. CyPhy (2017)
Chao Wang, Yuming Cheng, Lei Gong, Bo Wan, Aili Wang, Xi Li, Xuehai Zhou
FPGA Based Big Data Accelerator Design in Teaching Computer Architecture and Organization. CyPhy (2017)
Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
Template-Based Monte-Carlo Test Generation for Simulink Models. CyPhy (2017)
Jeongyoon Eo, Kang-Wook Kim, Chang-Gun Lee
Memory Access Pattern-Aware DRAM Controller Design for Mixed-Criticality Systems. CyPhy (2017)
Houssam Abbas, Matthew O'Kelly, Alëna Rodionova, Rahul Mangharam
Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles. CyPhy (2017)
Shakiba Yaghoubi, Georgios Fainekos
Local Descent for Temporal Logic Falsification of Cyber-Physical Systems. CyPhy (2017)

volume 10107, 2017

Cyber Physical Systems. Design, Modeling, and Evaluation - 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers CyPhy 10107 (2017)

2016

2015

volume 9361, 2015

Cyber Physical Systems. Design, Modeling, and Evaluation - 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings CyPhy 9361 (2015)

2014