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] Edition en ligne de fac-similés et de transcriptions
Christophe Fouqueré
495--502, CNRS Editions, L'\oeuvre comme processus, Pierre-Marc de Biasi and Anne-Herschberg Pierrot, 2017

[2] 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, 453--504, Springer, Handbook of Parallel Constraint Reasoning, 12, L. Sais and Y. Hamadi, 2017

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

[4] Usage des échiquiers arithmétiques dans la résolution de problèmes combinatoires et applications actuelles
Schwer, Sylviane R.
195--220, PULIM, Les travaux combinatoires en France (1870-1914) et leur actualité : un hommage à Henri Delannoy. Collection « Savoirs scientifiques et pratiques d'enseignement, Barbin, Évelyne, Catherine Goldstein and Marc Moyon and Sylviane R. Schwer and Stéphane Vinatier, 2017

Edition d'ouvrages collectifs

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

Springer, Lecture Notes in Computer Science, 10471, International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2017), Torino, Italy, A. Cavalcanti and L. Petrucci and C. Seceleanu, Septembre 2017

[6] Computing with lambda-terms: A special issue dedicated to Corrado B\"ohm for his 90th birthday
Stefano Guerrini and Henk Barendrengt and Adolfo Piperno
5, We are very proud and honoured to dedicate this volume to Corrado B\"ohm, who has been for us a teacher, mentor, colleague, and friend. But most of all, he was a brilliant role-model to follow., Cambridge University Press, 27, Cambridge, UK, Mathematical Structures in Computer Science, 2017

Articles dans des revues internationales avec comité de lecture

[7] On the Verification of Opacity in Web Services and Their Composition
Amina Bourouis and Kais Klai and Nejib Ben Hadj-Alouane and Yamen El Touati
1, 66--79, 10, IEEE Transactions on Services Computing, 2017

[8] Fault Diagnosis of Discrete-Event systems Based on the Symbolic Observation Graph
Abderraouf Boussif and Mohamed Ghazel and Kais Klai
International Journal of Critical Computer-Based Systems (IJCCBS), 2017

[9] Infinitary Affine Proofs
Damiano Mazza
5, 581--602, 27, Mathematical Structures in Computer Science, 2017

Tutoriaux dans des conférences internationales

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

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

[11] Efficient parameter synthesis using optimized state exploration strategies
André, Etienne and Nguyen, Hoang Gia and Petrucci, Laure
10 pages, IEEE, 22nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'17), Fukuoka, Japan, Zhenjiang Hu and Guangdong Bai, 2017

[12] Parametric model checking timed automata under non-Zenoness assumption
André, Etienne and Nguyen, Hoang Gia and Petrucci, Laure and Sun, Jun
35--51, Springer, Lecture Notes in Computer Science, 10227, 9th NASA Formal Methods Symposium (NFM'17), Moffett Field, CA, USA, 10.1007/978-3-319-57288-8_3, Barrett, Clark and Kahsai, Temesghen, 2017

[13] Deadlock-Freeness Verification of Business Process Configuration using SOG
Souha Boubaker and Kais Klai and Katia Schmitz and Mohamed Graiet and Walid Gaaloul
Lecture Notes in Computer Science, 15th International Conference on Service-Oriented Computing (ICSOC 2017), Malaga, Spain, 2017

[14] Computing Quantified Opacity for SOG-Abstracted Web Services
Amina Bourouis and Nejib Ben Hadj-Alouane and Kais Klai
IEEE Fourteenth International Conference on Services Computing (SCC 2017), Honolulu, USA, 2017

[15] A Coq formal proof of the LaxMilgram theorem
Sylvie Boldo and Fran\ccois Clément and Florian Faissole and Vincent Martin and Micaela Mayero
79--89, 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017), Paris, France, 2017

[16] On Higher-Order Probabilistic Subrecursion
Flavien Breuvart and Ugo Dal Lago and Agathe Herrou
370--386, 20th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2017), Uppsala, Sweden, 2017

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

[18] Malware Detection Based On Graph Classification
The Khanh Huu Dam and Tayssir Touili
455--463, SCITEPress, International Conference on Information Systems Security and Privacy (ICISSP 2017), Porto, Portugal, Février 2017

[19] Dealing with priorities and locks for concurrent programs
Marcio Diaz and Tayssir Touili
Fifteenth International Symposium on Automated Technology for Verification and Analysis (ATVA 2017), Pune, India, 2017

[20] 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

[21] Is the optimal implementation inefficient? Elementarily not
Stefano Guerrini and Marco Solieri
18 pages, Oxford, UK, 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017), 2017

[22] Refutation of Sallé's Longstanding Conjecture
Benedetto Intrigila and Giulio Manzonetto and Andrew Polonsky
18 pages, 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017), Oxford, UK, 2017

[23] CARET Model Checking For Pushdown Systems
Huu-Vu Nguyen and Tayssir Touili
1393--1400, ACM Press, Software Verification and Testing 2017 (SVT\url@SAC 2017), Marrakech, Morocco, Avril 2017

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

