lipn

Laboratoire d'Informatique de Paris Nord

UMR 7030, Université Paris 13, 99 avenue Jean-Baptiste Clément, 93430 Villetaneuse

up13 cnrs

Publications de l'équipe LCR

In the course of update...


Chapitres de livres

[1] Parallel LTL Model Checking Algorithms
J. Barnat and V. Bloemen and A. Duret-Lutz and A. Laarman and L. Petrucci and J. van de Pol and E. Renault
54 pages, 54 pages, Springer, Handbook of Parallel Constraint Reasoning, 13, L. Sais and Y. Hamadi, 2017

[2] Model Checking Concurrent Software
A. Gupta and V. Kahlon and S. Qadeer and T. Touili
The Handbook of Model Checking, E. Clarke and T. Henzinger and H. Veith, 2017

Edition d'ouvrages collectifs

[3] Proceedings of the International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems, Torino, Italy

Springer, Lecture Notes in Computer Science , Proceedings of the International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems, Torino, Italy, L. Petrucci and C. Seceleanu, Septembre 2017

Tutoriaux dans des conférences internationales

[4] Parametric Verification
André, E. and Lime, D. and Penczek, W. and Petrucci, L.
1-day tutorial at ICATPN'17, Zaragossa, Spain, Juin 2017

Communications dans des conférences internationales avec comité de lecture

[5] Reachability Analysis of Dynamic Pushdown Networks with Priorities
Marcio Diaz and Tayssir Touili
288--303, Springer, Lecture Notes in Computer Science , 10299, Proc. of the 5th International Conference on Networked Systems (NETYS 2017), Marrakech, Morocco, Mai 2017

[6] Malware Detection Based On Graph Classification
The Khanh Huu Dam and Tayssir Touili
455--463, SCITEPress, Proceedings of ICISSP 2017, Porto, Portugal, Février 2017

[7] Parametric model checking timed automata under non-Zenoness assumption
André, É. and Nguyen, H. G. and Petrucci, L. and Sun, J.
35--51, Springer, Lecture Notes in Computer Science , 10227, Proc. of the 9th NASA Formal Methods Symposium (NFM2017), Moffett Field, CA, USA, Mai 2017

[8] Timed ATL: Forget Memory, Just Count
André, É. and Jamroga, W. and Knapik, M. and Penczek, W. and Petrucci, L.
1460--1462, ACM Press, Proc. of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2017), S\~ao Paulo, Brazil, Mai 2017

[9] CARET Model Checking For Pushdown Systems
Huu-Vu Nguyen and Tayssir Touili
ACM Press, Proc. of SVT\url@SAC 2017, Marrakech, Morocco, Avril 2017

[10] CARET Model Checking For Malware Detection
Huu-Vu Nguyen and Tayssir Touili
Proc. of the 24th International SPIN Symposium on Model Checking of Software (SPIN 2017), Santa Barbara, CA, USA, Juillet 2017

[11] Reachability Analysis of Pushdown Systems with an Upper Stack
Adrien Pommellet and Marcio Diaz and Tayssir Touili
447--459, Springer, Lecture Notes in Computer Science , 10168, Proc. of the 11th International Conference on Language and Automata Theory and Applications (LATA 2017), Ume\aa, Sweden, Mars 2017

Autres conférences

[12] Extracting Android Malicious Behaviors
The Khanh Huu Dam and Tayssir Touili
714--723, SCITEPress, Proceedings of ForSe\url@ICISSP 2017, Porto, Portugal, Février 2017

[13] Learning Android Malware
The Khanh Huu Dam and Tayssir Touili
Proceedings of IWSMA\url@ARES 2017, Août 2017

pres

w3c-xhtml