Kalev Alpernas

According to our database1, Kalev Alpernas authored at least 4 papers between 2017 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Some complexity results for stateful network verification.
Formal Methods Syst. Des., 2019

2018
Secure serverless computing using dynamic information flow control.
Proc. ACM Program. Lang., 2018

Abstract Interpretation of Stateful Networks.
Proceedings of the Static Analysis - 25th International Symposium, 2018

2017
Modular Safety Verification for Stateful Networks.
CoRR, 2017


  Loading...