research
∙
12/08/2018
PrideMM: A Solver for Relaxed Memory Models
Relaxed memory models are notoriously delicate. To ease their study, sev...
share
research
∙
06/15/2018
Selective Monitoring
We study selective monitors for labelled Markov chains. Monitors observe...
research
∙
10/20/2009
How to Complete an Interactive Configuration Process?
When configuring customizable software, it is useful to provide interact...
research
∙
09/30/2009
