Jacopo Mauro's homepage
Jacopo Mauro's homepage
Home
Publications
Projects
Teaching
Awards
Contact
Light
Dark
Automatic
Page not found
Perhaps you were looking for one of these?
Latest
Recent & Upcoming Talks
Example Talk
Publications
Integrated Timed Architectural Modeling/Execution Language
Serverless Scheduling Policies based on Cost Analysis
Projects
Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2023, Odense, Denmark, January 25-27, 2023
On the Evaluation of (Meta-)solver Approaches
GAMESS
Formally Verifying Function Scheduling Properties in Serverless Applications
Cite
×