Objectif 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. Champ scientifique natural sciencescomputer and information sciencessoftware Mots‑clés Component-Based Software Static Analysis Dynamic Analysis Type Systems Programme(s) 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 Thème(s) MSCA-RISE-2017 - Research and Innovation Staff Exchange Appel à propositions H2020-MSCA-RISE-2017 Voir d’autres projets de cet appel Régime de financement MSCA-RISE - Marie Skłodowska-Curie Research and Innovation Staff Exchange (RISE) Coordinateur UNIVERSITA TA MALTA Contribution nette de l'UE € 110 250,00 Adresse TAL OROQQ 2080 MSIDA Malte Voir sur la carte Région Malta Malta Malta Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 128 250,00 Participants (21) Trier par ordre alphabétique Trier par contribution nette de l'UE Tout développer Tout réduire UNIVERSITY OF LEICESTER Royaume-Uni Contribution nette de l'UE € 58 500,00 Adresse UNIVERSITY ROAD LE1 7RH Leicester Voir sur la carte Région East Midlands (England) Leicestershire, Rutland and Northamptonshire Leicester Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 85 500,00 NOVA ID FCT - ASSOCIACAO PARA A INOVACAO E DESENVOLVIMENTO DA FCT Portugal Contribution nette de l'UE € 130 500,00 Adresse CAMPUS DE CAPARICA FACULDADE DE CIENCIAS E TECNOLOGIA DA UNIVERSIDADE NOVA DE LISBOA 2829 516 Caparica Voir sur la carte Région Continente Área Metropolitana de Lisboa Área Metropolitana de Lisboa Type d’activité Research Organisations Liens Contacter l’organisation Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 130 500,00 UNIVERSITY OF KENT Royaume-Uni Contribution nette de l'UE € 49 500,00 Adresse THE REGISTRY CANTERBURY CT2 7NZ Canterbury, Kent Voir sur la carte Région South East (England) Kent East Kent Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 49 500,00 AALBORG UNIVERSITET Danemark Contribution nette de l'UE € 22 500,00 Adresse FREDRIK BAJERS VEJ 7K 9220 Aalborg Voir sur la carte Région Danmark Nordjylland Nordjylland Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 22 500,00 UNIVERSITY OF GLASGOW Royaume-Uni Contribution nette de l'UE € 31 500,00 Adresse UNIVERSITY AVENUE G12 8QQ Glasgow Voir sur la carte Région Scotland West Central Scotland Glasgow City Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 40 500,00 IT-UNIVERSITETET I KOBENHAVN Danemark Contribution nette de l'UE € 45 000,00 Adresse RUED LANGGAARDSVEJ 7 2300 Kobenhavn Voir sur la carte Région Danmark Hovedstaden Byen København Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 81 000,00 ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA Italie Contribution nette de l'UE € 56 250,00 Adresse VIA ZAMBONI 33 40126 Bologna Voir sur la carte Région Nord-Est Emilia-Romagna Bologna Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 56 250,00 UNIVERSITA DEGLI STUDI DI TORINO Italie Contribution nette de l'UE € 18 000,00 Adresse VIA GIUSEPPE VERDI 8 10124 Torino Voir sur la carte Région Nord-Ovest Piemonte Torino Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 31 500,00 ACTYX AG Allemagne Contribution nette de l'UE € 18 000,00 Adresse MAX BILL STRASSE 38 80807 MUNCHEN Voir sur la carte PME L’entreprise s’est définie comme une PME (petite et moyenne entreprise) au moment de la signature de la convention de subvention. Oui Région Bayern Oberbayern München, Kreisfreie Stadt Type d’activité Private for-profit entities (excluding Higher or Secondary Education Establishments) Liens Contacter l’organisation Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 27 000,00 BITLAND SRL Participation terminée Italie Contribution nette de l'UE € 0,00 Adresse VIA CADUTI DI AMOLA 31 40132 Bologna Voir sur la carte PME L’entreprise s’est définie comme une PME (petite et moyenne entreprise) au moment de la signature de la convention de subvention. Oui Région Nord-Est Emilia-Romagna Bologna Liens Contacter l’organisation Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total Aucune donnée IXARIS SYSTEMS (MALTA) LIMITED Malte Contribution nette de l'UE € 0,00 Adresse THE PENTHOUSE SUITE 1, ENTRANCE C, CAPITAL BUSINES TRIQ TAZ-ZWEJT SGN 3000 San Gwann Voir sur la carte Région Malta Malta Malta Liens Contacter l’organisation Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total Aucune donnée GREEN BY WEB LDA Portugal Contribution nette de l'UE € 13 500,00 Adresse LUGAR DE ASPRA SABADIM, CAIXA POSTAL 195 S/N 4970 371 Arcos De Valdevez Voir sur la carte PME L’entreprise s’est définie comme une PME (petite et moyenne entreprise) au moment de la signature de la convention de subvention. Oui Région Continente Norte Alto Minho Liens Contacter l’organisation Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 13 500,00 COMUNE DI TORINO Participation terminée Italie Contribution nette de l'UE € 0,00 Adresse PIAZZA PALAZZO DI CITTA 1 10122 Torino Voir sur la carte Région Nord-Ovest Piemonte Torino Type d’activité Public bodies (excluding Research Organisations and Secondary or Higher Education Establishments) Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total Aucune donnée XIBIS LIMITED Royaume-Uni Contribution nette de l'UE € 9 000,00 Adresse 2 METHUEN PARK SN14 0GB Chippenham Voir sur la carte Région South West (England) Gloucestershire, Wiltshire and Bristol/Bath area Wiltshire CC Liens Contacter l’organisation Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 9 000,00 EXFORMATICS AS Participation terminée Danemark Contribution nette de l'UE € 0,00 Adresse DAG HAMMARSKJOLDS ALLE 13 2100 Kobenhavn Voir sur la carte Région Danmark Hovedstaden Byen København Liens Contacter l’organisation Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total Aucune donnée MAIDSAFE.NET LIMITED Participation terminée Royaume-Uni Contribution nette de l'UE € 0,00 Adresse 72 TEMPLEHILL KA10 6BE Troon, Ayrshire Voir sur la carte PME L’entreprise s’est définie comme une PME (petite et moyenne entreprise) au moment de la signature de la convention de subvention. Oui Région Scotland Southern Scotland South Ayrshire Liens Contacter l’organisation Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total Aucune donnée DCR SOLUTIONS Danemark Contribution nette de l'UE € 0,00 Adresse SNEKKERSTEN STATIONSVEJ 16 3070 Snekkersten Voir sur la carte PME L’entreprise s’est définie comme une PME (petite et moyenne entreprise) au moment de la signature de la convention de subvention. Oui Région Danmark Hovedstaden Nordsjælland Liens Contacter l’organisation Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total Aucune donnée ITALIANASOFTWARE SRL Italie Contribution nette de l'UE € 0,00 Adresse VIA SELICE 66A 40026 Imola Voir sur la carte PME L’entreprise s’est définie comme une PME (petite et moyenne entreprise) au moment de la signature de la convention de subvention. Oui Région Nord-Est Emilia-Romagna Bologna Liens Contacter l’organisation Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total Aucune donnée GRAN SASSO SCIENCE INSTITUTE Italie Contribution nette de l'UE € 67 500,00 Adresse VIA FRANCESCO CRISPI 7 67100 L'Aquila Voir sur la carte Région Sud Abruzzo L’Aquila Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 67 500,00 CAIXA MAGICA SOFTWARE SA Portugal Contribution nette de l'UE € 0,00 Adresse RUA SOEIRO PEREIRA GOMES LOTE 1 4 B EDIFICIO ESPANHA 1600 196 Lisboa Voir sur la carte PME L’entreprise s’est définie comme une PME (petite et moyenne entreprise) au moment de la signature de la convention de subvention. Oui Région Continente Área Metropolitana de Lisboa Área Metropolitana de Lisboa Type d’activité Private for-profit entities (excluding Higher or Secondary Education Establishments) Liens Contacter l’organisation Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total Aucune donnée CODEBAKER SRLS Italie Contribution nette de l'UE € 0,00 Adresse VIA FRANCESCO DE SANCTIS, 7 F 40132 BOLOGNA Voir sur la carte Région Nord-Est Emilia-Romagna Bologna Liens Contacter l’organisation Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total Aucune donnée Partenaires (4) Trier par ordre alphabétique Trier par contribution nette de l'UE Tout développer Tout réduire Partenaire Les organisations partenaires contribuent à la mise en œuvre de l’action, mais ne signent pas la convention de subvention. CARNEGIE MELLON UNIVERSITY États-Unis Contribution nette de l'UE € 0,00 Adresse FORBES AVENUE 5000 15213 Pittsburgh Voir sur la carte Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 63 000,00 Partenaire Les organisations partenaires contribuent à la mise en œuvre de l’action, mais ne signent pas la convention de subvention. UNIVERSIDAD DE BUENOS AIRES Argentine Contribution nette de l'UE € 0,00 Adresse CALLE VIAMONTE 430 1053 Buenos Aires Voir sur la carte Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 144 000,00 Partenaire Les organisations partenaires contribuent à la mise en œuvre de l’action, mais ne signent pas la convention de subvention. THE BOARD OF TRUSTEES OF THE UNIVERSITY OF ILLINOIS États-Unis Contribution nette de l'UE € 0,00 Adresse 506 S. WRIGHT STREET, 209 HAB, MC 339 61801 URBANA IL Voir sur la carte Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 49 500,00 Partenaire Les organisations partenaires contribuent à la mise en œuvre de l’action, mais ne signent pas la convention de subvention. MCAFEE ARGENTINA S.A. Argentine Contribution nette de l'UE € 0,00 Adresse ALEM LEANDRO N. AV. 518 PISO 2 Cordoba Voir sur la carte Liens Contacter l’organisation Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 13 500,00