E-LIB Suche - Ergebnisse für: Hsieh, Chiao

1

Perception Contracts for Safety of ML-Enabled Systems:

Astorga, Angello ; Hsieh, Chiao ; Madhusudan, P..
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 2196-2223 , 2023

Link: https://doi.org/10.1145/..

2

Verifying Controllers With Vision-Based Perception Using Sa..:

Hsieh, Chiao ; Li, Yangge ; Sun, Dawei...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 41 (2022) 11 - p. 4205-4216 , 2022

Link: https://doi.org/10.1109/..

3

Programming Abstractions for Simulation and Testing on Smar..:

, In: 2022 IEEE 18th International Conference on Automation Science and Engineering (CASE),

Hsieh, Chiao ; Wu, Daniel ; Koh, Yubin. - p. 2287-2292 , 2022

Link: https://doi.org/10.1109/..

4

Industry-track: Challenges in Rebooting Autonomy with Deep ..:

, In: 2022 International Conference on Embedded Software (EMSOFT),

Abraham, Michael ; Mayne, Aaron ; Perez, Tristan... - p. 17-20 , 2022

Link: https://doi.org/10.1109/..

5

Koord: a language for programming and verifying distributed..:

Ghosh, Ritwika ; Hsieh, Chiao ; Misailovic, Sasa.
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-30 , 2020

Link: https://doi.org/10.1145/..

6

CyPhyHouse: A programming, simulation, and deployment toolc..:

, In: 2020 IEEE International Conference on Robotics and Automation (ICRA),

Ghosh, Ritwika ; Jansch-Porto, Joao P. ; Hsieh, Chiao... - p. 6654-6660 , 2020

Link: https://doi.org/10.1109/..

7

Koord: a language for programming and verifying distributed..:

Ghosh, Ritwika ; Hsieh, Chiao ; Misailovic, Sasa.
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-30 , 2020

Link: https://dl.acm.org/doi/1..

8

Dione: A Protocol Verification System Built with Dafny for ..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Hsieh, Chiao ; Mitra, Sayan - p. 227-245 , 2019

Link: https://doi.org/10.1007/..

9

PAC learning-based verification and model synthesis:

, In: Proceedings of the 38th International Conference on Software Engineering,

Chen, Yu-Fang ; Hsieh, Chiao ; Lengál, Ondřej... - p. 714-724 , 2016

Link: https://dl.acm.org/doi/1..

10

Symbolic model checking on SystemC designs:

, In: Proceedings of the 49th Annual Design Automation Conference,

Chou, Chun-Nan ; Ho, Yen-Sheng ; Hsieh, Chiao. - p. 327-333 , 2012

Link: https://dl.acm.org/doi/1..

11

Priming Emotional Salience Reveals the Role of Episodic Mem..:

Hsieh, Chiao Wei ; Sharma, Dinkar
Frontiers in Psychology. 10 (2019) - p. , 2019

Link: https://doi.org/10.3389/..

12

Scanning Tunneling Microscopy Examination of Molecules with..:

Balasaravanan, Rajendiran ; Hsieh, Chiao-An ; Jhou, Meng-Li...
The Journal of Physical Chemistry C. 128 (2024) 11 - p. 4796-4802 , 2024

Link: https://doi.org/10.1021/..

13

scDrug+: predicting drug-responses using single-cell transc..:

Sun, Yih-Yun ; Hsieh, Chiao-Yu ; Wen, Jian-Hung...
Biomedicine & Pharmacotherapy. 177 (2024) - p. 117070 , 2024

Link: https://doi.org/10.1016/..

14

Identifying necrotizing soft tissue infection using infecti..:

Chang, Chia-Peng ; Lin, Chung-Jen ; Fann, Wen-Chih.
Heliyon. 10 (2024) 9 - p. e29578 , 2024

Link: https://doi.org/10.1016/..

15

Multiomics Reveals Induction of Neuroblastoma SK-N-BE(2)C C..:

Wang, Wei-Hsuan ; Kao, Yi-Chun ; Hsieh, Chiao-Hui...
Journal of Proteome Research. 23 (2023) 1 - p. 301-315 , 2023

Link: https://doi.org/10.1021/..