IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 144
Titolo Data di pubblicazione Autore(i) File
Encoding Timed Models as Uniform Labeled Transition Systems 1-gen-2013 Bernardo, Marco; Tesei, Luca
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes 1-gen-2013 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
Formal Methods for Model-Driven Engineering (SFM 2012) 1-gen-2012 Bernardo, Marco; Cortellessa, Vittorio; Pierantonio, Alfonso
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes 1-gen-2012 Bernardo, Marco
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 1-gen-2012 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes 1-gen-2011 Bernardo, Marco
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 1-gen-2011 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
Performability Measure Specification: Combining CSRL and MSL 1-gen-2011 Aldini, Alessandro; Bernardo, Marco; Sproston, Jeremy
Component-Oriented Verification of Noninterference 1-gen-2011 Aldini, Alessandro; Bernardo, Marco
TwoEagles: A Model Transformation Tool from Architectural Descriptions to Queueing Networks 1-gen-2011 Bernardo, Marco; Cortellessa, Vittorio; Flamminj, Mirko
Formal Methods for Eternal Networked Software Systems (SFM 2011) 1-gen-2011 Bernardo, Marco; Issarny, Valerie
European Performance Engineering Workshop (EPEW 2010) 1-gen-2010 Aldini, Alessandro; Bernardo, Marco; Bononi, Luciano; Cortellessa, Vittorio
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions 1-gen-2010 Bernardo, Marco
A Process Algebraic Approach to Software Architecture Design 1-gen-2010 Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio
Formal Methods for Quantitative Aspects of Programming Languages (SFM 2010) 1-gen-2010 Aldini, Alessandro; Bernardo, Marco; Di Pierro, Alessandra; Wiklicky, Herbert
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes 1-gen-2010 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
Handling Communications in Process Algebraic Architectural Description Languages: Modeling, Verification, and Implementation 1-gen-2010 Bernardo, Marco; Bontà, Edoardo; Aldini, Alessandro
Formal Methods for Web Services (SFM 2009) 1-gen-2009 Bernardo, Marco; Padovani, Luca; Zavattaro, Gianluigi
Markovian Testing Equivalence and Exponentially Timed Internal Actions 1-gen-2009 Bernardo, Marco
Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes 1-gen-2009 Bernardo, Marco
Mostrati risultati da 41 a 60 di 144
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