Speaker's Corner: Featuring Raphaël Beamonte, Staff Production Engineer & Technical Lead at Shopify 2021-12-15
Automated Generation of Model-Based Constraints for Common Multi-core and Real-Time Applications Using Execution Tracing 2021-01-01
R-SHT: a State History Tree with R-Tree Properties for Analysis and Visualization of Highly Parallel System Traces 2018-01-01
Enhanced State History Tree (eSHT): A Stateful Data Structure for Analysis of Highly Parallel System Traces 2016-06-01
Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints 2016-03-16