Publications

• Rigorous Model Engineering of Multirate CPSs in Multirate HybridSynchAADL
  Jaehun Lee, Kyungmin Bae and Peter Csaba &Omul;lveczky
  International Symposium on Leveraing Applications of Formal Methods, Verification and Validation, 2024
  [artifact] [artifact_web]

• An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs
  Jaehun Lee, Kyungmin Bae and Peter Csaba &Omul;lveczky
  International Symposium on Leveraing Applications of Formal Methods, Verification and Validation, 2022
  [artifact] [artifact_web]

• 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
  [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