52 results on '"Nenzi A"'
Search Results
2. ECATS: Explainable-by-Design Concept-Based Anomaly Detection for Time Series
3. Adaptable Configuration of Decentralized Monitors
4. One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly Detection in Cyber-Physical Systems
5. Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes
6. Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems
7. MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
8. Monitoring Spatio-Temporal Properties (Invited Tutorial)
9. A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors
10. A Robust Genetic Algorithm for Learning Temporal Specifications from Data
11. Signal Convolution Logic
12. Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems
13. Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic
14. Qualitative and Quantitative Monitoring of Spatio-Temporal Properties
15. A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits
16. Runtime Monitoring DNN-Based Perception : (via the Lens of Formal Methods)
17. AMT: A Runtime Verification Tool of Video Streams
18. Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees
19. CCMOP: A Runtime Verification Tool for C/C++ Programs
20. A Stream Runtime Verification Tool with Nested and Retroactive Parametrization
21. eMOP: A Maven Plugin for Evolution-Aware Runtime Verification
22. Instrumentation for RV: From Basic Monitoring to Advanced Use Cases
23. Safety Monitoring for Pedestrian Detection in Adverse Conditions
24. Monitorability for Runtime Verification
25. Runtime Monitoring of Accidents in Driving Recordings with Multi-type Logic in Empirical Models
26. Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
27. Monitoring Hyperproperties with Prefix Transducers
28. Metric First-Order Temporal Logic with Complex Data Types
29. Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM
30. Runtime Verification Prediction for Traces with Data
31. General Anticipatory Monitoring for Temporal Logics on Finite Traces
32. Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals
33. Mining Specification Parameters for Multi-class Classification
34. Flexible Runtime Security Enforcement with Tagged C
35. Assumption Generation for Learning-Enabled Autonomous Systems
36. Monitoring Blackbox Implementations of Multiparty Session Protocols
37. Monitoring Algorithmic Fairness Under Partial Observations
38. Learning Monitor Ensembles for Operational Design Domains
39. Pattern Matching for Perception Streams
40. Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications
41. Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes
42. Neural Network Precision Tuning Using Stochastic Arithmetic
43. Self-correcting Neural Networks for Safe Classification
44. MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types
45. Neural Networks in Imandra: Matrix Representation as a Verification Choice
46. Verified Numerical Methods for Ordinary Differential Equations
47. Differentiable Logics for Neural Network Training and Verification
48. Minimal Multi-Layer Modifications of Deep Neural Networks
49. Formal Specification for Learning-Enabled Autonomous Systems
50. CEG4N: Counter-Example Guided Neural Network Quantization Refinement
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.