Yingfu Zeng

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 5

Top Topics

Dynamical Systems

Risk Assessment

Extended Abstract

Top Venues

Publications

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)
Yingfu Zeng, Ferenc A. Bartha, Walid Taha
Compile-Time Extensions to Hybrid ODEs. SNR@ETAPS (2017)
Ayman Aljarbouh, Yingfu Zeng, Adam Duracz, Benoît Caillaud, Walid Taha
Chattering-Free Simulation for Hybrid Dynamical Systems Semantics and Prototype Implementation. CSE/EUC/DCABES (2016)
Walid Taha, Lars-Göran Hedstrom, Fei Xu, Adam Duracz, Ferenc A. Bartha, Yingfu Zeng, Jennifer David, Gaurav Gunjan
Flipping a first course on cyber-physical systems: an experience report. WESE (2016)
Walid Taha, Yingfu Zeng, Adam Duracz, Fei Xu, Kevin Atkinson, Paul Brauner, Robert Cartwright, Roland Philippsen
Developing a first course on cyber-physical systems. SIGBED Rev. 14 (1) (2016)
Walid Taha, Adam Duracz, Yingfu Zeng, Kevin Atkinson, Ferenc A. Bartha, Paul Brauner, Jan Duracz, Fei Xu, Robert Cartwright, Michal Konecný, Eugenio Moggi, Jawad Masood, Pererik Andreasson, Jun Inoue, Anita Pinheiro Sant'Anna, Roland Philippsen, Alexandre Chapoutot, Marcia O'Malley, Aaron D. Ames, Verónica Gaspes, Lise Hvatum, Shyam Mehta, Henrik Eriksson, Christian Grante
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research. IoT 360 (1) (2015)
Adam Duracz, Henrik Eriksson, Ferenc A. Bartha, Fei Xu, Yingfu Zeng, Walid Taha
Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment. HPCC/CSS/ICESS (2015)
Yingfu Zeng, Chad G. Rose, Paul Brauner, Walid Taha, Jawad Masood, Roland Philippsen, Marcia K. O'Malley, Robert Cartwright
Modeling Basic Aspects of Cyber-Physical Systems, Part II. CoRR (2014)
Yingfu Zeng, Chad G. Rose, Paul Brauner, Walid Taha, Jawad Masood, Roland Philippsen, Marcia Kilchenman O'Malley, Robert Cartwright
Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract). HPCC/CSS/ICESS (2014)
Walid Taha, Robert Cartwright, Roland Philippsen, Yingfu Zeng
Developing A First Course on Cyber-Physical Systems. WESE (2014)
Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Verónica Gaspes, Aaron D. Ames, Alexandre Chapoutot
A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report). ICDCS Workshops (2012)