Obiettivo APIs are typically flat structures, i.e. sets of service/method signatures specifying the expected service parameters and the kind of results one should expect in return. However, correct API usage also requires the individual services to be invoked in a specific order. Despite its importance, the latter information is either often omitted, or stated informally via textual descriptions. Behavioural Types are a suite of technologies that formalise of this information, elevating flat API descriptions to a graph structure of services. This permits automated analyses for correct API compositions so as to provide guarantees such as service compliance, deadlock freedom, dynamic adaptation in the presence of failure, load balancing etc. The proposed project aims to bring the existing prototype tools based on these technologies to mainstream programming languages and development frameworks used in industry. Campo scientifico natural sciencescomputer and information sciencessoftware Parole chiave Component-Based Software Static Analysis Dynamic Analysis Type Systems Programma(i) H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions Main Programme H2020-EU.1.3.3. - Stimulating innovation by means of cross-fertilisation of knowledge Argomento(i) MSCA-RISE-2017 - Research and Innovation Staff Exchange Invito a presentare proposte H2020-MSCA-RISE-2017 Vedi altri progetti per questo bando Meccanismo di finanziamento MSCA-RISE - Marie Skłodowska-Curie Research and Innovation Staff Exchange (RISE) Coordinatore UNIVERSITA TA MALTA Contribution nette de l'UE € 110 250,00 Indirizzo TAL OROQQ 2080 MSIDA Malta Mostra sulla mappa Regione Malta Malta Malta Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 128 250,00 Partecipanti (21) Classifica in ordine alfabetico Classifica per Contributo netto dell'UE Espandi tutto Riduci tutto UNIVERSITY OF LEICESTER Regno Unito Contribution nette de l'UE € 58 500,00 Indirizzo UNIVERSITY ROAD LE1 7RH Leicester Mostra sulla mappa Regione East Midlands (England) Leicestershire, Rutland and Northamptonshire Leicester Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 85 500,00 NOVA ID FCT - ASSOCIACAO PARA A INOVACAO E DESENVOLVIMENTO DA FCT Portogallo Contribution nette de l'UE € 130 500,00 Indirizzo CAMPUS DE CAPARICA FACULDADE DE CIENCIAS E TECNOLOGIA DA UNIVERSIDADE NOVA DE LISBOA 2829 516 Caparica Mostra sulla mappa Regione Continente Área Metropolitana de Lisboa Área Metropolitana de Lisboa Tipo di attività Research Organisations Collegamenti Contatta l’organizzazione Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 130 500,00 UNIVERSITY OF KENT Regno Unito Contribution nette de l'UE € 49 500,00 Indirizzo THE REGISTRY CANTERBURY CT2 7NZ Canterbury, Kent Mostra sulla mappa Regione South East (England) Kent East Kent Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 49 500,00 AALBORG UNIVERSITET Danimarca Contribution nette de l'UE € 22 500,00 Indirizzo FREDRIK BAJERS VEJ 7K 9220 Aalborg Mostra sulla mappa Regione Danmark Nordjylland Nordjylland Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 22 500,00 UNIVERSITY OF GLASGOW Regno Unito Contribution nette de l'UE € 31 500,00 Indirizzo UNIVERSITY AVENUE G12 8QQ Glasgow Mostra sulla mappa Regione Scotland West Central Scotland Glasgow City Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 40 500,00 IT-UNIVERSITETET I KOBENHAVN Danimarca Contribution nette de l'UE € 45 000,00 Indirizzo RUED LANGGAARDSVEJ 7 2300 Kobenhavn Mostra sulla mappa Regione Danmark Hovedstaden Byen København Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 81 000,00 ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA Italia Contribution nette de l'UE € 56 250,00 Indirizzo VIA ZAMBONI 33 40126 Bologna Mostra sulla mappa Regione Nord-Est Emilia-Romagna Bologna Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 56 250,00 UNIVERSITA DEGLI STUDI DI TORINO Italia Contribution nette de l'UE € 18 000,00 Indirizzo VIA GIUSEPPE VERDI 8 10124 Torino Mostra sulla mappa Regione Nord-Ovest Piemonte Torino Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 31 500,00 ACTYX AG Germania Contribution nette de l'UE € 18 000,00 Indirizzo MAX BILL STRASSE 38 80807 MUNCHEN Mostra sulla mappa PMI L’organizzazione si è definita una PMI (piccola e media impresa) al momento della firma dell’accordo di sovvenzione. Sì Regione Bayern Oberbayern München, Kreisfreie Stadt Tipo di attività Private for-profit entities (excluding Higher or Secondary Education Establishments) Collegamenti Contatta l’organizzazione Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 27 000,00 BITLAND SRL Partecipazione conclusa Italia Contribution nette de l'UE € 0,00 Indirizzo VIA CADUTI DI AMOLA 31 40132 Bologna Mostra sulla mappa PMI L’organizzazione si è definita una PMI (piccola e media impresa) al momento della firma dell’accordo di sovvenzione. Sì Regione Nord-Est Emilia-Romagna Bologna Collegamenti Contatta l’organizzazione Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale Nessun dato IXARIS SYSTEMS (MALTA) LIMITED Malta Contribution nette de l'UE € 0,00 Indirizzo THE PENTHOUSE SUITE 1, ENTRANCE C, CAPITAL BUSINES TRIQ TAZ-ZWEJT SGN 3000 San Gwann Mostra sulla mappa Regione Malta Malta Malta Collegamenti Contatta l’organizzazione Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale Nessun dato GREEN BY WEB LDA Portogallo Contribution nette de l'UE € 13 500,00 Indirizzo LUGAR DE ASPRA SABADIM, CAIXA POSTAL 195 S/N 4970 371 Arcos De Valdevez Mostra sulla mappa PMI L’organizzazione si è definita una PMI (piccola e media impresa) al momento della firma dell’accordo di sovvenzione. Sì Regione Continente Norte Alto Minho Collegamenti Contatta l’organizzazione Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 13 500,00 COMUNE DI TORINO Partecipazione conclusa Italia Contribution nette de l'UE € 0,00 Indirizzo PIAZZA PALAZZO DI CITTA 1 10122 Torino Mostra sulla mappa Regione Nord-Ovest Piemonte Torino Tipo di attività Public bodies (excluding Research Organisations and Secondary or Higher Education Establishments) Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale Nessun dato XIBIS LIMITED Regno Unito Contribution nette de l'UE € 9 000,00 Indirizzo 2 METHUEN PARK SN14 0GB Chippenham Mostra sulla mappa Regione South West (England) Gloucestershire, Wiltshire and Bristol/Bath area Wiltshire CC Collegamenti Contatta l’organizzazione Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 9 000,00 EXFORMATICS AS Partecipazione conclusa Danimarca Contribution nette de l'UE € 0,00 Indirizzo DAG HAMMARSKJOLDS ALLE 13 2100 Kobenhavn Mostra sulla mappa Regione Danmark Hovedstaden Byen København Collegamenti Contatta l’organizzazione Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale Nessun dato MAIDSAFE.NET LIMITED Partecipazione conclusa Regno Unito Contribution nette de l'UE € 0,00 Indirizzo 72 TEMPLEHILL KA10 6BE Troon, Ayrshire Mostra sulla mappa PMI L’organizzazione si è definita una PMI (piccola e media impresa) al momento della firma dell’accordo di sovvenzione. Sì Regione Scotland Southern Scotland South Ayrshire Collegamenti Contatta l’organizzazione Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale Nessun dato DCR SOLUTIONS Danimarca Contribution nette de l'UE € 0,00 Indirizzo SNEKKERSTEN STATIONSVEJ 16 3070 Snekkersten Mostra sulla mappa PMI L’organizzazione si è definita una PMI (piccola e media impresa) al momento della firma dell’accordo di sovvenzione. Sì Regione Danmark Hovedstaden Nordsjælland Collegamenti Contatta l’organizzazione Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale Nessun dato ITALIANASOFTWARE SRL Italia Contribution nette de l'UE € 0,00 Indirizzo VIA SELICE 66A 40026 Imola Mostra sulla mappa PMI L’organizzazione si è definita una PMI (piccola e media impresa) al momento della firma dell’accordo di sovvenzione. Sì Regione Nord-Est Emilia-Romagna Bologna Collegamenti Contatta l’organizzazione Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale Nessun dato GRAN SASSO SCIENCE INSTITUTE Italia Contribution nette de l'UE € 67 500,00 Indirizzo VIA FRANCESCO CRISPI 7 67100 L'Aquila Mostra sulla mappa Regione Sud Abruzzo L’Aquila Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 67 500,00 CAIXA MAGICA SOFTWARE SA Portogallo Contribution nette de l'UE € 0,00 Indirizzo RUA SOEIRO PEREIRA GOMES LOTE 1 4 B EDIFICIO ESPANHA 1600 196 Lisboa Mostra sulla mappa PMI L’organizzazione si è definita una PMI (piccola e media impresa) al momento della firma dell’accordo di sovvenzione. Sì Regione Continente Área Metropolitana de Lisboa Área Metropolitana de Lisboa Tipo di attività Private for-profit entities (excluding Higher or Secondary Education Establishments) Collegamenti Contatta l’organizzazione Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale Nessun dato CODEBAKER SRLS Italia Contribution nette de l'UE € 0,00 Indirizzo VIA FRANCESCO DE SANCTIS, 7 F 40132 BOLOGNA Mostra sulla mappa Regione Nord-Est Emilia-Romagna Bologna Collegamenti Contatta l’organizzazione Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale Nessun dato Partner (4) Classifica in ordine alfabetico Classifica per Contributo netto dell'UE Espandi tutto Riduci tutto Partner Le organizzazioni partner contribuiscono all’attuazione dell’azione, ma non sottoscrivono l’accordo di sovvenzione. CARNEGIE MELLON UNIVERSITY Stati Uniti Contribution nette de l'UE € 0,00 Indirizzo FORBES AVENUE 5000 15213 Pittsburgh Mostra sulla mappa Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 63 000,00 Partner Le organizzazioni partner contribuiscono all’attuazione dell’azione, ma non sottoscrivono l’accordo di sovvenzione. UNIVERSIDAD DE BUENOS AIRES Argentina Contribution nette de l'UE € 0,00 Indirizzo CALLE VIAMONTE 430 1053 Buenos Aires Mostra sulla mappa Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 144 000,00 Partner Le organizzazioni partner contribuiscono all’attuazione dell’azione, ma non sottoscrivono l’accordo di sovvenzione. THE BOARD OF TRUSTEES OF THE UNIVERSITY OF ILLINOIS Stati Uniti Contribution nette de l'UE € 0,00 Indirizzo 506 S. WRIGHT STREET, 209 HAB, MC 339 61801 URBANA IL Mostra sulla mappa Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 49 500,00 Partner Le organizzazioni partner contribuiscono all’attuazione dell’azione, ma non sottoscrivono l’accordo di sovvenzione. MCAFEE ARGENTINA S.A. Argentina Contribution nette de l'UE € 0,00 Indirizzo ALEM LEANDRO N. AV. 518 PISO 2 Cordoba Mostra sulla mappa Collegamenti Contatta l’organizzazione Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 13 500,00