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