Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Yliès Falcone
@inproceedings{DBLP:conf/fase/FalconeSZ24,
author = {Yli{\`{e}}s Falcone and
Gwen Sala{\"{u}}n and
Ahang Zuo},
editor = {Dirk Beyer and
Ana Cavalcanti},
title = {Probabilistic Runtime Enforcement of Executable {BPMN} Processes},
booktitle = {Fundamental Approaches to Software Engineering - 27th International
Conference, {FASE} 2024, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City,
Luxembourg, April 6-11, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14573},
pages = {56--76},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57259-3\_3},
doi = {10.1007/978-3-031-57259-3\_3},
timestamp = {Sun, 14 Apr 2024 18:32:17 +0200},
biburl = {https://dblp.org/rec/conf/fase/FalconeSZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-18391,
author = {Chukri Soueidi and
Yli{\`{e}}s Falcone},
title = {Sound Concurrent Traces for Online Monitoring Technical Report},
journal = {CoRR},
volume = {abs/2402.18391},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.18391},
doi = {10.48550/ARXIV.2402.18391},
eprinttype = {arXiv},
eprint = {2402.18391},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-18391.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SoueidiMF23,
author = {Chukri Soueidi and
Marius Monnier and
Yli{\`{e}}s Falcone},
title = {Efficient and expressive bytecode-level instrumentation for Java programs},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {25},
number = {4},
pages = {453--479},
year = {2023},
url = {https://doi.org/10.1007/s10009-023-00708-z},
doi = {10.1007/S10009-023-00708-Z},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/SoueidiMF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aitest/AlQadasiFB23,
author = {Hamzah Al{-}Qadasi and
Yli{\`{e}}s Falcone and
Saddek Bensalem},
title = {Difficulty and Severity-Oriented Metrics for Test Prioritization in
Deep Learning Systems},
booktitle = {{IEEE} International Conference On Artificial Intelligence Testing,
AITest 2023, Athens, Greece, July 17-20, 2023},
pages = {40--48},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/AITest58265.2023.00015},
doi = {10.1109/AITEST58265.2023.00015},
timestamp = {Wed, 06 Sep 2023 16:07:23 +0200},
biburl = {https://dblp.org/rec/conf/aitest/AlQadasiFB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/SoueidiFH23,
author = {Chukri Soueidi and
Yli{\`{e}}s Falcone and
Sylvain Hall{\'{e}}},
editor = {Tiago Prince Sales and
Sybren de Kinderen and
Henderik A. Proper and
Luise Pufahl and
Dimka Karastoyanova and
Marten van Sinderen},
title = {Monitoring Business Process Compliance Across Multiple Executions
with Stream Processing},
booktitle = {Enterprise Design, Operations, and Computing. {EDOC} 2023 Workshops
- IDAMS, iRESEARCH, MIDas4CS, SoEA4EE, {EDOC} Forum, Demonstrations
Track and Doctoral Consortium, Groningen, The Netherlands, October
30 - November 3, 2023, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {498},
pages = {247--264},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-54712-6\_15},
doi = {10.1007/978-3-031-54712-6\_15},
timestamp = {Thu, 28 Mar 2024 09:40:46 +0100},
biburl = {https://dblp.org/rec/conf/edoc/SoueidiFH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/SoueidiEF23,
author = {Chukri Soueidi and
Antoine El{-}Hokayem and
Yli{\`{e}}s Falcone},
editor = {Leen Lambers and
Sebasti{\'{a}}n Uchitel},
title = {Opportunistic Monitoring of Multithreaded Programs},
booktitle = {Fundamental Approaches to Software Engineering - 26th International
Conference, {FASE} 2023, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2023, Paris, France, April
22-27, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13991},
pages = {173--194},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30826-0\_10},
doi = {10.1007/978-3-031-30826-0\_10},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/SoueidiEF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HalleSF23,
author = {Sylvain Hall{\'{e}} and
Chukri Soueidi and
Yli{\`{e}}s Falcone},
editor = {Stefan Hallerstede and
Eduard Kamburjan},
title = {Leveraging Runtime Verification for the Monitoring of Digital Twins},
booktitle = {Proceedings of the Workshop on Applications of Formal Methods and
Digital Twins co-located with 25th International Symposium on Formal
Methods {(FM} 2023), L{\"{u}}beck, Germany, March 06, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3507},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3507/paper1.pdf},
timestamp = {Fri, 24 Nov 2023 12:33:41 +0100},
biburl = {https://dblp.org/rec/conf/fm/HalleSF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/SoueidiFH23,
author = {Chukri Soueidi and
Yli{\`{e}}s Falcone and
Sylvain Hall{\'{e}}},
title = {Dynamic Program Analysis with Flexible Instrumentation and Complex
Event Processing},
booktitle = {34th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2023, Florence, Italy, October 9-12, 2023},
pages = {742--751},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISSRE59848.2023.00048},
doi = {10.1109/ISSRE59848.2023.00048},
timestamp = {Tue, 14 Nov 2023 16:09:47 +0100},
biburl = {https://dblp.org/rec/conf/issre/SoueidiFH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/WuFB23,
author = {Changshun Wu and
Yli{\`{e}}s Falcone and
Saddek Bensalem},
editor = {Panagiotis Katsaros and
Laura Nenzi},
title = {Customizable Reference Runtime Monitoring of Neural Networks Using
Resolution Boxes},
booktitle = {Runtime Verification - 23rd International Conference, {RV} 2023, Thessaloniki,
Greece, October 3-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14245},
pages = {23--41},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-44267-4\_2},
doi = {10.1007/978-3-031-44267-4\_2},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/WuFB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/SoueidiF23,
author = {Chukri Soueidi and
Yli{\`{e}}s Falcone},
editor = {Panagiotis Katsaros and
Laura Nenzi},
title = {Bridging the Gap: {A} Focused {DSL} for RV-Oriented Instrumentation
with {BISM}},
booktitle = {Runtime Verification - 23rd International Conference, {RV} 2023, Thessaloniki,
Greece, October 3-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14245},
pages = {327--338},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-44267-4\_17},
doi = {10.1007/978-3-031-44267-4\_17},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/SoueidiF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/SoueidiF23a,
author = {Chukri Soueidi and
Yli{\`{e}}s Falcone},
editor = {Panagiotis Katsaros and
Laura Nenzi},
title = {Instrumentation for {RV:} From Basic Monitoring to Advanced Use Cases},
booktitle = {Runtime Verification - 23rd International Conference, {RV} 2023, Thessaloniki,
Greece, October 3-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14245},
pages = {403--427},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-44267-4\_23},
doi = {10.1007/978-3-031-44267-4\_23},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/SoueidiF23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/SoueidiF23,
author = {Chukri Soueidi and
Yli{\`{e}}s Falcone},
editor = {Georgiana Caltais and
Christian Schilling},
title = {Sound Concurrent Traces for Online Monitoring},
booktitle = {Model Checking Software - 29th International Symposium, {SPIN} 2023,
Paris, France, April 26-27, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13872},
pages = {59--80},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-32157-3\_4},
doi = {10.1007/978-3-031-32157-3\_4},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/SoueidiF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/AlQadasiFB23,
author = {Hamzah Al{-}Qadasi and
Yli{\`{e}}s Falcone and
Saddek Bensalem},
editor = {Bernhard Steffen},
title = {DeepAbstraction++: Enhancing Test Prioritization Performance via Combined
Parameterized Boxes},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {77--93},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_5},
doi = {10.1007/978-3-031-46002-9\_5},
timestamp = {Sun, 07 Jan 2024 14:24:23 +0100},
biburl = {https://dblp.org/rec/conf/vecos/AlQadasiFB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/El-HokayemF22,
author = {Antoine El{-}Hokayem and
Yli{\`{e}}s Falcone},
title = {Bringing runtime verification home: a case study on the hierarchical
monitoring of smart homes using decentralized specifications},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {24},
number = {2},
pages = {159--181},
year = {2022},
url = {https://doi.org/10.1007/s10009-021-00614-2},
doi = {10.1007/S10009-021-00614-2},
timestamp = {Thu, 07 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/El-HokayemF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aitest/Al-QadasiWFB22,
author = {Hamzah Al{-}Qadasi and
Changshun Wu and
Yli{\`{e}}s Falcone and
Saddek Bensalem},
title = {DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs
in Deep Neural Networks},
booktitle = {{IEEE} International Conference On Artificial Intelligence Testing,
AITest 2022, Newark, CA, USA, August 15-18, 2022},
pages = {64--71},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/AITest55621.2022.00018},
doi = {10.1109/AITEST55621.2022.00018},
timestamp = {Thu, 06 Oct 2022 22:35:08 +0200},
biburl = {https://dblp.org/rec/conf/aitest/Al-QadasiWFB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/ContrerasFSZ22,
author = {Angel Contreras and
Yli{\`{e}}s Falcone and
Gwen Sala{\"{u}}n and
Ahang Zuo},
editor = {Silvia Lizeth Tapia Tarifa and
Jos{\'{e}} Proen{\c{c}}a},
title = {{WEASY:} {A} Tool for Modelling Optimised {BPMN} Processes},
booktitle = {Formal Aspects of Component Software - 18th International Conference,
{FACS} 2022, Virtual Event, November 10-11, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13712},
pages = {110--118},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-20872-0\_7},
doi = {10.1007/978-3-031-20872-0\_7},
timestamp = {Thu, 10 Nov 2022 10:33:56 +0100},
biburl = {https://dblp.org/rec/conf/facs2/ContrerasFSZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/FalconeSZ22,
author = {Yli{\`{e}}s Falcone and
Gwen Sala{\"{u}}n and
Ahang Zuo},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Probabilistic Model Checking of {BPMN} Processes at Runtime},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {191--208},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_11},
doi = {10.1007/978-3-031-07727-2\_11},
timestamp = {Fri, 03 Jun 2022 16:42:29 +0200},
biburl = {https://dblp.org/rec/conf/ifm/FalconeSZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iot/FaqrizalSF22,
author = {Irman Faqrizal and
Gwen Sala{\"{u}}n and
Yli{\`{e}}s Falcone},
editor = {Evangelos Niforatos and
Gerd Kortuem and
Nirvana Meratnia and
Joshua Siegel and
Florian Michahelles},
title = {Probabilistic Analysis of Industrial IoT Applications},
booktitle = {Proceedings of the 12th International Conference on the Internet of
Things, IoT 2022, Delft, The Netherlands, November 7-10, 2022},
pages = {41--48},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3567445.3567461},
doi = {10.1145/3567445.3567461},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iot/FaqrizalSF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FurianAFS22,
author = {Denis Furian and
Shaun Azzopardi and
Yli{\`{e}}s Falcone and
Gerardo Schneider},
editor = {Thao Dang and
Volker Stolz},
title = {Runtime Verification of Kotlin Coroutines},
booktitle = {Runtime Verification - 22nd International Conference, {RV} 2022, Tbilisi,
Georgia, September 28-30, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13498},
pages = {221--239},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17196-3\_12},
doi = {10.1007/978-3-031-17196-3\_12},
timestamp = {Tue, 27 Sep 2022 17:07:25 +0200},
biburl = {https://dblp.org/rec/conf/rv/FurianAFS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/GallayF22,
author = {Florian Gallay and
Yli{\`{e}}s Falcone},
editor = {Thao Dang and
Volker Stolz},
title = {Decent: {A} Benchmark for Decentralized Enforcement},
booktitle = {Runtime Verification - 22nd International Conference, {RV} 2022, Tbilisi,
Georgia, September 28-30, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13498},
pages = {293--303},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17196-3\_18},
doi = {10.1007/978-3-031-17196-3\_18},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/GallayF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SoueidiF22,
author = {Chukri Soueidi and
Yli{\`{e}}s Falcone},
editor = {Jiman Hong and
Miroslav Bures and
Juw Won Park and
Tom{\'{a}}s Cern{\'{y}}},
title = {Capturing program models with {BISM}},
booktitle = {{SAC} '22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, April 25 - 29, 2022},
pages = {1857--1861},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3477314.3507239},
doi = {10.1145/3477314.3507239},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/SoueidiF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FalconeFS22,
author = {Yli{\`{e}}s Falcone and
Irman Faqrizal and
Gwen Sala{\"{u}}n},
editor = {Bernd{-}Holger Schlingloff and
Ming Chai},
title = {Runtime Enforcement for {IEC} 61499 Applications},
booktitle = {Software Engineering and Formal Methods - 20th International Conference,
{SEFM} 2022, Berlin, Germany, September 26-30, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13550},
pages = {352--368},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17108-6\_22},
doi = {10.1007/978-3-031-17108-6\_22},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/FalconeFS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/ShankarRPF22,
author = {Saumya Shankar and
Antoine Rollet and
Srinivas Pinisetty and
Yli{\`{e}}s Falcone},
editor = {Owolabi Legunsen and
Grigore Rosu},
title = {Bounded-Memory Runtime Enforcement},
booktitle = {Model Checking Software - 28th International Symposium, {SPIN} 2022,
Virtual Event, May 21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13255},
pages = {114--133},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15077-7\_7},
doi = {10.1007/978-3-031-15077-7\_7},
timestamp = {Thu, 25 Aug 2022 08:35:30 +0200},
biburl = {https://dblp.org/rec/conf/spin/ShankarRPF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/RoussanalyF22,
author = {Victor Roussanaly and
Yli{\`{e}}s Falcone},
editor = {Alexander Artikis and
Roberto Posenato and
Stefano Tonetta},
title = {Decentralised Runtime Verification of Timed Regular Expressions},
booktitle = {29th International Symposium on Temporal Representation and Reasoning,
{TIME} 2022, November 7-9, 2022, Virtual Conference},
series = {LIPIcs},
volume = {247},
pages = {6:1--6:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.TIME.2022.6},
doi = {10.4230/LIPICS.TIME.2022.6},
timestamp = {Wed, 02 Nov 2022 15:45:12 +0100},
biburl = {https://dblp.org/rec/conf/time/RoussanalyF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/SoueidiF22,
author = {Chukri Soueidi and
Yli{\`{e}}s Falcone},
editor = {Akash Lal and
Stefano Tonetta},
title = {Residual Runtime Verification via Reachability Analysis},
booktitle = {Verified Software. Theories, Tools and Experiments - 14th International
Conference, {VSTTE} 2022, Trento, Italy, October 17-18, 2022, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13800},
pages = {148--166},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-25803-9\_9},
doi = {10.1007/978-3-031-25803-9\_9},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/SoueidiF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/DuranFRSZ22,
author = {Francisco Dur{\'{a}}n and
Yli{\`{e}}s Falcone and
Camilo Rocha and
Gwen Sala{\"{u}}n and
Ahang Zuo},
editor = {Kyungmin Bae},
title = {From Static to Dynamic Analysis and Allocation of Resources for {BPMN}
Processes},
booktitle = {Rewriting Logic and Its Applications - 14th International Workshop,
WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {13252},
pages = {3--21},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-12441-9\_1},
doi = {10.1007/978-3-031-12441-9\_1},
timestamp = {Wed, 03 Aug 2022 15:28:31 +0200},
biburl = {https://dblp.org/rec/conf/wrla/DuranFRSZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FalconeKRT21,
author = {Yli{\`{e}}s Falcone and
Srdan Krstic and
Giles Reger and
Dmitriy Traytel},
title = {A taxonomy for classifying runtime verification tools},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {2},
pages = {255--284},
year = {2021},
url = {https://doi.org/10.1007/s10009-021-00609-z},
doi = {10.1007/S10009-021-00609-Z},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FalconeKRT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/FalconeSZ21,
author = {Yli{\`{e}}s Falcone and
Gwen Sala{\"{u}}n and
Ahang Zuo},
editor = {Barbara Carminati and
Carl K. Chang and
Ernesto Daminai and
Shuigung Deng and
Wei Tan and
Zhongjie Wang and
Robert Ward and
Jia Zhang},
title = {Semi-automated Modelling of Optimized {BPMN} Processes},
booktitle = {{IEEE} International Conference on Services Computing, {SCC} 2021,
Chicago, IL, USA, September 5-10, 2021},
pages = {425--430},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SCC53864.2021.00061},
doi = {10.1109/SCC53864.2021.00061},
timestamp = {Fri, 23 Jun 2023 11:36:46 +0200},
biburl = {https://dblp.org/rec/conf/IEEEscc/FalconeSZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/FalconeNBB21,
author = {Yli{\`{e}}s Falcone and
Hosein Nazarpour and
Saddek Bensalem and
Marius Bozga},
editor = {Gwen Sala{\"{u}}n and
Anton Wijs},
title = {Monitoring Distributed Component-Based Systems},
booktitle = {Formal Aspects of Component Software - 17th International Conference,
{FACS} 2021, Virtual Event, October 28-29, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13077},
pages = {153--173},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90636-8\_9},
doi = {10.1007/978-3-030-90636-8\_9},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/FalconeNBB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FalconeS21,
author = {Yli{\`{e}}s Falcone and
Gwen Sala{\"{u}}n},
editor = {Radu Calinescu and
Corina S. Pasareanu},
title = {Runtime Enforcement with Reordering, Healing, and Suppression},
booktitle = {Software Engineering and Formal Methods - 19th International Conference,
{SEFM} 2021, Virtual Event, December 6-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13085},
pages = {47--65},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92124-8\_3},
doi = {10.1007/978-3-030-92124-8\_3},
timestamp = {Tue, 07 Dec 2021 17:02:16 +0100},
biburl = {https://dblp.org/rec/conf/sefm/FalconeS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Falcone21,
author = {Yli{\`{e}}s Falcone},
editor = {Ayoub Nouri and
Weimin Wu and
Kamel Barkaoui and
ZhiWu Li},
title = {On Decentralized Monitoring},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 15th International Conference, VECoS 2021, Virtual Event, November
22-23, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13187},
pages = {1--16},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-98850-0\_1},
doi = {10.1007/978-3-030-98850-0\_1},
timestamp = {Fri, 29 Apr 2022 15:37:30 +0200},
biburl = {https://dblp.org/rec/conf/vecos/Falcone21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2107-06084,
author = {Florian Gallay and
Yli{\`{e}}s Falcone},
editor = {Pierre Ganty and
Davide Bresolin},
title = {Decentralized {LTL} Enforcement},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {135--151},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.9},
doi = {10.4204/EPTCS.346.9},
timestamp = {Mon, 29 Nov 2021 16:32:06 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-06084.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2021havelund,
editor = {Ezio Bartocci and
Yli{\`{e}}s Falcone and
Martin Leucker},
title = {Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13065},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-87348-6},
doi = {10.1007/978-3-030-87348-6},
isbn = {978-3-030-87347-9},
timestamp = {Thu, 18 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/2021havelund.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-14435,
author = {Changshun Wu and
Yli{\`{e}}s Falcone and
Saddek Bensalem},
title = {Customizable Reference Runtime Monitoring of Neural Networks using
Resolution Boxes},
journal = {CoRR},
volume = {abs/2104.14435},
year = {2021},
url = {https://arxiv.org/abs/2104.14435},
eprinttype = {arXiv},
eprint = {2104.14435},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-14435.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-01115,
author = {Chukri Soueidi and
Marius Monnier and
Ali Kassem and
Yli{\`{e}}s Falcone},
title = {Efficient and Expressive Bytecode-Level Instrumentation for Java Programs},
journal = {CoRR},
volume = {abs/2106.01115},
year = {2021},
url = {https://arxiv.org/abs/2106.01115},
eprinttype = {arXiv},
eprint = {2106.01115},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-01115.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/RenardRF20,
author = {Matthieu Renard and
Antoine Rollet and
Yli{\`{e}}s Falcone},
title = {Runtime enforcement of timed properties using games},
journal = {Formal Aspects Comput.},
volume = {32},
number = {2-3},
pages = {315--360},
year = {2020},
url = {https://doi.org/10.1007/s00165-020-00515-2},
doi = {10.1007/S00165-020-00515-2},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/RenardRF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/JaberFAKHE20,
author = {Mohamad Jaber and
Yli{\`{e}}s Falcone and
Paul C. Attie and
Al{-}Abbass Khalil and
Rayan Hallal and
Antoine El{-}Hokayem},
title = {From global choreographies to verifiable efficient distributed implementations},
journal = {J. Log. Algebraic Methods Program.},
volume = {115},
pages = {100577},
year = {2020},
url = {https://doi.org/10.1016/j.jlamp.2020.100577},
doi = {10.1016/J.JLAMP.2020.100577},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/JaberFAKHE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/FalconeM20,
author = {Yli{\`{e}}s Falcone and
Leonardo Mariani},
title = {Preface to the special section on improving software quality through
formal methods},
journal = {Softw. Qual. J.},
volume = {28},
number = {2},
pages = {693--694},
year = {2020},
url = {https://doi.org/10.1007/s11219-020-09508-z},
doi = {10.1007/S11219-020-09508-Z},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/FalconeM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/El-HokayemF20,
author = {Antoine El{-}Hokayem and
Yli{\`{e}}s Falcone},
title = {On the Monitoring of Decentralized Specifications: Semantics, Properties,
Analysis, and Simulation},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {29},
number = {1},
pages = {1:1--1:57},
year = {2020},
url = {https://doi.org/10.1145/3355181},
doi = {10.1145/3355181},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/El-HokayemF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/SoueidiKF20,
author = {Chukri Soueidi and
Ali Kassem and
Yli{\`{e}}s Falcone},
editor = {Jyotirmoy Deshmukh and
Dejan Nickovic},
title = {{BISM:} Bytecode-Level Instrumentation for Software Monitoring},
booktitle = {Runtime Verification - 20th International Conference, {RV} 2020, Los
Angeles, CA, USA, October 6-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12399},
pages = {323--335},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60508-7\_18},
doi = {10.1007/978-3-030-60508-7\_18},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/SoueidiKF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-03936,
author = {Chukri Soueidi and
Ali Kassem and
Yli{\`{e}}s Falcone},
title = {{BISM:} Bytecode-Level Instrumentation for Software Monitoring},
journal = {CoRR},
volume = {abs/2007.03936},
year = {2020},
url = {https://arxiv.org/abs/2007.03936},
eprinttype = {arXiv},
eprint = {2007.03936},
timestamp = {Mon, 20 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-03936.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SanchezSABBCFFK19,
author = {C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Wolfgang Ahrendt and
Ezio Bartocci and
Domenico Bianculli and
Christian Colombo and
Yli{\`{e}}s Falcone and
Adrian Francalanza and
Srdan Krstic and
Jo{\~{a}}o M. Louren{\c{c}}o and
Dejan Nickovic and
Gordon J. Pace and
Jos{\'{e}} Rufino and
Julien Signoles and
Dmitriy Traytel and
Alexander Weiss},
title = {A survey of challenges for runtime verification from advanced application
domains (beyond software)},
journal = {Formal Methods Syst. Des.},
volume = {54},
number = {3},
pages = {279--335},
year = {2019},
url = {https://doi.org/10.1007/s10703-019-00337-w},
doi = {10.1007/S10703-019-00337-W},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/SanchezSABBCFFK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SanchezSABBCFFK19a,
author = {C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Wolfgang Ahrendt and
Ezio Bartocci and
Domenico Bianculli and
Christian Colombo and
Yli{\`{e}}s Falcone and
Adrian Francalanza and
Srdan Krstic and
Jo{\~{a}}o M. Louren{\c{c}}o and
Dejan Nickovic and
Gordon J. Pace and
Jos{\'{e}} Rufino and
Julien Signoles and
Dmitriy Traytel and
Alexander Weiss},
title = {Correction to: {A} survey of challenges for runtime verification from
advanced application domains (beyond software)},
journal = {Formal Methods Syst. Des.},
volume = {55},
number = {1},
pages = {72},
year = {2019},
url = {https://doi.org/10.1007/s10703-019-00343-y},
doi = {10.1007/S10703-019-00343-Y},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/SanchezSABBCFFK19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/RenardFRJM19,
author = {Matthieu Renard and
Yli{\`{e}}s Falcone and
Antoine Rollet and
Thierry J{\'{e}}ron and
Herv{\'{e}} Marchand},
title = {Optimal enforcement of (timed) properties with uncontrollable events},
journal = {Math. Struct. Comput. Sci.},
volume = {29},
number = {1},
pages = {169--214},
year = {2019},
url = {https://doi.org/10.1017/S0960129517000123},
doi = {10.1017/S0960129517000123},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/RenardFRJM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BartocciFBCDHJK19,
author = {Ezio Bartocci and
Yli{\`{e}}s Falcone and
Borzoo Bonakdarpour and
Christian Colombo and
Normann Decker and
Klaus Havelund and
Yogi Joshi and
Felix Klaedtke and
Reed Milewicz and
Giles Reger and
Grigore Rosu and
Julien Signoles and
Daniel Thoma and
Eugen Zalinescu and
Yi Zhang},
title = {First international Competition on Runtime Verification: rules, benchmarks,
tools, and final results of {CRV} 2014},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {21},
number = {1},
pages = {31--70},
year = {2019},
url = {https://doi.org/10.1007/s10009-017-0454-5},
doi = {10.1007/S10009-017-0454-5},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BartocciFBCDHJK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ZaraketJNF19,
author = {Fadi A. Zaraket and
Mohamad Jaber and
Mohamad Noureddine and
Yli{\`{e}}s Falcone},
title = {From high-level modeling toward efficient and trustworthy circuits},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {21},
number = {2},
pages = {143--163},
year = {2019},
url = {https://doi.org/10.1007/s10009-017-0462-5},
doi = {10.1007/S10009-017-0462-5},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ZaraketJNF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/0004F19,
author = {Ali Kassem and
Yli{\`{e}}s Falcone},
editor = {Paolo Falcarin and
Michael Zunke},
title = {Detecting Fault Injection Attacks with Runtime Verification},
booktitle = {Proceedings of the 3rd {ACM} Workshop on Software Protection, SPRO@CCS
2019, London, Uk, November 15, 2019},
pages = {65--76},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3338503.3357724},
doi = {10.1145/3338503.3357724},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/0004F19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FalconeP19,
author = {Yli{\`{e}}s Falcone and
Srinivas Pinisetty},
editor = {Bernd Finkbeiner and
Leonardo Mariani},
title = {On the Runtime Enforcement of Timed Properties},
booktitle = {Runtime Verification - 19th International Conference, {RV} 2019, Porto,
Portugal, October 8-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11757},
pages = {48--69},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32079-9\_4},
doi = {10.1007/978-3-030-32079-9\_4},
timestamp = {Mon, 07 Oct 2019 11:22:34 +0200},
biburl = {https://dblp.org/rec/conf/rv/FalconeP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BartocciFR19,
author = {Ezio Bartocci and
Yli{\`{e}}s Falcone and
Giles Reger},
editor = {Dirk Beyer and
Marieke Huisman and
Fabrice Kordon and
Bernhard Steffen},
title = {International Competition on Runtime Verification {(CRV)}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11429},
pages = {41--49},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17502-3\_3},
doi = {10.1007/978-3-030-17502-3\_3},
timestamp = {Fri, 09 Apr 2021 18:45:37 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BartocciFR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-03776,
author = {Wolfgang Ahrendt and
Cyrille Artho and
Christian Colombo and
Yli{\`{e}}s Falcone and
Srdan Krstic and
Martin Leucker and
Florian Lorber and
Jo{\~{a}}o M. Louren{\c{c}}o and
Leonardo Mariani and
C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Volker Stolz},
title = {{COST} Action {IC} 1402 ArVI: Runtime Verification Beyond Monitoring
- Activity Report of Working Group 1},
journal = {CoRR},
volume = {abs/1902.03776},
year = {2019},
url = {http://arxiv.org/abs/1902.03776},
eprinttype = {arXiv},
eprint = {1902.03776},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-03776.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-13529,
author = {Mohamad Jaber and
Yli{\`{e}}s Falcone and
Paul C. Attie and
Al{-}Abbass Khalil and
Rayan Hallal},
title = {From Global Choreographies to Provably Correct and Efficient Distributed
Implementations},
journal = {CoRR},
volume = {abs/1905.13529},
year = {2019},
url = {http://arxiv.org/abs/1905.13529},
eprinttype = {arXiv},
eprint = {1905.13529},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-13529.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-03309,
author = {Ali Kassem and
Yli{\`{e}}s Falcone},
title = {Detecting Fault Injection Attacks with Runtime Verification},
journal = {CoRR},
volume = {abs/1907.03309},
year = {2019},
url = {http://arxiv.org/abs/1907.03309},
eprinttype = {arXiv},
eprint = {1907.03309},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-03309.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/FalconeS18,
author = {Yli{\`{e}}s Falcone and
C{\'{e}}sar S{\'{a}}nchez},
title = {Introduction to the special issue on runtime verification},
journal = {Formal Methods Syst. Des.},
volume = {53},
number = {1},
pages = {1--5},
year = {2018},
url = {https://doi.org/10.1007/s10703-018-0320-4},
doi = {10.1007/S10703-018-0320-4},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/FalconeS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/HalleKBEF18,
author = {Sylvain Hall{\'{e}} and
Rapha{\"{e}}l Khoury and
Quentin Betti and
Antoine El{-}Hokayem and
Yli{\`{e}}s Falcone},
title = {Decentralized enforcement of document lifecycle constraints},
journal = {Inf. Syst.},
volume = {74},
number = {Part},
pages = {117--135},
year = {2018},
url = {https://doi.org/10.1016/j.is.2017.08.002},
doi = {10.1016/J.IS.2017.08.002},
timestamp = {Fri, 13 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/HalleKBEF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/El-HokayemFJ18,
author = {Antoine El{-}Hokayem and
Yli{\`{e}}s Falcone and
Mohamad Jaber},
title = {Modularizing behavioral and architectural crosscutting concerns in
formal component-based systems - Application to the Behavior Interaction
Priority framework},
journal = {J. Log. Algebraic Methods Program.},
volume = {99},
pages = {143--177},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2018.05.005},
doi = {10.1016/J.JLAMP.2018.05.005},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/El-HokayemFJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JaberFDAE18,
author = {Mohamad Jaber and
Yli{\`{e}}s Falcone and
Kinan Dak{-}Al{-}Bab and
John Abou{-}Jaoudeh and
Mostafa El{-}Katerji},
title = {A high-level modeling language for the efficient design, implementation,
and testing of Android applications},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {20},
number = {1},
pages = {1--18},
year = {2018},
url = {https://doi.org/10.1007/s10009-016-0441-2},
doi = {10.1007/S10009-016-0441-2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/JaberFDAE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/KobeissiUJF18,
author = {Salwa Kobeissi and
Adnan Utayim and
Mohamad Jaber and
Yli{\`{e}}s Falcone},
editor = {Carlo A. Furia and
Kirsten Winter},
title = {Facilitating the Implementation of Distributed Systems with Heterogeneous
Interactions},
booktitle = {Integrated Formal Methods - 14th International Conference, {IFM} 2018,
Maynooth, Ireland, September 5-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11023},
pages = {255--274},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98938-9\_15},
doi = {10.1007/978-3-319-98938-9\_15},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/KobeissiUJF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BartocciF18,
author = {Ezio Bartocci and
Yli{\`{e}}s Falcone},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {RV-TheToP: Runtime Verification from Theory to the Industry Practice
(Track Introduction)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {3--8},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_1},
doi = {10.1007/978-3-030-03427-6\_1},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BartocciF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ColomboFLRSSS18,
author = {Christian Colombo and
Yli{\`{e}}s Falcone and
Martin Leucker and
Giles Reger and
C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Volker Stolz},
editor = {Christian Colombo and
Martin Leucker},
title = {{COST} Action {IC1402} Runtime Verification Beyond Monitoring},
booktitle = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
Cyprus, November 10-13, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11237},
pages = {18--26},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03769-7\_2},
doi = {10.1007/978-3-030-03769-7\_2},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/ColomboFLRSSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/Falcone18,
author = {Yli{\`{e}}s Falcone},
editor = {Christian Colombo and
Martin Leucker},
title = {Second School on Runtime Verification, as Part of the ArVi {COST}
Action 1402 - Overview and Reflections},
booktitle = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
Cyprus, November 10-13, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11237},
pages = {27--32},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03769-7\_3},
doi = {10.1007/978-3-030-03769-7\_3},
timestamp = {Fri, 09 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/Falcone18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/El-HokayemF18,
author = {Antoine El{-}Hokayem and
Yli{\`{e}}s Falcone},
editor = {Christian Colombo and
Martin Leucker},
title = {Can We Monitor All Multithreaded Programs?},
booktitle = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
Cyprus, November 10-13, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11237},
pages = {64--89},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03769-7\_6},
doi = {10.1007/978-3-030-03769-7\_6},
timestamp = {Fri, 09 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/El-HokayemF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/El-HokayemF18a,
author = {Antoine El{-}Hokayem and
Yli{\`{e}}s Falcone},
editor = {Christian Colombo and
Martin Leucker},
title = {Bringing Runtime Verification Home},
booktitle = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
Cyprus, November 10-13, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11237},
pages = {222--240},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03769-7\_13},
doi = {10.1007/978-3-030-03769-7\_13},
timestamp = {Fri, 09 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/El-HokayemF18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FalconeKRT18,
author = {Yli{\`{e}}s Falcone and
Srdan Krstic and
Giles Reger and
Dmitriy Traytel},
editor = {Christian Colombo and
Martin Leucker},
title = {A Taxonomy for Classifying Runtime Verification Tools},
booktitle = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
Cyprus, November 10-13, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11237},
pages = {241--262},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03769-7\_14},
doi = {10.1007/978-3-030-03769-7\_14},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/FalconeKRT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FalconeNJBB18,
author = {Yli{\`{e}}s Falcone and
Hosein Nazarpour and
Mohamad Jaber and
Marius Bozga and
Saddek Bensalem},
editor = {Christian Colombo and
Martin Leucker},
title = {Tracing Distributed Component-Based Systems, a Brief Overview},
booktitle = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
Cyprus, November 10-13, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11237},
pages = {417--425},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03769-7\_24},
doi = {10.1007/978-3-030-03769-7\_24},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/FalconeNJBB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BartocciFFR18,
author = {Ezio Bartocci and
Yli{\`{e}}s Falcone and
Adrian Francalanza and
Giles Reger},
editor = {Ezio Bartocci and
Yli{\`{e}}s Falcone},
title = {Introduction to Runtime Verification},
booktitle = {Lectures on Runtime Verification - Introductory and Advanced Topics},
series = {Lecture Notes in Computer Science},
volume = {10457},
pages = {1--33},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-75632-5\_1},
doi = {10.1007/978-3-319-75632-5\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/BartocciFFR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/FalconeMRS18,
author = {Yli{\`{e}}s Falcone and
Leonardo Mariani and
Antoine Rollet and
Saikat Saha},
editor = {Ezio Bartocci and
Yli{\`{e}}s Falcone},
title = {Runtime Failure Prevention and Reaction},
booktitle = {Lectures on Runtime Verification - Introductory and Advanced Topics},
series = {Lecture Notes in Computer Science},
volume = {10457},
pages = {103--134},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-75632-5\_4},
doi = {10.1007/978-3-319-75632-5\_4},
timestamp = {Tue, 06 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/FalconeMRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/10457,
editor = {Ezio Bartocci and
Yli{\`{e}}s Falcone},
title = {Lectures on Runtime Verification - Introductory and Advanced Topics},
series = {Lecture Notes in Computer Science},
volume = {10457},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-75632-5},
doi = {10.1007/978-3-319-75632-5},
isbn = {978-3-319-75631-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/10457.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-08406,
author = {Antoine El{-}Hokayem and
Yli{\`{e}}s Falcone and
Mohamad Jaber},
title = {Modularizing Behavioral and Architectural Crosscutting Concerns in
Formal Component-Based Systems - Application to the Behavior Interaction
Priority Framework},
journal = {CoRR},
volume = {abs/1805.08406},
year = {2018},
url = {http://arxiv.org/abs/1805.08406},
eprinttype = {arXiv},
eprint = {1805.08406},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-08406.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-02692,
author = {Antoine El{-}Hokayem and
Yli{\`{e}}s Falcone},
title = {On the Monitoring of Decentralized Specifications Semantics, Properties,
Analysis, and Simulation},
journal = {CoRR},
volume = {abs/1808.02692},
year = {2018},
url = {http://arxiv.org/abs/1808.02692},
eprinttype = {arXiv},
eprint = {1808.02692},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-02692.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-05487,
author = {Antoine El{-}Hokayem and
Yli{\`{e}}s Falcone},
title = {Bringing Runtime Verification Home - {A} Case Study on the Hierarchical
Monitoring of Smart Homes},
journal = {CoRR},
volume = {abs/1808.05487},
year = {2018},
url = {http://arxiv.org/abs/1808.05487},
eprinttype = {arXiv},
eprint = {1808.05487},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-05487.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-06740,
author = {C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Wolfgang Ahrendt and
Ezio Bartocci and
Domenico Bianculli and
Christian Colombo and
Yli{\`{e}}s Falcone and
Adrian Francalanza and
Srdan Krstic and
Jo{\~{a}}o M. Louren{\c{c}}o and
Dejan Nickovic and
Gordon J. Pace and
Jos{\'{e}} Rufino and
Julien Signoles and
Dmitriy Traytel and
Alexander Weiss},
title = {A Survey of Challenges for Runtime Verification from Advanced Application
Domains (Beyond Software)},
journal = {CoRR},
volume = {abs/1811.06740},
year = {2018},
url = {http://arxiv.org/abs/1811.06740},
eprinttype = {arXiv},
eprint = {1811.06740},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-06740.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/NazarpourFBB17,
author = {Hosein Nazarpour and
Yli{\`{e}}s Falcone and
Saddek Bensalem and
Marius Bozga},
title = {Concurrency-preserving and sound monitoring of multi-threaded component-based
systems: theory, algorithms, implementation, and evaluation},
journal = {Formal Aspects Comput.},
volume = {29},
number = {6},
pages = {951--986},
year = {2017},
url = {https://doi.org/10.1007/s00165-017-0422-6},
doi = {10.1007/S00165-017-0422-6},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/NazarpourFBB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/KassemFL17,
author = {Ali Kassem and
Yli{\`{e}}s Falcone and
Pascal Lafourcade},
title = {Formal analysis and offline monitoring of electronic exams},
journal = {Formal Methods Syst. Des.},
volume = {51},
number = {1},
pages = {117--153},
year = {2017},
url = {https://doi.org/10.1007/s10703-017-0280-0},
doi = {10.1007/S10703-017-0280-0},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/KassemFL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/PinisettyPTJFM17,
author = {Srinivas Pinisetty and
Viorel Preoteasa and
Stavros Tripakis and
Thierry J{\'{e}}ron and
Yli{\`{e}}s Falcone and
Herv{\'{e}} Marchand},
title = {Predictive runtime enforcement},
journal = {Formal Methods Syst. Des.},
volume = {51},
number = {1},
pages = {154--199},
year = {2017},
url = {https://doi.org/10.1007/s10703-017-0271-1},
doi = {10.1007/S10703-017-0271-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/PinisettyPTJFM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/PinisettyJTFMP17,
author = {Srinivas Pinisetty and
Thierry J{\'{e}}ron and
Stavros Tripakis and
Yli{\`{e}}s Falcone and
Herv{\'{e}} Marchand and
Viorel Preoteasa},
title = {Predictive runtime verification of timed properties},
journal = {J. Syst. Softw.},
volume = {132},
pages = {353--365},
year = {2017},
url = {https://doi.org/10.1016/j.jss.2017.06.060},
doi = {10.1016/J.JSS.2017.06.060},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/PinisettyJTFMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FalconeJ17,
author = {Yli{\`{e}}s Falcone and
Mohamad Jaber},
title = {Fully automated runtime enforcement of component-based systems with
formal and sound recovery},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {19},
number = {3},
pages = {341--365},
year = {2017},
url = {https://doi.org/10.1007/s10009-016-0413-6},
doi = {10.1007/S10009-016-0413-6},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/FalconeJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/closer/GhandourMJF17,
author = {Ahmad Ghandour and
Mariam Moukalled and
Mohamad Jaber and
Yli{\`{e}}s Falcone},
editor = {Donald Ferguson and
V{\'{\i}}ctor M{\'{e}}ndez Mu{\~{n}}oz and
Jorge Cardoso and
Markus Helfert and
Claus Pahl},
title = {User-based Load Balancer in HBase},
booktitle = {{CLOSER} 2017 - Proceedings of the 7th International Conference on
Cloud Computing and Services Science, Porto, Portugal, April 24-26,
2017},
pages = {364--368},
publisher = {SciTePress},
year = {2017},
timestamp = {Thu, 03 Feb 2022 09:27:48 +0100},
biburl = {https://dblp.org/rec/conf/closer/GhandourMJF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/JakseFMP17,
author = {Rapha{\"{e}}l Jakse and
Yli{\`{e}}s Falcone and
Jean{-}Fran{\c{c}}ois M{\'{e}}haut and
Kevin Pouget},
title = {Interactive Runtime Verification - When Interactive Debugging Meets
Runtime Verification},
booktitle = {28th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2017, Toulouse, France, October 23-26, 2017},
pages = {182--193},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ISSRE.2017.19},
doi = {10.1109/ISSRE.2017.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/JakseFMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/El-HokayemF17,
author = {Antoine El{-}Hokayem and
Yli{\`{e}}s Falcone},
editor = {Tevfik Bultan and
Koushik Sen},
title = {Monitoring decentralized specifications},
booktitle = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14,
2017},
pages = {125--135},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092703.3092723},
doi = {10.1145/3092703.3092723},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/El-HokayemF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/El-HokayemF17a,
author = {Antoine El{-}Hokayem and
Yli{\`{e}}s Falcone},
editor = {Tevfik Bultan and
Koushik Sen},
title = {{THEMIS:} a tool for decentralized monitoring algorithms},
booktitle = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14,
2017},
pages = {372--375},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092703.3098224},
doi = {10.1145/3092703.3098224},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/El-HokayemF17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/RenardRF17,
author = {Matthieu Renard and
Antoine Rollet and
Yli{\`{e}}s Falcone},
editor = {Nina Yevtushenko and
Ana Rosa Cavalli and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {{GREP:} Games for the Runtime Enforcement of Properties},
booktitle = {Testing Software and Systems - 29th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2017, St. Petersburg, Russia, October 9-11, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10533},
pages = {259--275},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67549-7\_16},
doi = {10.1007/978-3-319-67549-7\_16},
timestamp = {Tue, 15 Feb 2022 08:52:40 +0100},
biburl = {https://dblp.org/rec/conf/pts/RenardRF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/RiganelliMMF17,
author = {Oliviero Riganelli and
Daniela Micucci and
Leonardo Mariani and
Yli{\`{e}}s Falcone},
editor = {Shuvendu K. Lahiri and
Giles Reger},
title = {Verifying Policy Enforcers},
booktitle = {Runtime Verification - 17th International Conference, {RV} 2017, Seattle,
WA, USA, September 13-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10548},
pages = {241--258},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67531-2\_15},
doi = {10.1007/978-3-319-67531-2\_15},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/RiganelliMMF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/RenardRF17,
author = {Matthieu Renard and
Antoine Rollet and
Yli{\`{e}}s Falcone},
editor = {Hakan Erdogmus and
Klaus Havelund},
title = {Runtime enforcement using B{\"{u}}chi games},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
2017},
pages = {70--79},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092282.3092296},
doi = {10.1145/3092282.3092296},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/RenardRF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NazarpourFJBB17,
author = {Hosein Nazarpour and
Yli{\`{e}}s Falcone and
Mohamad Jaber and
Saddek Bensalem and
Marius Bozga},
title = {Monitoring Distributed Component-Based Systems},
journal = {CoRR},
volume = {abs/1705.05242},
year = {2017},
url = {http://arxiv.org/abs/1705.05242},
eprinttype = {arXiv},
eprint = {1705.05242},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/NazarpourFJBB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JakseFMP17,
author = {Rapha{\"{e}}l Jakse and
Yli{\`{e}}s Falcone and
Jean{-}Fran{\c{c}}ois M{\'{e}}haut and
Kevin Pouget},
title = {Interactive Runtime Verification},
journal = {CoRR},
volume = {abs/1705.05315},
year = {2017},
url = {http://arxiv.org/abs/1705.05315},
eprinttype = {arXiv},
eprint = {1705.05315},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JakseFMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RiganelliMMF17,
author = {Oliviero Riganelli and
Daniela Micucci and
Leonardo Mariani and
Yli{\`{e}}s Falcone},
title = {Verifying Policy Enforcers},
journal = {CoRR},
volume = {abs/1707.07473},
year = {2017},
url = {http://arxiv.org/abs/1707.07473},
eprinttype = {arXiv},
eprint = {1707.07473},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RiganelliMMF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/0002F16,
author = {Andreas Bauer and
Yli{\`{e}}s Falcone},
title = {Decentralised {LTL} monitoring},
journal = {Formal Methods Syst. Des.},
volume = {48},
number = {1-2},
pages = {46--93},
year = {2016},
url = {https://doi.org/10.1007/s10703-016-0253-8},
doi = {10.1007/S10703-016-0253-8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/0002F16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ColomboF16,
author = {Christian Colombo and
Yli{\`{e}}s Falcone},
title = {Organising {LTL} monitors over distributed systems with a global clock},
journal = {Formal Methods Syst. Des.},
volume = {49},
number = {1-2},
pages = {109--158},
year = {2016},
url = {https://doi.org/10.1007/s10703-016-0251-x},
doi = {10.1007/S10703-016-0251-X},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/ColomboF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scl/FalconeJMP16,
author = {Yli{\`{e}}s Falcone and
Thierry J{\'{e}}ron and
Herv{\'{e}} Marchand and
Srinivas Pinisetty},
title = {Runtime enforcement of regular timed properties by suppressing and
delaying events},
journal = {Sci. Comput. Program.},
volume = {123},
pages = {2--41},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.02.008},
doi = {10.1016/J.SCICO.2016.02.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scl/FalconeJMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/HalleKEF16,
author = {Sylvain Hall{\'{e}} and
Rapha{\"{e}}l Khoury and
Antoine El{-}Hokayem and
Yli{\`{e}}s Falcone},
editor = {Florian Matthes and
Jan Mendling and
Stefanie Rinderle{-}Ma},
title = {Decentralized Enforcement of Artifact Lifecycles},
booktitle = {20th {IEEE} International Enterprise Distributed Object Computing
Conference, {EDOC} 2016, Vienna, Austria, September 5-9, 2016},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/EDOC.2016.7579380},
doi = {10.1109/EDOC.2016.7579380},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edoc/HalleKEF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/NazarpourFBBC16,
author = {Hosein Nazarpour and
Yli{\`{e}}s Falcone and
Saddek Bensalem and
Marius Bozga and
Jacques Combaz},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marieke Huisman},
title = {Monitoring Multi-threaded Component-Based Systems},
booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,
Reykjavik, Iceland, June 1-5, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9681},
pages = {141--159},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33693-0\_10},
doi = {10.1007/978-3-319-33693-0\_10},
timestamp = {Fri, 09 Apr 2021 18:43:38 +0200},
biburl = {https://dblp.org/rec/conf/ifm/NazarpourFBBC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BartocciF16,
author = {Ezio Bartocci and
Yli{\`{e}}s Falcone},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Runtime Verification and Enforcement, the (Industrial) Application
Perspective (Track Introduction)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {333--338},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_24},
doi = {10.1007/978-3-319-47169-3\_24},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/BartocciF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ColomboF16,
author = {Christian Colombo and
Yli{\`{e}}s Falcone},
editor = {Yli{\`{e}}s Falcone and
C{\'{e}}sar S{\'{a}}nchez},
title = {First International Summer School on Runtime Verification - As Part
of the ArVi {COST} Action 1402},
booktitle = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid,
Spain, September 23-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10012},
pages = {17--20},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46982-9\_2},
doi = {10.1007/978-3-319-46982-9\_2},
timestamp = {Wed, 28 Dec 2022 16:42:42 +0100},
biburl = {https://dblp.org/rec/conf/rv/ColomboF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/RegerHF16,
author = {Giles Reger and
Sylvain Hall{\'{e}} and
Yli{\`{e}}s Falcone},
editor = {Yli{\`{e}}s Falcone and
C{\'{e}}sar S{\'{a}}nchez},
title = {Third International Competition on Runtime Verification - {CRV} 2016},
booktitle = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid,
Spain, September 23-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10012},
pages = {21--37},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46982-9\_3},
doi = {10.1007/978-3-319-46982-9\_3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/RegerHF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/PinisettyPTJFM16,
author = {Srinivas Pinisetty and
Viorel Preoteasa and
Stavros Tripakis and
Thierry J{\'{e}}ron and
Yli{\`{e}}s Falcone and
Herv{\'{e}} Marchand},
editor = {Sascha Ossowski},
title = {Predictive runtime enforcement},
booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
Pisa, Italy, April 4-8, 2016},
pages = {1628--1633},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851613.2851827},
doi = {10.1145/2851613.2851827},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/PinisettyPTJFM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/El-HokayemFJ16,
author = {Antoine El{-}Hokayem and
Yli{\`{e}}s Falcone and
Mohamad Jaber},
editor = {Rocco De Nicola and
Eva K{\"{u}}hn},
title = {Modularizing Crosscutting Concerns in Component-Based Systems},
booktitle = {Software Engineering and Formal Methods - 14th International Conference,
{SEFM} 2016, Held as Part of {STAF} 2016, Vienna, Austria, July 4-8,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9763},
pages = {367--385},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41591-8\_25},
doi = {10.1007/978-3-319-41591-8\_25},
timestamp = {Tue, 15 Nov 2022 15:22:36 +0100},
biburl = {https://dblp.org/rec/conf/sefm/El-HokayemFJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2016,
editor = {Yli{\`{e}}s Falcone and
C{\'{e}}sar S{\'{a}}nchez},
title = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid,
Spain, September 23-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10012},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46982-9},
doi = {10.1007/978-3-319-46982-9},
isbn = {978-3-319-46981-2},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NazarpourFBB16,
author = {Hosein Nazarpour and
Yli{\`{e}}s Falcone and
Saddek Bensalem and
Marius Bozga},
title = {Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based
Systems},
journal = {CoRR},
volume = {abs/1612.06154},
year = {2016},
url = {http://arxiv.org/abs/1612.06154},
eprinttype = {arXiv},
eprint = {1612.06154},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NazarpourFBB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/FalconeM15,
author = {Yli{\`{e}}s Falcone and
Herv{\'{e}} Marchand},
title = {Enforcement and validation (at runtime) of various notions of opacity},
journal = {Discret. Event Dyn. Syst.},
volume = {25},
number = {4},
pages = {531--570},
year = {2015},
url = {https://doi.org/10.1007/s10626-014-0196-4},
doi = {10.1007/S10626-014-0196-4},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/FalconeM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FalconeJNBB15,
author = {Yli{\`{e}}s Falcone and
Mohamad Jaber and
Thanh{-}Hung Nguyen and
Marius Bozga and
Saddek Bensalem},
title = {Runtime verification of component-based systems in the {BIP} framework
with formally-proved sound and complete instrumentation},
journal = {Softw. Syst. Model.},
volume = {14},
number = {1},
pages = {173--199},
year = {2015},
url = {https://doi.org/10.1007/s10270-013-0323-y},
doi = {10.1007/S10270-013-0323-Y},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/FalconeJNBB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FalconeZ15,
author = {Yli{\`{e}}s Falcone and
Lenore D. Zuck},
title = {Runtime verification: the application perspective},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {17},
number = {2},
pages = {121--123},
year = {2015},
url = {https://doi.org/10.1007/s10009-014-0360-z},
doi = {10.1007/S10009-014-0360-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FalconeZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/SaidiF15,
author = {Selma Saidi and
Yli{\`{e}}s Falcone},
title = {Dynamic Detection and Mitigation of {DMA} Races in MPSoCs},
booktitle = {2015 Euromicro Conference on Digital System Design, {DSD} 2015, Madeira,
Portugal, August 26-28, 2015},
pages = {267--270},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/DSD.2015.77},
doi = {10.1109/DSD.2015.77},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/SaidiF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/RenardFRPJM15,
author = {Matthieu Renard and
Yli{\`{e}}s Falcone and
Antoine Rollet and
Srinivas Pinisetty and
Thierry J{\'{e}}ron and
Herv{\'{e}} Marchand},
editor = {Martin Leucker and
Camilo Rueda and
Frank D. Valencia},
title = {Enforcement of (Timed) Properties with Uncontrollable Events},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International
Colloquium Cali, Colombia, October 29-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9399},
pages = {542--560},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25150-9\_31},
doi = {10.1007/978-3-319-25150-9\_31},
timestamp = {Sat, 19 Oct 2019 20:17:56 +0200},
biburl = {https://dblp.org/rec/conf/ictac/RenardFRPJM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KassemFL15,
author = {Ali Kassem and
Yli{\`{e}}s Falcone and
Pascal Lafourcade},
editor = {Ezio Bartocci and
Rupak Majumdar},
title = {Monitoring Electronic Exams},
booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
Austria, September 22-25, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9333},
pages = {118--135},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23820-3\_8},
doi = {10.1007/978-3-319-23820-3\_8},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/KassemFL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/PinisettyFJM15,
author = {Srinivas Pinisetty and
Yli{\`{e}}s Falcone and
Thierry J{\'{e}}ron and
Herv{\'{e}} Marchand},
editor = {Ezio Bartocci and
Rupak Majumdar},
title = {TiPEX: {A} Tool Chain for Timed Property Enforcement During eXecution},
booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
Austria, September 22-25, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9333},
pages = {306--320},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23820-3\_22},
doi = {10.1007/978-3-319-23820-3\_22},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/PinisettyFJM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/DaianFMSSIR15,
author = {Philip Daian and
Yli{\`{e}}s Falcone and
Patrick O'Neil Meredith and
Traian{-}Florin Serbanuta and
Shinichi Shiraishi and
Akihito Iwai and
Grigore Rosu},
editor = {Ezio Bartocci and
Rupak Majumdar},
title = {RV-Android: Efficient Parametric Android Runtime Verification, a Brief
Tutorial},
booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
Austria, September 22-25, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9333},
pages = {342--357},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23820-3\_24},
doi = {10.1007/978-3-319-23820-3\_24},
timestamp = {Fri, 04 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/DaianFMSSIR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FalconeNRT15,
author = {Yli{\`{e}}s Falcone and
Dejan Nickovic and
Giles Reger and
Daniel Thoma},
editor = {Ezio Bartocci and
Rupak Majumdar},
title = {Second International Competition on Runtime Verification {CRV} 2015},
booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
Austria, September 22-25, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9333},
pages = {405--422},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23820-3\_27},
doi = {10.1007/978-3-319-23820-3\_27},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/FalconeNRT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CharafeddineEFJ15,
author = {Hadil Charafeddine and
Khalil El{-}Harake and
Yli{\`{e}}s Falcone and
Mohamad Jaber},
editor = {Roger L. Wainwright and
Juan Manuel Corchado and
Alessio Bechini and
Jiman Hong},
title = {Runtime enforcement for component-based systems},
booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
Salamanca, Spain, April 13-17, 2015},
pages = {1789--1796},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2695664.2695879},
doi = {10.1145/2695664.2695879},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/CharafeddineEFJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/worldcis/PektasAFF15,
author = {Abdurrahman Pektas and
Tankut Acarman and
Yli{\`{e}}s Falcone and
Jean{-}Claude Fernandez},
title = {Runtime-behavior based malware classification using online machine
learning},
booktitle = {2015 World Congress on Internet Security, WorldCIS 2015, Dublin, Ireland,
October 19-21, 2015},
pages = {166--171},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/WorldCIS.2015.7359437},
doi = {10.1109/WORLDCIS.2015.7359437},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/worldcis/PektasAFF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Abou-JaoudehDEF15,
author = {John Abou{-}Jaoudeh and
Kinan Dak{-}Al{-}Bab and
Mostafa El{-}Katerji and
Yli{\`{e}}s Falcone and
Mohamad Jaber},
title = {A High-Level Modeling Language for the Efficient Design, Implementation,
and Testing of Android Applications},
journal = {CoRR},
volume = {abs/1508.02153},
year = {2015},
url = {http://arxiv.org/abs/1508.02153},
eprinttype = {arXiv},
eprint = {1508.02153},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Abou-JaoudehDEF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/PinisettyFJMRN14,
author = {Srinivas Pinisetty and
Yli{\`{e}}s Falcone and
Thierry J{\'{e}}ron and
Herv{\'{e}} Marchand and
Antoine Rollet and
Omer Nguena{-}Timo},
title = {Runtime enforcement of timed properties revisited},
journal = {Formal Methods Syst. Des.},
volume = {45},
number = {3},
pages = {381--422},
year = {2014},
url = {https://doi.org/10.1007/s10703-014-0215-y},
doi = {10.1007/S10703-014-0215-Y},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/PinisettyFJMRN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/FalconeCF14,
author = {Yli{\`{e}}s Falcone and
Tom Cornebize and
Jean{-}Claude Fernandez},
editor = {Erika {\'{A}}brah{\'{a}}m and
Catuscia Palamidessi},
title = {Efficient and Generalized Decentralized Monitoring of Regular Languages},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 34th {IFIP} {WG} 6.1 International Conference, {FORTE} 2014, Held
as Part of the 9th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8461},
pages = {66--83},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43613-4\_5},
doi = {10.1007/978-3-662-43613-4\_5},
timestamp = {Fri, 09 Apr 2021 18:40:15 +0200},
biburl = {https://dblp.org/rec/conf/forte/FalconeCF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/El-HarakeFJLM14,
author = {Khalil El{-}Harake and
Yli{\`{e}}s Falcone and
Wassim Jerad and
Matthieu Langet and
Mariem Mamlouk},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Blocking Advertisements on Android Devices Using Monitoring Techniques},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {239--253},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_17},
doi = {10.1007/978-3-662-45231-8\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/El-HarakeFJLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BartocciBF14,
author = {Ezio Bartocci and
Borzoo Bonakdarpour and
Yli{\`{e}}s Falcone},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {First International Competition on Software for Runtime Verification},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {1--9},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_1},
doi = {10.1007/978-3-319-11164-3\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/BartocciBF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ColomboF14,
author = {Christian Colombo and
Yli{\`{e}}s Falcone},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Organising {LTL} Monitors over Distributed Systems with a Global Clock},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {140--155},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_12},
doi = {10.1007/978-3-319-11164-3\_12},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/ColomboF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/PinisettyFJM14,
author = {Srinivas Pinisetty and
Yli{\`{e}}s Falcone and
Thierry J{\'{e}}ron and
Herv{\'{e}} Marchand},
editor = {Yookun Cho and
Sung Y. Shin and
Sang{-}Wook Kim and
Chih{-}Cheng Hung and
Jiman Hong},
title = {Runtime enforcement of regular timed properties},
booktitle = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of
Korea - March 24 - 28, 2014},
pages = {1279--1286},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2554850.2554967},
doi = {10.1145/2554850.2554967},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/PinisettyFJM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/PinisettyFJM14,
author = {Srinivas Pinisetty and
Yli{\`{e}}s Falcone and
Thierry J{\'{e}}ron and
Herv{\'{e}} Marchand},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Runtime Enforcement of Parametric Timed Properties with Practical
Applications},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {420--427},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00041},
doi = {10.3182/20140514-3-FR-4046.00041},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/PinisettyFJM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/birthday/FalconeFM14,
author = {Yli{\`{e}}s Falcone and
Jean{-}Claude Fernandez and
Laurent Mounier},
editor = {Andrei Voronkov and
Margarita V. Korovina},
title = {On the Expressiveness of some Runtime Validation Techniques},
booktitle = {{HOWARD-60:} {A} Festschrift on the Occasion of Howard Barringer's
60th Birthday},
series = {EPiC Series in Computing},
volume = {42},
pages = {112--123},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/j7qv},
doi = {10.29007/J7QV},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FalconeFM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CornebizeF14,
author = {Tom Cornebize and
Yli{\`{e}}s Falcone},
title = {Efficient and Generalized Decentralized Monitoring of Regular Languages},
journal = {CoRR},
volume = {abs/1402.3821},
year = {2014},
url = {http://arxiv.org/abs/1402.3821},
eprinttype = {arXiv},
eprint = {1402.3821},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CornebizeF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CharafeddineEFJ14,
author = {Hadil Charafeddine and
Khalil El{-}Harake and
Yli{\`{e}}s Falcone and
Mohamad Jaber},
title = {Runtime Enforcement for Component-Based Systems},
journal = {CoRR},
volume = {abs/1406.5708},
year = {2014},
url = {http://arxiv.org/abs/1406.5708},
eprinttype = {arXiv},
eprint = {1406.5708},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/CharafeddineEFJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/FalconeM13,
author = {Yli{\`{e}}s Falcone and
Herv{\'{e}} Marchand},
title = {Runtime enforcement of K-step opacity},
booktitle = {Proceedings of the 52nd {IEEE} Conference on Decision and Control,
{CDC} 2013, Florence, Italy, December 10-13, 2013},
pages = {7271--7278},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/CDC.2013.6761043},
doi = {10.1109/CDC.2013.6761043},
timestamp = {Fri, 04 Mar 2022 13:29:02 +0100},
biburl = {https://dblp.org/rec/conf/cdc/FalconeM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iess/AmiarDFB13,
author = {Azzeddine Amiar and
Micka{\"{e}}l Delahaye and
Yli{\`{e}}s Falcone and
Lydie du Bousquet},
editor = {Gunar Schirner and
Marcelo G{\"{o}}tz and
Achim Rettberg and
Mauro Cesar Zanella and
Franz J. Rammig},
title = {Compressing Microcontroller Execution Traces to Assist System Analysis},
booktitle = {Embedded Systems: Design, Analysis and Verification - 4th {IFIP} {TC}
10 International Embedded Systems Symposium, {IESS} 2013, Paderborn,
Germany, June 17-19, 2013. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {403},
pages = {139--150},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38853-8\_13},
doi = {10.1007/978-3-642-38853-8\_13},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iess/AmiarDFB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/AmiarDFB13,
author = {Azzeddine Amiar and
Micka{\"{e}}l Delahaye and
Yli{\`{e}}s Falcone and
Lydie du Bousquet},
title = {Fault localization in embedded software based on a single cyclic trace},
booktitle = {{IEEE} 24th International Symposium on Software Reliability Engineering,
{ISSRE} 2013, Pasadena, CA, USA, November 4-7, 2013},
pages = {148--157},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ISSRE.2013.6698914},
doi = {10.1109/ISSRE.2013.6698914},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/AmiarDFB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/FalconeHR13,
author = {Yli{\`{e}}s Falcone and
Klaus Havelund and
Giles Reger},
editor = {Manfred Broy and
Doron A. Peled and
Georg Kalus},
title = {A Tutorial on Runtime Verification},
booktitle = {Engineering Dependable Software Systems},
series = {{NATO} Science for Peace and Security Series, {D:} Information and
Communication Security},
volume = {34},
pages = {141--175},
publisher = {{IOS} Press},
year = {2013},
url = {https://doi.org/10.3233/978-1-61499-207-3-141},
doi = {10.3233/978-1-61499-207-3-141},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/natosec/FalconeHR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FalconeFM12,
author = {Yli{\`{e}}s Falcone and
Jean{-}Claude Fernandez and
Laurent Mounier},
title = {What can you verify and enforce at runtime?},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {14},
number = {3},
pages = {349--382},
year = {2012},
url = {https://doi.org/10.1007/s10009-011-0196-8},
doi = {10.1007/S10009-011-0196-8},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FalconeFM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FalconeFJMM12,
author = {Yli{\`{e}}s Falcone and
Jean{-}Claude Fernandez and
Thierry J{\'{e}}ron and
Herv{\'{e}} Marchand and
Laurent Mounier},
title = {More testable properties},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {14},
number = {4},
pages = {407--437},
year = {2012},
url = {https://doi.org/10.1007/s10009-011-0220-z},
doi = {10.1007/S10009-011-0220-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FalconeFJMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BarringerFHRR12,
author = {Howard Barringer and
Yli{\`{e}}s Falcone and
Klaus Havelund and
Giles Reger and
David E. Rydeheard},
editor = {Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {Quantified Event Automata: Towards Expressive and Efficient Runtime
Monitors},
booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7436},
pages = {68--84},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32759-9\_9},
doi = {10.1007/978-3-642-32759-9\_9},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/BarringerFHRR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BauerF12,
author = {Andreas Klaus Bauer and
Yli{\`{e}}s Falcone},
editor = {Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {Decentralised {LTL} Monitoring},
booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7436},
pages = {85--100},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32759-9\_10},
doi = {10.1007/978-3-642-32759-9\_10},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BauerF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BlechFB12,
author = {Jan Olaf Blech and
Yli{\`{e}}s Falcone and
Klaus Becker},
editor = {Toshiaki Aoki and
Kenji Taguchi},
title = {Towards Certified Runtime Verification},
booktitle = {Formal Methods and Software Engineering - 14th International Conference
on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November
12-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7635},
pages = {494--509},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34281-3\_34},
doi = {10.1007/978-3-642-34281-3\_34},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/BlechFB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FalconeZ12,
author = {Yli{\`{e}}s Falcone and
Lenore D. Zuck},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Runtime Verification: The Application Perspective},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {284--291},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_21},
doi = {10.1007/978-3-642-34026-0\_21},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/FalconeZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BlechFRS12,
author = {Jan Olaf Blech and
Yli{\`{e}}s Falcone and
Harald Rue{\ss} and
Bernhard Sch{\"{a}}tz},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Behavioral Specification Based Runtime Monitors for OSGi Services},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {405--419},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_30},
doi = {10.1007/978-3-642-34026-0\_30},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BlechFRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/FalconeC12,
author = {Yli{\`{e}}s Falcone and
Sebastian Currea},
editor = {Michael Goedicke and
Tim Menzies and
Motoshi Saeki},
title = {Weave droid: aspect-oriented programming on Android devices: fully
embedded or in the cloud},
booktitle = {{IEEE/ACM} International Conference on Automated Software Engineering,
ASE'12, Essen, Germany, September 3-7, 2012},
pages = {350--353},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2351676.2351744},
doi = {10.1145/2351676.2351744},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/FalconeC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FalconeCJ12,
author = {Yli{\`{e}}s Falcone and
Sebastian Currea and
Mohamad Jaber},
editor = {Shaz Qadeer and
Serdar Tasiran},
title = {Runtime Verification and Enforcement for Android Applications with
RV-Droid},
booktitle = {Runtime Verification, Third International Conference, {RV} 2012, Istanbul,
Turkey, September 25-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7687},
pages = {88--95},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35632-2\_11},
doi = {10.1007/978-3-642-35632-2\_11},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/FalconeCJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/PinisettyFJMRN12,
author = {Srinivas Pinisetty and
Yli{\`{e}}s Falcone and
Thierry J{\'{e}}ron and
Herv{\'{e}} Marchand and
Antoine Rollet and
Omer Landry Nguena{-}Timo},
editor = {Shaz Qadeer and
Serdar Tasiran},
title = {Runtime Enforcement of Timed Properties},
booktitle = {Runtime Verification, Third International Conference, {RV} 2012, Istanbul,
Turkey, September 25-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7687},
pages = {229--244},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35632-2\_23},
doi = {10.1007/978-3-642-35632-2\_23},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/PinisettyFJMRN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/FalconeMFR11,
author = {Yli{\`{e}}s Falcone and
Laurent Mounier and
Jean{-}Claude Fernandez and
Jean{-}Luc Richier},
title = {Runtime enforcement monitors: composition, synthesis, and enforcement
abilities},
journal = {Formal Methods Syst. Des.},
volume = {38},
number = {3},
pages = {223--262},
year = {2011},
url = {https://doi.org/10.1007/s10703-011-0114-4},
doi = {10.1007/S10703-011-0114-4},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/FalconeMFR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FalconeJNBB11,
author = {Yli{\`{e}}s Falcone and
Mohamad Jaber and
Thanh{-}Hung Nguyen and
Marius Bozga and
Saddek Bensalem},
editor = {Gilles Barthe and
Alberto Pardo and
Gerardo Schneider},
title = {Runtime Verification of Component-Based Systems},
booktitle = {Software Engineering and Formal Methods - 9th International Conference,
{SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7041},
pages = {204--220},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24690-6\_15},
doi = {10.1007/978-3-642-24690-6\_15},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/FalconeJNBB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-5133,
author = {Andreas Bauer and
Yli{\`{e}}s Falcone},
title = {Decentralised {LTL} Monitoring},
journal = {CoRR},
volume = {abs/1111.5133},
year = {2011},
url = {http://arxiv.org/abs/1111.5133},
eprinttype = {arXiv},
eprint = {1111.5133},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-5133.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/FalconeFJMM10,
author = {Yli{\`{e}}s Falcone and
Jean{-}Claude Fernandez and
Thierry J{\'{e}}ron and
Herv{\'{e}} Marchand and
Laurent Mounier},
editor = {Alexandre Petrenko and
Adenilso da Silva Sim{\~{a}}o and
Jos{\'{e}} Carlos Maldonado},
title = {More Testable Properties},
booktitle = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6435},
pages = {30--46},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16573-3\_4},
doi = {10.1007/978-3-642-16573-3\_4},
timestamp = {Mon, 15 Jun 2020 17:03:33 +0200},
biburl = {https://dblp.org/rec/conf/pts/FalconeFJMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/Falcone10,
author = {Yli{\`{e}}s Falcone},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {You Should Better Enforce Than Verify},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {89--105},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_9},
doi = {10.1007/978-3-642-16612-9\_9},
timestamp = {Thu, 26 Jan 2023 14:05:55 +0100},
biburl = {https://dblp.org/rec/conf/rv/Falcone10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/FalconeJ10,
author = {Yli{\`{e}}s Falcone and
Mohamad Jaber},
editor = {Hamid R. Arabnia and
Hassan Reza and
Leonidas Deligiannidis and
Juan Jose Cuadrado{-}Gallego and
Vincent Schmidt and
Ashu M. G. Solo},
title = {Towards Automatic Integration of Or-BAC Security Policies Using Aspects},
booktitle = {Proceedings of the 2010 International Conference on Software Engineering
Research {\&} Practice, {SERP} 2010, July 12-15, 2010, Las Vegas,
Nevada, USA, 2 Volumes},
pages = {495--499},
publisher = {{CSREA} Press},
year = {2010},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serp/FalconeJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2010,
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9},
doi = {10.1007/978-3-642-16612-9},
isbn = {978-3-642-16611-2},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Falcone09,
author = {Yli{\`{e}}s Falcone},
title = {Etude et mise en {\oe}uvre de techniques de validation {\`{a}} l'ex{\'{e}}cution.
(Study and implementation of runtime validation techniques)},
school = {Joseph Fourier University, Grenoble, France},
year = {2009},
url = {https://tel.archives-ouvertes.fr/tel-00420478},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Falcone09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FalconeFM09,
author = {Yli{\`{e}}s Falcone and
Jean{-}Claude Fernandez and
Laurent Mounier},
editor = {Saddek Bensalem and
Doron A. Peled},
title = {Runtime Verification of Safety-Progress Properties},
booktitle = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
France, June 26-28, 2009. Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5779},
pages = {40--59},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04694-0\_4},
doi = {10.1007/978-3-642-04694-0\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/FalconeFM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/FalconeFM09,
author = {Yli{\`{e}}s Falcone and
Jean{-}Claude Fernandez and
Laurent Mounier},
editor = {Sung Y. Shin and
Sascha Ossowski},
title = {Enforcement monitoring wrt. the safety-progress classification of
properties},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
Honolulu, Hawaii, USA, March 9-12, 2009},
pages = {593--600},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1529282.1529408},
doi = {10.1145/1529282.1529408},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/FalconeFM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciss/FalconeFM08,
author = {Yli{\`{e}}s Falcone and
Jean{-}Claude Fernandez and
Laurent Mounier},
editor = {R. Sekar and
Arun K. Pujari},
title = {Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification
of Properties},
booktitle = {Information Systems Security, 4th International Conference, {ICISS}
2008, Hyderabad, India, December 16-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5352},
pages = {41--55},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89862-7\_3},
doi = {10.1007/978-3-540-89862-7\_3},
timestamp = {Thu, 18 Nov 2021 17:21:37 +0100},
biburl = {https://dblp.org/rec/conf/iciss/FalconeFM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FalconeMFR08,
author = {Yli{\`{e}}s Falcone and
Laurent Mounier and
Jean{-}Claude Fernandez and
Jean{-}Luc Richier},
editor = {Bernd Finkbeiner and
Yuri Gurevich and
Alexander K. Petrenko},
title = {j-POST: a Java Toolchain for Property-Oriented Software Testing},
booktitle = {Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS
2008, Budapest, Hungary, March 30, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {220},
number = {1},
pages = {29--41},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.11.004},
doi = {10.1016/J.ENTCS.2008.11.004},
timestamp = {Fri, 17 Feb 2023 11:06:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FalconeMFR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/FalconeFMR07,
author = {Yli{\`{e}}s Falcone and
Jean{-}Claude Fernandez and
Laurent Mounier and
Jean{-}Luc Richier},
editor = {Alexandre Petrenko and
Margus Veanes and
Jan Tretmans and
Wolfgang Grieskamp},
title = {A Compositional Testing Framework Driven by Partial Specifications},
booktitle = {Testing of Software and Communicating Systems, 19th {IFIP} {TC6/WG6.1}
International Conference, TestCom 2007, 7th International Workshop,
{FATES} 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4581},
pages = {107--122},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73066-8\_8},
doi = {10.1007/978-3-540-73066-8\_8},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/FalconeFMR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/FalconeFMR06,
author = {Yli{\`{e}}s Falcone and
Jean{-}Claude Fernandez and
Laurent Mounier and
Jean{-}Luc Richier},
editor = {Klaus Havelund and
Manuel N{\'{u}}{\~{n}}ez and
Grigore Rosu and
Burkhart Wolff},
title = {A Test Calculus Framework Applied to Network Security Policies},
booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
WA, USA, August 15-16, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4262},
pages = {55--69},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11940197\_4},
doi = {10.1007/11940197\_4},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/fates/FalconeFMR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-15 20:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
