E-LIB Suche - Ergebnisse für: Lin, Shaokai

1

InterPRET: a Time-predictable Multicore Processor:

, In: Proceedings of Cyber-Physical Systems and Internet of Things Week 2023,

Jellum, Erling R. ; Lin, Shaokai ; Donovan, Peter... - p. 331-336 , 2023

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

2

Risk and Mitigation of Nondeterminism in Distributed Cyber-..:

, In: Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design,

Bateni, Soroush ; Lohstroh, Marten ; Wong, Hou Seng... - p. 1-11 , 2023

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

3

Towards Building Verifiable CPS using Lingua Franca:

Lin, Shaokai ; Manerkar, Yatin A. ; Lohstroh, Marten...
ACM Transactions on Embedded Computing Systems. 22 (2023) 5s - p. 1-24 , 2023

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

4

High-performance Deterministic Concurrency UsingLingua Fran..:

Menard, Christian ; Lohstroh, Marten ; Bateni, Soroush...
ACM Transactions on Architecture and Code Optimization. 20 (2023) 4 - p. 1-29 , 2023

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

5

Consistency vs. Availability in Distributed Cyber-Physical ..:

Lee, Edward A. ; Akella, Ravi ; Bateni, Soroush...
ACM Transactions on Embedded Computing Systems. 22 (2023) 5s - p. 1-24 , 2023

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

6

UCLID5: Multi-modal Formal Modeling, Verification, and Synt..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Polgreen, Elizabeth ; Cheang, Kevin ; Gaddamadugu, Pranav... - p. 538-551 , 2022

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

7

Value cocreation in livestreaming and its effect on consume..:

Chou, Cindy Yunhsin ; Chen, Ja‐Shen ; Lin, Shao‐Kai
International Journal of Consumer Studies. 46 (2022) 6 - p. 2183-2199 , 2022

Link: https://doi.org/10.1111/..

8

How to Exploit a DeFi Project:

, In: Lecture Notes in Computer Science; Financial Cryptography and Data Security. FC 2021 International Workshops,

Sun, Xinyuan ; Lin, Shaokai ; Sjöberg, Vilhelm. - p. 162-167 , 2021

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

9

Debugging and Verification Tools for Lingua Franca in Gemoc..:

, In: 2021 Forum on specification & Design Languages (FDL),

Deantoni, Julien ; Cambeiro, Joao ; Bateni, Soroush.. - p. 01-08 , 2021

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

10

A simple approach for the ultrasensitive detection of paraq..:

Tsen, Chao-Ming ; Yu, Ching-Wei ; Chuang, Wei-Chen...
The Analyst. 144 (2019) 2 - p. 426-438 , 2019

Link: https://doi.org/10.1039/..

11

FaPEx® Multipesticide Residues Extraction Kit for Minimizin..:

Chuang, Wei-Chen ; Chen, Jou-Wen ; Huang, Chen-Hua..
Journal of AOAC INTERNATIONAL. 102 (2019) 6 - p. 1864-1876 , 2019

Link: https://doi.org/10.1093/..

12

Modified QuEChERS method for 24 plant growth regulators in ..:

Pu, Chieh-Han ; Lin, Shao-Kai ; Chuang, Wei-Chen.
Journal of Food and Drug Analysis. 26 (2018) 2 - p. 637-648 , 2018

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

13

Variations of cellular components in Thermosynechococcus sp..:

Ko, Tzu-Hsing ; Hsu, Yao-Chun ; Wang, Yung-Fu...
RSC Advances. 5 (2015) 84 - p. 68470-68475 , 2015

Link: https://doi.org/10.1039/..

14

Characteristics of water-soluble ions and carbon in fine an..:

Lin, Chih-Chung ; Huang, Kuo-Lin ; Tsai, Jen-Hsiung...
Atmospheric Environment. 51 (2012) - p. 39-45 , 2012

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

15

Agrobacterium‐produced and exogenous cytokinin‐modulated Ag..:

HWANG, HAU‐HSUAN ; WANG, MING‐HSUAN ; LEE, YING‐LING...
Molecular Plant Pathology. 11 (2010) 5 - p. 677-690 , 2010

Link: https://doi.org/10.1111/..