BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Bae:Kyungmin

Contributed to:

FM 20142014
RTA-TLCA 20142014
WRLA 20142014
RTA 20132013
FASE 20122012
WRLA 20122012
CAV 20112011
WRLA 20102010
POPL 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.