Publications
-
Modeling and Formal Analysis of Virtually Synchronous Cyber-Physical Systems
Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky, Sharon Kim, and Minseok Kang
International Journal on Software Tools for Technology Transfer, 2022 (to appear)
[artifact] [artifact_web] -
HybridSynchAADL:Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL
Jaehun Lee, Sharon Kim, Kyungmin Bae, and Peter Csaba Ölveczky
Interntaional Conference on Computer-Aided Verification, 2021
[artifact] [artifact_web] -
Definition, Semantics, and Analysis of Multirate Synchronous AADL
Kyungmin Bae, Peter Ölveczky, and José Meseguer
International Symposium on Formal Methods, 2014
[artifact] [artifact_web] -
The SynchAADL2Maude Tool
Kyungmin Bae, Peter Ölveczky, Abdullah Al-Nayeem, and José Meseguer
International Conference on Fundamental Approaches to Software Engineering, 2012
[artifact] [artifact_web] -
Synchronous AADL and Its Formal Analysis in Real-Time Maude
Kyungmin Bae, Peter Ölveczky, Abdullah Al-Nayeem, and José Meseguer
International Conference on Formal Engineering Methods, 2011