( en | de | ru )

 

Disambiguation of "Lee, Insup"

Author of the publication

copydeleteadd this publication to your clipboard
Demo: verisig - verifying safety properties of hybrid systems with neural network controllers.

, , , and . DESTION@CPSIoTWeek, page 62-63. ACM, (2019)

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.

Xavier Lee Lee

Bongsoo Lee

The role of negative regulators in coordination of the Myxococcus xanthus developmental program. Uni Marburg, (2009)

Min-Hi Lee

Induction and regulation of antiviral defence mechanisms through intracytoplasmic sensors. HU Berlin, (2009)

Hyemin Lee

Viktor Lee

 

Other publications of authors with the same name

Optimal virtual cluster-based multiprocessor scheduling., , and . Real Time Syst., 43 (1): 25-59 (2009)Towards compositional mixed-criticality real-time scheduling in open systems: invited paper., , , , and . SIGBED Rev., 13 (3): 49-51 (2016)Challenges and opportunities in deeply embedded systems security., and . SIGBED Rev., 5 (1): 25 (2008)Exploiting TTP Co-Occurrence via GloVe-Based Embedding With MITRE ATT&CK Framework., , and . IEEE Access, (2023)Introduction to the special section on runtime verification., , and . Int. J. Softw. Tools Technol. Transf., 14 (3): 243-247 (2012)Hardware Acceleration for Programmable Real-Time Ethernet., , and . IEEE Trans. Ind. Informatics, 5 (3): 325-337 (2009)Verisim: Formal Analysis of Network Simulations., , , , , , and . IEEE Trans. Software Eng., 28 (2): 129-145 (2002)Adding Time to Synchronous Process Communications., and . IEEE Trans. Computers, 36 (8): 941-948 (1987)An Attack-Resilient CPS Architecture for Hierarchical Control: A Case Study on Train Control Systems., , , , , , , , , and 1 other author(s). Computer, 51 (11): 46-55 (2018)High-Confidence Medical Device Software and Systems., , , , , , , and . Computer, 39 (4): 33-38 (2006)