Search

Your search keyword '"Nenzi A"' showing total 37 results
Start Over Author "Nenzi A" Publisher springer international publishing

Refine your results

more »

more »

37 results on '"Nenzi A"'

1. One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly Detection in Cyber-Physical Systems

Author

Indri, Patrick, Bartoli, Alberto, Medvet, Eric, Nenzi, Laura, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Medvet, Eric, editor, Pappa, Gisele, editor, and Xue, Bing, editor

Published
2022
Full Text
View/download PDF

2. Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes

Author

Bortolussi, Luca, Gallo, Giuseppe Maria, Křetínský, Jan, Nenzi, Laura, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Fisman, Dana, editor, and Rosu, Grigore, editor

Published
2022
Full Text
View/download PDF

3. Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems

Author

Mohammadinejad, Sara, Deshmukh, Jyotirmoy V., Nenzi, Laura, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Hou, Zhe, editor, and Ganesh, Vijay, editor

Published
2021
Full Text
View/download PDF

4. MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties

Author

Bartocci, Ezio, Bortolussi, Luca, Loreti, Michele, Nenzi, Laura, Silvetti, Simone, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Deshmukh, Jyotirmoy, editor, and Ničković, Dejan, editor

Published
2020
Full Text
View/download PDF

5. Monitoring Spatio-Temporal Properties (Invited Tutorial)

Author

Nenzi, Laura, Bartocci, Ezio, Bortolussi, Luca, Loreti, Michele, Visconti, Ennio, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Deshmukh, Jyotirmoy, editor, and Ničković, Dejan, editor

Published
2020
Full Text
View/download PDF

7. A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors

Author

Lamp, Josephine, Silvetti, Simone, Breton, Marc, Nenzi, Laura, Feng, Lu, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bortolussi, Luca, editor, and Sanguinetti, Guido, editor

Published
2019
Full Text
View/download PDF

8. A Robust Genetic Algorithm for Learning Temporal Specifications from Data

Author

Nenzi, Laura, Silvetti, Simone, Bartocci, Ezio, Bortolussi, Luca, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, McIver, Annabelle, editor, and Horvath, Andras, editor

Published
2018
Full Text
View/download PDF

9. Signal Convolution Logic

Author

Silvetti, Simone, Nenzi, Laura, Bartocci, Ezio, Bortolussi, Luca, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Lahiri, Shuvendu K., editor, and Wang, Chao, editor

Published
2018
Full Text
View/download PDF

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

Author

Luisa Vissat, Ludovica, Loreti, Michele, Nenzi, Laura, Hillston, Jane, Marion, Glenn, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bertrand, Nathalie, editor, and Bortolussi, Luca, editor

Published
2017
Full Text
View/download PDF

15. Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic

Author

Bartocci, Ezio, Bortolussi, Luca, Milios, Dimitrios, Nenzi, Laura, Sanguinetti, Guido, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Abate, Alessandro, editor, and Šafránek, David, editor

Published
2015
Full Text
View/download PDF

16. Qualitative and Quantitative Monitoring of Spatio-Temporal Properties

Author

Nenzi, Laura, Bortolussi, Luca, Ciancia, Vincenzo, Loreti, Michele, Massink, Mieke, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bartocci, Ezio, editor, and Majumdar, Rupak, editor

Published
2015
Full Text
View/download PDF

20. MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties

Author

Laura Nenzi, Simone Silvetti, Michele Loreti, Ezio Bartocci, Luca Bortolussi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti, Bartocci, E., Bortolussi, L., Loreti, M., Nenzi, L., and Silvetti, S.

Subjects
Moonlight, 050101 languages & linguistics, Java, Computer science, 05 social sciences, monitoring, spatio-temporal logic, tool, Matlab, tool, 02 engineering and technology, Computational science, 0202 electrical engineering, electronic engineering, information engineering, Graph (abstract data type), 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, MATLAB, computer, Matlab, computer.programming_language
Abstract

We present MoonLight, a tool for monitoring temporal and spatio-temporal properties of mobile and spatially distributed cyber-physical systems (CPS). In the proposed framework, space is represented as a weighted graph, describing the topological configurations in which the single CPS entities (nodes of the graph) are arranged. Both nodes and edges have attributes modelling physical and logical quantities that can change in time. MoonLight is implemented in Java and supports the monitoring of Spatio-Temporal Reach and Escape Logic (STREL) introduced in [6]. MoonLight can be used as a standalone command line tool, as a Java API, or via Matlab ™interface. We provide here some examples using the Matlab ™interface and we evaluate the tool performance also by comparing with other tools specialized in monitoring only temporal properties.

