Il gruppo di ricerca in Metodi Formali per lo Sviluppo del Software ha l’obiettivo di studiare metodi formali e realizzare strumenti di ausilio per progettisti e programmatori di software, al fine di migliorare la qualità del software prodotto in termini di correttezza, affidabilità, riuso. Il lavoro di ricerca comprende lo studio di modelli formali e costrutti per linguaggi di programmazione funzionali, orientati agli oggetti, concorrenti, lo studio di teorie di tipi, di algoritmi di analisi statica e dinamica di programmi, di applicazioni di metodi formali all'Intelligenza artificiale.

Il gruppo di ricerca si distingue in particolar modo per i seguenti temi:

• fondamenti del lambda calcolo e teorie di tipi intersezione;
• costrutti e metodologie per linguaggi di programmazione orientati agli oggetti;
• sintesi automatica di componenti e oggetti;
• modelli formali per la concorrenza e la comunicazione;
• teorie di contratti, tipi comportamentali, protocolli di comunicazione;
• sperimentazioni di sistemi di tipi e linguaggi funzionali applicati all'AI.

• - Project PRIN 2022 n. 2022LB7WKJ Artificial Intelligence and multi-brain connectivity as a buddy to Enhancing Competencies in students - Class-tAIs. CUP D53D23008720006 (V. Bono: membro)
• - Project MAECI - Trustworthy Cyber-Physical Pipelines, 2024-2026 (E. Bini: PI) 

• - TANDANS - Progetti di Ateneo - Compagnia di San Paolo 2016/2018 - Macroarea Ricerca Finanziamento ex-post
• - COST Action EUTypes CA15123 - The European research network on types for programming and verification
• - COST Action Betti IC1201 - Behavioural Types for Reliable Large-Scale Software Systems
• - EC H2020 RIA project HyVar (Scalable Hybrid Variability for Distributed Evolving Software Systems
• - Dynamically and Autonomously Reconfigurable Types - DART
• - Developing white and green biotechnologies by converging platforms from biology and information technology towards metagenomycs - BioBits
• - Réseau Social Transfrontalier - MyMed
• - Past PRIN priojects: CINA (2010-2011), DISCO (2008-2009), EOS (2004-2005)

 

• Lorenzo Bettini
• Luca Ciccone
• Ines Margaria
• Luca Padovani
• Angelo Troina
• Maddalena Zacchi

Viviana Bono

+ 39 011 670 6733

viviana.bono@unito.it

Introducing TCD-D for Creativity Assessment: A Mobile App for Educational Contexts
2023-01-01 De Lorenzo Aurelia; Nasso Alessandro; Bono Viviana; Rabaglietti Emanuela https://iris.unito.it/handle/2318/1892941

Local Multi-Head Channel Self-Attention for Facial Expression Recognition
2022-01-01 Pecoraro Roberto; Basile Valerio; Bono Viviana https://iris.unito.it/handle/2318/1878900

Autori: Luca Padovani

Context-Free Session Type Inference

Published in: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, Anno: 2019

Autori: ter Beek, Maurice H.*; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca

On the expressiveness of modal transition systems with variability constraints

Published in: SCIENCE OF COMPUTER PROGRAMMING, Anno: 2019

Autori: Damiani, Ferruccio; Lienhardt, Michael; Paolini, Luca

A formal model for Multi Software Product Lines

Published in: SCIENCE OF COMPUTER PROGRAMMING, Anno: 2019

Autori: Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob

A higher-order calculus of computational fields

Published in: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, Anno: 2019

Autori: Rodrigues V.; Donetti S.; Damiani F.

Certifying delta-oriented programs

Published in: SOFTWARE AND SYSTEMS MODELING, Anno: 2019

Autori: Ivan Merelli; Federico Fornari; Fabio Tordini; Daniele D'Agostino; Marco Aldinucci; Daniele Cesini

Exploiting Docker containers over Grid computing for a comprehensive study of chromatin conformation in different cell types

Published in: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, Anno: 2019

Autori: Barbanera, Franco; de'Liguoro, Ugo; Hennicker, Rolf

Connecting open systems of communicating finite state machines

Published in: THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, Anno: 2019

Autori: Viviana Bono

The Magda Language: Ten Years After

Published in: FUNDAMENTA INFORMATICAE, Anno: 2019

Autori: Damiani F.; Lienhardt M.; Paolini L.

Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form

Published in: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, Anno: 2019

Autori: Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo

From distributed coordination to field calculus and aggregate computing

Published in: THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, Anno: 2019

Autori: Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina; Seidl, Christoph

A core calculus for dynamic delta-oriented programming

Published in: ACTA INFORMATICA, Anno: 2018

Autori: Mencagli, Gabriele; Torquati, Massimo; Lucattini, Fabio; Cuomo, Salvatore; Aldinucci, Marco

Harnessing sliding-window execution semantics for parallel stream processing

Published in: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, Anno: 2018

Autori: Luca Padovani

Deadlock-Free Typestate-Oriented Programming

Published in: THE ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, Anno: 2018

Autori: van Bakel, S; Barbanera, F; de'Liguoro, U

INTERSECTION TYPES FOR THE lambda mu-CALCULUS

Published in: LOGICAL METHODS IN COMPUTER SCIENCE, Anno: 2018

Autori: Bessai, J; Chen, TC; Dudenhefner, A; Duedder, B; de'Liguoro, U; Rehof, J

MIXIN COMPOSITION SYNTHESIS BASED ON INTERSECTION TYPES

Published in: LOGICAL METHODS IN COMPUTER SCIENCE, Anno: 2018

Autori: Luca Padovani

A Type Checking Algorithm for Concurrent Object Protocols

Published in: THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, Anno: 2018

Autori: Lienhardt, Michael; Damiani, Ferruccio*; Testa, Lorenzo; Turin, Gianluca

On checking delta-oriented product lines of statecharts

Published in: SCIENCE OF COMPUTER PROGRAMMING, Anno: 2018

Autori: Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko

Optimal single-path information propagation in gradient-based algorithms

Published in: SCIENCE OF COMPUTER PROGRAMMING, Anno: 2018

Autori: Viroli, Mirko; Audrito, Giorgio; Beal, Jacob; Damiani, Ferruccio; Pianini, Danilo

Engineering resilient collective adaptive systems by self-stabilisation

Published in: ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, Anno: 2018

Autori: Barbanera, Franco; Lanese, Ivan; de'Liguoro, Ugo

A theory of retractable and speculative contracts

Published in: SCIENCE OF COMPUTER PROGRAMMING, Anno: 2018

Autori: Franco Barbanera; Ugo de’Liguoro

Session types and subtyping for orchestrated interactions

Published in: THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, Anno: 2018

Autori: Bioglio, Livio; Capecchi, Sara; Peiretti, Federico; Sayed, Dennis; Torasso, Antonella; Pensa, Ruggero Gaetano

A Social Network Simulation Game to Raise Awareness of Privacy among School Children

Published in: IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES, Anno: 2018

Autori: Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri

Java & Lambda: a Featherweight Story

Published in: LOGICAL METHODS IN COMPUTER SCIENCE, Anno: 2018

Autori: Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena

Isomorphism of intersection and union types

Published in: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Anno: 2017

Autori: Concetto, Spampinato; Simone, Palazzo; Daniela, Giordano; Aldinucci, Marco; Rosalia, Leonardi

Deep Learning for Automated Skeletal Bone Age Assessment in X-Ray Images

Published in: MEDICAL IMAGE ANALYSIS, Anno: 2017

Autori: Tordini, F.; Drocco, M.; Misale, C.; Milanesi, L.; Lio, P.; Merelli, I.; Torquati, M.; Aldinucci, M.

NuChart-II: The road to a fast and scalable tool for Hi-C data analysis

Published in: INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, Anno: 2017

Autori: Damiani, Ferruccio; Faitelson, David; Gladisch, Christoph; Tyszberowicz, Shmuel

A novel model-based testing approach for software product lines

Published in: SOFTWARE AND SYSTEMS MODELING, Anno: 2017

Autori: Bettini, Lorenzo; Damiani, Ferruccio

Xtraitj: Traits for the Java platform

Published in: THE JOURNAL OF SYSTEMS AND SOFTWARE, Anno: 2017

Autori: de' Liguoro, Ugo

The approximation theorem for the Λμ-calculus

Published in: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Anno: 2017

Autori: Misale, Claudia; Drocco, Maurizio; Aldinucci, Marco; Tremblay, Guy

A Comparison of Big Data Frameworks on a Layered Dataflow Model

Published in: PARALLEL PROCESSING LETTERS, Anno: 2017

Autori: Berardi, Stefano; de’ Liguoro, Ugo

Non-monotonic Pre-fix Points and Learning

Published in: FUNDAMENTA INFORMATICAE, Anno: 2017

Autori: Luca Padovani

A Simple Library Implementation of Binary Sessions

Published in: JOURNAL OF FUNCTIONAL PROGRAMMING, Anno: 2017

Autori: Bono, Viviana; Coppo, Mario; Dezani, Mariangiola; Venneri, Betti

Data-driven adaptation for smart sessions

Published in: THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, Anno: 2017

Autori: Crafa, Silvia; Padovani, Luca

The Chemical Approach to Typestate-Oriented Programming

Published in: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, Anno: 2017

Autori: Paula, Severi; Padovani, Luca; Emilio, Tuosto; Mariangiola, Dezani

On Sessions and Infinite Data

Published in: LOGICAL METHODS IN COMPUTER SCIENCE, Anno: 2017

Autori: Hernán, Melgratti; Padovani, Luca

Chaperone Contracts for Higher-Order Sessions

Published in: PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES, Anno: 2017

Autori: Torquati, M.; Mencagli, G.; Drocco, M.; Aldinucci, M.; De Matteis, T.; Danelutto, M.

On dynamic memory allocation in sliding-window parallel patterns for streaming analytics

Published in: THE JOURNAL OF SUPERCOMPUTING, Anno: 2017

Autori: Beal, Jacob; Viroli, Mirko; Pianini, Danilo; Damiani, Ferruccio

Self-adaptation to device distribution in the internet of things

Published in: ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, Anno: 2017

Autori: Marco, Danelutto; Tiziano De Matteis, ; Daniele De Sensi, ; Gabriele, Mencagli; Massimo, Torquati; Marco, Aldinucci; Peter, Kilpatrick

The RePhrase Extended Pattern Set for Data Intensive Parallel Computing

Published in: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, Anno: 2017

Autori: Mario Coppo; Mariangiola Dezani; Nobuko Yoshida; Luca Padovani

Global Progress for Dynamically Interleaved Multiparty Sessions

Published in: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Anno: 2016

Autori: Luca Padovani

Fair Subtyping for Multi-Party Session Types

Published in: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Anno: 2016

Autori: Aldinucci, Marco; Campa, Sonia; Danelutto, Marco; Kilpatrick, Peter; Torquati, Massimo

Pool Evolution: A Parallel Pattern for Evolutionary and Symbolic Computing

Published in: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, Anno: 2016

Autori: Damiani, Ferruccio; Viroli, Mirko; Beal, Jacob

A type-sound calculus of computational fields

Published in: SCIENCE OF COMPUTER PROGRAMMING, Anno: 2016

Autori: Aldinucci, M.; Danelutto, M.; Drocco, M; Kilpatrick, P.; Misale, C.; Peretti Pezzi, G.; Torquati, M.

A parallel pattern for iterative stencil + reduce

Published in: THE JOURNAL OF SUPERCOMPUTING, Anno: 2016

Autori: Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; De’Liguoro, Ugo

Reversible client/server interactions

Published in: FORMAL ASPECTS OF COMPUTING, Anno: 2016

Autori: Capecchi, Sara; Giachino, Elena; Yoshida, Nobuko

Global escape in multiparty sessions

Published in: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Anno: 2016

Autori: Bracciali, Andrea; Aldinucci, Marco; Patterson, Murray; Marschall, Tobias; Pisanti, Nadia; Merelli, Ivan; Torquati, Massimo

PWHATSHAP: efficient haplotyping for future generation sequencing

Published in: BMC BIOINFORMATICS, Anno: 2016

Autori: 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

Behavioral Types in Programming Languages

Published in: FOUNDATIONS AND TRENDS® IN PROGRAMMING LANGUAGES, Anno: 2016

Autori: 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

Foundations of session types and behavioural contracts

Published in: ACM COMPUTING SURVEYS, Anno: 2016

Autori: Tordini, Fabio; Aldinucci, Marco; Milanesi, Luciano; Liò, Pietro; Merelli, Ivan

The Genome Conformation as an Integrator of Multi-Omic Data: The Example of Damage Spreading in Cancer

Published in: FRONTIERS IN GENETICS, Anno: 2016

Autori: Capecchi, Sara; Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola

Information flow safety in multiparty sessions

Published in: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Anno: 2016

Autori: Lorenzo Bettini;Ferruccio Damiani;Ina Schaefer

Implementing type-safe software product lines using parametric traits

Published in: SCIENCE OF COMPUTER PROGRAMMING, Anno: 2015

Autori: Merelli, Ivan; Tordini, Fabio; Drocco, Maurizio; Aldinucci, Marco; Liò, Pietro; Milanesi, Luciano.

Integrating Multi-omic features exploiting Chromosome Conformation Capture data

Published in: FRONTIERS IN GENETICS, Anno: 2015

Autori: Aldinucci, Marco; Peretti Pezzi, Guilherme; Drocco, Maurizio; Spampinato, Concetto; Torquati, Massimo

Parallel Visual Data Restoration on Multi-GPGPUs using Stencil-Reduce Pattern

Published in: INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, Anno: 2015

Autori: Cosimo Laneve; Luca Padovani

An Algebraic Theory for Web Service Contracts

Published in: FORMAL ASPECTS OF COMPUTING, Anno: 2015

Autori: Ferruccio Damiani, Mirko Viroli

Type-based Self-stabilisation for Computational Fields

Published in: LOGICAL METHODS IN COMPUTER SCIENCE, Anno: 2015

Autori: Padovani, Luca

Type Reconstruction for the Linear π-Calculus with Composite Regular Types

Published in: LOGICAL METHODS IN COMPUTER SCIENCE, Anno: 2015

Autori: Massimo Bartoletti; Castellani Ilaria; Pierre-Malo Denielou; Dezani Mariangiola; Silvia Ghilezan; Jovanka Pantovic; Jorge A. Pérez; Peter Thiemann; Bernardo Toninho; Vieira Hugo Torres

Combining behavioural types with security analysis

Published in: THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, Anno: 2015

Autori: Marco Aldinucci; Salvatore Ruggieri; Massimo Torquati

Decision tree building on multi-core using FastFlow

Published in: CONCURRENCY AND COMPUTATION, Anno: 2014

Autori: Concetto Spampinato; Isaak Kavasidis; Marco Aldinucci; Carmelo Pino; Daniela Giordano; Alberto Faro

Discovering biological knowledge by integrating high-throughput data and scientific literature on the cloud

Published in: CONCURRENCY AND COMPUTATION, Anno: 2014

Autori: Marco Aldinucci; Sonia Campa; Marco Danelutto; Peter Kilpatrick; Massimo Torquati

Design patterns percolating to parallel programming framework implementation

Published in: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, Anno: 2014

Autori: Stefano Berardi; Ugo de'Liguoro

Knowledge Spaces and the Completeness of Learning Strategies

Published in: LOGICAL METHODS IN COMPUTER SCIENCE, Anno: 2014

Autori: Svetlana Jakšić; Luca Padovani

Exception Handling for Copyless Messaging

Published in: SCIENCE OF COMPUTER PROGRAMMING, Anno: 2014

Autori: Claudia Misale;Giulio Ferrero;Massimo Torquati;Marco Aldinucci

Sequence Alignment Tools: One Parallel Pattern to Rule Them All?

Published in: BIOMED RESEARCH INTERNATIONAL, Anno: 2014

Autori: S. Capecchi;I. Castellani;M. Dezani

Typing access control and secure information flow in sessions

Published in: Information and Computation, Anno: 2014

Autori: Ferruccio Damiani;Johan Dovland;Einar Broch Johnsen;Ina Schaefer

Verifying traits: an incremental proof system for fine-grained reuse

Published in: FORMAL ASPECTS OF COMPUTING, Anno: 2014

Autori: Marco Aldinucci;Cristina Calcagno;Mario Coppo;Ferruccio Damiani;Maurizio Drocco;Eva Sciacca;Salvatore Spinella;Massimo Torquati;Angelo Troina

On Designing Multicore-Aware Simulators for Systems Biology Endowed with OnLine Statistics

Published in: BIOMED RESEARCH INTERNATIONAL, Anno: 2014

Autori: Mario Coppo;Mariangiola Dezani;Betti Venneri

Self-adaptive multiparty sessions

Published in: SERVICE ORIENTED COMPUTING AND APPLICATIONS, Anno: 2014

Autori: Barbanera, Franco; De'Liguoro, Ugo

Sub-behaviour relations for session-based client/server systems

Published in: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Anno: 2014

Autori: Lorenzo Bettini; Ferruccio Damiani; Kathrin Geilmann; Jan Schäfer

Combining Traits with Boxes and Ownership Types in a Java-like Setting

Published in: SCIENCE OF COMPUTER PROGRAMMING, Anno: 2013

Autori: Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer; Fabio Strocco

TraitRecordJ: A programming language with traits and records

Published in: SCIENCE OF COMPUTER PROGRAMMING, Anno: 2013

Autori: Bettini, Lorenzo; Capecchi, Sara; Damiani, Ferruccio

On Flexible Dynamic Trait Replacement for Java-like Languages

Published in: SCIENCE OF COMPUTER PROGRAMMING, Anno: 2013

Autori: Marco Aldinucci; Massimo Torquati; Concetto Spampinato; Maurizio Drocco; Claudia Misale; Cristina Calcagno; Mario Coppo

Parallel stochastic systems biology in the cloud

Published in: BRIEFINGS IN BIOINFORMATICS, Anno: 2013

Autori: L. Bettini; S. Capecchi; Mariangiola Dezani; E. Giachino; B. Venneri

Deriving Session and Union Types for Objects

Published in: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Anno: 2013

Autori: Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer

Compositional Type Checking of Delta-Oriented Software Product Lines

Published in: ACTA INFORMATICA, Anno: 2013

Autori: L. Bioglio;M. Dezani;P. Giannini;A. Troina

Type Directed Semantics for the Calculus of Looping Sequences

Published in: INTERNATIONAL JOURNAL OF SOFTWARE AND INFORMATICS, Anno: 2013

 

Autori: marco aldinucci; luca padovani; massimo torquati

Euro-Par 2018: Parallel Processing

Anno: 2018

Autori: Aldinucci, Marco; Brorsson, Mats; D'Agostino, Daniele; Daneshtalab, Masoud; Kilpatrick, Peter; Leppãnen, Ville

Guest editorial: preface

Published in: INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, Anno: 2017

Autori: Cuomo, Salvatore; Aldinucci, Marco; Torquati, Massimo

Guest Editorial for Programming Models and Algorithms for Data Analysis in HPC Systems

Published in: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, Anno: 2017

Autori: Olivier, Danvy; Ugo, De'Liguoro

Proceedings of the Workshop on Continuations

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, Anno: 2016

Autori: Aldinucci, Marco; Torquati, Massimo

Message from ScalCom 2016 Program Chairs

Anno: 2016

Autori: Aldinucci, Marco; Daneshtalab, Masoud; Leppänen, Ville; Lilius, Johan

Preface from general co-chairs

Anno: 2015

Autori: Marco Bernardo; Ferruccio Damiani; Reiner Hähnle; Einar Broch Johnsen; Ina Schaefer

Formal Methods for Executable Software Models

Published in: LECTURE NOTES IN COMPUTER SCIENCE, Anno: 2014

Autori: Marco Aldinucci; Daniele D'Agostino; Peter Kilpatrick

Proceedings - 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014, Preface from the program chairs

Anno: 2014

Autori: Aldinucci, Marco; Rabellino, Sergio

Preface from the organizing chairs

Anno: 2014

Autori: Bernhard Beckert; Frank de Boer; Marcello Bonsangue; Ferruccio Damiani

Formal Methods for Components and Objects10th International Symposium, FMCO 2011, Turin, Italy, October3 to 5, 2011. Revised Papers

Published in: LECTURE NOTES IN COMPUTER SCIENCE, Anno: 2013

Autori: Ugo de'Liguoro; Alexis Saurin

Control Operators and their Semantics

Anno: 2013

Autori: Grelck, Clemens; Niewiadomska-Szynkiewicz, Ewa; Aldinucci, Marco; Bracciali, Andrea; Larsson, Elisabeth

Why High-Performance Modelling and Simulation for Big Data Applications Matters

Published in: High-Performance Modelling and Simulation for Big Data Applications: Selected Results of the COST Action IC1406 cHiPSet, Anno: 2019

Autori: Cosimo Laneve, Luca Padovani

Deadlock Analysis of Wait-Notify Coordination

Published in: 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, Anno: 2019

Autori: Marco Aldinucci; Maurizio Drocco; Claudia Misale; Guy Tremblay

Languages for Big Data analysis

Published in: Encyclopedia of Big Data Technologies, Anno: 2018

Autori: Marco Aldinucci; Marco Danelutto; Peter Kilpatrick; Massimo Torquati

FastFlow: high-level and efficient streaming on multi-core

Published in: Programming Multi-core and Many-core Computing Systems, Anno: 2017

Autori: Padovani, Luca

Type-Based Analysis of Linear Communications

Published in: Behavioural Types: from Theory to Tools, Anno: 2017

Autori: Melgratti, Hernán; Padovani, Luca

An OCaml Implementation of Binary Sessions

Published in: Behavioural Types: from Theory to Tools, Anno: 2017

Autori: Viviani, P.; and Aldinucci, M.; and d'Ippolito, R.; and Lemeire, J.; and Vucinic, D.

A Flexible Numerical Framework for Engineering---A Response Surface Modelling Application

Published in: Improved Performance of Materials: Design and Experimental Approaches, Anno: 2017

Autori: Tordini, Fabio; Merelli, Ivan; Liò, Pietro; Milanesi, Luciano; Aldinucci, Marco

NuchaRt: Embedding High-Level Parallel Computing in R for Augmented Hi-C Data Analysis

Published in: Computational Intelligence Methods for Bioinformatics and Biostatistics, 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015, Revised Selected Papers, Anno: 2016

Autori: Bubel, Richard; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Owe, Olaf; Schaefer, Ina; Yu, Ingrid Chieh

Proof repositories for compositional verification of evolving software systems managing change when proving software correct

Published in: Transactions on Foundations for Mastering Change I, Anno: 2016

A gentle introduction to multiparty asynchronous session types

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Anno: 2015

Autori: Luca Padovani

Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types

Anno: 2013

Autori: Marco Aldinucci; Sonia Campa; Peter Kilpatrick; Massimo Torquati

Structured Data Access Annotations for Massively Parallel Computations

Published in: 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, Anno: 2013

Autori: F. Alessi;H. Barendregt;W. Dekkers;M. Dezani;F. Honsell;P. Severi;R. Statman

Intersection Types

Published in: Lambda Calculus with Types, Anno: 2013

Autori: Henk Barendregt; Wil Dekkers; Richard Statman; Felice Cardone; Mario Coppo

Part II, Recursive types

Published in: Lambda Calculus with Types, Anno: 2013

Autori: Marco, Aldinucci; Fabio, Tordini; Sonia, Campa; Peter, Kilpatrick; Massimo, Torquati

An Abstract Annotation Model for Skeletons

Published in: Formal Methods for Components and Objects: Intl. Symposium, FMCO 2011, Torino, Italy, October 3-5, 2011, Revised Invited Lectures, Anno: 2013

Autori: Aldinucci, Marco; Danelutto, Marco; Kilpatrick, Peter; Montangero, Carlo; Semini, Laura

Managing Adaptivity in Parallel Systems

Published in: Formal Methods for Components and Objects: Intl. Symposium, FMCO 2011, Torino, Italy, October 3-5, 2011, Revised Invited Lectures, Anno: 2013

Autori: Hammond, Kevin; Aldinucci, Marco; Brown, Christopher; Cesarini, Francesco; Danelutto, Marco; González-Vélez, Horacio; Kilpatrick, Peter; Keller, Rainer; Rossbory, Michael; Shainer, Gilad

The ParaPhrase Project: Parallel patterns for adaptive heterogeneous multicore systems

Published in: Formal Methods for Components and Objects: Intl. Symposium, FMCO 2011, Torino, Italy, October 3-5, 2011, Revised Invited Lectures, Anno: 2013

Gradual Guarantee for FJ with lambda-Expressions
2023-01-01 Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido https://iris.unito.it/handle/2318/1948715

Soundness Conditions for Big-Step Semantics
2020-01-01 Dagnino F.; Bono V.; Zucca E.; Dezani-Ciancaglini M. https://iris.unito.it/handle/2318/1758048

A tale of intersection types
2020-01-01 Bono V.; Dezani-Ciancaglini M. https://iris.unito.it/handle/2318/1758049

Autori: Paolo Viviani, Maurizio Drocco, Daniele Baccega, Marco Aldinucci

Deep Learning at Scale

Published in: Proc. of the 27th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP), 

titoloEvento: 27th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP)

Anno: 2019

Autori: Maurizio Drocco, Paolo Viviani, Iacopo Colonnelli, Marco Aldinucci, Marco Grangetto

Accelerating spectral graph analysis through wavefronts of linear algebra operations

Published in: Proc. of the 27th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP), 

titoloEvento: 27th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP)

Anno: 2019

Autori: Rosita Gerbo; Luca Padovani

Concurrent Typestate-Oriented Programming in Java

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Anno: 2019

Autori: Audrito G.; Viroli M.; Damiani F.; Pianini D.; Beal J.

On a Higher-Order Calculus of Computational Fields

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 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

Anno: 2019

Autori: Audrito G.; Beal J.; Damiani F.; Pianini D.; Viroli M.

The share operator for field-based coordination

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 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

Anno: 2019

Autori: Casadei R.; Viroli M.; Audrito G.; Pianini D.; Damiani F.

Aggregate processes in field calculus

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 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

Anno: 2019

Autori: Giuseppe Castagna, Mariangiola Dezani, Elena Giachino, Luca Padovani

Foundations of Session Types: 10 Years Later

Published in: Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019, 

titoloEvento: 21st International Symposium on Principles and Practice of Programming Languages 2019

Anno: 2019

Autori: Aldinucci, Marco; Bagnasco, Stefano; Concas, Matteo; Lusso, Stefano; Rabellino, Sergio; Demarchi, Danilo; Vallero, Sara

Managing a heterogeneous scientific computing cluster with cloud-like tools: ideas and experience

Published in: EPJ Web of Conferences Volume 214 (2019), 

titoloEvento: 23rd International Conference on Computing in High Energy and Nuclear Physics (CHEP 2018)

Anno: 2019

Autori: Ter Beek M.H.; Damiani F.; Lienhardt M.; Mazzanti F.; Paolini L.

Static analysis of featured transition systems

Published in: ACM International Conference Proceeding Series, 

titoloEvento: 23rd International Systems and Software Product Line Conference, SPLC 2019

Anno: 2019

Autori: Audrito G.; Damiani F.; Stolz V.; Viroli M.

On distributed runtime verification by aggregate computing

Published in: Electronic Proceedings in Theoretical Computer Science, EPTCS, 

titoloEvento: 2nd Workshop on Verification of Objects at RunTime EXecution, VORTEX 2018

Anno: 2019

Autori: Audrito, G; Bergamini, S; Damiani, F; Viroli, M

Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems

Published in: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 

titoloEvento: 18th International Conference on Autonomous Agents and MultiAgent Systems

Anno: 2019

Autori: ter Beek M.H.; Damiani F.; Gnesi S.; Mazzanti F.; Paolini L.

Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 15th International Conference on Integrated Formal Methods, IFM 2019

Anno: 2019

Autori: Lienhardt M.; Damiani F.; Testa L.; Turin G.

Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 15th International Conference on Integrated Formal Methods, IFM 2019

Anno: 2019

Autori: Fabio, Tordini; Marco, Aldinucci; Paolo, Viviani; Ivan, Merelli; Pietro, Liò

Scientific workflows on clouds with heterogeneous and preemptible instances

Published in: Proc. of the Intl. Conference on Parallel Computing, ParCo 2017, 12-15 September 2017, Bologna, Italy, 

titoloEvento: International Conference on Parallel Computing (ParCo 2017)

Anno: 2018

Autori: Paolo, Viviani; Maurizio, Drocco; Marco, Aldinucci

Scaling Dense Linear Algebra on Multicore and Beyond: a Survey

Published in: Proc. of 26th Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP), 

titoloEvento: Euromicro Intl. Conference on Parallel Distributed and network-based Processing (PDP)

Anno: 2018

Autori: Claudia, Misale; Maurizio, Drocco; Guy, Tremblay; Marco, Aldinucci

PiCo: a Novel Approach to Stream Data Analytics

Published in: Proc. of Euro-Par Workshops: 1st Intl. Workshop on Autonomic Solutions for Parallel and Distributed Data Stream Processing (Auto-DaSP), 

titoloEvento: Euro-Par Workshops: 1st Intl. Workshop on Autonomic Solutions for Parallel and Distributed Data Stream Processing (Auto-DaSP)

Anno: 2018

Autori: Lienhardt, Michael; Damiani, Ferruccio; Donetti, Simone; Paolini, Luca

Multi software product lines in the wild

Published in: ACM International Conference Proceeding Series, 

titoloEvento: 12th International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2018

Anno: 2018

Autori: Ugo de'Liguoro; Luca Padovani

Mailbox Types for Unordered Interactions

Published in: 32nd European Conference on Object-Oriented Programming, 

titoloEvento: 32nd European Conference on Object-Oriented Programming (ECOOP'18)

Anno: 2018

Autori: Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko

Aggregate graph statistics

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: 1st Workshop on Architectures, Languages and Paradigms for IoT, ALP4IoT 2017

Anno: 2018

Autori: Audrito, Giorgio; Beal, Jacob; Damiani, Ferruccio; Viroli, Mirko

Space-time universality of field calculus

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 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

Anno: 2018

Autori: Viroli, Mirko*; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo

From field-based coordination to aggregate computing

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 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

Anno: 2018

Autori: Røst, Thomas Brox*; Seidl, Christoph; Yu, Ingrid Chieh; Damiani, Ferruccio; Johnsen, Einar Broch; Chesta, Cristina

HyVar: Scalable Hybrid Variability for Distributed Evolving Software Systems

Published in: Communications in Computer and Information Science, 

titoloEvento: 6th European Conference on Service-Oriented and Cloud Computing, ESOCC 2017

Anno: 2018

Autori: Barbanera, Franco; de'Liguoro, Ugo; Hennicker, Rolf

Global Types for Open Systems

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: Interaction and Concurrency Experience - ICE 2018

Anno: 2018

Autori: Damiani F.; Hahnle R.; Kamburjan E.; Lienhardt M.

Interoperability of software product line variants

Published in: Proceedings of the 22nd International Systems and Software Product Line Conference, 

titoloEvento: 22nd International Systems and Software Product Line Conference

Anno: 2018

Autori: Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko; Bini, Enrico

Distributed Real-Time Shortest-Paths Computations with the Field Calculus

Published in: Proceedings - Real-Time Systems Symposium, 

titoloEvento: 39th IEEE Real-Time Systems Symposium, RTSS 2018

Anno: 2018

Autori: Damiani Ferruccio; Michael LIENHARDT; Luca Paolini

A Formal Model for Multi SPLs

Published in: Fundamentals of Software Engineering. FSEN 2017, 

titoloEvento: 7th International Conference on Fundamentals of Software Engineering, FSEN 2017

Anno: 2017

Autori: Viviani, Paolo; Aldinucci, Marco; Torquati, Massimo; d'Ippolito, Roberto

Multiple back-end support for the Armadillo linear algebra interface

Published in: In proc. of the 32nd ACM Symposium on Applied Computing (SAC), 

titoloEvento: The 32nd ACM Symposium on Applied Computing

Anno: 2017

Autori: Damiani, Ferruccio; Hähnle, Reiner; Kamburjan, Eduard; Lienhardt, Michael

A unified and formal programming model for deltas and traits

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 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

Anno: 2017

Autori: Padovani, Luca

Context-Free Session Type Inference

Published in: Programming Languages and Systems, 

titoloEvento: European Symposium on Programming

Anno: 2017

Autori: Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko

Optimally-Self-Healing Distributed Gradient Structures through Bounded Information Speed

Published in: Coordination Models and Languages, 

titoloEvento: 19th International Conference on Coordination Models and Languages

Anno: 2017

Autori: Barbanera, Franco; Lanese, Ivan; De’Liguoro, Ugo

Retractable and Speculative Contracts

Published in: Lecture Notes in Computer Science. Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017, 

titoloEvento: COORDINATION 2017

Anno: 2017

Autori: Marco, Aldinucci; Marco, Danelutto; Daniele, De Sensi; Gabriele, Mencagli; Massimo, Torquati

Towards Power-Aware Data Pipelining on Multicores

Published in: Proceedings of the 10th International Symposium on High-Level Parallel Programming and Applications, 

titoloEvento: Hi

Anno: 2017

Autori: Damiani, Ferruccio; Hähnle, Reiner; Lienhardt, Michael

Abstraction refinement for the analysis of software product lines

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017

Anno: 2017

Autori: Damiani, Ferruccio; Lienhardt, Michael; Muschevici, Radu; Schaefer, Ina

An extension of the ABS toolchain with a mechanism for type checking SPLs

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 13th International Conference on Integrated Formal Methods, IFM 2017

Anno: 2017

Autori: Muthuri, Robert; Boella, Guido; Hulstijn, Joris; Capecchi, Sara; Humphreys, LLIO BRYN

Compliance patterns: harnessing value modeling and legal interpretation to manage regulatory conversations

Published in: Proceedings of the 16th International Conference on Artificial Intelligence and Law, 

titoloEvento: 16th International Conference on Artificial Intelligence and Law

Anno: 2017

Autori: Audrito, Giorgio; Casadei, Roberto; Damiani, Ferruccio; Viroli, Mirko

Compositional Blocks for Optimal Self-Healing Gradients

Published in: Proceedings - 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017, 

titoloEvento: 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017

Anno: 2017

Autori: Aldinucci M.; Bagnasco S.; Lusso S.; Pasteris P.; Rabellino S.; Vallero S.

OCCAM: A flexible, multi-purpose and extendable HPC cluster

Published in: Journal of Physics: Conference Series, 

titoloEvento: 22nd International Conference on Computing in High Energy and Nuclear Physics, CHEP 2016

Anno: 2017

Autori: Barbanera, Franco; de’ Liguoro, Ugo

A Game Interpretation of Retractable Contracts

Published in: Coordination Models and Languages, 

titoloEvento: Coordination

Anno: 2016

Autori: Winkelmann, Tim; Koscielny, Jonathan; Seidl, Christoph; Schuster, Sven; Damiani, Ferruccio; Schaefer, Ina

Parametric DeltaJ 1.5: Propagating feature attributes into implementation artifacts

Published in: CEUR Workshop Proceedings, 

titoloEvento: Workshops of the Conference on Software Engineering, SE-WS 2016

Anno: 2016

Autori: Damiani, Ferruccio; Lienhardt, Michael

Refactoring Delta-Oriented Product Lines to achieve Monotonicity

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE’16)

Anno: 2016

Autori: Damiani, Ferruccio; Lienhardt, Michael

On Type Checking Delta-Oriented Product Lines

Published in: Integrated Formal Methods, 

titoloEvento: 12th International Conference, IFM 2016

Anno: 2016

Autori: Castellani, Ilaria; Dezani, Mariangiola; De'Liguoro, Ugo

Secure Multiparty Sessions with Topics

Published in: Proceedings PLACES 2016, 

titoloEvento: PLACES 2016

Anno: 2016

Autori: Paula Severi; Luca Padovani; Emilio Tuosto; Mariangiola Dezani-Ciancaglini

On sessions and infinite data

Published in: Coordination Models and Languages, 

titoloEvento: 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

Anno: 2016

Autori: Janjic, V.; Brown, C.; Mackenzie, K.; Hammond, K.; Danelutto, M.; Aldinucci, M.; Garcia, J. Daniel

RPL: A Domain-Specific Language for Designing and Implementing Parallel C++ Applications

Published in: Proceedings - 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016, 

titoloEvento: 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016

Anno: 2016

Autori: Drocco, Maurizio; Misale, Claudia; Aldinucci, Marco

A Cluster-as-Accelerator Approach for SPMD-Free Data Parallelism

Published in: Proceedings - 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016, 

titoloEvento: 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016

Anno: 2016

Autori: Damiani, Ferruccio; Seidl, Christoph; Yu, Ingrid Chieh

Introduction to the track on variability modeling for scalable software evolution

Published in: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 

titoloEvento: 7th International Symposium, ISoLA 2016

Anno: 2016

Autori: Damiani, Ferruccio; Lienhardt, Michael

Refactoring delta-oriented product lines to enforce guidelines for efficient type-checking

Published in: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 

titoloEvento: 7th International Symposium, ISoLA 2016

Anno: 2016

Autori: Chesta, Cristina; Damiani, Ferruccio; Dobriakova, Liudmila; Guernieri, Marco; Martini, Simone; Nieke, Michael; Rodrigues, Vítor; Schuster, Sven

A toolchain for delta-oriented modeling of software product lines

Published in: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 

titoloEvento: 7th International Symposium, ISoLA 2016

Anno: 2016

Autori: Dougherty, Daniel J.; De’Liguoro, Ugo; Liquori, Luigi; Stolze, Claude

A realizability interpretation for intersection and union types

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 

titoloEvento: 14th Asian Symposium on Programming Languages and Systems, APLAS 2016

Anno: 2016

Autori: Beal, Jacob; Viroli, Mirko; Pianini, Danilo; Damiani, Ferruccio

Self-Adaptation to Device Distribution Changes

Published in: Proceedings - IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2016, 

titoloEvento: 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2016

Anno: 2016

Autori: Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko; Casadei, Roberto

Run-Time management of computation domains in field calculus

Published in: Proceedings - IEEE 1st International Workshops on Foundations and Applications of Self-Systems, FAS-W 2016, 

titoloEvento: 1st International Workshops on Foundations and Applications of Self-Systems, FAS-W 2016

Anno: 2016

Autori: Bettini, Lorenzo; Capecchi, Sara

VDML4RS: a tool for reputation systems modeling and design

Published in: SSE 2016 Proceedings of the 8th International Workshop on Social Software Engineering, 

titoloEvento: 8th International Workshop on Social Software Engineering

Anno: 2016

Autori: Drocco, Maurizio; Misale, Claudia; Peretti Pezzi, Guilherme; Tordini, Fabio; Aldinucci, Marco

Memory-Optimised Parallel Processing of Hi-C Data

Published in: PDP 2015 - 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing, 

titoloEvento: PDP 2015: Parallel Distributed and network-based Processing

Anno: 2015

Autori: Tordini, Fabio; Drocco, Maurizio; Misale, Claudia; Milanesi, Luciano; Liò, Pietro; Merelli, Ivan; Aldinucci, Marco

Parallel Exploration of the Nuclear Chromosome Conformation with NuChart-II

Published in: Proceedings of the International Euromicro PDP 2015: Parallel Distributed and network-based Processing, 2015, 

titoloEvento: International Euromicro PDP 2015: Parallel Distributed and network-based Processing

Anno: 2015

Autori: Tordini, Fabio; Drocco, Maurizio; Merelli, Ivan; Milanes, Luciano; Liò, Pietro; Aldinucci, Marco.

NuChart-II: a graph-based approach for the analysis and interpretation of Hi-C data

Published in: LNCS post conference proceedings of the Eleventh International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics CIBB 2014, 

titoloEvento: CIBB 2014

Anno: 2015

Autori: Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena

On Isomorphism of "Functional" Intersection and Union Types.

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: 7-th workshop on intersection types and related systems

Anno: 2015

Autori: ter Beek, Maurice H.; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca

From Featured Transition Systems to Modal Transition Systems with Variability Constraints

Published in: Software Engineering and Formal Methods, 

titoloEvento: 13th International Conference on Software Engineering and Formal Methods, SEFM 2015

Anno: 2015

Autori: Marco Aldinucci; Andrea Bracciali; Tobias Marschall; Murray Patterson; Nadia Pisanti; Massimo Torquati

High-Performance Haplotype Assembly

Published in: LNBI post conference proceedings of the Eleventh International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics CIBB 2014, 

titoloEvento: Intl. meeting on Computational Intelligence methods for Bioinformatics and Biostatistics (CIBB 2014)

Anno: 2015

Autori: Marco Aldinucci; Marco Danelutto; Maurizio Drocco; Peter Kilpatrick; Guilherme Peretti Pezzi; Massimo Torquati

The Loop-of-Stencil-Reduce paradigm

Published in: Proc. of Intl. Workshop on Reengineering for Parallelism in Heterogeneous Parallel Platforms (RePara), 

titoloEvento: International Workshop on Reengineering for Parallelism in Heterogeneous Parallel Platforms (RePara)

Anno: 2015

Autori: Marcin Benke; Viviana Bono; Aleksy Schubert

Lucretia - intersection type polymorphism for scripting languages

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: Seventh Workshop on Intersection Types and Related Systems, ITRS 2014

Anno: 2015

Autori: Bessai, Jan; Dudenhefner, Andrej; D\"udder, Boris; Chen, Tzu-Chun; de'Liguoro Ugo; Rehof, Jakob

Mixin Composition Synthesis Based on Intersection Types

Published in: 13th International Conference on Typed Lambda Calculi and Applications,TLCA 2015, July 1-3, 2015, Warsaw, Poland, 

titoloEvento: TLCA 2015

Anno: 2015

Autori: Barbanera Franco; Steffen van Bakel; De'Liguoro, Ugo

Orchestrated Session Compliance

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: Interaction and Concurrency Experience, ICE 2015

Anno: 2015

Autori: Jan Bessai; Boris D\"udder; Andrej Dudenhefner; Chen Tzu-Chun; De'Liguoro, Ugo

Typing Classes and Mixins with Intersection Types

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: Intersection Types and Related Systems

Anno: 2015

Autori: Padovani, Luca; Chen, Tzu-Chun; Tosatto, Andrea

Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi

Published in: Proceedings of the International Conference on Coordination Models and Languages (COORDINATION'15), 

titoloEvento: International Conference on Coordination Models and Languages

Anno: 2015

Autori: Padovani, Luca; Novara, Luca

Types for Deadlock-Free Higher-Order Programs

Published in: Proceedings of the IFIP International Conference on Formal Methods and Techniques (FORTE'15), 

titoloEvento: IFIP International Conference on Formal Methods and Techniques

Anno: 2015

Autori: Crafa, Silvia; Padovani, Luca

The Chemical Approach to Typestate-Oriented Programming

Published in: Proceedings of the ACM International Conference on ObjectOriented Programming Systems Languages & Applications (OOPSLA'15), 

titoloEvento: ACM International Conference on Object Oriented Programming Systems Languages & Applications

Anno: 2015

Autori: Damiani, Ferruccio; Viroli, Mirko; Pianini, Danilo; Beal, Jacob

Code mobility meets self-organisation: A higher-order calculus of computational fields

Published in: Formal Techniques for Distributed Objects, Components, and Systems., 

titoloEvento: 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

Anno: 2015

Autori: Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Pianini, Danilo

Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields

Published in: International Conference on Self-Adaptive and Self-Organizing Systems, SASO, 

titoloEvento: 9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2015

Anno: 2015

Autori: Capecchi, Sara; Giraudo, Mauro; Negro, Claudia; Pisano, Paola

Schooladvise: Designing a Reputation System for Educational Services through Service Design and Business Modeling

Published in: Proceedings - 12th IEEE International Conference on E-Business Engineering, ICEBE 2015, 

titoloEvento: 12th IEEE International Conference on E-Business Engineering, ICEBE 2015

Anno: 2015

Autori: Coppo, Mario; Dezani, Mariangiola; Margaria, Ines; Zacchi, Maddalena

Partial and Complete Processes in Multiparty Sessions

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: Italian Conference on Theoretical Computer Science (ICTCS)

Anno: 2015

Autori: M. Coppo;M. Dezani-Ciancaglini;B. Venneri

Self-Adaptive Monitors for Multiparty Sessions

Published in: PDP'14, 

titoloEvento: PDP 2014

Anno: 2014

Autori: M. Coppo;M. Dezani;I. Margaria;M. Zacchi

Isomorphism of "Functional" Intersection Types

Published in: 19th International Conference on Types for Proofs and Programs (TYPES 2013), 

titoloEvento: TYPES 213

Anno: 2014

Autori: F. Barbanera; M. Dezani; U. de'Liguoro

Compliance for reversible client/server interactions

Published in: Proceedings Third Workshop on Behavioural Types, 

titoloEvento: Third Workshop on Behavioural Types

Anno: 2014

Autori: F. Barbanera; U. de'Liguoro

Loosening the notions of compliance and sub-behaviour in client/server systems

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: Interaction and Concurrency Experience

Anno: 2014

Autori: M. Dezani;S. Ghilezan

Preciseness of Subtyping on Intersection and Union Types

Published in: RTATLCA'14, 

titoloEvento: RTA/TLCA'14

Anno: 2014

Autori: I. Castellani;M. Dezani;J. A. Perez

Self-Adaptation and Secure Information Flow in Multiparty Structured Communications

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: BEAT'14

Anno: 2014

Autori: T. Chen;M. Dezani;N. Yoshida

On the Preciseness of Subtyping in Session Types

Published in: PPDP'14, 

titoloEvento: PPDP'14

Anno: 2014

Autori: M. Dezani;L. Padovani;J. Pantovic

Session Type Isomorphisms

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: PLACES'14

Anno: 2014

Autori: Ferruccio Damiani;Ina Schaefer;Sven Schuster;Tim Winkelmann

Delta-Trait Programming of Software Product Lines

Published in: Lecture Notes in Computer ScienceLeveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 

titoloEvento: 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014

Anno: 2014

Autori: Mirko Viroli;Ferruccio Damiani

A Calculus of Self-stabilising Computational Fields

Published in: Lecture Notes in Computer Science, Coordination Models and Languages, 

titoloEvento: COORDINATION - 16th International Conference on Coordination Models and Languages

Anno: 2014

Autori: Ferruccio Damiani;Ina Schaefer;Tim Winkelmann

Delta-oriented multi software product lines

Published in: Proceedings of the 18th International Software Product Line Conference on - SPLC '14, 

titoloEvento: 18th International Software Product Line Conference, SPLC 2014

Anno: 2014

Autori: Bono, Viviana; Mensa, Enrico; Naddeo, Marco;

Trait-oriented programming in Java 8

Published in: 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, 

titoloEvento: 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages and Tools (PPPJ'14)

Anno: 2014

Autori: Jonathan Koscielny;Sönke Holthusen;Ina Schaefer;Sandro Schulze;Lorenzo Bettini;Ferruccio Damiani

DeltaJ 1.5: delta-oriented programming for Java 1.5

Published in: Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform Virtual machines, Languages, and Tools - PPPJ '14, 

titoloEvento: 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools (PPPJ 2014)

Anno: 2014

Autori: Lorenzo Bettini;Ferruccio Damiani

Generic traits for the Java platform

Published in: Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform Virtual machines, Languages, and Tools - PPPJ '14, 

titoloEvento: International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools (PPPJ'14)

Anno: 2014

Autori: Giuseppe Castagna; Kim Nguyễn; Zhiwu Xu; Hyeonseung Im; Sergueï Lenglet; Luca Padovani

Polymorphic Functions with Set-Theoretic Types - Part 1: Syntax, Semantics, and Evaluation

Published in: ACM SIGPLAN NOTICES, 

titoloEvento: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Anno: 2014

Autori: Luca Padovani

Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types

Published in: Proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'14), 

titoloEvento: 17th International Conference on Foundations of Software Science and Computation Structures

Anno: 2014

Autori: Luca Padovani; Vasco Thudichum Vasconcelos; Hugo Torres Vieira

Typing Liveness in Multiparty Communicating Systems

Published in: Proceedings of the 16th International Conference on Coordination Models and Languages (COORDINATION'14), 

titoloEvento: 16th International Conference on Coordination Models and Languages

Anno: 2014

Autori: Luca Padovani

Deadlock and Lock Freedom in the Linear π-Calculus

Published in: 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), 

titoloEvento: Joint 23rd EACSL Annual Conference on Computer Science Logic and 29th Annual ACM/IEEE Symposium on Logic In Computer Science

Anno: 2014

Autori: Marco Aldinucci; Maurizio Drocco; Guilherme Peretti Pezzi; Claudia Misale; Fabio Tordini; Massimo Torquati

Exercising High-Level Parallel Programming on Streams: A Systems Biology Use Case

Published in: Proceedings of 34th International Conference on Distributed Computing Systems Workshops, 

titoloEvento: 34th International Conference on Distributed Computing Systems Workshops, ICDCSW 2014

Anno: 2014

Autori: M. Aldinucci; G. Peretti Pezzi; M. Drocco; F. Tordini; P. Kilpatrick; M. Torquati

Parallel video denoising on heterogeneous platforms

Published in: Proc. of Intl. Workshop on High-level Programming for Heterogeneous and Hierarchical Parallel Systems (HLPGPU), 

titoloEvento: International Workshop on High-level Programming for Heterogeneous and Hierarchical Parallel Systems

Anno: 2014

Autori: Michael G. Epitropakis; Andrea Bracciali; Marco Aldinucci; Emily Potts; Edmund K. Burke

Predictive scheduling for optimal cloud configuration

Published in: Proceedings of the 10th International Conference on the Practice and Theory of Automated Timetabling, 

titoloEvento: International Conference on the Practice and Theory of Automated Timetabling

Anno: 2014

Autori: Marco Aldinucci; Sonia Campa; Marco Danelutto; Peter Kilpatrick; Massimo Torquati

Pool evolution: a domain specific parallel pattern

Published in: Proc.of the 7th Intl. Symposium on High-level Parallel Programming and Applications (HLPP), 

titoloEvento: Symposium on High-level Parallel Programming and Applications (HLPP)

Anno: 2014

Autori: Marco Aldinucci; Massimo Torquati; Maurizio Drocco; Guilherme; Peretti Pezzi; Concetto Spampinato

FastFlow: Combining Pattern-Level Abstraction and Efficiency in GPGPUs

Published in: GPU Technology Conference (GTC 2014): GTC On-Demand Featured Talks, 

titoloEvento: GPU Technology Conference (GTC 2014)

Anno: 2014

Autori: Marco Aldinucci; Massimo Torquati; Maurizio Drocco; Guilherme Peretti Pezzi; Concetto Spampinato

An Overview of FastFlow: Combining Pattern-Level Abstraction and Efficiency in GPGPUs

Published in: GPU Technology Conference (GTC 2014): GTC On-Demand Featured Talks, 

titoloEvento: GPU Technology Conference (GTC 2014)

Anno: 2014

Autori: S. Capecchi; P.Pisano

Reputation by Design: Using VDML and Service ML for Reputation Systems Modeling

Published in: PROCEEDINGS of The Eleventh IEEE International Conference on E-Business Engineering ICEBE 2014, 

titoloEvento: ICEBE 2014

Anno: 2014

Polymorphic functions with set-theoretic types part 1: Syntax, semantics, and evaluation

Published in: ACM SIGPLAN NOTICES, 

titoloEvento: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Anno: 2014

Autori: Mario Coppo; Mariangiola Dezani; Ines Margaria; Maddalena Zacchi

Toward Isomorphism of Intersection and Union Types

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: Sixth Workshop on Intersection Types and Related Systems

Anno: 2013

Autori: Luca Padovani

Fair Subtyping for Open Session Types

Published in: Proceedings of the 40th International Colloquium on Automata, Languages and Programming, Part II, 

titoloEvento: 40th International Colloquium on Automata, Languages and Programming

Anno: 2013

Autori: Cosimo Laneve; Luca Padovani

An Algebraic Theory for Web Service Contracts

Published in: Proceedings of the 10th International Conference on integrated Formal Methods, 

titoloEvento: 10th International Conference on integrated Formal Methods

Anno: 2013

Autori: Viviana Bono; Luca Padovani; Andrea Tosatto

Polymorphic Types for Leak Detection in a Session-Oriented Functional Language

Published in: Proceedings of the 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems, 

titoloEvento: 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (FORTE'13)

Anno: 2013

Autori: Mario Coppo; Mariangiola Dezani; Luca Padovani; Nobuko Yoshida

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions

Published in: Proceedings of the 15th International Conference on Coordination Models and Languages, 

titoloEvento: 15th International Conference on Coordination Models and Languages

Anno: 2013

Autori: Stefano Berardi; Ugo de'Liguoro

Non-monotonic Pre-fixed Points and Learning

Published in: EPTCS 126 - Fixed Points in Computer Science, 

titoloEvento: Fixed Points in Computer Science (FICS'13)

Anno: 2013

Autori: Steffen van Bakel; FrancoBarbanera; Ugo de'Liguoro

Characterisation of Strongly Normalising lambda-mu-Terms

Published in: EPTCS 121 - Intersection Types and Related Systems, 

titoloEvento: ITRS'13 - Intersection Types and Related Systems

Anno: 2013

Autori: Eva Sciacca;Salvatore Spinella;Cristina Calcagno;Ferruccio Damiani;Mario Coppo

Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations

Published in: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: Third International Workshop on Interactions Between Computer Science and Biology (CS2Bio'12)

Anno: 2013

Autori: Ferruccio Damiani

Three cases of composition and a question

Published in: pide and Conquer: the Quest for Compositional Design and Analysis, 

titoloEvento: pide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511)

Anno: 2013

Autori: Marco Aldinucci; Maurizio Drocco; Fabio Tordini; Mario Coppo; Massimo Torquati

Parallel Stochastic Simulators in System Biology: The Evolution of the Species

Published in: 2013 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 

titoloEvento: 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2013

Anno: 2013

Autori: Marco Aldinucci; Sonia Campa; Marco Danelutto; Peter Kilpatrick; Massimo Torquati

Targeting Distributed Systems in FastFlow

Published in: Lecture Notes in Computer ScienceEuro-Par 2012: Parallel Processing Workshops, 

titoloEvento: Euro-Par 2012 Workshops, CoreGrid Workshop on Grids, Clouds and P2P Computing

Anno: 2013

Autori: Lorenzo Bettini;Ferruccio Damiani

Pure trait-based programming on the Java platform

Published in: Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13, 

titoloEvento: International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13

Anno: 2013

Autori: Ferruccio Damiani;Christoph Gladisch;Shmuel Tyszberowicz

Refinement-based testing of delta-oriented product lines

Published in: Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13, 

titoloEvento: 2013 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13

Anno: 2013

Autori: Luca Padovani

From Lock Freedom to Progress Using Session Types

Published in: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

titoloEvento: Programming Language Approaches to Concurrency and Communication-cEntric Software

Anno: 2013

Autori: C. Misale; M. Aldinucci; and M. Torquati

Memory affinity in multi-threading: the Bowtie2 case study

Published in: Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES) — Poster Abstracts, 

titoloEvento: HiPEAC IX ACACES Summer School

Anno: 2013

Autori: Mirko Viroli; Ferruccio Damiani; Jacob Beal

A Calculus of Computational Fields

Published in: Communications in Computer and Information ScienceAdvances in Service-Oriented and Cloud Computing, 

titoloEvento: FOCLASA 2013 12th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems

Anno: 2013

Autori: Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina

A formal foundation for dynamic delta-oriented software product lines

Published in: ACM SIGPLAN NOTICES, 

titoloEvento: 11th International Conference on Generative Programming and Component Engineering (GPCE'12)

Anno: 2013

Abstract in Atti di convegno

Autori: Viviani, Paolo; Aldinucci, Marco; d'Ippolito Roberto; Lemeire, Jan; Vucinic, Dean

A flexible numerical framework for engineering - a Response Surface Modelling application

Published in: 10th Intl. Conference on Advanced Computational Engineering and Experimenting (ACE-X) -- Abstract Book, 

titoloEvento: 10th Intl. Conference on Advanced Computational Engineering and Experimenting (ACE-X)

Anno: 2016

 

Autori: Livio Bioglio, Sara Capecchi, Federico Peiretti, Dennis Sayed, Antonella Torasso, Ruggero G. Pensa

Social4School: a Serious Game for Educating Children on Privacy Awareness in Online Social Networks

Published in: 2018 International School and Conference on Network Science (NetSci 2018), 

titoloEvento: 2018 International School and Conference on Network Science (NetSci 2018)

Anno: 2018

Autori: Viviani, Paolo; Aldinucci, Marco; d'Ippolito, Roberto

An hybrid linear algebra framework for engineering

Published in: Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES) -- Poster Abstracts, 

titoloEvento: Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES)

Anno: 2016

Autori: Claudia Misale; Marco Aldinucci; Massimo Torquati

Memory affinity in multi-threading: the Bowtie2 case study

Published in: Poster at Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES), 

titoloEvento: Poster at Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES)

Anno: 2013