All Stories

  1. JetCert: A Self-Adaptive Compilation Framework for Fast and Safe Code Execution
  2. Efficient Model Verification at Runtime through Adaptive Dynamic Approximation
  3. Resilient monitoring in self-adaptive systems through behavioral parameter estimation
  4. Self-Adaptation with Imperfect Monitoring in Solar Energy Harvesting Systems
  5. Probabilistic approximation of runtime quantitative verification in self-adaptive systems
  6. Detecting New Generations of Threats Using Attribute-Based Attack Graphs
  7. Workload Distribution for Supporting Anonymous Communications in Automotive Network
  8. Probabilistic analysis of self-stabilizing systems: A case study on a mutual exclusion algorithm
  9. Systematic literature review on the state of the art and future research work in ACS
  10. On detecting unidentified network traffic using pattern-based random walk
  11. A software solution for realtime malware detection in distributed systems
  12. Privacy enhancement in anonymous network
  13. Stop tracking me: An anti-detection type solution for anonymous data
  14. Ubiquitous IoT structure via homogeneous data type modelling
  15. A Novel Datatype Architecture Support for Programming Languages