You are here

Event Details

MP Associates, Inc.
MONDAY October 14, 1:30pm - 3:00pm | KC 905/907
EVENT TYPE: REGULAR SESSION
SESSION EM2C
Verification and Runtime Monitoring
Chair:
Borzoo Bonakdarpour - Iowa State Univ.
This session combines papers on verification and runtime monitoring

2C.1Efficient Decentralized LTL Monitoring Framework Using Tableau Technique
 Speaker: Omar Bataineh - Nanyang Technological Univ.
 Authors: Omar Bataineh - Nanyang Technological Univ.
David Rosenblum - National Univ. of Singapore
Mark Reynolds - Univ. of West Alabama
2C.2FPGA Stream-Monitoring of Real-time Properties
 Speaker: Maximilian Schwenger - Saarland Univ.
 Authors: Jan Baumeister - Saarland Univ.
Bernd Finkbeiner - Saarland Univ.
Maximilian Schwenger - Saarland Univ.
Hazem Torfah - Saarland Univ.
2C.3Will My Program Break on This Faulty Processor? - Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software
 Speaker: Vince Molnár - Budapest Univ. of Technology and Economics
 Authors: Levente Bajczi - Budapest Univ. of Technology and Economics
András Vörös - Massachusetts Institute of Technology
Vince Molnár - Budapest Univ. of Technology and Economics