Resultado final
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.
Publicaciones
Autores:
Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk
Publicado en:
CAV 2021: International Conference on Computer Aided Verification, 2021
Editor:
Springer
DOI:
10.1007/978-3-030-81685-8_36
Autores:
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Publicado en:
ISOLA 2022: International Symposium on Leveraging Applications of Formal Methods, 2022
Editor:
Springer
DOI:
10.1007/978-3-031-19849-6_22
Autores:
Claudia Cauli, Magdalena Ortiz, Nir Piterman
Publicado en:
IJCAR 2022: International Joint Conference on Automated Reasoning, 2022
Editor:
Springer
DOI:
10.1007/978-3-031-10769-6_17
Autores:
Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider
Publicado en:
RV 2021: International Conference on Runtime Verification, 2021
Editor:
Springer
DOI:
10.1007/978-3-030-88494-9_5
Autores:
Yehia Abd Alrahman,Giuseppe Perelli, Nir Piterman
Publicado en:
AAMAS '20: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent, 2020
Editor:
ACM
DOI:
10.5555/3398761.3398768
Autores:
Giuseppe Perelli
Publicado en:
AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
Editor:
ACM
DOI:
10.5555/3306127.3331692
Autores:
Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder
Publicado en:
CONCUR 2021: 32nd International Conference on Concurrency Theory, 2021
Editor:
LIPIcs
DOI:
10.4230/lipics.concur.2021.4
Autores:
Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider
Publicado en:
RV 2022: International Conference on Runtime Verification, 2022
Editor:
Springer
DOI:
10.1007/978-3-031-17196-3_12
Autores:
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
Publicado en:
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Página(s) 329-335, ISBN 978-0-9992411-4-1
Editor:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2019/47
Autores:
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
Publicado en:
Leibniz International Proceedings in Informatics (LIPIcs), Edición 30th International Conference on Concurrency Theory (CONCUR 2019), 2019
Editor:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.concur.2019.22
Autores:
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
Publicado en:
ISOLA 2022: International Symposium on Leveraging Applications of Formal Methods, 2022
Editor:
Springer
DOI:
10.1007/978-3-031-19759-8_23
Autores:
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Publicado en:
ATVA 2021: International Symposium on Automated Technology for Verification and Analysis, 2021
Editor:
Springer
DOI:
10.1007/978-3-030-88885-5_22
Autores:
Daniel Hausmann, Stefan Milius, Lutz Schröder
Publicado en:
MFCS 2021: 46th International Symposium on Mathematical Foundations of Computer Science, 2021
Editor:
LIPIcs
DOI:
10.4230/lipics.mfcs.2021.58
Autores:
Yehia Abd Alrahman; Shaun Azzopardi; Nir Piterman
Publicado en:
AAMAS 2022: 20th International Conference on Autonomous Agents and Multiagent Systems, 2022
Editor:
ACM
DOI:
10.5555/3535850.3536020
Autores:
Krishnendu Chatterjee, Nir Piterman
Publicado en:
Leibniz International Proceedings in Informatics, Edición 30th International Conference on Concurrency Theory (CONCUR 2019), 2019
Editor:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.concur.2019.6
Autores:
Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace
Publicado en:
RV 2022: International Conference on Runtime Verification, 2022
Editor:
Springer
DOI:
10.1007/978-3-031-17196-3_8
Autores:
Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace
Publicado en:
RV 2022: International Conference on Runtime Verification, 2022
Editor:
Springer
DOI:
10.1007/978-3-031-17196-3_13
Autores:
Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Publicado en:
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Página(s) 1588-1594, ISBN 978-0-9992411-4-1
Editor:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2019/220
Autores:
Yehia Abd Alrahman; Victor Braberman; Nicolas D'Ippolito; Nir Piterman; Sebastian Uchitel
Publicado en:
2021 American Control Conference (ACC), Edición 3, 2021
Editor:
IEEE
DOI:
10.23919/acc50511.2021.9482704
Autores:
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Publicado en:
ISoLA 2022: International Symposium on Leveraging Applications of Formal Methods, 2022
Editor:
Springer
DOI:
10.1007/978-3-031-19759-8_6
Autores:
Yehia Abd Alrahman, Mauricio Martel, Nir Piterman
Publicado en:
ICTAC 2022: International Colloquium on Theoretical Aspects of Computing, 2022
Editor:
Springer
DOI:
10.1007/978-3-031-17715-6_5
Autores:
Claudia Cauli, Magdalena Ortiz, Nir Piterman
Publicado en:
KR 2021: 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Editor:
IJCAI Organization
DOI:
10.24963/kr.2021/17
Autores:
Lehaut, Mathieu; Piterman, Nir
Publicado en:
ArXiV, Edición 19, 2023
Editor:
Cornell University
DOI:
10.48550/arxiv.2305.01425
Autores:
Yehia Abd Alrahman, Victor Braberman, Nicolas D'Ippolito, Nir Piterman, Sebastian Uchitel
Publicado en:
2020
Editor:
Cornell University
Autores:
Yehia Abd Alrahman; Nir Piterman
Publicado en:
ArXiV, Edición 2, 2021
Editor:
Cornell University
DOI:
10.48550/arxiv.2104.10998
Autores:
Urbat, Henning; Hausmann, Daniel; Milius, Stefan; Schröder, Lutz
Publicado en:
ArXiV, Edición 3, 2021
Editor:
Cornell University
DOI:
10.48550/arxiv.2107.03213
Autores:
Majumdar, Rupak; Piterman, Nir; Schmuck, Anne-Kathrin
Publicado en:
ArXiV, Edición 1, 2019
Editor:
Cornell University
Autores:
Alrahman, Yehia Abd; Vieira, Hugo Torres
Publicado en:
ArXiV, Edición 2, 2018
Editor:
Cornell University
Autores:
Daniel Hausmann, Nir Piterman
Publicado en:
ArXiV, 2022
Editor:
Cornell University
DOI:
10.48550/arxiv.2207.00517
Autores:
Yehia Abd Alrahman,; Perelli, Giuseppe; Nir, Piterman
Publicado en:
ArXiV, Edición 1, 2019
Editor:
Cornell University
Autores:
Azzopardi, Shaun; Piterman, Nir; Schneider, Gerardo
Publicado en:
ArXiV, Edición 2, 2021
Editor:
Cornell University
DOI:
10.48550/arxiv.2107.00929
Autores:
Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira
Publicado en:
Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
Editor:
Springer
DOI:
10.1007/978-3-030-21485-2_10
Autores:
Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck
Publicado en:
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, Edición 11428, 2019, Página(s) 229-246, ISBN 978-3-030-17464-4
Editor:
Springer International Publishing
DOI:
10.1007/978-3-030-17465-1_13
Autores:
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michal Wooldridge
Publicado en:
Logical Methods in Computer Science, Edición 15, 2019, ISSN 1860-5974
Editor:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-15(3:32)2019
Autores:
Yehia Abd Alrahman, Giulio Garbi
Publicado en:
International Journal on Software Tools for Technology Transfer, Edición 22/4, 2020, Página(s) 477-496, ISSN 1433-2779
Editor:
Springer Verlag
DOI:
10.1007/s10009-020-00553-4
Autores:
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Publicado en:
Science of Computer Programming, Edición 192, 2020, Página(s) 102428, ISSN 0167-6423
Editor:
Elsevier BV
DOI:
10.1016/j.scico.2020.102428
Autores:
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Publicado en:
Science of Computer Programming, Edición 01676423, 2022, ISSN 0167-6423
Editor:
Elsevier BV
DOI:
10.1016/j.scico.2022.102863
Autores:
Yehia Abd Alrahman, Nir Piterman
Publicado en:
Journal of Autonomous Agents and Multi-agent Systems, Edición 35, 2021, ISSN 1573-7454
Editor:
Springer
DOI:
10.1007/s10458-021-09521-x
Autores:
Maureen Keegan, Victor A. Braberman, Nicolas D'Ippolito, Nir Piterman, Sebastian Uchitel
Publicado en:
IEEE Transactions on Software Engineering, 2019, Página(s) 1-1, ISSN 0098-5589
Editor:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/tse.2020.3044532
Autores:
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Publicado en:
Information and Computation, Edición 268, 2019, Página(s) 104457, ISSN 0890-5401
Editor:
Academic Press
DOI:
10.1016/j.ic.2019.104457
Autores:
Yehia Abd Alrahman, Hugo Torres Vieira
Publicado en:
Journal of Logical and Algebraic Methods in Programming, Edición 109, 2019, Página(s) 100487, ISSN 2352-2208
Editor:
Elsevier
DOI:
10.1016/j.jlamp.2019.100487
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles