Vai al contenuto principale
Coronavirus: aggiornamenti per la comunità universitaria / Coronavirus: updates for UniTo Community

IMMAGINE
NON DISPONIBILE

Metodi Formali per lo Sviluppo del Software

Formal Methods for Software Development

Componenti

Attività

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, nonché di algoritmi di analisi statica e dinamica di programmi.

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;

Luca Padovani

+ 39 011 670 6777

luca.padovani@unito.it

Prodotti della ricerca

 Luca Padovani

Context-Free Session Type Inference

 ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,  2019

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

On the expressiveness of modal transition systems with variability constraints

 SCIENCE OF COMPUTER PROGRAMMING,  2019

 Damiani, Ferruccio; Lienhardt, Michael; Paolini, Luca

A formal model for Multi Software Product Lines

 SCIENCE OF COMPUTER PROGRAMMING,  2019

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

A higher-order calculus of computational fields

 ACM TRANSACTIONS ON COMPUTATIONAL LOGIC,  2019

 Rodrigues V.; Donetti S.; Damiani F.

Certifying delta-oriented programs

 SOFTWARE AND SYSTEMS MODELING,  2019

 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

 JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING,  2019

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

Connecting open systems of communicating finite state machines

 THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING,  2019

 Viviana Bono

The Magda Language: Ten Years After

 FUNDAMENTA INFORMATICAE,  2019

 Damiani F.; Lienhardt M.; Paolini L.

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

 INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER,  2019

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

From distributed coordination to field calculus and aggregate computing

 THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING,  2019

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

A core calculus for dynamic delta-oriented programming

 ACTA INFORMATICA,  2018

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

Harnessing sliding-window execution semantics for parallel stream processing

 JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING,  2018

 Luca Padovani

Deadlock-Free Typestate-Oriented Programming

 THE ART, SCIENCE, AND ENGINEERING OF PROGRAMMING,  2018

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

INTERSECTION TYPES FOR THE lambda mu-CALCULUS

 LOGICAL METHODS IN COMPUTER SCIENCE,  2018

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

MIXIN COMPOSITION SYNTHESIS BASED ON INTERSECTION TYPES

 LOGICAL METHODS IN COMPUTER SCIENCE,  2018

 Luca Padovani

A Type Checking Algorithm for Concurrent Object Protocols

 THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING,  2018

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

On checking delta-oriented product lines of statecharts

 SCIENCE OF COMPUTER PROGRAMMING,  2018

 Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko

Optimal single-path information propagation in gradient-based algorithms

 SCIENCE OF COMPUTER PROGRAMMING,  2018

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

Engineering resilient collective adaptive systems by self-stabilisation

 ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION,  2018

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

A theory of retractable and speculative contracts

 SCIENCE OF COMPUTER PROGRAMMING,  2018

 Franco Barbanera; Ugo de’Liguoro

Session types and subtyping for orchestrated interactions

 THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING,  2018

 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

 IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES,  2018

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

Java & Lambda: a Featherweight Story

 LOGICAL METHODS IN COMPUTER SCIENCE,  2018

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

Isomorphism of intersection and union types

 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2017

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

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

 MEDICAL IMAGE ANALYSIS,  2017

 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

 INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS,  2017

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

A novel model-based testing approach for software product lines

 SOFTWARE AND SYSTEMS MODELING,  2017

 Bettini, Lorenzo; Damiani, Ferruccio

Xtraitj: Traits for the Java platform

 THE JOURNAL OF SYSTEMS AND SOFTWARE,  2017

 de' Liguoro, Ugo

The approximation theorem for the Λμ-calculus

 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2017

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

A Comparison of Big Data Frameworks on a Layered Dataflow Model

 PARALLEL PROCESSING LETTERS,  2017

 Berardi, Stefano; de’ Liguoro, Ugo

Non-monotonic Pre-fix Points and Learning

 FUNDAMENTA INFORMATICAE,  2017

 Luca Padovani

A Simple Library Implementation of Binary Sessions

 JOURNAL OF FUNCTIONAL PROGRAMMING,  2017

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

Data-driven adaptation for smart sessions

 THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING,  2017

 Crafa, Silvia; Padovani, Luca

The Chemical Approach to Typestate-Oriented Programming

 ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,  2017

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

On Sessions and Infinite Data

 LOGICAL METHODS IN COMPUTER SCIENCE,  2017

 Hernán, Melgratti; Padovani, Luca

Chaperone Contracts for Higher-Order Sessions

 PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES,  2017

 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

 THE JOURNAL OF SUPERCOMPUTING,  2017

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

Self-adaptation to device distribution in the internet of things

 ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS,  2017

 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

 INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING,  2017

 Mario Coppo; Mariangiola Dezani; Nobuko Yoshida; Luca Padovani

Global Progress for Dynamically Interleaved Multiparty Sessions

 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2016

 Luca Padovani

Fair Subtyping for Multi-Party Session Types

 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2016

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

Pool Evolution: A Parallel Pattern for Evolutionary and Symbolic Computing

 INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING,  2016

 Damiani, Ferruccio; Viroli, Mirko; Beal, Jacob

A type-sound calculus of computational fields

 SCIENCE OF COMPUTER PROGRAMMING,  2016

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

A parallel pattern for iterative stencil + reduce

 THE JOURNAL OF SUPERCOMPUTING,  2016

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

Reversible client/server interactions

 FORMAL ASPECTS OF COMPUTING,  2016

 Capecchi, Sara; Giachino, Elena; Yoshida, Nobuko

Global escape in multiparty sessions

 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2016

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

PWHATSHAP: efficient haplotyping for future generation sequencing

 BMC BIOINFORMATICS,  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

Behavioral Types in Programming Languages

 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

Foundations of session types and behavioural contracts

 ACM COMPUTING SURVEYS,  2016

 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

 FRONTIERS IN GENETICS,  2016

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

Information flow safety in multiparty sessions

 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2016

 Lorenzo Bettini;Ferruccio Damiani;Ina Schaefer

Implementing type-safe software product lines using parametric traits

 SCIENCE OF COMPUTER PROGRAMMING,  2015

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

Integrating Multi-omic features exploiting Chromosome Conformation Capture data

 FRONTIERS IN GENETICS,  2015

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

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

 INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS,  2015

 Cosimo Laneve; Luca Padovani

An Algebraic Theory for Web Service Contracts

 FORMAL ASPECTS OF COMPUTING,  2015

 Ferruccio Damiani, Mirko Viroli

Type-based Self-stabilisation for Computational Fields

 LOGICAL METHODS IN COMPUTER SCIENCE,  2015

 Padovani, Luca

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

 LOGICAL METHODS IN COMPUTER SCIENCE,  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

Combining behavioural types with security analysis

 THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING,  2015

 Marco Aldinucci; Salvatore Ruggieri; Massimo Torquati

Decision tree building on multi-core using FastFlow

 CONCURRENCY AND COMPUTATION,  2014

 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

 CONCURRENCY AND COMPUTATION,  2014

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

Design patterns percolating to parallel programming framework implementation

 INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING,  2014

 Stefano Berardi; Ugo de'Liguoro

Knowledge Spaces and the Completeness of Learning Strategies

 LOGICAL METHODS IN COMPUTER SCIENCE,  2014

 Svetlana Jakšić; Luca Padovani

Exception Handling for Copyless Messaging

 SCIENCE OF COMPUTER PROGRAMMING,  2014

 Claudia Misale;Giulio Ferrero;Massimo Torquati;Marco Aldinucci

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

 BIOMED RESEARCH INTERNATIONAL,  2014

 S. Capecchi;I. Castellani;M. Dezani

Typing access control and secure information flow in sessions

 Information and Computation,  2014

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

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

 FORMAL ASPECTS OF COMPUTING,  2014

 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

 BIOMED RESEARCH INTERNATIONAL,  2014

 Mario Coppo;Mariangiola Dezani;Betti Venneri

Self-adaptive multiparty sessions

 SERVICE ORIENTED COMPUTING AND APPLICATIONS,  2014

 Barbanera, Franco; De'Liguoro, Ugo

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

 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2014

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

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

 SCIENCE OF COMPUTER PROGRAMMING,  2013

 Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer; Fabio Strocco

TraitRecordJ: A programming language with traits and records

 SCIENCE OF COMPUTER PROGRAMMING,  2013

 Bettini, Lorenzo; Capecchi, Sara; Damiani, Ferruccio

On Flexible Dynamic Trait Replacement for Java-like Languages

 SCIENCE OF COMPUTER PROGRAMMING,  2013

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

Parallel stochastic systems biology in the cloud

 BRIEFINGS IN BIOINFORMATICS,  2013

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

Deriving Session and Union Types for Objects

 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2013

 Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer

Compositional Type Checking of Delta-Oriented Software Product Lines

 ACTA INFORMATICA,  2013

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

Type Directed Semantics for the Calculus of Looping Sequences

 INTERNATIONAL JOURNAL OF SOFTWARE AND INFORMATICS,  2013

 

 marco aldinucci; luca padovani; massimo torquati

Euro-Par 2018: Parallel Processing

 2018

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

Guest editorial: preface

 INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS,  2017

 Cuomo, Salvatore; Aldinucci, Marco; Torquati, Massimo

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

 INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING,  2017

 Olivier, Danvy; Ugo, De'Liguoro

Proceedings of the Workshop on Continuations

 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,  2016

 Aldinucci, Marco; Torquati, Massimo

Message from ScalCom 2016 Program Chairs

 2016

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

Preface from general co-chairs

 2015

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

Formal Methods for Executable Software Models

 LECTURE NOTES IN COMPUTER SCIENCE,  2014

 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

 2014

 Aldinucci, Marco; Rabellino, Sergio

Preface from the organizing chairs

 2014

 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

 LECTURE NOTES IN COMPUTER SCIENCE,  2013

 Ugo de'Liguoro; Alexis Saurin

Control Operators and their Semantics

 2013

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

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

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

 Cosimo Laneve, Luca Padovani

Deadlock Analysis of Wait-Notify Coordination

 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

 Marco Aldinucci; Maurizio Drocco; Claudia Misale; Guy Tremblay

Languages for Big Data analysis

 Encyclopedia of Big Data Technologies,  2018

 Marco Aldinucci; Marco Danelutto; Peter Kilpatrick; Massimo Torquati

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

 Programming Multi-core and Many-core Computing Systems,  2017

 Padovani, Luca

Type-Based Analysis of Linear Communications

 Behavioural Types: from Theory to Tools,  2017

 Melgratti, Hernán; Padovani, Luca

An OCaml Implementation of Binary Sessions

 Behavioural Types: from Theory to Tools,  2017

 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

 Improved Performance of Materials: Design and Experimental Approaches,  2017

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

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

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

 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

 Transactions on Foundations for Mastering Change I,  2016

A gentle introduction to multiparty asynchronous session types

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

 Luca Padovani

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

 2013

 Marco Aldinucci; Sonia Campa; Peter Kilpatrick; Massimo Torquati

Structured Data Access Annotations for Massively Parallel Computations

 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

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

Intersection Types

 Lambda Calculus with Types,  2013

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

Part II, Recursive types

 Lambda Calculus with Types,  2013

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

An Abstract Annotation Model for Skeletons

 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

Managing Adaptivity in Parallel Systems

 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

The ParaPhrase Project: Parallel patterns for adaptive heterogeneous multicore systems

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

 Paolo Viviani, Maurizio Drocco, Daniele Baccega, Marco Aldinucci

Deep Learning at Scale

 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

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

Accelerating spectral graph analysis through wavefronts of linear algebra operations

 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

 Rosita Gerbo; Luca Padovani

Concurrent Typestate-Oriented Programming in Java

 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

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

 2019

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

On a Higher-Order Calculus of Computational Fields

 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.

The share operator for field-based coordination

 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.

Aggregate processes in field calculus

 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

Foundations of Session Types: 10 Years Later

 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

 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

 EPJ Web of Conferences Volume 214 (2019), 

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

 2019

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

Static analysis of featured transition systems

 ACM International Conference Proceeding Series, 

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

 2019

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

On distributed runtime verification by aggregate computing

 Electronic Proceedings in Theoretical Computer Science, EPTCS, 

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

 2019

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

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

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

 18th International Conference on Autonomous Agents and MultiAgent Systems

 2019

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

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

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

 15th International Conference on Integrated Formal Methods, IFM 2019

 2019

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

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

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

 15th International Conference on Integrated Formal Methods, IFM 2019

 2019

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

Scientific workflows on clouds with heterogeneous and preemptible instances

 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

Scaling Dense Linear Algebra on Multicore and Beyond: a Survey

 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

PiCo: a Novel Approach to Stream Data Analytics

 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

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

Multi software product lines in the wild

 ACM International Conference Proceeding Series, 

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

 2018

 Ugo de'Liguoro; Luca Padovani

Mailbox Types for Unordered Interactions

 32nd European Conference on Object-Oriented Programming, 

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

 2018

 Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko

Aggregate graph statistics

 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

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

 2018

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

Space-time universality of field calculus

 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

From field-based coordination to aggregate computing

 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

HyVar: Scalable Hybrid Variability for Distributed Evolving Software Systems

 Communications in Computer and Information Science, 

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

 2018

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

Global Types for Open Systems

 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

 Interaction and Concurrency Experience - ICE 2018

 2018

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

Interoperability of software product line variants

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

 22nd International Systems and Software Product Line Conference

 2018

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

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

 Proceedings - Real-Time Systems Symposium, 

 39th IEEE Real-Time Systems Symposium, RTSS 2018

 2018

 Damiani Ferruccio; Michael LIENHARDT; Luca Paolini

A Formal Model for Multi SPLs

 Fundamentals of Software Engineering. FSEN 2017, 

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

 2017

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

Multiple back-end support for the Armadillo linear algebra interface

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

 The 32nd ACM Symposium on Applied Computing

 2017

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

A unified and formal programming model for deltas and traits

 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

 Padovani, Luca

Context-Free Session Type Inference

 Programming Languages and Systems, 

 European Symposium on Programming

 2017

 Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko

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

 Coordination Models and Languages, 

 19th International Conference on Coordination Models and Languages

 2017

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

Retractable and Speculative Contracts

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

 COORDINATION 2017

 2017

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

Towards Power-Aware Data Pipelining on Multicores

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

 Hi

 2017

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

Abstraction refinement for the analysis of software product lines

 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

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

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

 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

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

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

 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

Compositional Blocks for Optimal Self-Healing Gradients

 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

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

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

 Journal of Physics: Conference Series, 

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

 2017

 Barbanera, Franco; de’ Liguoro, Ugo

A Game Interpretation of Retractable Contracts

 Coordination Models and Languages, 

 Coordination

 2016

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

Parametric DeltaJ 1.5: Propagating feature attributes into implementation artifacts

 CEUR Workshop Proceedings, 

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

 2016

 Damiani, Ferruccio; Lienhardt, Michael

Refactoring Delta-Oriented Product Lines to achieve Monotonicity

 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

On Type Checking Delta-Oriented Product Lines

 Integrated Formal Methods, 

 12th International Conference, IFM 2016

 2016

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

Secure Multiparty Sessions with Topics

 Proceedings PLACES 2016, 

 PLACES 2016

 2016

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

On sessions and infinite data

 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

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

 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

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

 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

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

Introduction to the track on variability modeling for scalable software evolution

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

 7th International Symposium, ISoLA 2016

 2016

 Damiani, Ferruccio; Lienhardt, Michael

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

 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

A toolchain for delta-oriented modeling of software product lines

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

 7th International Symposium, ISoLA 2016

 2016

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

A realizability interpretation for intersection and union types

 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

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

Self-Adaptation to Device Distribution Changes

 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

Run-Time management of computation domains in field calculus

 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

VDML4RS: a tool for reputation systems modeling and design

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

 8th International Workshop on Social Software Engineering

 2016

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

Memory-Optimised Parallel Processing of Hi-C Data

 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

Parallel Exploration of the Nuclear Chromosome Conformation with NuChart-II

 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

 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

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

 CIBB 2014

 2015

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

On Isomorphism of "Functional" Intersection and Union Types.

 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

From Featured Transition Systems to Modal Transition Systems with Variability Constraints

 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

High-Performance Haplotype Assembly

 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

The Loop-of-Stencil-Reduce paradigm

 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

Lucretia - intersection type polymorphism for scripting languages

 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

Mixin Composition Synthesis Based on Intersection Types

 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

Orchestrated Session Compliance

 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

Typing Classes and Mixins with Intersection Types

 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

 Intersection Types and Related Systems

 2015

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

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

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

 International Conference on Coordination Models and Languages

 2015

 Padovani, Luca; Novara, Luca

Types for Deadlock-Free Higher-Order Programs

 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

The Chemical Approach to Typestate-Oriented Programming

 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

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

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

 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

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

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

 International Conference on Self-Adaptive and Self-Organizing Systems, SASO, 

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

 2015

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

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

 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

Partial and Complete Processes in Multiparty Sessions

 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

 Italian Conference on Theoretical Computer Science (ICTCS)

 2015

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

Self-Adaptive Monitors for Multiparty Sessions

 PDP'14, 

 PDP 2014

 2014

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

Isomorphism of "Functional" Intersection Types

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

 TYPES 213

 2014

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

