According to our database1, Felipe Gorostiaga authored at least 9 papers between 2017 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Runtime Verification - 20th International Conference, 2020
i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers.
A formal approach for the verification of the permission-based security model of Android.
CLEI Electron. J., 2018
i2kit: A Deployment Tool with the Simplicity of Containers and the Security of Virtual Machines.
Proceedings of the Web Information Systems Engineering - WISE 2018, 2018
Proceedings of the Runtime Verification - 18th International Conference, 2018
Pipekit: A Deployment Tool with Advanced Scheduling and Inter-Service Communication for Multi-Tier Applications.
Proceedings of the 2018 IEEE International Conference on Web Services, 2018
Proceedings of the Logic-Based Program Synthesis and Transformation, 2017
Proceedings of the 2017 XLIII Latin American Computer Conference, 2017