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: Falcone:Yli=egrave=s
Contributed to:
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.