# Kyungmin Bae

According to our database

Collaborative distances:

^{1}, Kyungmin Bae authored at least 29 papers between 2009 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

Sci. Comput. Program., 2020

2019

Sci. Comput. Program., 2019

Bounded model checking of signal temporal logic properties using syntactic separation.

Proc. ACM Program. Lang., 2019

2017

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

2016

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Proceedings of the Planning for Hybrid Systems, 2016

2015

Model checking linear temporal logic of rewriting formulas under localized fairness.

Sci. Comput. Program., 2015

Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study.

Sci. Comput. Program., 2015

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

Sci. Comput. Program., 2014

Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

Proceedings of the FM 2014: Formal Methods, 2014

2013

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

2012

Sci. Comput. Program., 2012

Electron. Notes Theor. Comput. Sci., 2012

Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012

Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

Proceedings of the Fundamental Approaches to Software Engineering, 2012

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2011

Proceedings of the Formal Methods and Software Engineering, 2011

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010

Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

2009

Proceedings of the Formal Methods and Software Engineering, 2009