CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.
Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .
Livrables
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 (s’ouvre dans une nouvelle fenêtre)Related to Task 3.1
Report assessing the use of top-down, bottom-up, and round-trip tool support for engineering b-APIs (s’ouvre dans une nouvelle fenêtre)Related to Tasks 42 43 and 44To be checked again in Month 24
Inference of descriptions and testing (s’ouvre dans une nouvelle fenêtre)Related to Tasks 22 and 24
Portfolio of tools and platforms: on-line synoptic table of platforms analysis (T4.1), toolkits repository (s’ouvre dans une nouvelle fenêtre)Related to Task 42 and 43To be checked again in M24 M36
Languages and models for b-API description (s’ouvre dans une nouvelle fenêtre)Related to Tasks 23 and 27
Report on methodological approaches to b-APIs round-trip engineering (s’ouvre dans une nouvelle fenêtre)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. (s’ouvre dans une nouvelle fenêtre)Related to Tasks 34 35 36 and 37
Portfolio of use-cases and of current practices for API provisioning (s’ouvre dans une nouvelle fenêtre)Related to Task 2.1
b-API for provision at work (s’ouvre dans une nouvelle fenêtre)Related to Tasks 22 23 24 25 26 27
Extensions of actor-based, object-oriented, and functional languages: syntax, semantics, and documentation (s’ouvre dans une nouvelle fenêtre)Related to Tasks 45 and 46To be checked again in M48
Approaches to static and dynamic verification (s’ouvre dans une nouvelle fenêtre)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 (s’ouvre dans une nouvelle fenêtre)D51 M12 M24 M36 M48 Suite of training exercises w solutions
Tutorials of tools and white papers (s’ouvre dans une nouvelle fenêtre)D52 M12 M24 M36 M48 Tutorials of tools and white papers
Publications
Auteurs:
Leandro Galrinho, João Costa Seco, Søren Debois,Thomas Hildebrandt,Håkon Norman,Tijs Slaats
Publié dans:
COORDINATION 2021, 2021, ISBN 978-3-030-78141-5
Éditeur:
Springer-Verlag
DOI:
10.1007/978-3-030-78142-2_12
Auteurs:
Francalanza, Adrian;
Tabone, Gerard
Publié dans:
Journal of Logical and Algebraic Methods in Programming, Numéro 135, 2023
Éditeur:
Elsevier
DOI:
10.1016/j.jlamp.2023.100891
Auteurs:
Pears, Jonah; Bocchi, Laura; King, Andy
Publié dans:
Coordination Models and Languages, Lecture Notes in Computer Science, Numéro 13908, 2023
Éditeur:
Springer
DOI:
10.1007/978-3-031-35361-1_12
Auteurs:
Franco Barbanera, Mriangiola Dezani-Ciancaglini, Ugo de'Liguoro
Publié dans:
Lecture Notes in Computer Science, Numéro 13712, 2022, Page(s) 222 - 243, ISBN 038709251X
Éditeur:
Springer
DOI:
10.1007/978-3-031-20872-0_13
Auteurs:
Laura Bocchi,
Ivan Lanese,
Claudio Antares Mezzina,
Shoji Yuen
Publié dans:
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, Numéro 13273, 2022, Page(s) 31-49
Éditeur:
Springer
DOI:
10.1007/978-3-031-08679-3_3
Auteurs:
Antonis Achilleos, Léo Exibard, Adrian Francalanza, Karoliina Lehtinen & Jasmine Xuereb
Publié dans:
IFIP Advances in Information and Communication Technology, Numéro 13271, 2022
Éditeur:
Springer
DOI:
10.1007/978-3-031-08143-9_11
Auteurs:
Leonardo Frittelli, Facundo Maldonado, Hernan Melgratti, and Emilio Tuosto
Publié dans:
Coordination Models and Languages, 2020
Éditeur:
Springer
DOI:
10.1007/978-3-030-50029-0\_7
Auteurs:
Kuhn, Roland;
Melgratti, Hernán;
Tuosto, Emilio;
Publié dans:
37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023, ISSN 1868-8969
Éditeur:
"Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI:
10.4230/darts.9.2.14
Auteurs:
Laura Bocchi, Julien Lange, Simon Thompson, Laura Voinea
Publié dans:
In: ter Beek, M.H., Sirjani, M. (eds) Coordination Models and Languages. COORDINATION 2022. IFIP Advances in Information and Communication Technology., Numéro 13271, 2022, Page(s) 140-158
Éditeur:
Springer
DOI:
10.1007/978-3-031-08143-9_9
Auteurs:
Kuhn, Roland; Melgratti, Hernán; Tuosto, Emilio
Publié dans:
37th European Conference on Object-Oriented Programming (ECOOP 2023), Numéro 59, 2023, ISBN 978-3-95977-281-5
Éditeur:
Schloss-Dagstuhl - Leibniz Zentrum für Informatik
DOI:
10.4230/lipics.ecoop.2023.15
Auteurs:
Hugo A. Lopez and Soren Debois and Thomas T. Hildebrandt and Morten Marquard
Publié dans:
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., Numéro Vol 2196, 2018, Page(s) 66--70
Éditeur:
CEUR-WS.org
Auteurs:
Víctor Braberman, Diego Garbervetsky, Javier Godoy, Sebastian Uchitel, Guido de Caso, Ignacio Perez, Santiago Perez
Publié dans:
Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018, Numéro 26, 2018, Page(s) 827-832, ISBN 9781-450355735
Éditeur:
ACM Press
DOI:
10.1145/3236024.3275531
Auteurs:
Bravetti, Mario and Carbone, Marco and Lange, Julien and Yoshida, Nobuko and Zavattaro, Gianluigi
Publié dans:
Leibniz International Proceedings in Informatics (LIPIcs), Numéro 140, 2019, Page(s) 1-16
Éditeur:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.concur.2019.38
Auteurs:
Franco Barbanera, Ivan Lanese, Emilio Tuosto
Publié dans:
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, Numéro 12134, 2020, Page(s) 86-106, ISBN 978-3-030-50028-3
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-50029-0_6
Auteurs:
Mario Bravetti, Gianluigi Zavattaro
Publié dans:
Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings, Numéro 11724, 2019, Page(s) 29-47, ISBN 978-3-030-30445-4
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-30446-1_2
Auteurs:
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza & Anna Ingólfsdóttir
Publié dans:
COORDINATION 2022. IFIP Advances in Information and Communication Technology, Numéro 13271, 2022, Page(s) 200-219
Éditeur:
Springer
DOI:
10.1007/978-3-031-08143-9_12
Auteurs:
Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto
Publié dans:
Lecture Notes in Computer Science, Numéro 12070, 2020, ISBN 978-3-030-47361-7
Éditeur:
Springer
DOI:
10.1007/978-3-030-47361-7_6
Auteurs:
Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias S. Jakobsen, Mikkel K. Kettunen, António Ravara
Publié dans:
2020
Éditeur:
Springer, Cham
DOI:
10.1007/978-3-030-64437-6_6
Auteurs:
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
Publié dans:
Proceedings 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, 2021, Page(s) 106–120, ISSN 1611-3349
Éditeur:
Springer International Publishing
DOI:
10.48550/arxiv.2107.08729
Auteurs:
Tabone, Gerard and Francalanza, Adrian
Publié dans:
Electronic Proceedings in Theoretical Computer Science, Numéro 365, 2022, ISSN 2075-2180
Éditeur:
Open Publishing Association
DOI:
10.4204/eptcs.365.2
Auteurs:
Leandro Nahabedian, Victor Braberman, Nicolás D’Ippolito, Jeff Kramer, Sebastian Uchitel
Publié dans:
Information Systems, 2022, ISSN 0306-4379
Éditeur:
Elsevier Science & Technology
DOI:
10.1016/j.is.2021.101850
Auteurs:
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
Publié dans:
Science of Computer Programming, Numéro 222, 2022, ISSN 0346-251X
Éditeur:
Pergamon Press Ltd.
DOI:
10.48550/arxiv.2212.07329
Auteurs:
Ugo de'Liguoro, Hernàn C. Melgratti, Emilio Tuosto
Publié dans:
Journal of Logic and Algebraic Methods in Programming, Numéro Volume 127, June 2022, 2022, Page(s) 100776 - 100800, ISSN 2352-2208
Éditeur:
ScienceDirect
DOI:
10.1016/j.jlamp.2022.100776
Auteurs:
Maurizio Murgia,
Riccardo Pinciroli,
Catia Trubiani,
Emilio Tuosto,
Publié dans:
International Journal on Software Tools for Technology Transfer, 2023, ISSN 1433-2787
Éditeur:
Springer
DOI:
10.1007/s10009-023-00728-9
Auteurs:
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingolfsdottir
Publié dans:
Logical Methods in Computer Science, Numéro Volume 19, Numéro 1, 2023, ISSN 1860-5974
Éditeur:
Technischen Universitat Braunschweig
DOI:
10.48550/arxiv.2201.03108
Auteurs:
Luca Aceto,
Ian Cassar,
Adrian Francalanza,
Anna Ingólfsdóttir
Publié dans:
Acta Informatica, 2023, ISSN 1432-0525
Éditeur:
Springer
DOI:
10.1007/s00236-023-00441-9
Auteurs:
Rosita Gerbo, Luca Padovani
Publié dans:
Electronic Proceedings in Theoretical Computer Science, Numéro 291, 2019, Page(s) 24-34, ISSN 2075-2180
Éditeur:
Open Publishing Association
DOI:
10.4204/eptcs.291.3
Auteurs:
Roberto Guanciale, Emilio Tuosto
Publié dans:
Journal of Logical and Algebraic Methods in Programming, Numéro Vol. 108, 2019, Page(s) 69-89, ISSN 2352-2208
Éditeur:
Elsevier
DOI:
10.1016/j.jlamp.2019.06.003
Auteurs:
Laura Bocchi, Dominic Orchard, Laura Voinea
Publié dans:
The Art, Science, and Engineering of Programming, Numéro Vol. 7, Numéro 2, 2023, Page(s) Article 6, ISSN 2473-7321
Éditeur:
AOSA
DOI:
10.22152/programming-journal.org/2023/7/6
Auteurs:
Carlos G. Lopez Pombo and Agustín E. Martinez Suñé, Emilio Tuosto
Publié dans:
2023
Éditeur:
NA
DOI:
10.48550/arxiv.2311.01414
Auteurs:
Bocchi, Laura; Melgratti, Hernán; Tuosto, Emilio
Publié dans:
Arxiv, Numéro 8410, 2019, Page(s) 493-512
Éditeur:
Arxiv
DOI:
10.5281/zenodo.3260521
Auteurs:
Francalanza,Adrian; Mezzina,Claudio Antares; Rojas,Jose' Miguel; Tuosto,Emilio; Ulidowski,Irek
Publié dans:
Technical Report, 2019
Éditeur:
University of Leicester
DOI:
10.5281/zenodo.3263870
Auteurs:
Cosimo Laneve, Luca Padovani
Publié dans:
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, Numéro 11760, 2019, Page(s) 50-67, ISBN 978-3-030-31174-2
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-31175-9_4
Auteurs:
Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto
Publié dans:
Distributed Applications and Interoperable Systems, Numéro 10853, 2018, Page(s) 75-92, ISBN 978-3-319-93766-3
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-93767-0_6
Auteurs:
Hernán Melgratti, Claudio Antares Mezzina, Irek Ulidowski
Publié dans:
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, Numéro 11533, 2019, Page(s) 19-36, ISBN 978-3-030-22396-0
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-22397-7_2
Auteurs:
Agustín E. Martinez Suñé, Carlos G. Lopez Pombo
Publié dans:
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, Numéro 11533, 2019, Page(s) 221-236, ISBN 978-3-030-22396-0
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-22397-7_13
Auteurs:
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán Melgratti, Ugo Montanari, Emilio Tuosto
Publié dans:
De Nicola-Festschrift, Lecture Notes in Computer Science, Numéro 11665, 2019
Éditeur:
Springer Verlag
DOI:
10.1007/978-3-030-21485-2_11
Auteurs:
Leandro Nahabedian, Victor Braberman, Nicolás D’ippolito, Jeff Kramer, Sebastián Uchitel
Publié dans:
Business Process Management - 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings, Numéro 11675, 2019, Page(s) 35-51, ISBN 978-3-030-26618-9
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-26619-6_5
Auteurs:
Cosimo Laneve, Claudio Sacerdoti Coen, Adele Veschetti
Publié dans:
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, Numéro 11865, 2019, Page(s) 397-415, ISBN 978-3-030-30984-8
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-30985-5_23
Auteurs:
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Publié dans:
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, Numéro 11760, 2019, Page(s) 118-138, ISBN 978-3-030-31174-2
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-31175-9_8
Auteurs:
A. Laura Voinea, Ornela Dardha, Simon J. Gay
Publié dans:
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, Numéro 12136, 2020, Page(s) 208-224, ISBN 978-3-030-50085-6
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-50086-3_12
Auteurs:
Artem Usov, Ornela Dardha
Publié dans:
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, Numéro 12134, 2020, Page(s) 153-168, ISBN 978-3-030-50028-3
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-50029-0_10
Auteurs:
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
Publié dans:
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, Numéro 12136, 2020, Page(s) 227-235, ISBN 978-3-030-50085-6
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-50086-3_13
Auteurs:
A. Laura Voinea, Ornela Dardha, Simon J. Gay
Publié dans:
Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings, Numéro 11918, 2019, Page(s) 437-455, ISBN 978-3-030-34967-7
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-34968-4_24
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible