CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Deliverables
Related to Tasks 32 33 34 and 35Note this deliverable has to be checked once more in M36
A catalog of problems on the usage of APIs, limitations of current technologies and opportunities for improvement (opens in new window)Related to Task 3.1
Report assessing the use of top-down, bottom-up, and round-trip tool support for engineering b-APIs (opens in new window)Related to Tasks 42 43 and 44To be checked again in Month 24
Inference of descriptions and testing (opens in new window)Related to Tasks 22 and 24
Portfolio of tools and platforms: on-line synoptic table of platforms analysis (T4.1), toolkits repository (opens in new window)Related to Task 42 and 43To be checked again in M24 M36
Languages and models for b-API description (opens in new window)Related to Tasks 23 and 27
Report on methodological approaches to b-APIs round-trip engineering (opens in new window)Related to task 42 43 and 45To be checked again in M36
Report on combination of different verification techniques and b-APIs for adaptable systems. (opens in new window)Related to Tasks 34 35 36 and 37
Portfolio of use-cases and of current practices for API provisioning (opens in new window)Related to Task 2.1
b-API for provision at work (opens in new window)Related to Tasks 22 23 24 25 26 27
Extensions of actor-based, object-oriented, and functional languages: syntax, semantics, and documentation (opens in new window)Related to Tasks 45 and 46To be checked again in M48
Approaches to static and dynamic verification (opens in new window)Related to Tasks 2.5 and 2.6
D53 M12 M24 M36 M48 Web sites of the project public and internal according to the IP policies established in WP1 containing a repository of tools and usecases together with their documentation
Suite of training exercises w/ solutions (opens in new window)D51 M12 M24 M36 M48 Suite of training exercises w solutions
Tutorials of tools and white papers (opens in new window)D52 M12 M24 M36 M48 Tutorials of tools and white papers
Publications
Author(s):
Leandro Galrinho, João Costa Seco, Søren Debois,Thomas Hildebrandt,Håkon Norman,Tijs Slaats
Published in:
COORDINATION 2021, 2021, ISBN 978-3-030-78141-5
Publisher:
Springer-Verlag
DOI:
10.1007/978-3-030-78142-2_12
Author(s):
Francalanza, Adrian;
Tabone, Gerard
Published in:
Journal of Logical and Algebraic Methods in Programming, Issue 135, 2023
Publisher:
Elsevier
DOI:
10.1016/j.jlamp.2023.100891
Author(s):
Pears, Jonah; Bocchi, Laura; King, Andy
Published in:
Coordination Models and Languages, Lecture Notes in Computer Science, Issue 13908, 2023
Publisher:
Springer
DOI:
10.1007/978-3-031-35361-1_12
Author(s):
Franco Barbanera, Mriangiola Dezani-Ciancaglini, Ugo de'Liguoro
Published in:
Lecture Notes in Computer Science, Issue 13712, 2022, Page(s) 222 - 243, ISBN 038709251X
Publisher:
Springer
DOI:
10.1007/978-3-031-20872-0_13
Author(s):
Laura Bocchi,
Ivan Lanese,
Claudio Antares Mezzina,
Shoji Yuen
Published in:
Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings, Issue 13273, 2022, Page(s) 31-49
Publisher:
Springer
DOI:
10.1007/978-3-031-08679-3_3
Author(s):
Antonis Achilleos, Léo Exibard, Adrian Francalanza, Karoliina Lehtinen & Jasmine Xuereb
Published in:
IFIP Advances in Information and Communication Technology, Issue 13271, 2022
Publisher:
Springer
DOI:
10.1007/978-3-031-08143-9_11
Author(s):
Leonardo Frittelli, Facundo Maldonado, Hernan Melgratti, and Emilio Tuosto
Published in:
Coordination Models and Languages, 2020
Publisher:
Springer
DOI:
10.1007/978-3-030-50029-0\_7
Author(s):
Kuhn, Roland;
Melgratti, Hernán;
Tuosto, Emilio;
Published in:
37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023, ISSN 1868-8969
Publisher:
"Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI:
10.4230/darts.9.2.14
Author(s):
Laura Bocchi, Julien Lange, Simon Thompson, Laura Voinea
Published in:
In: ter Beek, M.H., Sirjani, M. (eds) Coordination Models and Languages. COORDINATION 2022. IFIP Advances in Information and Communication Technology., Issue 13271, 2022, Page(s) 140-158
Publisher:
Springer
DOI:
10.1007/978-3-031-08143-9_9
Author(s):
Kuhn, Roland; Melgratti, Hernán; Tuosto, Emilio
Published in:
37th European Conference on Object-Oriented Programming (ECOOP 2023), Issue 59, 2023, ISBN 978-3-95977-281-5
Publisher:
Schloss-Dagstuhl - Leibniz Zentrum für Informatik
DOI:
10.4230/lipics.ecoop.2023.15
Author(s):
Hugo A. Lopez and Soren Debois and Thomas T. Hildebrandt and Morten Marquard
Published in:
Proceedings of the Dissertation Award, Demonstration, and Industrial Track at {BPM} 2018 co-located with 16th International Conference on Business Process Management {(BPM} 2018), Sydney, Australia, September 9-14, 2018., Issue Vol 2196, 2018, Page(s) 66--70
Publisher:
CEUR-WS.org
Author(s):
Víctor Braberman, Diego Garbervetsky, Javier Godoy, Sebastian Uchitel, Guido de Caso, Ignacio Perez, Santiago Perez
Published in:
Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018, Issue 26, 2018, Page(s) 827-832, ISBN 9781-450355735
Publisher:
ACM Press
DOI:
10.1145/3236024.3275531
Author(s):
Bravetti, Mario and Carbone, Marco and Lange, Julien and Yoshida, Nobuko and Zavattaro, Gianluigi
Published in:
Leibniz International Proceedings in Informatics (LIPIcs), Issue 140, 2019, Page(s) 1-16
Publisher:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.concur.2019.38
Author(s):
Franco Barbanera, Ivan Lanese, Emilio Tuosto
Published in:
Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings, Issue 12134, 2020, Page(s) 86-106, ISBN 978-3-030-50028-3
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-50029-0_6
Author(s):
Mario Bravetti, Gianluigi Zavattaro
Published in:
Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings, Issue 11724, 2019, Page(s) 29-47, ISBN 978-3-030-30445-4
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-30446-1_2
Author(s):
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza & Anna Ingólfsdóttir
Published in:
COORDINATION 2022. IFIP Advances in Information and Communication Technology, Issue 13271, 2022, Page(s) 200-219
Publisher:
Springer
DOI:
10.1007/978-3-031-08143-9_12
Author(s):
Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto
Published in:
Lecture Notes in Computer Science, Issue 12070, 2020, ISBN 978-3-030-47361-7
Publisher:
Springer
DOI:
10.1007/978-3-030-47361-7_6
Author(s):
Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias S. Jakobsen, Mikkel K. Kettunen, António Ravara
Published in:
2020
Publisher:
Springer, Cham
DOI:
10.1007/978-3-030-64437-6_6
Author(s):
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
Published in:
Proceedings 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, 2021, Page(s) 106–120, ISSN 1611-3349
Publisher:
Springer International Publishing
DOI:
10.48550/arxiv.2107.08729
Author(s):
Tabone, Gerard and Francalanza, Adrian
Published in:
Electronic Proceedings in Theoretical Computer Science, Issue 365, 2022, ISSN 2075-2180
Publisher:
Open Publishing Association
DOI:
10.4204/eptcs.365.2
Author(s):
Leandro Nahabedian, Victor Braberman, Nicolás D’Ippolito, Jeff Kramer, Sebastian Uchitel
Published in:
Information Systems, 2022, ISSN 0306-4379
Publisher:
Elsevier Science & Technology
DOI:
10.1016/j.is.2021.101850
Author(s):
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
Published in:
Science of Computer Programming, Issue 222, 2022, ISSN 0346-251X
Publisher:
Pergamon Press Ltd.
DOI:
10.48550/arxiv.2212.07329
Author(s):
Ugo de'Liguoro, Hernàn C. Melgratti, Emilio Tuosto
Published in:
Journal of Logic and Algebraic Methods in Programming, Issue Volume 127, June 2022, 2022, Page(s) 100776 - 100800, ISSN 2352-2208
Publisher:
ScienceDirect
DOI:
10.1016/j.jlamp.2022.100776
Author(s):
Maurizio Murgia,
Riccardo Pinciroli,
Catia Trubiani,
Emilio Tuosto,
Published in:
International Journal on Software Tools for Technology Transfer, 2023, ISSN 1433-2787
Publisher:
Springer
DOI:
10.1007/s10009-023-00728-9
Author(s):
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingolfsdottir
Published in:
Logical Methods in Computer Science, Issue Volume 19, Issue 1, 2023, ISSN 1860-5974
Publisher:
Technischen Universitat Braunschweig
DOI:
10.48550/arxiv.2201.03108
Author(s):
Luca Aceto,
Ian Cassar,
Adrian Francalanza,
Anna Ingólfsdóttir
Published in:
Acta Informatica, 2023, ISSN 1432-0525
Publisher:
Springer
DOI:
10.1007/s00236-023-00441-9
Author(s):
Rosita Gerbo, Luca Padovani
Published in:
Electronic Proceedings in Theoretical Computer Science, Issue 291, 2019, Page(s) 24-34, ISSN 2075-2180
Publisher:
Open Publishing Association
DOI:
10.4204/eptcs.291.3
Author(s):
Roberto Guanciale, Emilio Tuosto
Published in:
Journal of Logical and Algebraic Methods in Programming, Issue Vol. 108, 2019, Page(s) 69-89, ISSN 2352-2208
Publisher:
Elsevier
DOI:
10.1016/j.jlamp.2019.06.003
Author(s):
Laura Bocchi, Dominic Orchard, Laura Voinea
Published in:
The Art, Science, and Engineering of Programming, Issue Vol. 7, Issue 2, 2023, Page(s) Article 6, ISSN 2473-7321
Publisher:
AOSA
DOI:
10.22152/programming-journal.org/2023/7/6
Author(s):
Carlos G. Lopez Pombo and Agustín E. Martinez Suñé, Emilio Tuosto
Published in:
2023
Publisher:
NA
DOI:
10.48550/arxiv.2311.01414
Author(s):
Bocchi, Laura; Melgratti, Hernán; Tuosto, Emilio
Published in:
Arxiv, Issue 8410, 2019, Page(s) 493-512
Publisher:
Arxiv
DOI:
10.5281/zenodo.3260521
Author(s):
Francalanza,Adrian; Mezzina,Claudio Antares; Rojas,Jose' Miguel; Tuosto,Emilio; Ulidowski,Irek
Published in:
Technical Report, 2019
Publisher:
University of Leicester
DOI:
10.5281/zenodo.3263870
Author(s):
Cosimo Laneve, Luca Padovani
Published in:
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Issue 11760, 2019, Page(s) 50-67, ISBN 978-3-030-31174-2
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-31175-9_4
Author(s):
Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto
Published in:
Distributed Applications and Interoperable Systems, Issue 10853, 2018, Page(s) 75-92, ISBN 978-3-319-93766-3
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-93767-0_6
Author(s):
Hernán Melgratti, Claudio Antares Mezzina, Irek Ulidowski
Published in:
Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings, Issue 11533, 2019, Page(s) 19-36, ISBN 978-3-030-22396-0
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-22397-7_2
Author(s):
Agustín E. Martinez Suñé, Carlos G. Lopez Pombo
Published in:
Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings, Issue 11533, 2019, Page(s) 221-236, ISBN 978-3-030-22396-0
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-22397-7_13
Author(s):
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán Melgratti, Ugo Montanari, Emilio Tuosto
Published in:
De Nicola-Festschrift, Lecture Notes in Computer Science, Issue 11665, 2019
Publisher:
Springer Verlag
DOI:
10.1007/978-3-030-21485-2_11
Author(s):
Leandro Nahabedian, Victor Braberman, Nicolás D’ippolito, Jeff Kramer, Sebastián Uchitel
Published in:
Business Process Management - 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings, Issue 11675, 2019, Page(s) 35-51, ISBN 978-3-030-26618-9
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-26619-6_5
Author(s):
Cosimo Laneve, Claudio Sacerdoti Coen, Adele Veschetti
Published in:
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, Issue 11865, 2019, Page(s) 397-415, ISBN 978-3-030-30984-8
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-30985-5_23
Author(s):
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Published in:
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Issue 11760, 2019, Page(s) 118-138, ISBN 978-3-030-31174-2
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-31175-9_8
Author(s):
A. Laura Voinea, Ornela Dardha, Simon J. Gay
Published in:
Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings, Issue 12136, 2020, Page(s) 208-224, ISBN 978-3-030-50085-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-50086-3_12
Author(s):
Artem Usov, Ornela Dardha
Published in:
Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings, Issue 12134, 2020, Page(s) 153-168, ISBN 978-3-030-50028-3
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-50029-0_10
Author(s):
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
Published in:
Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings, Issue 12136, 2020, Page(s) 227-235, ISBN 978-3-030-50085-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-50086-3_13
Author(s):
A. Laura Voinea, Ornela Dardha, Simon J. Gay
Published in:
Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings, Issue 11918, 2019, Page(s) 437-455, ISBN 978-3-030-34967-7
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-34968-4_24
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available