Publications



Articles dans des revues internationales avec comité de lecture


[1] A new sparse representation learning of complex data: Application to dynamic clustering of web navigation
Parisa Rastin and Guénaël Cabanes and Basarab Matei and Younès Bennani and Jean-Marc Marty
Pattern Recognition, 291 – 307, 91, 2019

[2] Intersection Types and Runtime Errors in the Pi-Calculus
Ugo Dal Lago, Marc de Visme, Damiano Mazza, Akira Yoshimizu
Proceedings of the ACM on Programming Languages, POPL:7, 3, 2019

[3] Parametric Verification: An Introduction
É. André and M. Knapik and D. Lime and W. Penczek and L. Petrucci
Transactions on Petri Nets and Other Models of Concurrency, 38 pages, SV, lncs, 14, 2019

[4] The minimum chromatic violation problem: A polyhedral approach
M. Braga, D. Delle Donne, M.S. Escalante, J. Marenco, M.E. Ugarte, M.C. Varaldo
Discrete Applied Mathematics, in press, Elsevier, in press, in press, 06, 2019

[5] The vertex k-cut problem
Cornaz, D. and Furini, F. and Lacroix, M. and Malaguti, E. and Mahjoub, R. and Martin, S.
Discrete Optimization, 8-28, 31, 2019

[6] Timed ATL: Forget Memory, Just Count
É. André and W. Jamroga and M. Knapik and W. Penczek and L. Petrucci
Journal of Artificial Intelligence Research, 25 pages, 2019

[7] Trader multiflow and box-TDI systems in series–parallel graphs
Denis Cornaz and Roland Grappe and Mathieu Lacroix
Discrete Optimization, 103-114, 31, 2019

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


[1] Minimal-Time Synthesis for Parametric Timed Automata
André, E and Bloemen, V. and Petrucci, L. and van de Pol, J.
25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’19), Prague, Czech Republic, 211–228, SV, lncs, 11428, 04, 2019

[2] Squeezing State Spaces of (Attack-Defence) Trees
Knapik, M. and Penczek, W. and Petrucci, L. and Sidoruk T.
24th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS’19), Hong Kong, China, Jing Sun and Jun Pang, IEEE, 11, 2019

Autres conférences


[1] Fault-tolerant matrix factorisation: a formal model and proof
Coti, C. and Petrucci, L. and Torres Gonzalez, D.A.
6th International Workshop on Synthesis of Complex Parameters (SynCoP’19), Prague, Czech Republic, 04, 2019

[2] Pruning NDFS for Parametric Timed Automata
Petrucci, L. and van de Pol, J.
6th International Workshop on Synthesis of Complex Parameters (SynCoP’19), Prague, Czech Republic, 04, 2019