233 results on '"Martina Maggio"'
Search Results
2. Stress Testing Control Loops in Cyber-physical Systems.
3. Foreword: SEAMS 2022 Special Issue.
4. Stochastic Analysis of Control Systems Subject to Communication and Computation Faults.
5. Zero-Jitter Chains of Periodic LET Tasks via Algebraic Rings.
6. WeaklyHard.jl: Scalable Analysis of Weakly-Hard Constraints.
7. Optimization-based attack against control systems with CUSUM-based anomaly detection.
8. Experimenting with networked control software subject to faults.
9. Characterizing the Effect of Deadline Misses on Time-Triggered Task Chains.
10. Stability of Linear Systems Under Extended Weakly-Hard Constraints.
11. Testing Self-Adaptive Software With Probabilistic Guarantees on Performance Metrics: Extended and Comparative Results.
12. Stress Testing of Design Assumptions in Cyper-Physical Systems: A Control Theory-Based Approach.
13. SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions.
14. Stability and Performance Analysis of Control Systems Subject to Bursts of Deadline Misses.
15. Adaptive Design of Real-Time Control Systems subject to Sporadic Overruns.
16. Control Systems in the Presence of Computational Problems (Invited Talk).
17. Testing self-adaptive software with probabilistic guarantees on performance metrics.
18. Adaptive Routing with Guaranteed Delay Bounds using Safe Reinforcement Learning.
19. Control-System Stability Under Consecutive Deadline Misses Constraints.
20. Modeling of Request Cloning in Cloud Server Systems using Processor Sharing.
21. Randomization as Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Real-Time Systems with Task Replication.
22. Modeling of energy consumption in GPS receivers for power aware localization systems.
23. DMAC: Deadline-Miss-Aware Control.
24. Multilayer distributed control over 5G networks: challenges and security threats.
25. Model Checking a Self-Adaptive Camera Network with Physical Disturbances.
26. Minimizing Side-Channel Attack Vulnerability via Schedule Randomization.
27. Towards Performance Modeling of Speculative Execution for Cloud Applications.
28. Challenges in High Performance Big Data Frameworks.
29. BrownoutCC: Cascaded Control for Bounding the Response Times of Cloud Applications.
30. Camera Networks Dimensioning and Scheduling with Quasi Worst-Case Transmission Time.
31. Dynamic Models for the Formal Verification of Big Data Applications Via Stochastic Model Checking.
32. Cloud Application Predictability through Integrated Load-Balancing and Service Time Control.
33. Is this all about about handling unanticipated changes or about foreseeing what needs handling?
34. Esercizi di Fondamenti di Automatica
35. SimCA*: A Control-theoretic Approach to Handle Uncertainty in Self-adaptive Systems with Guarantees.
36. Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple.
37. Handling New and Changing Requirements with Guarantees in Self-Adaptive Systems Using SimCA.
38. Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks.
39. KPI-agnostic Control for Fine-Grained Vertical Elasticity.
40. Automated control of multiple software goals using multiple actuators.
41. Power-aware cloud brownout: Response time and power consumption control.
42. Game-theoretic network bandwidth distribution for self-adaptive cameras.
43. Control-Theoretical Software Adaptation: A Systematic Literature Review.
44. DMAC: Deadline-Miss-Aware Control (Artifact).
45. Portable Multicore Resource Management for Applications with Performance Constraints.
46. A Tool for Measuring Supply Functions of Execution Platforms.
47. A control theoretical approach to non-intrusive geo-replication for cloud services.
48. rt-muse: measuring real-time characteristics of execution platforms.
49. Control Strategies for Self-Adaptive Software Systems.
50. Software Engineering Meets Control Theory.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.