BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Estonia
1 × France
1 × Germany
1 × South Korea
1 × Spain
1 × Uruguay
2 × USA
Collaborated with:
J.Fernandez L.Mounier J.Richier S.Currea A.K.Bauer M.Jaber T.Jéron H.Marchand H.Charafeddine K.El-Harake S.Pinisetty H.Barringer K.Havelund G.Reger D.E.Rydeheard T.Nguyen M.Bozga S.Bensalem
Talks about:
properti (4) runtim (4) monitor (3) enforc (3) test (3) framework (2) system (2) orient (2) compon (2) base (2)

Person: Yliès Falcone

DBLP DBLP: Falcone:Yli=egrave=s

Contributed to:

SAC 20152015
SAC 20142014
ASE 20122012
FM 20122012
SEFM 20112011
ICTSS 20102010
SAC 20092009
MBT 20082008
TestCom/FATES 20072007
FATES/RV 20062006

Wrote 11 papers:

SAC-2015-CharafeddineEFJ #component #runtime
Runtime enforcement for component-based systems (HC, KEH, YF, MJ), pp. 1789–1796.
SAC-2014-PinisettyFJM #runtime
Runtime enforcement of regular timed properties (SP, YF, TJ, HM), pp. 1279–1286.
ASE-2012-FalconeC #android #aspect-oriented #embedded #in the cloud #programming
Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud (YF, SC), pp. 350–353.
FM-2012-BarringerFHRR #automaton #monitoring #performance #quantifier #runtime #towards
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors (HB, YF, KH, GR, DER), pp. 68–84.
FM-2012-BauerF #distributed #ltl #monitoring
Decentralised LTL Monitoring (AKB, YF), pp. 85–100.
SEFM-2011-FalconeJNBB #component #runtime #verification
Runtime Verification of Component-Based Systems (YF, MJ, THN, MB, SB), pp. 204–220.
ICTSS-2010-FalconeFJMM
More Testable Properties (YF, JCF, TJ, HM, LM), pp. 30–46.
SAC-2009-FalconeFM #classification #monitoring
Enforcement monitoring wrt. the safety-progress classification of properties (YF, JCF, LM), pp. 593–600.
MBT-2008-FalconeMFR #java #named #testing
j-POST: a Java Toolchain for Property-Oriented Software Testing (YF, LM, JCF, JLR), pp. 29–41.
TestCom-FATES-2007-FalconeFMR #composition #framework #specification #testing
A Compositional Testing Framework Driven by Partial Specifications (YF, JCF, LM, JLR), pp. 107–122.
FATES-RV-2006-FalconeFMR #calculus #framework #network #policy #security
A Test Calculus Framework Applied to Network Security Policies (YF, JCF, LM, JLR), pp. 55–69.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.