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:
Luca Aceto and Ian Cassar and Adrian Francalanza and Anna Ingolfsdottir
Pubblicato in:
29th International Conference on Concurrency Theory, {CONCUR} 2018, September 4-7, 2018, Beijing, China, Numero Volume 118, yearly, 2018, Pagina/e 34:1-34:17, ISBN 978-3-95977-087-3
Editore:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.CONCUR.2018.34
Autori:
Joao Costa Seco, Soren Debois, Thomas Hildebrandt, Tijs Slaats
Pubblicato in:
2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC), Numero 22, 2018, Pagina/e 75-84, ISBN 978-1-5386-4139-2
Editore:
IEEE
DOI:
10.1109/EDOC.2018.00020
Autori:
Christoffer Olling Back and Soren Debois and Tijs Slaats
Pubblicato in:
Advances in Conceptual Modeling - ER 2018 Workshops Emp-ER, MoBiD, MREBA, QMMQ, SCME, Xi'an, China, October 22-25, 2018, Proceedings, Numero Vol 11158, 2018, Pagina/e 191-198, ISBN 978-3-030-01390-5
Editore:
Springer
DOI:
10.1007/978-3-030-01391-2_24
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:
Stephanie Balzer and Frank Pfenning and Bernardo Toninho
Pubblicato in:
29th International Conference on Concurrency Theory (CONCUR 2018), Numero vol 118, 2018 yearly, 2018, Pagina/e 30:1--30:18, ISBN 978-3-95977-087-3
Editore:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.CONCUR.2018.30
Autori:
Ugo de'Liguoro and Luca Padovani
Pubblicato in:
32nd European Conference on Object-Oriented Programming, {ECOOP} 2018, July 16-21, 2018, Amsterdam, The Netherlands, Numero Vol 109, 2018, Pagina/e 15:1--15:28, ISBN 978-3-95977-079-8
Editore:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.ECOOP.2018.15
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:
Jens Aagaard, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen
Pubblicato in:
Electronic Proceedings in Theoretical Computer Science, Numero 276, 2018, Pagina/e 3-18, ISSN 2075-2180
Editore:
School of Computer Science and Engineering at UNSW
DOI:
10.4204/EPTCS.276.3
Autori:
Luca Padovani
Pubblicato in:
The Art, Science, and Engineering of Programming, Numero 2
10.22152/programming-journal.org/2018/2
http://programming-journal.org/2018/2/3, 2018, ISSN 2473-7321
Editore:
AOSA
DOI:
10.22152/programming-journal.org/2018/2/15
Autori:
Luca Padovani
Pubblicato in:
Journal of Logical and Algebraic Methods in Programming, Numero 100, 2018, Pagina/e 16-35, ISSN 2352-2208
Editore:
Elsevier
DOI:
10.1016/j.jlamp.2018.06.001
Autori:
Marco Carbone, Fabrizio Montesi, Carsten Schürmann
Pubblicato in:
Distributed Computing, Numero 31/1, 2018, Pagina/e 51-67, ISSN 0178-2770
Editore:
Springer Verlag
DOI:
10.1007/s00446-017-0295-1
Autori:
Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
Pubblicato in:
Theoretical Computer Science, Numero 722, 2018, Pagina/e 19-51, ISSN 0304-3975
Editore:
Elsevier BV
DOI:
10.1016/j.tcs.2018.02.010
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:
Mario Bravetti, Gianluigi Zavattaro
Pubblicato in:
Journal of Logical and Algebraic Methods in Programming, Numero 112, 2020, Pagina/e 100527, ISSN 2352-2208
Editore:
Elsevier
DOI:
10.1016/j.jlamp.2020.100527
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:
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir
Pubblicato in:
Foundations of Software Science and Computation Structures, Numero 10803, 2018, Pagina/e 203-220, ISBN 978-3-319-89365-5
Editore:
Springer International Publishing
DOI:
10.1007/978-3-319-89366-2_11
Autori:
Søren Debois, Thomas Hildebrandt, Morten Marquard, Tijs Slaats
Pubblicato in:
Business Process Management Cases, Numero 2017, 2018, Pagina/e 397-412, ISBN 978-3-319-58306-8
Editore:
Springer International Publishing
DOI:
10.1007/978-3-319-58307-5_21
Autori:
Bernardo Toninho, Nobuko Yoshida
Pubblicato in:
Foundations of Software Science and Computation Structures, Numero 10803, 2018, Pagina/e 128-145, ISBN 978-3-319-89365-5
Editore:
Springer International Publishing
DOI:
10.1007/978-3-319-89366-2_7
Autori:
Bernardo Toninho, Nobuko Yoshida
Pubblicato in:
Programming Languages and Systems, Numero 10801, 2018, Pagina/e 827-855, ISBN 978-3-319-89883-4
Editore:
Springer International Publishing
DOI:
10.1007/978-3-319-89884-1_29
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, 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:
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:
Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
Pubblicato in:
Microservices - Science and Engineering, 2020, Pagina/e 183-208, ISBN 978-3-030-31645-7
Editore:
Springer International Publishing
DOI:
10.1007/978-3-030-31646-4_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