ARVI Tallinn meeting, 10-11 Dec. 2015: Talks

  • Alexander Weiss, Accemic: Non-intrusive online observation of multicore processors [PDF]
  • Christian Colombo, U of Malta: Facilitating testing and monitoring of number entry systems in medical devices
  • Gordon Pace, U of Malta: Compliance checking supporting an open payments ecosystem (joint work with Christian Colombo and Shaun Azzopardi)
  • Wolfgang Ahrendt, Chalmers: StaRVOOrS: Combined static and runtime verification of object-oriented software
  • Martin Sachenbacher, LionSmart: Potential applications of RV and diagnosis to Li-ion batteries
  • Nikita Salnikov-Tarnovski, Plumbr: Monitoring industry: current state and problems
  • Domenico Bianculli, U Luxembourg: Model-driven trace checking of temporal properties
  • Alena Rodionova, TU Wien: Temporal logic as filtering
  • Volker Stolz, U i Oslo / Høgskolen i Bergen:  A tale of three projects – RV at the University of Oslo and Høgskolen i Bergen [slides]