[25] A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems
Hiba Ouni and Kais Klai and Chiheb Ameur Abid and Belhassen Zouari
107--119, EasyChair, EPiC Series in Computing, 45, The 8th International Symposium on Symbolic Computation in Software Science (SCSS 2017), Gammarth, Tunisia, Mohamed Mosbah and Micha\"el Rusinowitch, 2017

[26] Inductive and Functional Types in Ludics
Alice Pavaux
12 pages, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Stockholm, Sweden, 2017

[27] 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, 11th International Conference on Language and Automata Theory and Applications (LATA 2017), Ume\aa, Sweden, Mars 2017

[28] Formal Model and Method to Decompose Process-aware IoT Applications
Samir Tata and Kais Klai and Rakesh Jain
Lecture Notes in Computer Science, On the Move to Meaningful Internet Systems: OTM 2017 Conferences - Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, 2017

Autres conférences

[29] A unified formalism for monoprocessor schedulability analysis under uncertainty
André, Etienne
100--115, Springer, Lecture Notes in Computer Science, 10471, International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2017), Torino, Italy, A. Cavalcanti and L. Petrucci and C. Seceleanu, 2017

[30] DPN-SOG: A Software Tool for Fault Diagnosis of Labeled Petri Nets Using the Semi-Symbolic Diagnoser
Abderraouf Boussif and Mohamed Ghazel and Kais Klai
Colloque sur la Modélisation des Systèmes Réactifs Marseille, France, 2017

[31] Normalization by Evaluation in Linear Logic
Jules Chouquet and Giulio Guerrieri and Luc Pellissier and Lionel Vaux
Trends in Linear Logic and Applications (TLLA 17), Oxford, UK, 2017

[32] An Overview of the Options Available for Practical Activities in Distributed Computing
Coti, Camille and Loddo, Jean-Vincent and Viennet, Emmanuel
15th International Conference on Information Technology Based Higher Education and Training (ITHET16), Braun, Robin, 2017

[33] Which Answers are Expected?
Christophe Fouqueré and Myriam Quatrini
15 pages, (In)Coherence of discourse 4, Nancy, France, 2017

[34] Refinement of universal quantification in Proof Theory
Christophe Fouqueré and Myriam Quatrini
15 pages, Quantifiers and Determiners (QUAD), ESSLLI 2017 Workshop, Montpellier, France, 2017

[35] Computability in the Lattice of Equivalence Relations
Jean-Yves Moyen and Jakob Grue Simonsen
38--46, Electronic Proceedings in Theoretical Computer Science, 248, 8th Workshop on Developments in Implicit Computational complExity (DICE'17) and 5th Workshop on FOundational and Practical Aspects of Resource Analysis (FOPARA 2017), Uppsala, Sweden, 2017

[36] Extracting Android Malicious Behaviors
The Khanh Huu Dam and Tayssir Touili
714--723, SCITEPress, 1st International Workshop on FORmal methods for Security Engineering (ForSe\url@ICISSP 2017), Porto, Portugal, Février 2017

[37] Learning Android Malware
The Khanh Huu Dam and Tayssir Touili
6th International Workshop on Security of Mobile Applications in conjunction with the 12th International Conference on Availability, Reliability and Security (IWSMA\url@ARES 2017), Reggio Calabria, Italy, Août 2017

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

[39] Coherence, Taylor expansion, and box-connected proof-structures
Giulio Guerrieri and Luc Pellissier
Trends in Linear Logic and Applications (TLLA 17), Oxford, UK, 2017

[40] Linear beta-reduction
Stefano Guerrini
44--53, Electronic Proceedings in Theoretical Computer Science, 238, Proceeding Fourth International Workshop on Linearity (LINEARITY 2016), I. Cervesato and M. Fernandez, 2017

[41] Approximations, Fibrations and Intersection Type Systems
Damiano Mazza and Luc Pellissier and Pierre Vial
Vial, Trends in Linear Logic and Applications (TLLA 17), Oxford, UK, 2017

[42] Loop Quasi-Invariant Chunck Motion
J.-Y. Moyen and T. Rubiano and T. Seiller
47--59, Electronic Proceedings in Theoretical Computer Science, 248, 8th Workshop on Developments in Implicit Computational complExity (DICE'17) and 5th Workshop on FOundational and Practical Aspects of Resource Analysis (FOPARA'17), Uppsala, Sweden, 2017

Thèses

[43] Lambda Calculus, Linear Logic and Symbolic Computation
Manzonetto, Giulio
Habilitation \`a diriger des recherches en informatique, hdr, Université Paris 13, 2017

Travaux en cours de soumission

[44] Relational Graph Models at Work
Flavien Breuvart and Giulio Manzonetto and Domenico Ruoppolo
40, abs/1703.10382, CoRR, 2017

pres

w3c-xhtml