List of works - Laura Nenzi - Paulina

List of works by Laura Nenzi

A Robust Genetic Algorithm for Learning Temporal Specifications from Data

scientific article published in 2018

Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic

scientific article published on 5 December 2017

Context, Composition, Automation, and Communication: The C <sup>2</sup> AC Roadmap for Modeling and Simulation

scientific article published on 19 June 2024

Mining Road Traffic Rules with Signal Temporal Logic and Grammar-Based Genetic Programming

scientific article published in 2021

Monitoring mobile and spatially distributed cyber-physical systems

scientific article published on 29 September 2017

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties

scientific article published in 2015

Signal Convolution Logic

scientific article published in 2018

Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems

scientific article published in 2017

WebMonitor: Verification of Web User Interfaces

scientific article published on 06 January 2023

jSSTL - A Tool to Monitor Spatio-Temporal Properties

scientific article published in 2017

Paulina is supported by:

About Paulina

Help