1. Rechercher
22 résultats  enregistrer la recherche
...
hal-01248353v1  Communication dans un congrès
Hadil Charafeddine, Khalil El-Harake, Ylìès Falcone, Mohamad Jaber. Runtime Enforcement for Component-Based Systems
Symposium on Applied Computing - Software Verification and Testing , Apr 2015, Salamanque, Spain. <10.1145/2695664.2695879>
...
hal-01248352v1  Communication dans un congrès
Selma Saidi, Ylìès Falcone. Dynamic Detection and Mitigation of DMA Races in MPSoCs
18th Euromicro Conference on Digital Systems Design (DSD 2015), Aug 2015, Madeire, Portugal. 2015, <10.1109/DSD.2015.77>
...
hal-01365315v1  Communication dans un congrès
Sylvain Hallé, Raphaël Khoury, Antoine El-Hokayem, Ylìès Falcone. Decentralized Enforcement of Artifact Lifecycles
EDOC 2016, Sep 2016, Vienne, Austria. Proceedings of the twentieth entreprise computing conference <http://edoc2016.univie.ac.at>
...
hal-01285579v1  Communication dans un congrès
Hosein Nazarpour, Ylìès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz. Monitoring Multi-Threaded Component-Based Systems
12th International Conference on integrated Formal Methods, Jun 2016, Reykjavik, Finland. Proceedings of the 12th International Conference on integrated Formal Methods. <http://en.ru.is/ifm/>
...
hal-01509827v3  Pré-publication, Document de travail
Matthieu Renard, Antoine Rollet, Ylìès Falcone. Runtime Enforcement Using Büchi Games
2017
...
hal-01262658v1  Article dans une revue
Ylìès Falcone, Mohamad Jaber. Fully-automated Runtime Enforcement of Component-based Systems with Formal and Sound Recovery
Software Tools for Technology Transfer (STTT), Springer, 2016
...
hal-01331973v1  Communication dans un congrès
Raphaël Jakse, Ylìès Falcone, Jean-François Méhaut, Kevin Pouget. Vérification interactive de propriétés à l'exécution d'un programme avec un débogueur
Compas’2016, Jul 2016, Lorient, France. Compas’2016 : Parallélisme / Architecture / Système Lorient, France, du 5 au 8 juillet 2016
...
hal-00972566v1  Article dans une revue
Ylìès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Dorel Marius Bozga, Saddek Bensalem. Runtime Verification of Component-Based Systems in the BIP Framework with Formally-Proved Sound and Complete Instrumentation
Journal on Software and System Modeling, 2013, 41 p
...
hal-01428834v1  Communication dans un congrès
Giles Reger, Sylvain Hallé, Ylìès Falcone. Third International Competition on Runtime Verification CRV 2016
Sixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain
...
hal-01248423v1  Article dans une revue
Ylìès Falcone, Lenore Zuck. Runtime Verification: the Application Perspective
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2015, 17 (2), pp.3. <10.1007/s10009-014-0360-z>
...
hal-01248350v1  Communication dans un congrès
Philip Daian, Ylìès Falcone, Patrick Meredith, Traian Florin Serbanuta, Shin’ichi Shiriashi et al.  RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial
6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Austria. Springer, LNCS (9333), pp.16, 2015, Runtime Verification. <10.1007/978-3-319-23820-3_24>
...
hal-01248351v1  Communication dans un congrès
Ylìès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma. Second International Competition on Runtime Verification
6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Austria. Springer, LNCS (9333), pp.16, <10.1007/978-3-319-23820-3_27>
...
hal-01248349v1  Communication dans un congrès
Ali Kassem, Ylìès Falcone, Pascal Lafourcade. Monitoring Electronic Exams
6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Australia. Springer, 9333, pp.16, 2015, Runtime Verification. <10.1007/978-3-319-23820-3_8>
...
hal-01472082v1  Rapport
Azzeddine Amiar, Mickaël Delahaye, Ylìès Falcone, Lydie Du Bousquet. CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding
[Research Report] RR-LIG-031, LIG. 2012
...
hal-01185238v3  Communication dans un congrès
Matthieu Renard, Ylìès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron et al.  Enforcement of (Timed) Properties with Uncontrollable Events
12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Oct 2015, Cali, Colombia. Springer, LNCS (9399), pp.22, 2015, Theoretical Aspects of Computing - ICTAC 2015. <10.1007/978-3-319-25150-9_31>
...
hal-01244446v1  Communication dans un congrès
Srinivas Pinisetty, Ylìès Falcone, Thierry Jéron, Hervé Marchand. TiPEX: A Tool Chain for Timed Property Enforcement During eXecution
Ezio Bartocci; Rupak Majumdar. RV'2015, 6th International Conference on Runtime Verification, Sep 2015, Vienne, Austria. Springer, 9333, pp.12, 2015, Lecture Notes in Computer Science. <http://rv2015.conf.tuwien.ac.at/>. <10.1007/978-3-319-23820-3_22>
...
hal-01244369v1  Communication dans un congrès
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Ylìès Falcone et al.  Predictive Runtime Enforcement *
SAC 2016 31st ACM Symposium on Applied Computing, Apr 2016, Pisa, Italy. ACM, pp.6, 2016, <http://www.acm.org/conferences/sac/sac2016/>. <10.1145/2851613.2851827>
...
hal-01281727v1  Article dans une revue
Ylìès Falcone, Thierry Jéron, Hervé Marchand, Srinivas Pinisetty. Runtime Enforcement of Regular Timed Properties by Suppressing and Delaying Events
Science of Computer Programming, Elsevier, 2016, <10.1016/j.scico.2016.02.008>
...
hal-00987985v1  Article dans une revue
Ylìès Falcone, Hervé Marchand. Enforcement and Validation (at runtime) of Various Notions of Opacity
Discrete Event Dynamic Systems, Springer Verlag, 2014, pp.42. <http://dx.doi.org/10.1007/s10626-014-0196-4>. <10.1007/s10626-014-0196-4>
...
hal-01315776v1  Article dans une revue
Christian Colombo, Ylìès Falcone. Organising LTL Monitors over Distributed Systems with a Global Clock
Formal Methods in System Design, Springer Verlag, 2016, 49 (1-2), pp.50. <http://link.springer.com/article/10.1007%2Fs10703-016-0251-x>. <10.1007/s10703-016-0251-x>
...
hal-01248420v1  Article dans une revue
Ylìès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem. Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation
Software and Systems Modeling, Springer Verlag, 2015, 14 (1), pp.38. <10.1007/s10270-013-0323-y>
...
hal-01262444v4  Article dans une revue
Matthieu Renard, Ylìès Falcone, Antoine Rollet, Thierry Jéron, Hervé Marchand. Optimal Enforcement of (Timed) Properties with Uncontrollable Events
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2017, <10.1017/S0960129517000123>

Contact | Consulter le Guide UGA


Logo de l'INPG Logo de l'INPG Logo de l'INRIA Logo de l'USMB Logo du CEA Logo de l'IEPG Logo de l'ENSAG