MEDIC, Doriana
MEDIC, Doriana
INFORMATICA
A Fault Tolerance Mechanism for Hybrid Scientific Workflows
2025-01-01 Alberto Mulone, Doriana Medic, Marco Aldinucci
A formal framework for fault tolerance in hybrid scientific workflows
2025-01-01 Alberto Mulone, Doriana Medic, Iacopo Colonnelli, Marco Aldinucci
A General Approach to Derive Uncontrolled Reversible Semantics
2020-01-01 Ivan Lanese; Doriana Medic
A Parametric Framework for Reversible pi-Calculi
2018-01-01 Medic, D; Mezzina, CA; Phillips, L; Yoshida, N
A parametric framework for reversible π-calculi
2020-01-01 Doriana Medic; Claudio Antares Mezzina; Iain Phillips; Nobuko Yoshida
A Systematic Mapping Study of Italian Research on Workflows
2023-01-01 Aldinucci M.; Baralis E.M.; Cardellini V.; Colonnelli I.; Danelutto M.; Decherchi S.; Di Modica G.; Ferrucci L.; Gribaudo M.; Iannone F.; Lapegna M.; Medic D.; Muscianisi G.; Righetti F.; Sciacca E.; Tonellotto N.; Tortonesi M.; Trunfio P.; Vardanega T.
Dynamic transparent streaming in file-based workflows with CAPIO
2025-01-01 Santimaria M.E.; Colonnelli I.; Cantalupo B.; Torquati M.; Medic D.; Tuccari N.; Sciacca E.; Aldinucci M.
EuroHPC SPACE CoE: Redesigning Scalable Parallel Astrophysical Codes for Exascale. Invited Paper
2025-01-01 Shukla N.; Romeo A.; Caravita C.; Riha L.; Vysocky O.; Strakos P.; Jaros M.; Barbosa J.; Vavrik R.; Mignone A.; Rossazza M.; Truzzi S.; Berta V.; Colonnelli I.; Medic D.; Boella E.; Gregori D.; Sciacca E.; Tornatore L.; Taffoni G.; Deka P.J.; Bacchini F.; Wilhelm R.-P.; Doulis G.; Pierre K.; Rezzolla L.; Colman T.; Commercon B.; Bouizi O.; Kuhn M.; Raffin E.; Sergent M.; Wissing R.; Marin G.; Dolag K.; Karademir G.S.; Perna G.; Zanotti M.; Trujillo-Gomez S.
Experimenting with Emerging RISC-V Systems for Decentralised Machine Learning
2023-01-01 Gianluca Mittone , Nicolò Tonci , Robert Birke , Iacopo Colonnelli , Doriana Medic , Andrea Bartolini , Roberto Esposito , Emanuele Parisi , Francesco Beneventi , Mirko Polato , Massimo Torquati , Luca Benini , Marco Aldinucci
Explicit Identifiers and Contexts in Reversible Concurrent Calculus
2021-01-01 Aubert C.; Medic D.
Federated Learning meets HPC and cloud
2023-01-01 Iacopo Colonnelli, Bruno Casella, Gianluca Mittone, Yasir Arfat, Barbara Cantalupo, Roberto Esposito, Alberto Riccardo Martinelli, Doriana Medic, Marco Aldinucci
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows
2024-01-01 Iacopo Colonnelli , Doriana Medić, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci
Overcoming Dynamic I/O Boundaries: a Double-Sided Streaming Methodology with dispel4py and CAPIO
2025-01-01 Santimaria M.E.; Filgueira R.; Medic D.; Colonnelli I.; Aldinucci M.
Static versus dynamic reversibility in CCS
2021-01-01 Ivan Lanese; Doriana Medic; Claudio Antares Mezzina
Static VS dynamic reversibility in CCS
2016-01-01 Medic D.; Mezzina C.A.
The Cloud-HPC infrastructure for Hazard Mapping and vulnerability Monitoring (HaMMon)
2025-01-01 Mauro Imbrosciano; Eva Sciacca; Fabio Vitello; Leonardo Pelonero; Francesco Franchina; Ugo Becciani; Iacopo Colonnelli; Doriana Medić
Towards a Formal Account for Software Transactional Memory
2020-01-01 Medic D.; Mezzina C.A.; Phillips I.; Yoshida N.
Towards formal model for location aware workflows
2023-01-01 Doriana Medic; Marco Aldinucci
Towards parametric causal semantics in φ-calculus ?
2017-01-01 Medic D.; Mezzina C.A.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Fault Tolerance Mechanism for Hybrid Scientific Workflows | 2025 | Alberto Mulone, Doriana Medic, Marco Aldinucci | |
| A formal framework for fault tolerance in hybrid scientific workflows | 2025 | Alberto Mulone, Doriana Medic, Iacopo Colonnelli, Marco Aldinucci | |
| A General Approach to Derive Uncontrolled Reversible Semantics | 2020 | Ivan Lanese; Doriana Medic | |
| A Parametric Framework for Reversible pi-Calculi | 2018 | Medic, D; Mezzina, CA; Phillips, L; Yoshida, N | |
| A parametric framework for reversible π-calculi | 2020 | Doriana Medic; Claudio Antares Mezzina; Iain Phillips; Nobuko Yoshida | |
| A Systematic Mapping Study of Italian Research on Workflows | 2023 | Aldinucci M.; Baralis E.M.; Cardellini V.; Colonnelli I.; Danelutto M.; Decherchi S.; Di Modica G.; Ferrucci L.; Gribaudo M.; Iannone F.; Lapegna M.; Medic D.; Muscianisi G.; Righetti F.; Sciacca E.; Tonellotto N.; Tortonesi M.; Trunfio P.; Vardanega T. | |
| Dynamic transparent streaming in file-based workflows with CAPIO | 2025 | Santimaria M.E.; Colonnelli I.; Cantalupo B.; Torquati M.; Medic D.; Tuccari N.; Sciacca E.; Aldinucci M. | |
| EuroHPC SPACE CoE: Redesigning Scalable Parallel Astrophysical Codes for Exascale. Invited Paper | 2025 | Shukla N.; Romeo A.; Caravita C.; Riha L.; Vysocky O.; Strakos P.; Jaros M.; Barbosa J.; Vavrik R.; Mignone A.; Rossazza M.; Truzzi S.; Berta V.; Colonnelli I.; Medic D.; Boella E.; Gregori D.; Sciacca E.; Tornatore L.; Taffoni G.; Deka P.J.; Bacchini F.; Wilhelm R.-P.; Doulis G.; Pierre K.; Rezzolla L.; Colman T.; Commercon B.; Bouizi O.; Kuhn M.; Raffin E.; Sergent M.; Wissing R.; Marin G.; Dolag K.; Karademir G.S.; Perna G.; Zanotti M.; Trujillo-Gomez S. | |
| Experimenting with Emerging RISC-V Systems for Decentralised Machine Learning | 2023 | Gianluca Mittone , Nicolò Tonci , Robert Birke , Iacopo Colonnelli , Doriana Medic , Andrea Bartolini , Roberto Esposito , Emanuele Parisi , Francesco Beneventi , Mirko Polato , Massimo Torquati , Luca Benini , Marco Aldinucci | |
| Explicit Identifiers and Contexts in Reversible Concurrent Calculus | 2021 | Aubert C.; Medic D. | |
| Federated Learning meets HPC and cloud | 2023 | Iacopo Colonnelli, Bruno Casella, Gianluca Mittone, Yasir Arfat, Barbara Cantalupo, Roberto Esposito, Alberto Riccardo Martinelli, Doriana Medic, Marco Aldinucci | |
| Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows | 2024 | Iacopo Colonnelli , Doriana Medić, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci | |
| Overcoming Dynamic I/O Boundaries: a Double-Sided Streaming Methodology with dispel4py and CAPIO | 2025 | Santimaria M.E.; Filgueira R.; Medic D.; Colonnelli I.; Aldinucci M. | |
| Static versus dynamic reversibility in CCS | 2021 | Ivan Lanese; Doriana Medic; Claudio Antares Mezzina | |
| Static VS dynamic reversibility in CCS | 2016 | Medic D.; Mezzina C.A. | |
| The Cloud-HPC infrastructure for Hazard Mapping and vulnerability Monitoring (HaMMon) | 2025 | Mauro Imbrosciano; Eva Sciacca; Fabio Vitello; Leonardo Pelonero; Francesco Franchina; Ugo Becciani; Iacopo Colonnelli; Doriana Medić | |
| Towards a Formal Account for Software Transactional Memory | 2020 | Medic D.; Mezzina C.A.; Phillips I.; Yoshida N. | |
| Towards formal model for location aware workflows | 2023 | Doriana Medic; Marco Aldinucci | |
| Towards parametric causal semantics in φ-calculus ? | 2017 | Medic D.; Mezzina C.A. |