Cybersecurity - Publications

Bozzano, M.; Cimatti, A.; Mattarei, C.; Formal reliability analysis of redundant architectures; in «FORMAL ASPECTS OF COMPUTING»; Being printed; pp.
Leopold Haller; Alberto Griggio; Martin Brain; Daniel Kroening; Formal Methods in Computer-Aided Design, FMCAD 2012; Deciding Floating-Point Logic with Systematic Abstraction; Being printed; pp.
Costa, Giuseppe; Miele, Francesco; Blane, David; Di Monaco, Roberto; Work and health: old and new challenges for the welfare; in «SOCIOLOGIA DEL LAVORO»; 2018; pp. 7-20
Tian, Chun; Sangiorgi, Davide; Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics (EXPRESS/SOS 2018); Unique Solutions of Contractions, CCS, and their HOL Formalisation; in «Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics (EXPRESS/SOS 2018)»; Vol. 276>; 2018; pp. 122-139
Bousquet, J; Agache, I; Aliberti, Mr; Angles, Annesi-Maesano; Anto, Jm; Arnavielhe, S; Asayag, E; Bacci, E14; Bedbrook, A; Bachert, C; Baroni, I; Barreto, Ba; Bedolla-Barajas, M; Bergmann, Kc; Bertorello, L; Bewick, M; Bieber, T; Birov, S; Bindslev-Jensen, C; Blua, A; Bochenska Marciniak, M; Bogus-Buczynska, I; Bosnic-Anticevich, S; Bosse, I; Bourret, R; Bucca, C; Buonaiuto, R; Burguete Cabanas, Mt; Caillaud, D; Caimmi, Dp; Caiazza, D; Camargos, P; Canfora, G; Cardona, V; Carriazo, Am; Cartier, C; Castellano, G; Chavannes, Nh; Cecci, L; Ciaravolo, Mm; Cingi, C Ciceran A; Colas, L; Colgan, E; Coll, ; Conforti, D; Correia de Sousa, J; Cortés-Grimaldo, Rm; Corti, F; Costa, E; Courbis, Al; Cousein, E; Cruz, A; Custovic, A; Cvetkovski, B; Dario, C; da Silva, J; Dauvilliers, Y; De Blay, F; Dedeu, T; De Feo, G; De Martino, B; Demoly, P; De Vries, G; Di Capua Ercolano, S; Di Carluccio, N; Doulapsi, M; Dray, G; Dubakiene, R; Eller, E; Emuzyte, R; Espinoza-Contreras, Jg; Estrada-Cardona, A; Farrell, J; Farsi, A; Ferrero, J; Fokkens, Wj; Fonseca, J; Fontaine, Jf; Forti, S; Gálvez-Romero, Jl; García-Cobas, Ci; Garcia Cruz, Mh; Gemicioğlu, B; Gerth van Wijk, R; Guidacci, M; Gómez-Vera, J; Guldemond, Na; Gutter, Z; Haahtela, T; Hajjam, J; Hellings, Pw; Hernández-Velázquez, ; Illario, M; Ivancevich, Jc; Jares, E; Joos, G; Just, J; Kalayci, O; Kalyoncu, Af; Karjalainen, J; Keil, T; Khaltaev, N; Klimek, L; Kritikos, V; Kull, I; Kuna, P; Kvedariene, V; Kolek, V; Krzych-Fałta, ; Kupczyk, M; Lacwik, P; La Grutta, S; Larenas-Linnemann, D; Laune, D; Lauri, D; Lavrut, J; Lessa, M; Levato, G; Lewis, L; Lieten, ; Lipiec, A; Louis, R; Luna-Pech, Ja; Magnan, A; Malva, J; Maspero, Jf; Matta-Campos, Jj; Mayora, O; Medina-Ávalos, Ma; Melén, E; Menditto, E; Millot-Keurinck, J; Moda, G; Morais-Almeida, M; Mösges, R; Mota-Pinto, A; Mullol, J; Muraro, A; Murray, R Noguès M; Nalin, M; Napoli, L; Neffen, H; O'Hehir, Re; Onorato, Gl; Palkonen, S; Papadopoulos, Ng; Passalacqua, G; Pépin, Jl; Pereira, Am; Persico, M; Pfaar, O; Pozzi, Ac; Prokopakis, E; Pugin, B; Raciborski, F; Rimmer, J; Rizzo, Ja; Robalo-Cordeiro, C; Rodríguez-González, M; Rolla, G; Roller-Wirnsberger, Re; Romano, A; Romano, ; Romano, Mr5; Salimäki, J; Samolinski, B; Serpa, Fs; Shamai, S; Sierra, M; Sova, M; Sorlini, M; Stellato, C; Stelmach, R; Strandberg, T; Stroetmann, V; Stukas, R; Szylling, A; Tan, R; Tibaldi, V; Todo-Bom, A; Toppila-Salmi, S; Tomazic, P; Trama, U; Triggiani, M; Valero, A; Valovirta, E; Valiulis, A; van Eerd, M; Vasankari, T; Vatrella, A; Ventura, Mt; Verissimo, Mt; Viart, F; Williams, S; Wagenmann, M Wanscher C; Westman, M; Wickman, M; Young, I; Yorgancioglu, A; Zernotti, E; Zuberbier, T; Zurkuhlen, A; De Oliviera, B; Senn, A; Transfer of Innovation on Allergic Rhinitis and Asthma Multimorbidity in the Elderly (MACVIA-ARIA) - EIP on AHA Twinning Reference Site (GARD Research Demonstration Project); in «ALLERGY»; Vol. 73>; 2018; pp. 77-92
Gherardi, Silvia; Murgia, Annalisa; Bellè, Elisa; Miele, Francesco; Carreri, Anna; Tracking the sociomaterial traces of affect at the crossroads of affect and practice theories; in «QUALITATIVE RESEARCH IN ORGANIZATIONS AND MANAGEMENT»; 2018; pp.
Alessandro, Cimatti; Ramiro, Demasi; Stefano, Tonetta; Tightening the contract refinements of a system architecture; in «FORMAL METHODS IN SYSTEM DESIGN»; Vol. 52>; 2018; pp. 88-116
Mechtaev, Sergey; Griggio, Alberto; Cimatti, Alessandro; Roychoudhury, Abhik; 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering; Symbolic execution with existential second-order constraints; in «Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018»; 2018; pp. 389-399
Cimatti, Alessandro; Minh, Do; Micheli, Andrea; Roveri, Marco; Smith, David E.; Strong temporal planning with uncontrollable durations; in «ARTIFICIAL INTELLIGENCE»; Vol. 256>; 2018; pp. 1-34
Cerone, Antonio; Roveri, Marco; Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers; in «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE»; Vol. 10729>; 2018; pp.