| 2008 |
|---|
| 7 | EE | Pritam Roy,
David Parker,
Gethin Norman,
Luca de Alfaro:
Symbolic Magnifying Lens Abstraction in Markov Decision Processes.
QEST 2008: 103-112 |
| 2007 |
|---|
| 6 | EE | Luca de Alfaro,
Pritam Roy:
Magnifying-Lens Abstraction for Markov Decision Processes.
CAV 2007: 325-338 |
| 5 | EE | Luca de Alfaro,
Pritam Roy:
Solving Games Via Three-Valued Abstraction Refinement.
CONCUR 2007: 74-89 |
| 4 | EE | Johannes Helander,
Risto Serg,
Margus Veanes,
Pritam Roy:
Adapting Futures: Scalability for Real-World Computing.
RTSS 2007: 105-118 |
| 2006 |
|---|
| 3 | EE | B. Thomas Adler,
Luca de Alfaro,
Leandro Dias da Silva,
Marco Faella,
Axel Legay,
Vishwanath Raman,
Pritam Roy:
Ticc: A Tool for Interface Compatibility and Composition.
CAV 2006: 59-62 |
| 2 | EE | Margus Veanes,
Pritam Roy,
Colin Campbell:
Online Testing with Reinforcement Learning.
FATES/RV 2006: 240-253 |
| 2005 |
|---|
| 1 | EE | Luca de Alfaro,
Leandro Dias da Silva,
Marco Faella,
Axel Legay,
Pritam Roy,
Maria Sorea:
Sociable Interfaces.
FroCos 2005: 81-105 |
