Huiyun Sheng

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Underwater Acoustic

Mobile Sensor Networks

Top Venues

Publications

Huiyun Sheng, Michael H. Schwarz, Josef Börcsök
Modeling a safety-related system for continuous non-invasive blood pressure monitoring. BioCAS (2013)
Huiyun Sheng, Michael H. Schwarz, Josef Börcsök
New concept to develop a safety sensor network for continuous noninvasive blood pressure monitoring. ETFA (2012)
Walid Chaaban, Michael H. Schwarz, Batsuren Batchuluun, Huiyun Sheng, Josef Börcsök
A partially automated HiL test environment for model-based development using Simulink® and OPC technology. ICAT (2011)
Josef Börcsök, Walid Chaaban, Michael H. Schwarz, Huiyun Sheng, Oleksandr Sheleh, Batsuren Batchuluun
An automated software verification tool for model-based development of embedded systems with simulink®. ICAT (2009)
Michael H. Schwarz, Huiyun Sheng, Batsuren Batchuluun, Oleksandr Sheleh, Walid Chaaban, Josef Börcsök
Reliable software development methodology for safety related applications: From simulation to reliable source code. ICAT (2009)
Michael H. Schwarz, Huiyun Sheng, Oleksandr Sheleh, Josef Börcsök
Matlab® / Simulink® generated source code for safety related systems. AICCSA (2008)