 | 2009 |
|---|
| 6 |       | Yliès Falcone,
Jean-Claude Fernandez,
Laurent Mounier:
Runtime Verification of Safety-Progress Properties.
RV 2009: 40-59 |
| 5 | | Yliès Falcone,
Jean-Claude Fernandez,
Laurent Mounier:
Enforcement monitoring wrt. the safety-progress classification of properties.
SAC 2009: 593-600 |
| 2008 |
|---|
| 4 | | Yliès Falcone,
Jean-Claude Fernandez,
Laurent Mounier:
Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties.
ICISS 2008: 41-55 |
| 3 | | Yliès Falcone,
Laurent Mounier,
Jean-Claude Fernandez,
Jean-Luc Richier:
j-POST: a Java Toolchain for Property-Oriented Software Testing.
Electr. Notes Theor. Comput. Sci. 220(1): 29-41 (2008) |
| 2007 |
|---|
| 2 | | Yliès Falcone,
Jean-Claude Fernandez,
Laurent Mounier,
Jean-Luc Richier:
A Compositional Testing Framework Driven by Partial Specifications.
TestCom/FATES 2007: 107-122 |
| 2006 |
|---|
| 1 | | Yliès Falcone,
Jean-Claude Fernandez,
Laurent Mounier,
Jean-Luc Richier:
A Test Calculus Framework Applied to Network Security Policies.
FATES/RV 2006: 55-69 |