Published
2020

23. A Robust Genetic Algorithm for Learning Temporal Specifications from Data

Author

Ezio Bartocci, Laura Nenzi, Simone Silvetti, Luca Bortolussi, Annabelle McIver, Andras Horvath, Nenzi, Laura, Silvetti, Simone, Bartocci, Ezio, and Bortolussi, Luca

Subjects
FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Requirement Learning, 0209 industrial biotechnology, Emulation, Training set, Computer Science - Artificial Intelligence, Computer science, Genetic Algorithms, Evolutionary algorithm, Signal Classification, 02 engineering and technology, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), 020901 industrial engineering & automation, Temporal Logic, 0202 electrical engineering, electronic engineering, information engineering, Leverage (statistics), Respiratory effort, 020201 artificial intelligence & image processing, Temporal logic, Algorithm
Abstract

We consider the problem of mining signal temporal logical requirements from a dataset of regular (good) and anomalous (bad) trajectories of a dynamical system. We assume the training set to be labeled by human experts and that we have access only to a limited amount of data, typically noisy. We provide a systematic approach to synthesize both the syntactical structure and the parameters of the temporal logic formula using a two-steps procedure: first, we leverage a novel evolutionary algorithm for learning the structure of the formula; second, we perform the parameter synthesis operating on the statistical emulation of the average robustness for a candidate formula w.r.t. its parameters. We compare our results with our previous work [{BufoBSBLB14] and with a recently proposed decision-tree [bombara_decision_2016] based method. We present experimental results on two case studies: an anomalous trajectory detection problem of a naval surveillance system and the characterization of an Ineffective Respiratory effort, showing the usefulness of our work., Comment: 16 pages, 3 figure

Published
2018

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

Author

Jane Hillston, Laura Nenzi, Ludovica Luisa Vissat, Michele Loreti, Glenn Marion, Nathalie Bertrand, Luca Bortolussi, LUISA VISSAT, Ludovica, Loreti, Michele, Nenzi, Laura, Hillston, Jane, and Marion, Glenn

Subjects
Syntax (programming languages), Computer science, Computer Science (all), SIGNAL (programming language), Theoretical Computer Science, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, Semantics, 01 natural sciences, Monitoring and control, Verification procedure, Population model, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, Spatial evolution, 020201 artificial intelligence & image processing, Temporal logic, Data mining, computer
Abstract

In this paper we present Three-Valued Spatio-Temporal Logic (TSTL), which enriches the available spatio-temporal analysis of properties expressed in Signal Spatio-Temporal Logic (SSTL), to give further insight into the dynamic behaviour of systems. Our novel analysis starts from the estimation of satisfaction probabilities of given SSTL properties and allows the analysis of their temporal and spatial evolution. Moreover, in our verification procedure, we use a three-valued approach to include the intrinsic and unavoidable uncertainty related to the simulation-based statistical evaluation of the estimates; this can be also used to assess the appropriate number of simulations to use depending on the analysis needs. We present the syntax and three-valued semantics of TSTL and aspecific extended monitoring algorithm to check the validity of TSTL formulas.We conclude with two case studies that demonstrate how TSTL broadens the application of spatio-temporal logics in realistic scenarios, enabling analysis of threat monitoring and control programmes based on spatial stochastic population models.

Published
2017

26. Qualitative and Quantitative Monitoring of Spatio-Temporal Properties

Author

Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Mieke Massink, Michele Loreti, Nenzi, Laura, Bortolussi, Luca, Ciancia, Vincenzo, Loreti, Michele, and Massink, Mieke

Subjects
Boolean semantic, Theoretical computer science, Java, Computer science, Semantics (computer science), Complex system, Quantitative semantics, Turing patterns, Theoretical Computer Science, Model Checking, Quantitative semantic, Operator (computer programming), Computer Science::Logic in Computer Science, Weighted graphs, Mathematical Logic, Turing, computer.programming_language, Boolean semantics, Discrete space, Computer Science (all), SIGNAL (programming language), Software/Program Verification. Model checking, Monitoring algorithms, Signal spatio-temporal logic, Turing pattern, Weighted graph, Graph (abstract data type), Monitoring algorithm, Spatial Logic, Modal Logics, computer
Abstract

We address the specification and verification of spatio-temporal behaviours of complex systems, extending Signal Spatio-Temporal Logic (SSTL) with a spatial operator capable of specifying topological properties in a discrete space. The latter is modelled as a weighted graph, and provided with a boolean and a quantitative semantics. Furthermore, we define efficient monitoring algorithms for both the boolean and the quantitative semantics. These are implemented in a Java tool available online. We illustrate the expressiveness of SSTL and the effectiveness of the monitoring procedures on the formation of patterns in a Turing reaction-diffusion system.

Published
2015

27. Neural Network Precision Tuning Using Stochastic Arithmetic

Author

Ferro, Quentin, Graillat, Stef, Hilaire, Thibault, Jézéquel, Fabienne, Lewandowski, Basile, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Isac, Omri, editor, Ivanov, Radoslav, editor, Katz, Guy, editor, Narodytska, Nina, editor, and Nenzi, Laura, editor

Published
2022
Full Text
View/download PDF

28. Self-correcting Neural Networks for Safe Classification

Author

Leino, Klas, Fromherz, Aymeric, Mangal, Ravi, Fredrikson, Matt, Parno, Bryan, Păsăreanu, Corina, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Isac, Omri, editor, Ivanov, Radoslav, editor, Katz, Guy, editor, Narodytska, Nina, editor, and Nenzi, Laura, editor

Published
2022
Full Text
View/download PDF

29. MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types

Author

Hariharan, Gokul, Kempa, Brian, Wongpiromsarn, Tichakorn, Jones, Phillip H., Rozier, Kristin Y., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Isac, Omri, editor, Ivanov, Radoslav, editor, Katz, Guy, editor, Narodytska, Nina, editor, and Nenzi, Laura, editor

Published
2022
Full Text
View/download PDF

30. Neural Networks in Imandra: Matrix Representation as a Verification Choice

Author

Desmartin, Remi, Passmore, Grant, Kommendentskaya, Ekaterina, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Isac, Omri, editor, Ivanov, Radoslav, editor, Katz, Guy, editor, Narodytska, Nina, editor, and Nenzi, Laura, editor

Published
2022
Full Text
View/download PDF

31. Verified Numerical Methods for Ordinary Differential Equations

Author

Kellison, Ariel E., Appel, Andrew W., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Isac, Omri, editor, Ivanov, Radoslav, editor, Katz, Guy, editor, Narodytska, Nina, editor, and Nenzi, Laura, editor

Published
2022
Full Text
View/download PDF

32. Differentiable Logics for Neural Network Training and Verification

Author

Ślusarz, Natalia, Komendantskaya, Ekaterina, Daggitt, Matthew L., Stewart, Robert, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Isac, Omri, editor, Ivanov, Radoslav, editor, Katz, Guy, editor, Narodytska, Nina, editor, and Nenzi, Laura, editor

Published
2022
Full Text
View/download PDF

33. Minimal Multi-Layer Modifications of Deep Neural Networks

Author

Refaeli, Idan, Katz, Guy, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Isac, Omri, editor, Ivanov, Radoslav, editor, Katz, Guy, editor, Narodytska, Nina, editor, and Nenzi, Laura, editor

Published
2022
Full Text
View/download PDF

34. Formal Specification for Learning-Enabled Autonomous Systems

Author

Bensalem, Saddek, Cheng, Chih-Hong, Huang, Xiaowei, Katsaros, Panagiotis, Molin, Adam, Nickovic, Dejan, Peled, Doron, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Isac, Omri, editor, Ivanov, Radoslav, editor, Katz, Guy, editor, Narodytska, Nina, editor, and Nenzi, Laura, editor

Published
2022
Full Text
View/download PDF

35. CEG4N: Counter-Example Guided Neural Network Quantization Refinement

Author

Matos, João Batista P., Jr., Bessa, Iury, Manino, Edoardo, Song, Xidan, Cordeiro, Lucas C., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Isac, Omri, editor, Ivanov, Radoslav, editor, Katz, Guy, editor, Narodytska, Nina, editor, and Nenzi, Laura, editor

Published
2022
Full Text
View/download PDF

36. VPN: Verification of Poisoning in Neural Networks

Author

Sun, Youcheng, Usman, Muhammad, Gopinath, Divya, Păsăreanu, Corina S., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Isac, Omri, editor, Ivanov, Radoslav, editor, Katz, Guy, editor, Narodytska, Nina, editor, and Nenzi, Laura, editor

Published
2022
Full Text
View/download PDF

37. A Cascade of Checkers for Run-time Certification of Local Robustness

Author

Mangal, Ravi, Păsăreanu, Corina, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Isac, Omri, editor, Ivanov, Radoslav, editor, Katz, Guy, editor, Narodytska, Nina, editor, and Nenzi, Laura, editor

Published
2022
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results