Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An Approach for Checking OSEK/VDX Applications.

H. Zhang, T. Aoki, K. Yatake, M. Zhang, and H. Lin. QSIC, page 113-116. IEEE, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yayi Lin University of Stuttgart

Univ. -Prof. Klaus-Dieter Hungenberg University of Stuttgart

Estefania Linuesa Torrijos University of Stuttgart

Katrin Hungerbühler University of Stuttgart

Robert Lindemann University of Stuttgart

Other publications of authors with the same name

Power-Aware Real-Time Scheduling Using Pinwheel Model and Profiling Technique.H. hung Lin, and C. wen Hsueh. RTCSA, page 299-304. IEEE Computer Society, (2005)Requirements Development of Energy Management System for a Unit in Smart Campus.S. Kusakabe, H. Lin, Y. Omori, and K. Araki. IIAI-AAI, page 405-410. IEEE Computer Society, (2014)A Distributed Sleep Scheduling Algorithm with Range Adjustment for Wireless Sensor Networks.K. Tung, J. Lu, and H. Lin. ICCCI (3), volume 6423 of Lecture Notes in Computer Science, page 387-397. Springer, (2010)Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking.H. Lin, T. Aoki, and T. Katayama. IEICE Transactions, 95-D (7): 1882-1893 (2012)Automated Adaptor Generation for Services Based on Pushdown Model Checking.H. Lin, T. Aoki, and T. Katayama. ECBS, page 130-139. IEEE Computer Society, (2011)J-ReCoVer: Java Reducer Commutativity Verifier.Y. Chen, C. Chiang, L. Holík, W. Kao, H. Lin, T. Vojnar, Y. Wen, and W. Wu. APLAS, volume 11893 of Lecture Notes in Computer Science, page 357-366. Springer, (2019)Applying pinwheel scheduling and compiler profiling for power-aware real-time scheduling.H. hung Lin, and C. wen Hsueh. Real-Time Systems, 34 (1): 37-51 (2006)SMT-Based Bounded Model Checking for OSEK/VDX Applications.H. Zhang, T. Aoki, H. Lin, M. Zhang, Y. Chiba, and K. Yatake. APSEC (1), page 307-314. IEEE Computer Society, (2013)978-1-4799-2143-0.A Universal BSP Tool for Embedded OS Porting.H. hung Lin, Y. Chou, and C. wen Hsueh. ESA, page 268-. CSREA Press, (2005)Non-regular Adaptation of Services Using Model Checking.H. Lin, T. Aoki, and T. Katayama. ISORC, page 170-174. IEEE Computer Society, (2010)

PUMA

Disambiguation of "Lin, Hsin-Hung"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An Approach for Checking OSEK/VDX Applications.

Please choose a person to relate this publication to

Yayi Lin University of Stuttgart

Univ. -Prof. Klaus-Dieter Hungenberg University of Stuttgart

Estefania Linuesa Torrijos University of Stuttgart

Katrin Hungerbühler University of Stuttgart

Robert Lindemann University of Stuttgart

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Lin, Hsin-Hung"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML An Approach for Checking OSEK/VDX Applications.

Please choose a person to relate this publication to

Yayi Lin University of Stuttgart

Univ. -Prof. Klaus-Dieter Hungenberg University of Stuttgart

Estefania Linuesa Torrijos University of Stuttgart

Katrin Hungerbühler University of Stuttgart

Robert Lindemann University of Stuttgart

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An Approach for Checking OSEK/VDX Applications.