Sfoglia per Serie
Preserving Architectural Properties in Multithreaded Code Generation
2005 Bernardo, Marco; Bontà, Edoardo
Reasoning About Ignorance and Beliefs
2021 Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko
Relating Reversible Petri Nets and Reversible Event Structures, Categorically
2023 Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele
Reverse Bisimilarity vs. Forward Bisimilarity
2023 Bernardo, Marco; Rossi, Sabina
Reversible Choreographies via Monitoring in Erlang
2018 Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio
Reversible Occurrence Nets and Causal Reversible Prime Event Structures
2020 Melgratti, Hernán; Mezzina, Claudio Antares; Phillips, Iain; Pinna, G. Michele; Ulidowski, Irek
The Reversible Temporal Process Language
2022 Bocchi, Laura; Lanese, Ivan; Mezzina, Claudio Antares; Yuen, Shoji
Reversing P/T Nets
2019 Melgratti, Hernán; Mezzina, Claudio Antares; Ulidowski, Irek
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
2012 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
Reward Based Congruences: Can We Aggregate More?
2001 Bernardo, Marco; Bravetti, Mario
Rollback Recovery in Session-Based Programming
2023 Mezzina, Claudio Antares; Tiezzi, Francesco; Yoshida, Nobuko
Security Analysis of a Probabilistic Non-repudiation Protocol
2002 Aldini, Alessandro; Gorrieri, R.
Should a Chatbot Disclose Itself? Implications for an Online Conversational Retailer
2021 DE CICCO, Roberta; e Silva, Susana Cristina Lima da Costa; Palumbo, Riccardo
Software and Reversible Systems: A Survey of Recent Activities
2020 Mezzina, Claudio Antares; Schlatte, Rudolf; Glück, Robert; Haulund, Tue; Hoey, James; Holm Cservenka, Martin; Lanese, Ivan; Mogensen, Torben Æ.; Siljak, Harun; Schultz, Ulrik P.; Ulidowski, Irek
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops. AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers
2023 Masci, Paolo; Bernardeschi, Cinzia; Graziani, Pierluigi; Koddenbrock, Mario; Palmieri, Maurizio
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
2024 Aldini, Alessandro
Software Engineering and Formal Methods. {SEFM} 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers
2022 Cerone, Antonio; Autili, Marco; Bucaioni, Alessio; Gomes, Cláudio; Graziani, Pierluigi; Palmieri, Maurizio; Temperini, Marco; Venture, Gentiane
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language
2002 Bernardo, Marco; Donatiello, Lorenzo; Ciancarini, Paolo
A Study About Trade-off Between Performance and Security in an Internet Audio Mechanism
2003 Aldini, Alessandro; R., Gorrieri
A Survey of Markovian Behavioral Equivalences
2007 Bernardo, Marco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Preserving Architectural Properties in Multithreaded Code Generation | 1-gen-2005 | Bernardo, Marco; Bontà, Edoardo | |
Reasoning About Ignorance and Beliefs | 1-gen-2021 | Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko | |
Relating Reversible Petri Nets and Reversible Event Structures, Categorically | 1-gen-2023 | Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele | |
Reverse Bisimilarity vs. Forward Bisimilarity | 1-gen-2023 | Bernardo, Marco; Rossi, Sabina | |
Reversible Choreographies via Monitoring in Erlang | 1-gen-2018 | Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio | |
Reversible Occurrence Nets and Causal Reversible Prime Event Structures | 1-gen-2020 | Melgratti, Hernán; Mezzina, Claudio Antares; Phillips, Iain; Pinna, G. Michele; Ulidowski, Irek | |
The Reversible Temporal Process Language | 1-gen-2022 | Bocchi, Laura; Lanese, Ivan; Mezzina, Claudio Antares; Yuen, Shoji | |
Reversing P/T Nets | 1-gen-2019 | Melgratti, Hernán; Mezzina, Claudio Antares; Ulidowski, Irek | |
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes | 1-gen-2012 | Bernardo, Marco; De Nicola, Rocco; Loreti, Michele | |
Reward Based Congruences: Can We Aggregate More? | 1-gen-2001 | Bernardo, Marco; Bravetti, Mario | |
Rollback Recovery in Session-Based Programming | 1-gen-2023 | Mezzina, Claudio Antares; Tiezzi, Francesco; Yoshida, Nobuko | |
Security Analysis of a Probabilistic Non-repudiation Protocol | 1-gen-2002 | Aldini, Alessandro; Gorrieri, R. | |
Should a Chatbot Disclose Itself? Implications for an Online Conversational Retailer | 1-gen-2021 | DE CICCO, Roberta; e Silva, Susana Cristina Lima da Costa; Palumbo, Riccardo | |
Software and Reversible Systems: A Survey of Recent Activities | 1-gen-2020 | Mezzina, Claudio Antares; Schlatte, Rudolf; Glück, Robert; Haulund, Tue; Hoey, James; Holm Cservenka, Martin; Lanese, Ivan; Mogensen, Torben Æ.; Siljak, Harun; Schultz, Ulrik P.; Ulidowski, Irek | |
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops. AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers | 1-gen-2023 | Masci, Paolo; Bernardeschi, Cinzia; Graziani, Pierluigi; Koddenbrock, Mario; Palmieri, Maurizio | |
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops | 1-gen-2024 | Aldini, Alessandro | |
Software Engineering and Formal Methods. {SEFM} 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers | 1-gen-2022 | Cerone, Antonio; Autili, Marco; Bucaioni, Alessio; Gomes, Cláudio; Graziani, Pierluigi; Palmieri, Maurizio; Temperini, Marco; Venture, Gentiane | |
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language | 1-gen-2002 | Bernardo, Marco; Donatiello, Lorenzo; Ciancarini, Paolo | |
A Study About Trade-off Between Performance and Security in an Internet Audio Mechanism | 1-gen-2003 | Aldini, Alessandro; R., Gorrieri | |
A Survey of Markovian Behavioral Equivalences | 1-gen-2007 | Bernardo, Marco |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile