it gb
it gb

Formal Methods for Software Development

Publications

Paolo Viviani, Maurizio Drocco, Daniele Baccega, Marco Aldinucci
Proc. of the 27th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP), 
27th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP)
2019
Luca Padovani
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,  2019
Maurizio Drocco, Paolo Viviani, Iacopo Colonnelli, Marco Aldinucci, Marco Grangetto
Proc. of the 27th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP), 
27th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP)
2019
Grelck, Clemens; Niewiadomska-Szynkiewicz, Ewa; Aldinucci, Marco; Bracciali, Andrea; Larsson, Elisabeth
High-Performance Modelling and Simulation for Big Data Applications: Selected Results of the COST Action IC1406 cHiPSet,  2019
Rosita Gerbo; Luca Padovani
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
2019
ter Beek, Maurice H.*; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca
SCIENCE OF COMPUTER PROGRAMMING,  2019
Damiani, Ferruccio; Lienhardt, Michael; Paolini, Luca
SCIENCE OF COMPUTER PROGRAMMING,  2019
Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC,  2019
Rodrigues V.; Donetti S.; Damiani F.
SOFTWARE AND SYSTEMS MODELING,  2019
Ivan Merelli; Federico Fornari; Fabio Tordini; Daniele D'Agostino; Marco Aldinucci; Daniele Cesini
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING,  2019
Audrito G.; Viroli M.; Damiani F.; Pianini D.; Beal J.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019
2019
Audrito G.; Beal J.; Damiani F.; Pianini D.; Viroli M.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
21st IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019
2019
Casadei R.; Viroli M.; Audrito G.; Pianini D.; Damiani F.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
21st IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019
2019
Giuseppe Castagna, Mariangiola Dezani, Elena Giachino, Luca Padovani
Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019, 
21st International Symposium on Principles and Practice of Programming Languages 2019
2019
Barbanera, Franco; de'Liguoro, Ugo; Hennicker, Rolf
THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING,  2019
Viviana Bono
FUNDAMENTA INFORMATICAE,  2019
Aldinucci, Marco; Bagnasco, Stefano; Concas, Matteo; Lusso, Stefano; Rabellino, Sergio; Demarchi, Danilo; Vallero, Sara
EPJ Web of Conferences Volume 214 (2019), 
23rd International Conference on Computing in High Energy and Nuclear Physics (CHEP 2018)
2019
Cosimo Laneve, Luca Padovani
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday,  2019
Ter Beek M.H.; Damiani F.; Lienhardt M.; Mazzanti F.; Paolini L.
ACM International Conference Proceeding Series, 
23rd International Systems and Software Product Line Conference, SPLC 2019
2019
Audrito G.; Damiani F.; Stolz V.; Viroli M.
Electronic Proceedings in Theoretical Computer Science, EPTCS, 
2nd Workshop on Verification of Objects at RunTime EXecution, VORTEX 2018
2019
Damiani F.; Lienhardt M.; Paolini L.
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER,  2019
Audrito, G; Bergamini, S; Damiani, F; Viroli, M
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 
18th International Conference on Autonomous Agents and MultiAgent Systems
2019
Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina; Seidl, Christoph
ACTA INFORMATICA,  2018
Mencagli, Gabriele; Torquati, Massimo; Lucattini, Fabio; Cuomo, Salvatore; Aldinucci, Marco
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING,  2018
Fabio, Tordini; Marco, Aldinucci; Paolo, Viviani; Ivan, Merelli; Pietro, Liò
Proc. of the Intl. Conference on Parallel Computing, ParCo 2017, 12-15 September 2017, Bologna, Italy, 
International Conference on Parallel Computing (ParCo 2017)
2018
Paolo, Viviani; Maurizio, Drocco; Marco, Aldinucci
Proc. of 26th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP), 
Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP)
2018
Claudia, Misale; Maurizio, Drocco; Guy, Tremblay; Marco, Aldinucci
Proc. of Euro-Par Workshops: 1st Intl. Workshop on Autonomic Solutions for Parallel and Distributed Data Stream Processing (Auto-DaSP), 
Euro-Par Workshops: 1st Intl. Workshop on Autonomic Solutions for Parallel and Distributed Data Stream Processing (Auto-DaSP)
2018
Luca Padovani
THE ART, SCIENCE, AND ENGINEERING OF PROGRAMMING,  2018
Lienhardt, Michael; Damiani, Ferruccio; Donetti, Simone; Paolini, Luca
ACM International Conference Proceeding Series, 
12th International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2018
2018
Marco Aldinucci; Maurizio Drocco; Claudia Misale; Guy Tremblay
Encyclopedia of Big Data Technologies,  2018
van Bakel, S; Barbanera, F; de'Liguoro, U
LOGICAL METHODS IN COMPUTER SCIENCE,  2018
Bessai, J; Chen, TC; Dudenhefner, A; Duedder, B; de'Liguoro, U; Rehof, J
LOGICAL METHODS IN COMPUTER SCIENCE,  2018
Livio Bioglio, Sara Capecchi, Federico Peiretti, Dennis Sayed, Antonella Torasso, Ruggero G. Pensa
2018 International School and Conference on Network Science (NetSci 2018), 
2018 International School and Conference on Network Science (NetSci 2018)
2018
Luca Padovani
THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING,  2018
Ugo de'Liguoro; Luca Padovani
32nd European Conference on Object-Oriented Programming, 
32nd European Conference on Object-Oriented Programming (ECOOP'18)
2018
Lienhardt, Michael; Damiani, Ferruccio*; Testa, Lorenzo; Turin, Gianluca
SCIENCE OF COMPUTER PROGRAMMING,  2018
Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko
SCIENCE OF COMPUTER PROGRAMMING,  2018
Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
1st Workshop on Architectures, Languages and Paradigms for IoT, ALP4IoT 2017
2018
Viroli, Mirko; Audrito, Giorgio; Beal, Jacob; Damiani, Ferruccio; Pianini, Danilo
ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION,  2018
Audrito, Giorgio; Beal, Jacob; Damiani, Ferruccio; Viroli, Mirko
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
20th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2018 Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018
2018
Viroli, Mirko*; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
20th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2018 Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018
2018
Røst, Thomas Brox*; Seidl, Christoph; Yu, Ingrid Chieh; Damiani, Ferruccio; Johnsen, Einar Broch; Chesta, Cristina
Communications in Computer and Information Science, 
6th European Conference on Service-Oriented and Cloud Computing, ESOCC 2017
2018
Barbanera, Franco; Lanese, Ivan; de'Liguoro, Ugo
SCIENCE OF COMPUTER PROGRAMMING,  2018
marco aldinucci; luca padovani; massimo torquati
2018
Franco Barbanera; Ugo de’Liguoro
THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING,  2018
Bioglio, Livio; Capecchi, Sara; Peiretti, Federico; Sayed, Dennis; Torasso, Antonella; Pensa, Ruggero Gaetano
IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES,  2018
Barbanera, Franco; de'Liguoro, Ugo; Hennicker, Rolf
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Interaction and Concurrency Experience - ICE 2018
2018
Damiani F.; Hahnle R.; Kamburjan E.; Lienhardt M.
Proceedings of the 22nd International Systems and Software Product Line Conference, 
22nd International Systems and Software Product Line Conference
2018
Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
LOGICAL METHODS IN COMPUTER SCIENCE,  2018
Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko; Bini, Enrico
Proceedings - Real-Time Systems Symposium, 
39th IEEE Real-Time Systems Symposium, RTSS 2018
2018
Damiani Ferruccio; Michael LIENHARDT; Luca Paolini
Fundamentals of Software Engineering. FSEN 2017, 
7th International Conference on Fundamentals of Software Engineering, FSEN 2017
2017
Marco Aldinucci; Marco Danelutto; Peter Kilpatrick; Massimo Torquati
Programming Multi-core and Many-core Computing Systems,  2017
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2017
Concetto, Spampinato; Simone, Palazzo; Daniela, Giordano; Aldinucci, Marco; Rosalia, Leonardi
MEDICAL IMAGE ANALYSIS,  2017
Tordini, F.; Drocco, M.; Misale, C.; Milanesi, L.; Lio, P.; Merelli, I.; Torquati, M.; Aldinucci, M.
INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS,  2017
Damiani, Ferruccio; Faitelson, David; Gladisch, Christoph; Tyszberowicz, Shmuel
SOFTWARE AND SYSTEMS MODELING,  2017
Bettini, Lorenzo; Damiani, Ferruccio
THE JOURNAL OF SYSTEMS AND SOFTWARE,  2017
de' Liguoro, Ugo
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2017
Viviani, Paolo; Aldinucci, Marco; Torquati, Massimo; d'Ippolito, Roberto
In proc. of the 32nd ACM Symposium on Applied Computing (SAC), 
The 32nd ACM Symposium on Applied Computing
2017
Misale, Claudia; Drocco, Maurizio; Aldinucci, Marco; Tremblay, Guy
PARALLEL PROCESSING LETTERS,  2017
Berardi, Stefano; de’ Liguoro, Ugo
FUNDAMENTA INFORMATICAE,  2017
Damiani, Ferruccio; Hähnle, Reiner; Kamburjan, Eduard; Lienhardt, Michael
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
20th International Conference on Fundamental Approaches to Software Engineering, FASE 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017
2017
Luca Padovani
JOURNAL OF FUNCTIONAL PROGRAMMING,  2017
Padovani, Luca
Programming Languages and Systems, 
European Symposium on Programming
2017
Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko
Coordination Models and Languages, 
19th International Conference on Coordination Models and Languages
2017
Bono, Viviana; Coppo, Mario; Dezani, Mariangiola; Venneri, Betti
THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING,  2017
Crafa, Silvia; Padovani, Luca
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,  2017
Barbanera, Franco; Lanese, Ivan; De’Liguoro, Ugo
Lecture Notes in Computer Science. Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017, 
COORDINATION 2017
2017
Paula, Severi; Padovani, Luca; Emilio, Tuosto; Mariangiola, Dezani
LOGICAL METHODS IN COMPUTER SCIENCE,  2017
Hernán, Melgratti; Padovani, Luca
PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES,  2017
Melgratti, Hernán; Padovani, Luca
2017
Padovani, Luca
Behavioural Types: from Theory to Tools,  2017
Melgratti, Hernán; Padovani, Luca
Behavioural Types: from Theory to Tools,  2017
Marco, Aldinucci; Marco, Danelutto; Daniele, De Sensi; Gabriele, Mencagli; Massimo, Torquati
Proceedings of the 10th International Symposium on High-Level Parallel Programming and Applications, 
Hi
2017
Viviani, P.; and Aldinucci, M.; and d'Ippolito, R.; and Lemeire, J.; and Vucinic, D.
Improved Performance of Materials: Design and Experimental Approaches,  2017
Torquati, M.; Mencagli, G.; Drocco, M.; Aldinucci, M.; De Matteis, T.; Danelutto, M.
THE JOURNAL OF SUPERCOMPUTING,  2017
Damiani, Ferruccio; Hähnle, Reiner; Lienhardt, Michael
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017
2017
Beal, Jacob; Viroli, Mirko; Pianini, Danilo; Damiani, Ferruccio
ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS,  2017
Damiani, Ferruccio; Lienhardt, Michael; Muschevici, Radu; Schaefer, Ina
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
13th International Conference on Integrated Formal Methods, IFM 2017
2017
Aldinucci, Marco; Brorsson, Mats; D'Agostino, Daniele; Daneshtalab, Masoud; Kilpatrick, Peter; Leppãnen, Ville
INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS,  2017
Cuomo, Salvatore; Aldinucci, Marco; Torquati, Massimo
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING,  2017
Muthuri, Robert; Boella, Guido; Hulstijn, Joris; Capecchi, Sara; Humphreys, LLIO BRYN
Proceedings of the 16th International Conference on Artificial Intelligence and Law, 
16th International Conference on Artificial Intelligence and Law
2017
Audrito, Giorgio; Casadei, Roberto; Damiani, Ferruccio; Viroli, Mirko
Proceedings - 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017, 
11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017
2017
Marco, Danelutto; Tiziano De Matteis, ; Daniele De Sensi, ; Gabriele, Mencagli; Massimo, Torquati; Marco, Aldinucci; Peter, Kilpatrick
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING,  2017
Aldinucci M.; Bagnasco S.; Lusso S.; Pasteris P.; Rabellino S.; Vallero S.
Journal of Physics: Conference Series, 
22nd International Conference on Computing in High Energy and Nuclear Physics, CHEP 2016
2017
Mario Coppo; Mariangiola Dezani; Nobuko Yoshida; Luca Padovani
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2016
Luca Padovani
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2016
Aldinucci, Marco; Campa, Sonia; Danelutto, Marco; Kilpatrick, Peter; Torquati, Massimo
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING,  2016
Damiani, Ferruccio; Viroli, Mirko; Beal, Jacob
SCIENCE OF COMPUTER PROGRAMMING,  2016
Barbanera, Franco; de’ Liguoro, Ugo
Coordination Models and Languages, 
Coordination
2016
Winkelmann, Tim; Koscielny, Jonathan; Seidl, Christoph; Schuster, Sven; Damiani, Ferruccio; Schaefer, Ina
CEUR Workshop Proceedings, 
Workshops of the Conference on Software Engineering, SE-WS 2016
2016
Damiani, Ferruccio; Lienhardt, Michael
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE’16)
2016
Damiani, Ferruccio; Lienhardt, Michael
Integrated Formal Methods, 
12th International Conference, IFM 2016
2016
Aldinucci, M.; Danelutto, M.; Drocco, M; Kilpatrick, P.; Misale, C.; Peretti Pezzi, G.; Torquati, M.
THE JOURNAL OF SUPERCOMPUTING,  2016
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; De’Liguoro, Ugo
FORMAL ASPECTS OF COMPUTING,  2016
Castellani, Ilaria; Dezani, Mariangiola; De'Liguoro, Ugo
Proceedings PLACES 2016, 
PLACES 2016
2016
Olivier, Danvy; Ugo, De'Liguoro
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,  2016
Capecchi, Sara; Giachino, Elena; Yoshida, Nobuko
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2016
Bracciali, Andrea; Aldinucci, Marco; Patterson, Murray; Marschall, Tobias; Pisanti, Nadia; Merelli, Ivan; Torquati, Massimo
BMC BIOINFORMATICS,  2016
Tordini, Fabio; Merelli, Ivan; Liò, Pietro; Milanesi, Luciano; Aldinucci, Marco
Computational Intelligence Methods for Bioinformatics and Biostatistics, 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015, Revised Selected Papers,  2016
Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos; Giuseppe Castagna; Pierre-Malo Deniélou; Simon J. Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; Viviana Mascardi; Fabrizio Montesi; Rumyana Neykova; Nicholas Ng; Luca Padovani; Vasco T. Vasconcelos; Nobuko Yoshida
FOUNDATIONS AND TRENDS® IN PROGRAMMING LANGUAGES,  2016
Hans Hüttel; Ivan Lanese; Vasco T. Vasconcelos; Lúis Caires; Marco Carbone; Pierre-Malo Deniélou; Dimitris Mostrous; Luca Padovani; António Ravara; Emilio Tuosto; Hugo Torres Vieira; Gianluigi Zavattaro
ACM COMPUTING SURVEYS,  2016
Paula Severi; Luca Padovani; Emilio Tuosto; Mariangiola Dezani-Ciancaglini
Coordination Models and Languages, 
18th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016
2016
Janjic, V.; Brown, C.; Mackenzie, K.; Hammond, K.; Danelutto, M.; Aldinucci, M.; Garcia, J. Daniel
Proceedings - 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016, 
24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016
2016
Drocco, Maurizio; Misale, Claudia; Aldinucci, Marco
Proceedings - 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016, 
24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016
2016
Tordini, Fabio; Aldinucci, Marco; Milanesi, Luciano; Liò, Pietro; Merelli, Ivan
FRONTIERS IN GENETICS,  2016
Damiani, Ferruccio; Seidl, Christoph; Yu, Ingrid Chieh
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 
7th International Symposium, ISoLA 2016
2016
Damiani, Ferruccio; Lienhardt, Michael
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 
7th International Symposium, ISoLA 2016
2016
Chesta, Cristina; Damiani, Ferruccio; Dobriakova, Liudmila; Guernieri, Marco; Martini, Simone; Nieke, Michael; Rodrigues, Vítor; Schuster, Sven
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 
7th International Symposium, ISoLA 2016
2016
Bubel, Richard; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Owe, Olaf; Schaefer, Ina; Yu, Ingrid Chieh
Transactions on Foundations for Mastering Change I,  2016
Dougherty, Daniel J.; De’Liguoro, Ugo; Liquori, Luigi; Stolze, Claude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
14th Asian Symposium on Programming Languages and Systems, APLAS 2016
2016
Viviani, Paolo; Aldinucci, Marco; d'Ippolito, Roberto
Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES) -- Poster Abstracts, 
Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES)
2016
Viviani, Paolo; Aldinucci, Marco; d'Ippolito Roberto; Lemeire, Jan; Vucinic, Dean
10th Intl. Conference on Advanced Computational Engineering and Experimenting (ACE-X) -- Abstract Book, 
10th Intl. Conference on Advanced Computational Engineering and Experimenting (ACE-X)
2016
Beal, Jacob; Viroli, Mirko; Pianini, Danilo; Damiani, Ferruccio
Proceedings - IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2016, 
10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2016
2016
Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko; Casadei, Roberto
Proceedings - IEEE 1st International Workshops on Foundations and Applications of Self-Systems, FAS-W 2016, 
1st International Workshops on Foundations and Applications of Self-Systems, FAS-W 2016
2016
Bettini, Lorenzo; Capecchi, Sara
SSE 2016 Proceedings of the 8th International Workshop on Social Software Engineering, 
8th International Workshop on Social Software Engineering
2016
Capecchi, Sara; Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2016
Aldinucci, Marco; Torquati, Massimo
2016
Lorenzo Bettini;Ferruccio Damiani;Ina Schaefer
SCIENCE OF COMPUTER PROGRAMMING,  2015
Drocco, Maurizio; Misale, Claudia; Peretti Pezzi, Guilherme; Tordini, Fabio; Aldinucci, Marco
PDP 2015 - 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing, 
PDP 2015: Parallel Distributed and network-based Processing
2015
Tordini, Fabio; Drocco, Maurizio; Misale, Claudia; Milanesi, Luciano; Liò, Pietro; Merelli, Ivan; Aldinucci, Marco
Proceedings of the International Euromicro PDP 2015: Parallel Distributed and network-based Processing, 2015, 
International Euromicro PDP 2015: Parallel Distributed and network-based Processing
2015
Merelli, Ivan; Tordini, Fabio; Drocco, Maurizio; Aldinucci, Marco; Liò, Pietro; Milanesi, Luciano.
FRONTIERS IN GENETICS,  2015
Tordini, Fabio; Drocco, Maurizio; Merelli, Ivan; Milanes, Luciano; Liò, Pietro; Aldinucci, Marco.
LNCS post conference proceedings of the Eleventh International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics CIBB 2014, 
CIBB 2014
2015
Aldinucci, Marco; Peretti Pezzi, Guilherme; Drocco, Maurizio; Spampinato, Concetto; Torquati, Massimo
INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS,  2015
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
7-th workshop on intersection types and related systems
2015
ter Beek, Maurice H.; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca
Software Engineering and Formal Methods, 
13th International Conference on Software Engineering and Formal Methods, SEFM 2015
2015
Marco Aldinucci; Andrea Bracciali; Tobias Marschall; Murray Patterson; Nadia Pisanti; Massimo Torquati
LNBI post conference proceedings of the Eleventh International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics CIBB 2014, 
Intl. meeting on Computational Intelligence methods for Bioinformatics and Biostatistics (CIBB 2014)
2015
Marco Aldinucci; Marco Danelutto; Maurizio Drocco; Peter Kilpatrick; Guilherme Peretti Pezzi; Massimo Torquati
Proc. of Intl. Workshop on Reengineering for Parallelism in Heterogeneous Parallel Platforms (RePara), 
International Workshop on Reengineering for Parallelism in Heterogeneous Parallel Platforms (RePara)
2015
Marcin Benke; Viviana Bono; Aleksy Schubert
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Seventh Workshop on Intersection Types and Related Systems, ITRS 2014
2015
Bessai, Jan; Dudenhefner, Andrej; D\"udder, Boris; Chen, Tzu-Chun; de'Liguoro Ugo; Rehof, Jakob
13th International Conference on Typed Lambda Calculi and Applications,TLCA 2015, July 1-3, 2015, Warsaw, Poland, 
TLCA 2015
2015
Barbanera Franco; Steffen van Bakel; De'Liguoro, Ugo
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Interaction and Concurrency Experience, ICE 2015
2015
Jan Bessai; Boris D\"udder; Andrej Dudenhefner; Chen Tzu-Chun; De'Liguoro, Ugo
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Intersection Types and Related Systems
2015
Padovani, Luca; Chen, Tzu-Chun; Tosatto, Andrea
Proceedings of the International Conference on Coordination Models and Languages (COORDINATION'15), 
International Conference on Coordination Models and Languages
2015
Padovani, Luca; Novara, Luca
Proceedings of the IFIP International Conference on Formal Methods and Techniques (FORTE'15), 
IFIP International Conference on Formal Methods and Techniques
2015
Crafa, Silvia; Padovani, Luca
Proceedings of the ACM International Conference on ObjectOriented Programming Systems Languages & Applications (OOPSLA'15), 
ACM International Conference on Object Oriented Programming Systems Languages & Applications
2015
Cosimo Laneve; Luca Padovani
FORMAL ASPECTS OF COMPUTING,  2015
Damiani, Ferruccio; Viroli, Mirko; Pianini, Danilo; Beal, Jacob
Formal Techniques for Distributed Objects, Components, and Systems., 
35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015
2015
Ferruccio Damiani, Mirko Viroli
LOGICAL METHODS IN COMPUTER SCIENCE,  2015
Padovani, Luca
LOGICAL METHODS IN COMPUTER SCIENCE,  2015
Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Pianini, Danilo
International Conference on Self-Adaptive and Self-Organizing Systems, SASO, 
9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2015
2015
Massimo Bartoletti; Castellani Ilaria; Pierre-Malo Denielou; Dezani Mariangiola; Silvia Ghilezan; Jovanka Pantovic; Jorge A. Pérez; Peter Thiemann; Bernardo Toninho; Vieira Hugo Torres
THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING,  2015
Capecchi, Sara; Giraudo, Mauro; Negro, Claudia; Pisano, Paola
Proceedings - 12th IEEE International Conference on E-Business Engineering, ICEBE 2015, 
12th IEEE International Conference on E-Business Engineering, ICEBE 2015
2015
Coppo, Mario; Dezani, Mariangiola; Margaria, Ines; Zacchi, Maddalena
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Italian Conference on Theoretical Computer Science (ICTCS)
2015
Aldinucci, Marco; Daneshtalab, Masoud; Leppänen, Ville; Lilius, Johan
2015
Marco Aldinucci; Massimo Torquati
2015
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),  2015
Marco Aldinucci; Salvatore Ruggieri; Massimo Torquati
CONCURRENCY AND COMPUTATION,  2014
Concetto Spampinato; Isaak Kavasidis; Marco Aldinucci; Carmelo Pino; Daniela Giordano; Alberto Faro
CONCURRENCY AND COMPUTATION,  2014
Marco Aldinucci; Sonia Campa; Marco Danelutto; Peter Kilpatrick; Massimo Torquati
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING,  2014
Stefano Berardi; Ugo de'Liguoro
LOGICAL METHODS IN COMPUTER SCIENCE,  2014
M. Coppo;M. Dezani-Ciancaglini;B. Venneri
PDP'14, 
PDP 2014
2014
Svetlana Jakšić; Luca Padovani
SCIENCE OF COMPUTER PROGRAMMING,  2014
Claudia Misale;Giulio Ferrero;Massimo Torquati;Marco Aldinucci
BIOMED RESEARCH INTERNATIONAL,  2014
M. Coppo;M. Dezani;I. Margaria;M. Zacchi
19th International Conference on Types for Proofs and Programs (TYPES 2013), 
TYPES 213
2014
F. Barbanera; M. Dezani; U. de'Liguoro
Proceedings Third Workshop on Behavioural Types, 
Third Workshop on Behavioural Types
2014
F. Barbanera; U. de'Liguoro
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Interaction and Concurrency Experience
2014
M. Dezani;S. Ghilezan
RTATLCA'14, 
RTA/TLCA'14
2014
I. Castellani;M. Dezani;J. A. Perez
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
BEAT'14
2014
T. Chen;M. Dezani;N. Yoshida
PPDP'14, 
PPDP'14
2014
M. Dezani;L. Padovani;J. Pantovic
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
PLACES'14
2014
S. Capecchi;I. Castellani;M. Dezani
Information and Computation,  2014
Ferruccio Damiani;Johan Dovland;Einar Broch Johnsen;Ina Schaefer
FORMAL ASPECTS OF COMPUTING,  2014
Marco Aldinucci;Cristina Calcagno;Mario Coppo;Ferruccio Damiani;Maurizio Drocco;Eva Sciacca;Salvatore Spinella;Massimo Torquati;Angelo Troina
BIOMED RESEARCH INTERNATIONAL,  2014
Ferruccio Damiani;Ina Schaefer;Sven Schuster;Tim Winkelmann
Lecture Notes in Computer ScienceLeveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 
6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014
2014
Mirko Viroli;Ferruccio Damiani
Lecture Notes in Computer Science, Coordination Models and Languages, 
COORDINATION - 16th International Conference on Coordination Models and Languages
2014
Ferruccio Damiani;Ina Schaefer;Tim Winkelmann
Proceedings of the 18th International Software Product Line Conference on - SPLC '14, 
18th International Software Product Line Conference, SPLC 2014
2014
Marco Bernardo; Ferruccio Damiani; Reiner Hähnle; Einar Broch Johnsen; Ina Schaefer
LECTURE NOTES IN COMPUTER SCIENCE,  2014
Bono, Viviana; Mensa, Enrico; Naddeo, Marco;
2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages and Tools, PPPJ '14, Cracow, Poland, September 23-26, 2014, 
2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages and Tools (PPPJ'14)
2014
Jonathan Koscielny;Sönke Holthusen;Ina Schaefer;Sandro Schulze;Lorenzo Bettini;Ferruccio Damiani
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform Virtual machines, Languages, and Tools - PPPJ '14, 
2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools (PPPJ 2014)
2014
Lorenzo Bettini;Ferruccio Damiani
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform Virtual machines, Languages, and Tools - PPPJ '14, 
International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools (PPPJ'14)
2014
Giuseppe Castagna; Kim Nguyễn; Zhiwu Xu; Hyeonseung Im; Sergueï Lenglet; Luca Padovani
ACM SIGPLAN NOTICES, 
41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
2014
Luca Padovani
Proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'14), 
17th International Conference on Foundations of Software Science and Computation Structures
2014
Luca Padovani; Vasco Thudichum Vasconcelos; Hugo Torres Vieira
Proceedings of the 16th International Conference on Coordination Models and Languages (COORDINATION'14), 
16th International Conference on Coordination Models and Languages
2014
Luca Padovani
Proceedings of the Joint 23rd EACSL Annual Conference on Computer Science Logic and 29th Annual ACM/IEEE Symposium on Logic In Computer Science (CSL-LICS'14), 
Joint 23rd EACSL Annual Conference on Computer Science Logic and 29th Annual ACM/IEEE Symposium on Logic In Computer Science
2014
Marco Aldinucci; Maurizio Drocco; Guilherme Peretti Pezzi; Claudia Misale; Fabio Tordini; Massimo Torquati
Proceedings of 34th International Conference on Distributed Computing Systems Workshops, 
34th International Conference on Distributed Computing Systems Workshops, ICDCSW 2014
2014
Mario Coppo;Mariangiola Dezani;Betti Venneri
SERVICE ORIENTED COMPUTING AND APPLICATIONS,  2014
M. Aldinucci; G. Peretti Pezzi; M. Drocco; F. Tordini; P. Kilpatrick; M. Torquati
Proc. of Intl. Workshop on High-level Programming for Heterogeneous and Hierarchical Parallel Systems (HLPGPU), 
International Workshop on High-level Programming for Heterogeneous and Hierarchical Parallel Systems
2014
Michael G. Epitropakis; Andrea Bracciali; Marco Aldinucci; Emily Potts; Edmund K. Burke
Proceedings of the 10th International Conference on the Practice and Theory of Automated Timetabling, 
International Conference on the Practice and Theory of Automated Timetabling
2014
Marco Aldinucci; Sonia Campa; Marco Danelutto; Peter Kilpatrick; Massimo Torquati
Proc.of the 7th Intl. Symposium on High-level Parallel Programming and Applications (HLPP), 
Symposium on High-level Parallel Programming and Applications (HLPP)
2014
Marco Aldinucci; Massimo Torquati; Maurizio Drocco; Guilherme; Peretti Pezzi; Concetto Spampinato
GPU Technology Conference (GTC 2014): GTC On-Demand Featured Talks, 
GPU Technology Conference (GTC 2014)
2014
Marco Aldinucci; Massimo Torquati; Maurizio Drocco; Guilherme Peretti Pezzi; Concetto Spampinato
GPU Technology Conference (GTC 2014): GTC On-Demand Featured Talks, 
GPU Technology Conference (GTC 2014)
2014
S. Capecchi; P.Pisano
PROCEEDINGS of The Eleventh IEEE International Conference on E-Business Engineering ICEBE 2014, 
ICEBE 2014
2014
Aldinucci, Marco; Rabellino, Sergio
2014
Barbanera, Franco; De'Liguoro, Ugo
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2014
ACM SIGPLAN NOTICES, 
41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
2014
Lorenzo Bettini; Ferruccio Damiani; Kathrin Geilmann; Jan Schäfer
SCIENCE OF COMPUTER PROGRAMMING,  2013
Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer; Fabio Strocco
SCIENCE OF COMPUTER PROGRAMMING,  2013
Bernhard Beckert; Frank de Boer; Marcello Bonsangue; Ferruccio Damiani
LECTURE NOTES IN COMPUTER SCIENCE,  2013
Mario Coppo; Mariangiola Dezani; Ines Margaria; Maddalena Zacchi
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Sixth Workshop on Intersection Types and Related Systems
2013
Luca Padovani
Proceedings of the 40th International Colloquium on Automata, Languages and Programming, Part II, 
40th International Colloquium on Automata, Languages and Programming
2013
Cosimo Laneve; Luca Padovani
Proceedings of the 10th International Conference on integrated Formal Methods, 
10th International Conference on integrated Formal Methods
2013
Viviana Bono; Luca Padovani; Andrea Tosatto
Proceedings of the 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems, 
2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (FORTE'13)
2013
Mario Coppo; Mariangiola Dezani; Luca Padovani; Nobuko Yoshida
Proceedings of the 15th International Conference on Coordination Models and Languages, 
15th International Conference on Coordination Models and Languages
2013
Stefano Berardi; Ugo de'Liguoro
EPTCS 126 - Fixed Points in Computer Science, 
Fixed Points in Computer Science (FICS'13)
2013
Steffen van Bakel; FrancoBarbanera; Ugo de'Liguoro
EPTCS 121 - Intersection Types and Related Systems, 
ITRS'13 - Intersection Types and Related Systems
2013
Eva Sciacca;Salvatore Spinella;Cristina Calcagno;Ferruccio Damiani;Mario Coppo
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 
Third International Workshop on Interactions Between Computer Science and Biology (CS2Bio'12)
2013
Ferruccio Damiani
Divide and Conquer: the Quest for Compositional Design and Analysis, 
Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511)
2013
Bettini, Lorenzo; Capecchi, Sara; Damiani, Ferruccio
SCIENCE OF COMPUTER PROGRAMMING,  2013
Marco Aldinucci; Maurizio Drocco; Fabio Tordini; Mario Coppo; Massimo Torquati
2013 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 
21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2013
2013
Marco Aldinucci; Massimo Torquati; Concetto Spampinato; Maurizio Drocco; Claudia Misale; Cristina Calcagno; Mario Coppo
BRIEFINGS IN BIOINFORMATICS,  2013
Marco Aldinucci; Sonia Campa; Peter Kilpatrick; Massimo Torquati
Parallel Processing Workshops, Euro-Par 2012: BDMC 2012, CGWS 2012, HeteroPar 2012, HiBB 2012, OMHI 2012, Paraphrase 2012, PROPER 2012, Resilience 2012, UCHPC 2012, VHPC 2012; Rhodes Island; Greece; 27 August 2012 through 31 August 2012, Selected Revised Papers,  2013
Marco Aldinucci; Sonia Campa; Marco Danelutto; Peter Kilpatrick; Massimo Torquati
Lecture Notes in Computer ScienceEuro-Par 2012: Parallel Processing Workshops, 
Euro-Par 2012 Workshops, CoreGrid Workshop on Grids, Clouds and P2P Computing
2013
L. Bettini; S. Capecchi; Mariangiola Dezani; E. Giachino; B. Venneri
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2013
Lorenzo Bettini;Ferruccio Damiani
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13, 
International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13
2013
Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer
ACTA INFORMATICA,  2013
Ferruccio Damiani;Christoph Gladisch;Shmuel Tyszberowicz
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13, 
2013 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13
2013
Luca Padovani
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Programming Language Approaches to Concurrency and Communication-cEntric Software
2013
Ugo de'Liguoro; Alexis Saurin
2013
C. Misale; M. Aldinucci; and M. Torquati
Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES) — Poster Abstracts, 
HiPEAC IX ACACES Summer School
2013
F. Alessi;H. Barendregt;W. Dekkers;M. Dezani;F. Honsell;P. Severi;R. Statman
Lambda Calculus with Types,  2013
L. Bioglio;M. Dezani;P. Giannini;A. Troina
INTERNATIONAL JOURNAL OF SOFTWARE AND INFORMATICS,  2013
Henk Barendregt; Wil Dekkers; Richard Statman; Felice Cardone; Mario Coppo
Lambda Calculus with Types,  2013
Mirko Viroli; Ferruccio Damiani; Jacob Beal
Communications in Computer and Information ScienceAdvances in Service-Oriented and Cloud Computing, 
FOCLASA 2013 12th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems
2013
G. Barbara Demo; Lawrence Williams; Alessandro Rabbone; Alberto Barbero; Sara Capecchi; Ruggero Pensa; Flaviano MOnge; Maria Grazia Maffucci; Carlos Bayon Rodriguez; Cristina Bosco; Liliana Ardissono
2013
Claudia Misale; Marco Aldinucci; Massimo Torquati
Poster at Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES), 
Poster at Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES)
2013
Marco, Aldinucci; Fabio, Tordini; Sonia, Campa; Peter, Kilpatrick; Massimo, Torquati
Formal Methods for Components and Objects: Intl. Symposium, FMCO 2011, Torino, Italy, October 3-5, 2011, Revised Invited Lectures,  2013
Aldinucci, Marco; Danelutto, Marco; Kilpatrick, Peter; Montangero, Carlo; Semini, Laura
Formal Methods for Components and Objects: Intl. Symposium, FMCO 2011, Torino, Italy, October 3-5, 2011, Revised Invited Lectures,  2013
Hammond, Kevin; Aldinucci, Marco; Brown, Christopher; Cesarini, Francesco; Danelutto, Marco; González-Vélez, Horacio; Kilpatrick, Peter; Keller, Rainer; Rossbory, Michael; Shainer, Gilad
Formal Methods for Components and Objects: Intl. Symposium, FMCO 2011, Torino, Italy, October 3-5, 2011, Revised Invited Lectures,  2013
Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina
ACM SIGPLAN NOTICES, 
11th International Conference on Generative Programming and Component Engineering (GPCE'12)
2013