Sfoglia per Serie
Reasoning About Ignorance and Beliefs
2021-01-01 Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko
Reversible Choreographies via Monitoring in Erlang
2018-01-01 Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio
Reversible Occurrence Nets and Causal Reversible Prime Event Structures
2020-01-01 Melgratti, Hernán; Mezzina, Claudio Antares; Phillips, Iain; Pinna, G. Michele; Ulidowski, Irek
The Reversible Temporal Process Language
2022-01-01 Bocchi, Laura; Lanese, Ivan; Mezzina, Claudio Antares; Yuen, Shoji
Reversing P/T Nets
2019-01-01 Melgratti, Hernán; Mezzina, Claudio Antares; Ulidowski, Irek
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
2012-01-01 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
Reward Based Congruences: Can We Aggregate More?
2001-01-01 Bernardo, Marco; Bravetti, Mario
Security Analysis of a Probabilistic Non-repudiation Protocol
2002-01-01 Aldini, Alessandro; Gorrieri, R.
Software and Reversible Systems: A Survey of Recent Activities
2020-01-01 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} 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers
2022-01-01 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-01-01 Bernardo, Marco; Donatiello, Lorenzo; Ciancarini, Paolo
A Study About Trade-off Between Performance and Security in an Internet Audio Mechanism
2003-01-01 Aldini, Alessandro; R., Gorrieri
A Survey of Markovian Behavioral Equivalences
2007-01-01 Bernardo, Marco
Synthesizing Concurrency Control Components from Process Algebraic Specifications
2006-01-01 Bontà, Edoardo; Bernardo, Marco; Magee, Jeff; Kramer, Jeff
Testing for Coordination Fidelity
2019-01-01 Alrahman, Yehia Abd; Mezzina, Claudio Antares; Vieira, Hugo Torres
A Theory of Testing for Markovian Processes
2000-01-01 Bernardo, Marco; Cleaveland, Rance
Towards a Formal Account for Software Transactional Memory
2020-01-01 Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko
Towards a Formal Treatment of Secrecy against Computational Adversaries
2005-01-01 Troina, A; Aldini, Alessandro; Gorrieri, R.
Towards a Truly Concurrent Semantics for Reversible CCS
2021-01-01 Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele
Towards Bridging Time and Causal Reversibility
2020-01-01 Bernardo, Marco; Mezzina, Claudio Antares
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Reasoning About Ignorance and Beliefs | 1-gen-2021 | Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko | |
| 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 | |
| Security Analysis of a Probabilistic Non-repudiation Protocol | 1-gen-2002 | Aldini, Alessandro; Gorrieri, R. | |
| 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} 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 | |
| Synthesizing Concurrency Control Components from Process Algebraic Specifications | 1-gen-2006 | Bontà, Edoardo; Bernardo, Marco; Magee, Jeff; Kramer, Jeff | |
| Testing for Coordination Fidelity | 1-gen-2019 | Alrahman, Yehia Abd; Mezzina, Claudio Antares; Vieira, Hugo Torres | |
| A Theory of Testing for Markovian Processes | 1-gen-2000 | Bernardo, Marco; Cleaveland, Rance | |
| Towards a Formal Account for Software Transactional Memory | 1-gen-2020 | Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko | |
| Towards a Formal Treatment of Secrecy against Computational Adversaries | 1-gen-2005 | Troina, A; Aldini, Alessandro; Gorrieri, R. | |
| Towards a Truly Concurrent Semantics for Reversible CCS | 1-gen-2021 | Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele | |
| Towards Bridging Time and Causal Reversibility | 1-gen-2020 | Bernardo, Marco; Mezzina, Claudio Antares |
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