1. Rechercher
12 résultats  enregistrer la recherche
...
hal-00743270v2  Communication dans un congrès
Srinivas Pinisetty, Ylìès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet et al.  Runtime Enforcement of Timed Properties
3rd International Conference on Runtime Verification, Sep 2012, Istanbul, Turkey. Springer, 7687, pp.229-244, 2013, Lecture Notes in Computer Science (LNCS). <10.1007/978-3-642-35632-2_23>
...
hal-00907571v1  Communication dans un congrès
Srinivas Pinisetty, Ylìès Falcone, Thierry Jéron, Hervé Marchand. Runtime Enforcement of Regular Timed Properties
Software Verification and Testing, track of the Symposium on Applied Computing ACM-SAC 2014, Mar 2014, Gyeongju, South Korea. ACM, pp.1279-1286, 2014
...
inria-00564604v1  Communication dans un congrès
Bertrand Jeannet, Thierry Jéron, Vlad Rusu. Model-Based Test Selection for Infinite-State Reactive Systems
Formal Methods for Components and Objects, 2006, Amsterdam, Netherlands. 2006
...
inria-00484297v1  Rapport
Ylìès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More Testable Properties
[Research Report] RR-7279, INRIA. 2010, pp.45
...
hal-00743981v1  Article dans une revue
Ylìès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More testable properties
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, 14 (4), pp.407-437. <http://www.springerlink.com/content/u3283757686610v6/>. <10.1007/s10009-011-0220-z>
...
inria-00137064v1  Rapport
Bertrand Jeannet, Thierry Jéron, Camille Constant. Automatic Test Generation from Interprocedural Specifications
[Research Report] PI 1835, 2007, pp.19
...
hal-00974548v1  Communication dans un congrès
Srinivas Pinisetty, Ylìès Falcone, Thierry Jéron, Hervé Marchand. Runtime Enforcement of Parametric Timed Properties with Practical Applications
IEEE International Workshop on Discrete Event Systems, May 2014, cachan, France. pp.46-53, 2014
...
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>
...
inria-00510018v2  Communication dans un congrès
Ylìès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More Testable Properties
Alexandre Petrenko; Adenilso Simão; José Carlos Maldonado. 22nd International Conference on Testing Software and Systems, Nov 2010, Natal, Brazil. Springer, 6435, pp.30-46, 2010, Lecture Notes in Computer Science. <10.1007/978-3-642-16573-3_4>
...
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-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