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