According to our database1, Felipe Gorostiaga authored at least 8 papers between 2017 and 2018.
Legend:Book In proceedings Article PhD thesis Other
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
Striver: Stream Runtime Verification for Real-Time Event-Streams.
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
A certified reference validation mechanism for the permission model of Android.
A Certified Reference Validation Mechanism for the Permission Model of Android.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2017
Towards formal model-based analysis and testing of Android's security mechanisms.
Proceedings of the 2017 XLIII Latin American Computer Conference, 2017