Objective 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. Fields of science natural sciencescomputer and information sciencessoftware 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 Topic(s) MSCA-RISE-2017 - Research and Innovation Staff Exchange Call for proposal H2020-MSCA-RISE-2017 See other projects for this call Funding Scheme MSCA-RISE - Marie Skłodowska-Curie Research and Innovation Staff Exchange (RISE) Coordinator UNIVERSITA TA MALTA Net EU contribution € 94 500,00 Address Tal oroqq 2080 Msida Malta See on map Region Malta Malta Malta Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 18 000,00 Participants (18) Sort alphabetically Sort by Net EU contribution Expand all Collapse all UNIVERSITY OF LEICESTER United Kingdom Net EU contribution € 112 500,00 Address University road LE1 7RH Leicester See on map Region East Midlands (England) Leicestershire, Rutland and Northamptonshire Leicester Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 27 000,00 NOVA ID FCT - ASSOCIACAO PARA A INOVACAO E DESENVOLVIMENTO DA FCT Portugal Net EU contribution € 130 500,00 Address Campus de caparica faculdade de ciencias e tecnologia da universidade nova de lisboa 2829 516 Caparica See on map Region Continente Área Metropolitana de Lisboa Área Metropolitana de Lisboa Activity type Research Organisations Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 UNIVERSITY OF KENT United Kingdom Net EU contribution € 72 000,00 Address The registry canterbury CT2 7NZ Canterbury, kent See on map Region South East (England) Kent East Kent Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 AALBORG UNIVERSITET Denmark Net EU contribution € 22 500,00 Address Fredrik bajers vej 7k 9220 Aalborg See on map Region Danmark Nordjylland Nordjylland Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 UNIVERSITY OF GLASGOW United Kingdom Net EU contribution € 22 500,00 Address University avenue G12 8QQ Glasgow See on map Region Scotland West Central Scotland Glasgow City Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 9 000,00 IT-UNIVERSITETET I KOBENHAVN Denmark Net EU contribution € 58 500,00 Address Rued langgaardsvej 7 2300 Kobenhavn See on map Region Danmark Hovedstaden Byen København Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 36 000,00 ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA Italy Net EU contribution € 54 000,00 Address Via zamboni 33 40126 Bologna See on map Region Nord-Est Emilia-Romagna Bologna Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 UNIVERSITA DEGLI STUDI DI TORINO Italy Net EU contribution € 9 000,00 Address Via giuseppe verdi 8 10124 Torino See on map Region Nord-Ovest Piemonte Torino Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 13 500,00 ACTYX AG Germany Net EU contribution € 22 500,00 Address Max bill strasse 38 80807 Munchen See on map SME The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed. Yes Region Bayern Oberbayern München, Kreisfreie Stadt Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 9 000,00 BITLAND SRL Italy Net EU contribution € 0,00 Address Via caduti di amola 31 40132 Bologna See on map SME The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed. Yes Region Nord-Est Emilia-Romagna Bologna Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 IXARIS SYSTEMS (MALTA) LIMITED Malta Net EU contribution € 0,00 Address The penthouse suite 1, entrance c, capital busines triq taz-zwejt SGN 3000 San gwann See on map Region Malta Malta Malta Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 GREEN BY WEB LDA Portugal Net EU contribution € 13 500,00 Address Lugar de aspra sabadim, caixa postal 195 s/n 4970 371 Arcos de valdevez See on map SME The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed. Yes Region Continente Norte Alto Minho Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 COMUNE DI TORINO Participation ended Italy Net EU contribution € 0,00 Address Piazza palazzo di citta 1 10122 Torino See on map Region Nord-Ovest Piemonte Torino Activity type Public bodies (excluding Research Organisations and Secondary or Higher Education Establishments) Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 XIBIS LIMITED United Kingdom Net EU contribution € 18 000,00 Address 2 methuen park SN14 0GB Chippenham See on map Region South West (England) Gloucestershire, Wiltshire and Bristol/Bath area Wiltshire CC Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 EXFORMATICS AS Participation ended Denmark Net EU contribution € 0,00 Address Dag hammarskjolds alle 13 2100 Kobenhavn See on map Region Danmark Hovedstaden Byen København Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 MAIDSAFE.NET LIMITED Participation ended United Kingdom Net EU contribution € 0,00 Address 72 templehill KA10 6BE Troon, ayrshire See on map SME The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed. Yes Region Scotland Southern Scotland South Ayrshire Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 DCR SOLUTIONS Denmark Net EU contribution € 0,00 Address Snekkersten stationsvej 16 3070 Snekkersten See on map SME The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed. Yes Region Danmark Hovedstaden Nordsjælland Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 ITALIANASOFTWARE SRL Italy Net EU contribution € 0,00 Address Via selice 66a 40026 Imola See on map SME The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed. Yes Region Nord-Est Emilia-Romagna Bologna Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 Partners (4) Sort alphabetically Sort by Net EU contribution Expand all Collapse all Partner Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement. CARNEGIE MELLON UNIVERSITY United States Net EU contribution € 0,00 Address Forbes avenue 5000 15213 Pittsburgh See on map Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 63 000,00 Partner Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement. UNIVERSIDAD DE BUENOS AIRES Argentina Net EU contribution € 0,00 Address Calle viamonte 430 1053 Buenos aires See on map Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 144 000,00 Partner Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement. THE BOARD OF TRUSTEES OF THE UNIVERSITY OF ILLINOIS United States Net EU contribution € 0,00 Address 506 s. wright street, 209 hab, mc 339 61801 Urbana il See on map Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 49 500,00 Partner Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement. MCAFEE ARGENTINA S.A. Argentina Net EU contribution € 0,00 Address Alem leandro n. av. 518 piso 2 Cordoba See on map Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 13 500,00
