Ludovica Luisa Vissat

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 5

Top Topics

Dynamic Constraints

Temporally Extended

Temporal Properties

Stochastic Systems

Top Venues

Electron. Notes Theor. Comput. Sci.

ACM Trans. Model. Comput. Simul.

Publications

Wayne M. Getz, Ludovica Luisa Vissat, Richard M. Salter
Simulation and Analysis of Animal Movement Paths Using Numerus Model Builder. SpringSim (2020)
Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion
Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL. ACM Trans. Model. Comput. Simul. 29 (4) (2019)
Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion
Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems. QEST (2017)
Ludovica Luisa Vissat, Jane Hillston, Michele Loreti, Laura Nenzi
Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic. VALUETOOLS (2017)
Ludovica Luisa Vissat, Jane Hillston, Glenn Marion, Matthew J. Smith
MELA: Modelling in Ecology with Location Attributes. QAPL (2016)
Ludovica Luisa Vissat, Allan Clark, Stephen Gilmore
Finding Optimal Timetables for Edinburgh Bus Routes. Electron. Notes Theor. Comput. Sci. 310 (2015)