Felipe Gorostiaga

According to our database1, Felipe Gorostiaga authored at least 8 papers between 2017 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers.
CoRR, 2018

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

2017
A certified reference validation mechanism for the permission model of Android.
CoRR, 2017

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


  Loading...