Compliance for reversible client/server interactions

 Proceedings Third Workshop on Behavioural Types, 

 Third Workshop on Behavioural Types

 2014

 F. Barbanera; U. de'Liguoro

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

 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

 Interaction and Concurrency Experience

 2014

 M. Dezani;S. Ghilezan

Preciseness of Subtyping on Intersection and Union Types

 RTATLCA'14, 

 RTA/TLCA'14

 2014

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

Self-Adaptation and Secure Information Flow in Multiparty Structured Communications

 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

 BEAT'14

 2014

 T. Chen;M. Dezani;N. Yoshida

On the Preciseness of Subtyping in Session Types

 PPDP'14, 

 PPDP'14

 2014

 M. Dezani;L. Padovani;J. Pantovic

Session Type Isomorphisms

 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

 PLACES'14

 2014

 Ferruccio Damiani;Ina Schaefer;Sven Schuster;Tim Winkelmann

Delta-Trait Programming of Software Product Lines

 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

A Calculus of Self-stabilising Computational Fields

 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

Delta-oriented multi software product lines

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

 18th International Software Product Line Conference, SPLC 2014

 2014

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

Trait-oriented programming in Java 8

 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

DeltaJ 1.5: delta-oriented programming for Java 1.5

 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

Generic traits for the Java platform

 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

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

 ACM SIGPLAN NOTICES, 

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

 2014

 Luca Padovani

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

 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

Typing Liveness in Multiparty Communicating Systems

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

 16th International Conference on Coordination Models and Languages

 2014

 Luca Padovani

Deadlock and Lock Freedom in the Linear π-Calculus

 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

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

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

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

 2014

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

Parallel video denoising on heterogeneous platforms

 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

Predictive scheduling for optimal cloud configuration

 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

Pool evolution: a domain specific parallel pattern

 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

FastFlow: Combining Pattern-Level Abstraction and Efficiency in GPGPUs

 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

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

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

 GPU Technology Conference (GTC 2014)

 2014

 S. Capecchi; P.Pisano

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

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

 ICEBE 2014

 2014

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

 ACM SIGPLAN NOTICES, 

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

 2014

 Mario Coppo; Mariangiola Dezani; Ines Margaria; Maddalena Zacchi

Toward Isomorphism of Intersection and Union Types

 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

 Sixth Workshop on Intersection Types and Related Systems

 2013

 Luca Padovani

Fair Subtyping for Open Session Types

 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

An Algebraic Theory for Web Service Contracts

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

 10th International Conference on integrated Formal Methods

 2013

 Viviana Bono; Luca Padovani; Andrea Tosatto

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

 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

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions

 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

Non-monotonic Pre-fixed Points and Learning

 EPTCS 126 - Fixed Points in Computer Science, 

 Fixed Points in Computer Science (FICS'13)

 2013

 Steffen van Bakel; FrancoBarbanera; Ugo de'Liguoro

Characterisation of Strongly Normalising lambda-mu-Terms

 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

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

 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 

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

 2013

 Ferruccio Damiani

Three cases of composition and a question

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

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

 2013

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

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

 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; Sonia Campa; Marco Danelutto; Peter Kilpatrick; Massimo Torquati

Targeting Distributed Systems in FastFlow

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

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

 2013

 Lorenzo Bettini;Ferruccio Damiani

Pure trait-based programming on the Java platform

 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

 Ferruccio Damiani;Christoph Gladisch;Shmuel Tyszberowicz

Refinement-based testing of delta-oriented product lines

 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

From Lock Freedom to Progress Using Session Types

 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 

 Programming Language Approaches to Concurrency and Communication-cEntric Software

 2013

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

Memory affinity in multi-threading: the Bowtie2 case study

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

 HiPEAC IX ACACES Summer School

 2013

 Mirko Viroli; Ferruccio Damiani; Jacob Beal

A Calculus of Computational Fields

 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

 Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina

A formal foundation for dynamic delta-oriented software product lines

 ACM SIGPLAN NOTICES, 

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

 2013

Abstract in Atti di convegno

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

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

 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

 

 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

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

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

 2018

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

An hybrid linear algebra framework for engineering

 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

 Claudia Misale; Marco Aldinucci; Massimo Torquati

Memory affinity in multi-threading: the Bowtie2 case study

 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

Ultimo aggiornamento: 21/10/2020 12:39
Location: https://informatica.unito.it/robots.html
Non cliccare qui!