SAVE

Keywords: d-Calculus, GTS Logic, Specification, Verification, Visualization

Affiliation: Division of Computer Science and Engineering, Chonbuk National University, Republic of Korea

Publications

Here is the list of publications related to SAVE:

  • S. Lee, Y. Choe, M. Lee, A Dual Method to Model IoT Systems, International Journal of Mathematical Models and Methods in Applied Sciences, Vol. 10, pp. 201-219, May 2016.
  • Y. Choe, M. Lee, A Process Algebra Construct Method for Reduction of States in Reachability Graph: Conjenctive and Complement Choices, Journal of KIISE, Vol. 43, No. 5, pp. 541-552, May 2016.
  • Y. Choe, M. Lee, A Process Algebra for Modeling Secure Movements of Distrbuted Mobile Processes, Journal of KIISE, Vol. 43, No. 3, pp. 314-326, March 2016.
  • Y. Choe, M. Lee, et. Al., A Tool for Visual Specification and Verification for Secure Process Movements, eChallenge 2015, Nov. 2015, Vilnius, Lithuania. The Best Paper.
  • W. Choi, Y. Choe, M. Lee, A Reduction Method for Process and System Complexity with Conjunctive and Complement Choices in a Process Algebra, Proceedings of 23rd IEEE COMPSAC/MVDA, July 2015.
  • Y. Choe, M. Lee, δ-Calculus: Process Algebra to Model Secure Movements of Distributed Mobile Processes in Real-Time Business Application, Proceedings of 23rd European Conference on Information Systems, May 2015.
  • M. Lee, J. Choi, A Calculus for Transportation Systems, Proceedings of The 38th IEEE COMPSAC/MVDA, July 2014.

You can donwload the papers from: http://moon.jbnu.ac.kr/index.php?mid=SAVE&document_srl=96281

 

Acknowledgements:

This project was supported by Basic Science Research Programs through The National Research Foundation of Korea (NRF) funded by the Ministry of Education (2010-0023787), and the MISP (Ministry of Science, ICT and Future Planning), Korea, under the ITRC (Information Technology Research Center) support program (IITP-2016-H85011610120001002) supervised by the IITP (Institute for Information & communications Technology Promotion), and Space Core Technology Development Program through the NRF, funded by the Ministry of Science, ICT and Future Planning (NRF-2014M1A3A3A02034792), and Basic Science Research Program through NRF, funded by the Ministry of Education (NRF-2015R1D1A3A01019282).