Παρακολούθηση
Kyungmin Bae
Kyungmin Bae
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα postech.ac.kr - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
872013
Model checking linear temporal logic of rewriting formulas under localized fairness
K Bae, J Meseguer
Science of Computer Programming 99, 193-234, 2015
522015
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
432015
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
432012
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
382012
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
352011
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
332009
Formal patterns for multirate distributed real-time systems
K Bae, J Meseguer, PC Ölveczky
Science of Computer Programming 91, 3-44, 2014
312014
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
302019
The linear temporal logic of rewriting Maude model checker
K Bae, J Meseguer
Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010 …, 2010
272010
Infinite-state model checking of LTLR formulas using narrowing
K Bae, J Meseguer
Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014 …, 2014
262014
The SynchAADL2Maude tool
K Bae, PC Ölveczky, J Meseguer, A Al-Nayeem
Fundamental Approaches to Software Engineering: 15th International …, 2012
242012
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
232014
State/event-based LTL model checking under parametric generalized fairness
K Bae, J Meseguer
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
202011
Model checking LTLR formulas under localized fairness
K Bae, J Meseguer
International Workshop on Rewriting Logic and its Applications, 99-117, 2012
192012
Symbolic state space reduction with guarded terms for rewriting modulo SMT
K Bae, C Rocha
Science of Computer Programming 178, 20-42, 2019
162019
Predicate abstraction of rewrite theories
K Bae, J Meseguer
International Conference on Rewriting Techniques and Applications, 61-76, 2014
162014
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
152021
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
152016
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
152016
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20