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