Kyungmin Bae

Cited by

	All	Since 2019
Citations	789	426
h-index	17	11
i10-index	27	17

120

2010201120122013201420152016201720182019202020212022202320244 15 22 39 93 66 31 41 35 48 38 48 98 102 89

Public access

View all

3 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Peter Csaba OlveczkyProfessor of Computer Science, University of OsloVerified email at ifi.uio.no
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Geunyeol YuPOSTECHVerified email at postech.ac.kr
Santiago EscobarVRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de ValènciaVerified email at upv.es
Stavros TripakisAssociate Professor, Northeastern UniversityVerified email at northeastern.edu
Huining FengEECS, UC BerkeleyVerified email at berkeley.edu
Abdullah Al-NayeemUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Sicun GaoUCSDVerified email at ucsd.edu
Camilo RochaProfessor, Pontificia Universidad Javeriana Cali, ORCID: 0000-0003-4356-7704Verified email at javerianacali.edu.co
Soonho KongAmazon Web ServicesVerified email at amazon.com
Edward A. LEEProfessor of Electrical Engineering and Computer Sciences, University of California at BerkeleyVerified email at berkeley.edu
Robert P. GoldmanResearch Fellow, SIFT, LLCVerified email at sift.net
David MuslinerSmart Information Flow Technologies (SIFT)Verified email at musliner.com
Daniel BryceFellow, SIFT, LLC.Verified email at sift.net
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Sofia Linsbauer geb. AnanievaABB Corporate Research CenterVerified email at de.abb.com
Benoit CombemaleFull Professor of Software Engineering, University of Rennes, IRISA & ESIRVerified email at irisa.fr
Hans VangheluweProfessor at University of Antwerp -- Flanders MakeVerified email at uantwerpen.be
Ralf ReussnerProfessor for Software Engineering at KITVerified email at kit.edu
Mark HillsAssociate Professor, Appalachian State UniversityVerified email at appstate.edu

Kyungmin Bae

POSTECH

Verified email at postech.ac.kr - Homepage

Formal Methods Software Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Abstract logical model checking of infinite-state systems using narrowing K Bae, S Escobar, J Meseguer 24th International Conference on Rewriting Techniques and Applications (RTA …, 2013	92	2013
Model checking linear temporal logic of rewriting formulas under localized fairness K Bae, J Meseguer Science of Computer Programming 99, 193-234, 2015	58	2015
Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study K Bae, J Krisiloff, J Meseguer, PC Ölveczky Science of computer programming 103, 13-50, 2015	44	2015
A rewriting-based model checker for the linear temporal logic of rewriting K Bae, J Meseguer Electronic Notes in Theoretical Computer Science 290, 19-36, 2012	43	2012
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude K Bae, PC Ölveczky, TH Feng, EA Lee, S Tripakis Science of Computer Programming 77 (12), 1235-1271, 2012	40	2012
Bounded model checking of signal temporal logic properties using syntactic separation K Bae, J Lee Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019	36	2019
Synchronous AADL and its formal analysis in Real-Time Maude K Bae, PC Ölveczky, A Al-Nayeem, J Meseguer Formal Methods and Software Engineering: 13th International Conference on …, 2011	35	2011
Verifying ptolemy ii discrete-event models using real-time maude K Bae, PC Ölveczky, TH Feng, S Tripakis Formal Methods and Software Engineering: 11th International Conference on …, 2009	32	2009
Formal patterns for multirate distributed real-time systems K Bae, J Meseguer, PC Ölveczky Science of Computer Programming 91, 3-44, 2014	31	2014
Infinite-state model checking of LTLR formulas using narrowing K Bae, J Meseguer Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014 …, 2014	29	2014
The linear temporal logic of rewriting Maude model checker K Bae, J Meseguer Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010 …, 2010	29	2010
Definition, semantics, and analysis of multirate synchronous AADL K Bae, PC Ölveczky, J Meseguer FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014	23	2014
The SynchAADL2Maude tool K Bae, PC Ölveczky, J Meseguer, A Al-Nayeem Fundamental Approaches to Software Engineering: 15th International …, 2012	23	2012
State/event-based LTL model checking under parametric generalized fairness K Bae, J Meseguer Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011	20	2011
Model checking LTLR formulas under localized fairness K Bae, J Meseguer International Workshop on Rewriting Logic and its Applications, 99-117, 2012	19	2012
Hybrid SynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL J Lee, S Kim, K Bae, PC Ölveczky Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021	18	2021
Symbolic state space reduction with guarded terms for rewriting modulo SMT K Bae, C Rocha Science of Computer Programming 178, 20-42, 2019	18	2019
SMT-based analysis of virtually synchronous distributed hybrid systems K Bae, PC Ölveczky, S Kong, S Gao, EM Clarke Proceedings of the 19th International Conference on Hybrid Systems …, 2016	15	2016
A hybrid architecture for correct-by-construction hybrid planning and control RP Goldman, D Bryce, MJS Pelican, DJ Musliner, K Bae NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN …, 2016	15	2016
Predicate abstraction of rewrite theories K Bae, J Meseguer International Conference on Rewriting Techniques and Applications, 61-76, 2014	15	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors