Travelled to:1 × Austria
1 × Cyprus
1 × France
1 × Singapore
1 × The Netherlands
1 × USA
2 × Estonia
Collaborated with:J.Meseguer P.C.Ölveczky Jia Lee S.Escobar A.Al-Nayeem
Talks about:model (6) check (5) state (3) logic (3) use (3) abstract (2) infinit (2) formula (2) tempor (2) rewrit (2)
Person: Kyungmin Bae
DBLP: Bae:Kyungmin
Contributed to:
2014
2014
20142013
20122012
20112010
2019Wrote 9 papers:
- FM-2014-BaeOM #analysis #multi #semantics
- Definition, Semantics, and Analysis of Multirate Synchronous AADL (KB, PCÖ, JM), pp. 94–109.
- RTA-TLCA-2014-BaeM #abstraction
- Predicate Abstraction of Rewrite Theories (KB, JM), pp. 61–76.
- WRLA-2014-BaeM #infinity #model checking #using
- Infinite-State Model Checking of LTLR Formulas Using Narrowing (KB, JM), pp. 113–129.
- RTA-2013-BaeEM #infinity #logic #model checking #using
- Abstract Logical Model Checking of Infinite-State Systems Using Narrowing (KB, SE, JM), pp. 81–96.
- FASE-2012-BaeOMA #maude
- The SynchAADL2Maude Tool (KB, PCÖ, JM, AAN), pp. 59–62.
- WRLA-2012-BaeM #locality #model checking
- Model Checking LTLR Formulas under Localized Fairness (KB, JM), pp. 99–117.
- CAV-2011-BaeM #ltl #model checking #parametricity
- State/Event-Based LTL Model Checking under Parametric Generalized Fairness (KB, JM), pp. 132–148.
- WRLA-2010-BaeM #linear #logic #maude #model checking
- The Linear Temporal Logic of Rewriting Maude Model Checker (KB, JM), pp. 208–225.
- POPL-2019-BaeL #bound #logic #model checking #using
- Bounded model checking of signal temporal logic properties using syntactic separation (KB, JL), p. 30.