Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th CyPhy 2017: Seoul, South Korea
- Roger D. Chamberlain, Walid Taha, Martin Törngren:
Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers. Lecture Notes in Computer Science 11267, Springer 2019, ISBN 978-3-030-17909-0
Keynote
- Ichiro Hasuo:
Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid. 3-7
Design
- Shakiba Yaghoubi, Georgios Fainekos
:
Local Descent for Temporal Logic Falsification of Cyber-Physical Systems. 11-26 - Jeongyoon Eo, Kang-Wook Kim, Chang-Gun Lee:
Memory Access Pattern-Aware DRAM Controller Design for Mixed-Criticality Systems. 27-42 - Johann Thor Mogensen Ingibergsson, Dirk Kraft, Ulrik Pagh Schultz:
Increasing Safety by Combining Multiple Declarative Rules in Robotic Perception Systems. 43-60
Simulation
- Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki:
Template-Based Monte-Carlo Test Generation for Simulink Models. 63-78 - Daisuke Ishii, Alexandre Goldsztejn, Naoki Yonezaki:
Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis - (Extended Abstract). 79-82 - Hokeun Kim, Armin Wasicek, Edward A. Lee:
An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems. 83-93 - Houssam Abbas, Matthew O'Kelly, Alëna Rodionova, Rahul Mangharam:
Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles. 94-106
Formal Methods
- Kengo Kido, Sean Sedwards, Ichiro Hasuo:
Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems. 109-126 - Adnan Rashid, Osman Hasan:
Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving. 127-141
Workshop on Embedded and Cyber-Physical Systems Education
- 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. 145-158
a service of 
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 2024-04-17 21:41 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:
