selected publications
-
academic article
- Modelling VM Migration in a Fog Computing Environment. ELEKTRONIKA IR ELEKTROTECHNIKA. 75-81. 2019
- Study on OSPF algebraic formal modelling using ACP. ELEKTRONIKA IR ELEKTROTECHNIKA. 77-83. 2018
- Formal Specification of Spanning Tree Protocol Using ACP. ELEKTRONIKA IR ELEKTROTECHNIKA. 84-91. 2017
-
congress communication
- Algebraic modelling of a generic Fog scenario for moving IoT devices 2020
- Arithmetic Study on Energy Saving for some common Data Centre Topologies. 1-7. 2020
- Fat Tree Algebraic Formal Modelling applied to Fog Computing. 1-17. 2020
- Formal Algebraic Description of a Fog/IoT Computing Environment. 1-6. 2020
- Formal Algebraic Specification of an IoTFog Data Centre for Fat Tree or Leaf and Spine architectures. 1-6. 2020
- Formal algebraic modelling of a city-wide smart parking system. 1-6. 2020
- MQTT Algebraic Formal Modelling using ACP. 1-5. 2020
- Modelling a Folded N-Hypercube Topology for migration in Fog Computing 2020
- Modelling a Leaf and Spine Topology for VM Migration in Fog Computing. 1-5. 2020
- Modelling a Plain N-Hypercube Topology for migration in Fog Computing 2020
- Algebraic Formal Modelling for HTTP Main Methods Using ACP. 1-6. 2019
- Algebraic Formal Modelling for EIGRP using ACP Formal Description Modelling on EIGRP Routing Protocol. 259-266. 2018
- OSPF Algebraic Formal Modelling using ACP - A Formal Description on OSPF Routing Protocol.. 1-266. 2018
- Study on Mobility and Migration in a Fog Computing Environment. 1-222. 2018
- Algebraic specification of ABP protocol using different time constraints. 1-6. 2017
- FTP Algebraic Formal Modelling using ACP - Study on FTP Active Mode and Passive Mode. 362-373. 2017
- Multicast Algebraic Formal Modelling Using ACP. 57-68. 2017