dblp.uni-trier.dewww.uni-trier.de

Yliès Falcone

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
5EEYliès Falcone, Jean-Claude Fernandez, Laurent Mounier: Enforcement monitoring wrt. the safety-progress classification of properties. SAC 2009: 593-600
2008
4EEYliès Falcone, Jean-Claude Fernandez, Laurent Mounier: Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. ICISS 2008: 41-55
3EEYliè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
2EEYliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier: A Compositional Testing Framework Driven by Partial Specifications. TestCom/FATES 2007: 107-122
2006
1EEYliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier: A Test Calculus Framework Applied to Network Security Policies. FATES/RV 2006: 55-69

Coauthor Index

1Jean-Claude Fernandez [1] [2] [3] [4] [5]
2Laurent Mounier [1] [2] [3] [4] [5]
3Jean-Luc Richier [1] [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)