Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Yliès Falcone
2010 – today
- 2012
[j4]Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier: What can you verify and enforce at runtime? STTT 14(3): 349-382 (2012)- [j3]Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier: More testable properties. STTT 14(4): 407-437 (2012)
- [c17]Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard: Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. FM 2012: 68-84
- [c16]
- [c15]Jan Olaf Blech, Yliès Falcone, Klaus Becker: Towards Certified Runtime Verification. ICFEM 2012: 494-509
- [c14]Yliès Falcone, Lenore D. Zuck: Runtime Verification: The Application Perspective. ISoLA (1) 2012: 284-291
- [c13]Jan Olaf Blech, Yliès Falcone, Harald Rueß, Bernhard Schätz: Behavioral Specification Based Runtime Monitors for OSGi Services. ISoLA (1) 2012: 405-419
- [c12]Yliès Falcone, Sebastian Currea: Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud. ASE 2012: 350-353
- [c11]Yliès Falcone, Sebastian Currea, Mohamad Jaber: Runtime Verification and Enforcement for Android Applications with RV-Droid. RV 2012: 88-95
- [c10]Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo: Runtime Enforcement of Timed Properties. RV 2012: 229-244
- 2011
- [j2]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)
- [c9]Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem: Runtime Verification of Component-Based Systems. SEFM 2011: 204-220
- [i1]
- 2010
- [c8]Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier: More Testable Properties. ICTSS 2010: 30-46
- [c7]
- [c6]Yliès Falcone, Mohamad Jaber: Towards Automatic Integration of Or-BAC Security Policies Using Aspects. Software Engineering Research and Practice 2010: 495-499
- [e1]Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann (Eds.): Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Lecture Notes in Computer Science 6418, Springer 2010, ISBN 978-3-642-16611-2
2000 – 2009
- 2009
- [c5]Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier: Runtime Verification of Safety-Progress Properties. RV 2009: 40-59
- [c4]Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier: Enforcement monitoring wrt. the safety-progress classification of properties. SAC 2009: 593-600
- 2008
- [j1]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)
- [c3]Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier: Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. ICISS 2008: 41-55
- 2007
- [c2]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
- [c1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-31 19:42 CET by the dblp team