Sfoglia per Serie
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
Synthesizing Concurrency Control Components from Process Algebraic Specifications
2006 Bontà, Edoardo; Bernardo, Marco; Magee, Jeff; Kramer, Jeff
Testing for Coordination Fidelity
2019 Alrahman, Yehia Abd; Mezzina, Claudio Antares; Vieira, Hugo Torres
A Theory of Testing for Markovian Processes
2000 Bernardo, Marco; Cleaveland, Rance
Towards a Formal Account for Software Transactional Memory
2020 Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko
Towards a Formal Treatment of Secrecy against Computational Adversaries
2005 Troina, A; Aldini, Alessandro; Gorrieri, R.
Towards a Truly Concurrent Semantics for Reversible CCS
2021 Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele
Towards a Taxonomy for Reversible Computation Approaches
2023 Glück, Robert; Lanese, Ivan; Mezzina, Claudio Antares; Miszczak, Jarosław Adam; Phillips, Iain; Ulidowski, Irek; Vidal, Germán
Towards Bridging Time and Causal Reversibility
2020 Bernardo, Marco; Mezzina, Claudio Antares
Towards Choreographic-Based Monitoring
2020 Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio
Towards General Axiomatizations for Bisimilarity and Trace Semantics
2021 Bernardo, Marco
Towards Performance Evaluation with General Distributions in Process Algebras
1998 Bravetti, Mario; Bernardo, Marco; Gorrieri, Roberto
Towards State Space Reduction Based on T-Lumpability-Consistent Relations
2008 Bernardo, Marco
Trust Evidence Logic
2021 Aldini, Alessandro; Curzi, Gianluca; Graziani, Pierluigi; Tagliaferri, Mirko
A Trust Logic for the Varieties of Trust
2020 Tagliaferri, Mirko; Aldini, Alessandro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
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 a Taxonomy for Reversible Computation Approaches | 1-gen-2023 | Glück, Robert; Lanese, Ivan; Mezzina, Claudio Antares; Miszczak, Jarosław Adam; Phillips, Iain; Ulidowski, Irek; Vidal, Germán | |
Towards Bridging Time and Causal Reversibility | 1-gen-2020 | Bernardo, Marco; Mezzina, Claudio Antares | |
Towards Choreographic-Based Monitoring | 1-gen-2020 | Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio | |
Towards General Axiomatizations for Bisimilarity and Trace Semantics | 1-gen-2021 | Bernardo, Marco | |
Towards Performance Evaluation with General Distributions in Process Algebras | 1-gen-1998 | Bravetti, Mario; Bernardo, Marco; Gorrieri, Roberto | |
Towards State Space Reduction Based on T-Lumpability-Consistent Relations | 1-gen-2008 | Bernardo, Marco | |
Trust Evidence Logic | 1-gen-2021 | Aldini, Alessandro; Curzi, Gianluca; Graziani, Pierluigi; Tagliaferri, Mirko | |
A Trust Logic for the Varieties of Trust | 1-gen-2020 | Tagliaferri, Mirko; Aldini, Alessandro |
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