( en | de | ru )

 

Disambiguierung von "Bae, Kyungmin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving.

, , , , , und . Petri Nets, Volume 13929 von Lecture Notes in Computer Science, Seite 369-392. Springer, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Kyungmin In

Soonil Bae

Han Bae

Jun-Sang Bae

Young-bae Song

 

Weitere Publikationen von Autoren mit dem selben Namen

Guarded Terms for Rewriting Modulo SMT., und . FACS, Volume 10487 von Lecture Notes in Computer Science, Seite 78-97. Springer, (2017)MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems., und . ACM Trans. Embed. Comput. Syst., 20 (5s): 105:1-105:26 (2021)A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control., , , , und . NFM, Volume 9690 von Lecture Notes in Computer Science, Seite 388-394. Springer, (2016)SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems., , , , und . HSCC, Seite 145-154. ACM, (2016)Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving., , , , , und . Petri Nets, Volume 13929 von Lecture Notes in Computer Science, Seite 369-392. Springer, (2023)Composition of Languages, Models, and Analyses., , , , , , , , , und 1 andere Autor(en). Composing Model-Based Analysis Tools, Springer, (2021)Formal Specification of Trusted Execution Environment APIs., , , und . FASE, Volume 14573 von Lecture Notes in Computer Science, Seite 101-121. Springer, (2024)A Term Rewriting Approach to Analyze High Level Petri Nets., , , , und . TASE, Seite 109-112. IEEE Computer Society, (2016)Infinite-State Model Checking of LTLR Formulas Using Narrowing., und . WRLA, Volume 8663 von Lecture Notes in Computer Science, Seite 113-129. Springer, (2014)STLmc: Robust STL Model Checking of Hybrid Systems Using SMT., , und . CAV (1), Volume 13371 von Lecture Notes in Computer Science, Seite 524-537. Springer, (2022)