Risultati finali
Data management plan must address following issues: 1. Making data Findable, 2. Making data openly Accessible, 3. Making data Interoperable, 4. Increase data Re-use, 5. Allocation of recourses and data security The data management plan will also have to specify if certain datasets remain closed and the reasons for not giving access should be given.
Pubblicazioni
Autori:
Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk
Pubblicato in:
CAV 2021: International Conference on Computer Aided Verification, 2021
Editore:
Springer
DOI:
10.1007/978-3-030-81685-8_36
Autori:
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Pubblicato in:
ISOLA 2022: International Symposium on Leveraging Applications of Formal Methods, 2022
Editore:
Springer
DOI:
10.1007/978-3-031-19849-6_22
Autori:
Claudia Cauli, Magdalena Ortiz, Nir Piterman
Pubblicato in:
IJCAR 2022: International Joint Conference on Automated Reasoning, 2022
Editore:
Springer
DOI:
10.1007/978-3-031-10769-6_17
Autori:
Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider
Pubblicato in:
RV 2021: International Conference on Runtime Verification, 2021
Editore:
Springer
DOI:
10.1007/978-3-030-88494-9_5
Autori:
Yehia Abd Alrahman,Giuseppe Perelli, Nir Piterman
Pubblicato in:
AAMAS '20: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent, 2020
Editore:
ACM
DOI:
10.5555/3398761.3398768
Autori:
Giuseppe Perelli
Pubblicato in:
AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
Editore:
ACM
DOI:
10.5555/3306127.3331692
Autori:
Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder
Pubblicato in:
CONCUR 2021: 32nd International Conference on Concurrency Theory, 2021
Editore:
LIPIcs
DOI:
10.4230/lipics.concur.2021.4
Autori:
Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider
Pubblicato in:
RV 2022: International Conference on Runtime Verification, 2022
Editore:
Springer
DOI:
10.1007/978-3-031-17196-3_12
Autori:
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
Pubblicato in:
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Pagina/e 329-335, ISBN 978-0-9992411-4-1
Editore:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2019/47
Autori:
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
Pubblicato in:
Leibniz International Proceedings in Informatics (LIPIcs), Numero 30th International Conference on Concurrency Theory (CONCUR 2019), 2019
Editore:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.concur.2019.22
Autori:
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
Pubblicato in:
ISOLA 2022: International Symposium on Leveraging Applications of Formal Methods, 2022
Editore:
Springer
DOI:
10.1007/978-3-031-19759-8_23
Autori:
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Pubblicato in:
ATVA 2021: International Symposium on Automated Technology for Verification and Analysis, 2021
Editore:
Springer
DOI:
10.1007/978-3-030-88885-5_22
Autori:
Daniel Hausmann, Stefan Milius, Lutz Schröder
Pubblicato in:
MFCS 2021: 46th International Symposium on Mathematical Foundations of Computer Science, 2021
Editore:
LIPIcs
DOI:
10.4230/lipics.mfcs.2021.58
Autori:
Yehia Abd Alrahman; Shaun Azzopardi; Nir Piterman
Pubblicato in:
AAMAS 2022: 20th International Conference on Autonomous Agents and Multiagent Systems, 2022
Editore:
ACM
DOI:
10.5555/3535850.3536020
Autori:
Krishnendu Chatterjee, Nir Piterman
Pubblicato in:
Leibniz International Proceedings in Informatics, Numero 30th International Conference on Concurrency Theory (CONCUR 2019), 2019
Editore:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.concur.2019.6
Autori:
Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace
Pubblicato in:
RV 2022: International Conference on Runtime Verification, 2022
Editore:
Springer
DOI:
10.1007/978-3-031-17196-3_8
Autori:
Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace
Pubblicato in:
RV 2022: International Conference on Runtime Verification, 2022
Editore:
Springer
DOI:
10.1007/978-3-031-17196-3_13
Autori:
Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Pubblicato in:
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Pagina/e 1588-1594, ISBN 978-0-9992411-4-1
Editore:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2019/220
Autori:
Yehia Abd Alrahman; Victor Braberman; Nicolas D'Ippolito; Nir Piterman; Sebastian Uchitel
Pubblicato in:
2021 American Control Conference (ACC), Numero 3, 2021
Editore:
IEEE
DOI:
10.23919/acc50511.2021.9482704
Autori:
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Pubblicato in:
ISoLA 2022: International Symposium on Leveraging Applications of Formal Methods, 2022
Editore:
Springer
DOI:
10.1007/978-3-031-19759-8_6
Autori:
Yehia Abd Alrahman, Mauricio Martel, Nir Piterman
Pubblicato in:
ICTAC 2022: International Colloquium on Theoretical Aspects of Computing, 2022
Editore:
Springer
DOI:
10.1007/978-3-031-17715-6_5
Autori:
Claudia Cauli, Magdalena Ortiz, Nir Piterman
Pubblicato in:
KR 2021: 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Editore:
IJCAI Organization
DOI:
10.24963/kr.2021/17
Autori:
Lehaut, Mathieu; Piterman, Nir
Pubblicato in:
ArXiV, Numero 19, 2023
Editore:
Cornell University
DOI:
10.48550/arxiv.2305.01425
Autori:
Yehia Abd Alrahman, Victor Braberman, Nicolas D'Ippolito, Nir Piterman, Sebastian Uchitel
Pubblicato in:
2020
Editore:
Cornell University
Autori:
Yehia Abd Alrahman; Nir Piterman
Pubblicato in:
ArXiV, Numero 2, 2021
Editore:
Cornell University
DOI:
10.48550/arxiv.2104.10998
Autori:
Urbat, Henning; Hausmann, Daniel; Milius, Stefan; Schröder, Lutz
Pubblicato in:
ArXiV, Numero 3, 2021
Editore:
Cornell University
DOI:
10.48550/arxiv.2107.03213
Autori:
Majumdar, Rupak; Piterman, Nir; Schmuck, Anne-Kathrin
Pubblicato in:
ArXiV, Numero 1, 2019
Editore:
Cornell University
Autori:
Alrahman, Yehia Abd; Vieira, Hugo Torres
Pubblicato in:
ArXiV, Numero 2, 2018
Editore:
Cornell University
Autori:
Daniel Hausmann, Nir Piterman
Pubblicato in:
ArXiV, 2022
Editore:
Cornell University
DOI:
10.48550/arxiv.2207.00517
Autori:
Yehia Abd Alrahman,; Perelli, Giuseppe; Nir, Piterman
Pubblicato in:
ArXiV, Numero 1, 2019
Editore:
Cornell University
Autori:
Azzopardi, Shaun; Piterman, Nir; Schneider, Gerardo
Pubblicato in:
ArXiV, Numero 2, 2021
Editore:
Cornell University
DOI:
10.48550/arxiv.2107.00929
Autori:
Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira
Pubblicato in:
Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
Editore:
Springer
DOI:
10.1007/978-3-030-21485-2_10
Autori:
Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck
Pubblicato in:
Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II, Numero 11428, 2019, Pagina/e 229-246, ISBN 978-3-030-17464-4
Editore:
Springer International Publishing
DOI:
10.1007/978-3-030-17465-1_13
Autori:
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michal Wooldridge
Pubblicato in:
Logical Methods in Computer Science, Numero 15, 2019, ISSN 1860-5974
Editore:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-15(3:32)2019
Autori:
Yehia Abd Alrahman, Giulio Garbi
Pubblicato in:
International Journal on Software Tools for Technology Transfer, Numero 22/4, 2020, Pagina/e 477-496, ISSN 1433-2779
Editore:
Springer Verlag
DOI:
10.1007/s10009-020-00553-4
Autori:
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Pubblicato in:
Science of Computer Programming, Numero 192, 2020, Pagina/e 102428, ISSN 0167-6423
Editore:
Elsevier BV
DOI:
10.1016/j.scico.2020.102428
Autori:
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Pubblicato in:
Science of Computer Programming, Numero 01676423, 2022, ISSN 0167-6423
Editore:
Elsevier BV
DOI:
10.1016/j.scico.2022.102863
Autori:
Yehia Abd Alrahman, Nir Piterman
Pubblicato in:
Journal of Autonomous Agents and Multi-agent Systems, Numero 35, 2021, ISSN 1573-7454
Editore:
Springer
DOI:
10.1007/s10458-021-09521-x
Autori:
Maureen Keegan, Victor A. Braberman, Nicolas D'Ippolito, Nir Piterman, Sebastian Uchitel
Pubblicato in:
IEEE Transactions on Software Engineering, 2019, Pagina/e 1-1, ISSN 0098-5589
Editore:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/tse.2020.3044532
Autori:
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Pubblicato in:
Information and Computation, Numero 268, 2019, Pagina/e 104457, ISSN 0890-5401
Editore:
Academic Press
DOI:
10.1016/j.ic.2019.104457
Autori:
Yehia Abd Alrahman, Hugo Torres Vieira
Pubblicato in:
Journal of Logical and Algebraic Methods in Programming, Numero 109, 2019, Pagina/e 100487, ISSN 2352-2208
Editore:
Elsevier
DOI:
10.1016/j.jlamp.2019.100487
È in corso la ricerca di dati su OpenAIRE...
Si è verificato un errore durante la ricerca dei dati su OpenAIRE
Nessun risultato disponibile