• ThingsJS: Towards a Flexible and Self-Adaptable Middleware for Dynamic and Heterogeneous IoT Environments

    standard
  • Detecting Unknown Inconsistencies in Web Applications

    standard
  • Understanding Error Propagation in Deep-Learning Neural Networks (DNN) Accelerators and Applications

    standard
  • ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security

    standard
  • LetGo: A Lightweight Continuous Framework for HPC Applications Under Failures

    standard
  • One Bit is (Not) Enough: An Empirical Study of the Impact of Single and Multiple Bit-Flip Errors

    standard
  • IPA: Error Propagation Analysis of Multi-threaded Programs Using Likely Invariants

    standard