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