Kyungmin Bae
Orcid: 0000-0002-6430-5175
According to our database1,
Kyungmin Bae
authored at least 50 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems.
Sci. Comput. Program., 2024
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving.
Sci. Comput. Program., 2024
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets.
CoRR, 2024
Proceedings of the Rewriting Logic and Its Applications - 15th International Workshop, 2024
Proceedings of the Rewriting Logic and Its Applications - 15th International Workshop, 2024
Proceedings of the Fundamental Approaches to Software Engineering, 2024
2023
Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023
Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL.
Proceedings of the Formal Aspects of Component Software - 19th International Conference, 2023
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023
2022
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL.
Int. J. Softw. Tools Technol. Transf., 2022
An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022
Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search.
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
2021
MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems.
ACM Trans. Embed. Comput. Syst., 2021
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
Proceedings of the Composing Model-Based Analysis Tools, 2021
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
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
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
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
2008
Proceedings of the Ninth International Workshop on Rule-Based Programming, 2008