IRIS

Sfoglia per Serie  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 81 a 100 di 112
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
Support + Belief = Decision Trust 1-gen-2025 Aldini, Alessandro; Ciabattoni, Agata; Pichler, Dominik; Tagliaferri, Mirko
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 Readability Criterion for Humans and Machines 1-gen-2026 Quaresma, Pedro; Graziani, Pierluigi
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
Mostrati risultati da 81 a 100 di 112
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