88 results on '"Parlato, A."'
Search Results
2. A Unified Automata-Theoretic Approach to LTLf Modulo Theories.
3. Static Data Race Detection via Lazy Sequentialization.
4. A Feasibility Study of Real-Time Image Processing Techniques for Small Flying Object Detection in Drones.
5. BB84 decoy-state QKD protocol over long-distance optical fiber.
6. Verifying Programs by Bounded Tree-Width Behavior Graphs.
7. Reachability Games Modulo Theories with a Bounded Safety Player.
8. On False Data Injection Attack against Building Automation Systems.
9. Automated Verification of Tree-Manipulating Programs Using Constrained Horn Clauses.
10. A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version).
11. Entanglement based Spontaneous Parametric Down Conversion sources for Quantum Key Distribution applications.
12. Reasoning About Data Trees Using CHCs.
13. CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory.
14. A Narrowband IoT Personal Sensor for Long-Term Heart Rate Monitoring and Atrial Fibrillation Detection.
15. Accurate Localization of First and Second Heart Sounds via Template Matching in Forcecardiography Signals.
16. Bounded Verification of Multi-threaded Programs via Lazy Sequentialization.
17. Automated Planning Through Program Verification.
18. On the Model-Checking of Branching-time Temporal Logic with BDI Modalities.
19. A Fixed-point Model-checker for BDI Logics over Finite-state Worlds.
20. Demonstration of Single Photon Detection in Amorphous Molybdenum Silicide / Aluminium Superconducting Nanostrip.
21. On False Data Injection Attack against Building Automation Systems.
22. Low-power networks and GIS analyses for monitoring the site use of grazing cattle.
23. ECG-Free Heartbeat Detection in Seismocardiography Signals via Template Matching.
24. ECG-Free Heartbeat Detection in Seismocardiography and Gyrocardiography Signals Provides Acceptable Heart Rate Variability Indices in Healthy and Pathological Subjects.
25. Heartbeat Detection in Gyrocardiography Signals without Concurrent ECG Tracings.
26. VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq.
27. Model Checking BDI Logics over Finite-state Worlds.
28. Preventing Unauthorized Data Flows.
29. Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models.
30. Predicting Epenthetic Vowel Quality from Acoustics.
31. Parallel bug-finding in concurrent programs via reduced interleaving instances.
32. Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution).
33. Concurrent Program Verification with Lazy Sequentialization and Interval Analysis.
34. An algorithm for Gaussian Recursive Filters in a Multicore Architecture.
35. Low Dose-Rate, High Total Dose Set-Up for Rad-Hard CMOS I/O Circuits Testing.
36. MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution).
37. Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs.
38. Lazy sequentialization for TSO and PSO via shared memory abstractions.
39. On the path-width of integer linear programming.
40. Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs.
41. Verifying Concurrent Programs by Memory Unwinding.
42. Scope-Bounded Pushdown Languages.
43. Scope-Bounded Pushdown Languages.
44. Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization.
45. Vac - Verifier of Administrative Role-Based Access Control Policies.
46. Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution).
47. A Unifying Approach for Multistack Pushdown Automata.
48. Context-Bounded Analysis of TSO Systems.
49. Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists.
50. CSeq: A concurrency pre-processor for sequential C verification tools.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.