Yliès Falcone

	2012
14		Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier: What can you verify and enforce at runtime? STTT 14(3): 349-382 (2012)
	2011
13		Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem: Runtime Verification of Component-Based Systems. SEFM 2011: 204-220
12		Andreas Bauer, Yliès Falcone: Decentralised LTL Monitoring CoRR abs/1111.5133: (2011)
11		Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier: Runtime enforcement monitors: composition, synthesis, and enforcement abilities. Formal Methods in System Design 38(3): 223-262 (2011)
	2010
10		Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings Springer 2010
9		Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier: More Testable Properties. ICTSS 2010: 30-46
8		Yliès Falcone: You Should Better Enforce Than Verify. RV 2010: 89-105
7		Yliès Falcone, Mohamad Jaber: Towards Automatic Integration of Or-BAC Security Policies Using Aspects. Software Engineering Research and Practice 2010: 495-499
	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

Coauthor Index

1	Howard Barringer	[10]
2	Andreas Bauer (Andreas Klaus Bauer)	[12]
3	Saddek Bensalem	[13]
4	Marius Bozga	[13]
5	Jean-Claude Fernandez	[1] [2] [3] [4] [5] [6] [9] [11] [14]
6	Bernd Finkbeiner	[10]
7	Klaus Havelund	[10]
8	Mohamad Jaber	[7] [13]
9	Thierry Jéron	[9]
10	Insup Lee	[10]
11	Hervé Marchand	[9]
12	Laurent Mounier	[1] [2] [3] [4] [5] [6] [9] [11] [14]
13	Thanh-Hung Nguyen	[13]
14	Gordon J. Pace	[10]
15	Jean-Luc Richier	[1] [2] [3] [11]
16	Grigore Rosu	[10]
17	Oleg Sokolsky	[10]
18	Nikolai Tillmann	[10]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page