Publications 2014

Thèses et habilitations à diriger les recherches

1. Fabien Duchene. Detection of Web Vulnerabilities via Model Inference assisted Evolutionary Fuzzing. Thèse de l'Université de Grenoble, France, Juin 2014.

Articles de journaux

1. Yliès Falcone, Hervé Marchand. Enforcement and Validation (at runtime) of Various Notions of Opacity. Discrete Event Dynamic Systems, 2014.
2. Yves Ledru, Akram Idani, Jérémy Milhau, Nafees Qamar, Régine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh. Validation of IS Security Policies featuring Authorisation Constraints. International Journal of Information System Modeling and Design (IJISMD), 2014.

Conférences internationales

1. Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru. B Formal Validation of ERTMS/ETCS Railway Operating Rules. In 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Yamine Aït Ameur, Klaus-Dieter Schewe (eds.), LNCS, Volume 8477, Pages 124-129, 2014.
2. Yliès Falcone, Tom Cornebize, Jean-Claude Fernandez. Efficient and Generalized Decentralized Monitoring of Regular Languages. In 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14), LNCS, 2014.
3. Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier. Automatic Model Inference of Web Applications for Security Testing. In 5th International Workshop on Security Testing (SECTEST 2014), Workshop of the IEEE 7th International Conference on Software Testing, Verification and Validation (ICST 2014), 2014.
4. Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. Runtime Enforcement of Regular Timed Properties. In 29th Symposium On Applied Computing (SAC 2014), Pages 1279-1286, 2014.
5. Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. Runtime Enforcement of Parametric Timed Properties with Practical Applications. In 12th IFAC - IEEE International Workshop on Discrete Event Systems, 2014.
6. Amira Radhouani, Akram Idani, Yves Ledru. Extraction of Insider Attack Scenarios for a Formal Information System Modeling. In Proceedings of the Formal Methods for Security Workshop co-located with the PetriNets-2014 Conference, Véronique Cortier, Riadh Robbana (eds.), Volume 1158, Pages 5-19, 2014.
7. Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz. KameleonFuzz: Evolutionary Fuzzing for Black-Box XSS Detection. In Fourth ACM Conference on Data and Application Security and Privacy (CODASPY 2014), Mars 2014. download
8. Matthias Büchler, Karim Hossen, Petru Florin Mihancea, Marius Minea, Roland Groz, Catherine Oriat. Model Inference and Security Testing in the SPaCIoS Project. In IEEE Working Conference on Reverse Engineering, CSMR-WCRE 2014, Pages 411-414, Antwerp, Belgium, Février 2014.
9. Alexandre Petrenko, Keqin Li, Roland Groz, Karim Hossen, Catherine Oriat. Inferring Approximated Models for Systems Engineering. In 15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014), Pages 249-253, Miami, Florida, USA, Janvier 2014.

Communications avec actes

1. Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Yves Ledru, Akram Idani. Modélisation et validation formelle des règles d'exploitation ferroviaire. In Actes de la Conférence AFADL'14: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 1-15, Paris, 2014.

Autres communications

1. German Eduardo Vega Baez, Taha Triki, Yves Ledru, Lydie du Bousquet. Trace-based test suite reduction (poster). Actes des Sixièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, pp. 209-209, CNAM, Paris, France, 2014.