Laura Nenzi
Orcid: 0000-0003-2263-9342
According to our database1,
Laura Nenzi
authored at least 32 papers
between 2013 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on github.com
On csauthors.net:
Bibliography
2023
Int. J. Softw. Tools Technol. Transf., August, 2023
Context, Composition, Automation, and Communication - The C2AC Roadmap for Modeling and Simulation.
CoRR, 2023
Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023
Proceedings of the Italia Intelligenza Artificiale, 2023
2022
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems.
Log. Methods Comput. Sci., 2022
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022
One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly Detection in Cyber-Physical Systems.
Proceedings of the Genetic Programming - 25th European Conference, 2022
2021
Posterior predictive model assessment using formal methods in a spatio-temporal mode.
CoRR, 2021
Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021
Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2021
2020
Proceedings of the Runtime Verification - 20th International Conference, 2020
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020
2019
ACM Trans. Model. Comput. Simul., 2019
Inferring analyzable models from trajectories of spatially-distributed internet of things.
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019
Proceedings of the Computational Methods in Systems Biology, 2019
2018
Log. Methods Comput. Sci., 2018
Inf. Comput., 2018
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018
Proceedings of the Automated Technology for Verification and Analysis, 2018
2017
Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic.
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017
Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017
2016
Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016
2015
Theor. Comput. Sci., 2015
Proceedings of the Runtime Verification - 6th International Conference, 2015
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015
2014
Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic.
Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, 2014
2013
Proceedings of the Proceedings Second International Workshop on Hybrid Systems and Biology, 2013
Proceedings of the Computational Methods in Systems Biology, 2013