Login / Signup
Sharon Kim
Publication Activity (10 Years)
Years Active: 2004-2022
Publications (10 Years): 2
Top Topics
Agent Model
Physical World
Genetic Algorithm
Formal Analysis
Top Venues
Int. J. Softw. Tools Technol. Transf.
CAV (1)
</>
Publications
</>
Jaehun Lee
,
Kyungmin Bae
,
Peter Csaba Ölveczky
,
Sharon Kim
,
Minseok Kang
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL.
Int. J. Softw. Tools Technol. Transf.
24 (6) (2022)
Jaehun Lee
,
Sharon Kim
,
Kyungmin Bae
,
Peter Csaba Ölveczky
HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL.
CAV (1)
(2021)
Katherine L. Narr
,
Paul M. Thompson
,
Philip R. Szeszko
,
Delbert Robinson
,
Seon-Ah Jang
,
Roger P. Woods
,
Sharon Kim
,
Kiralee M. Hayashi
,
Dina Asunction
,
Arthur W. Toga
,
Robert M. Bilder
Regional specificity of hippocampal volume reductions in first-episode schizophrenia.
NeuroImage
21 (4) (2004)