Sfoglia per Autore
Italian Conference on Theoretical Computer Science (ICTCS 2018)
2018 Aldini, Alessandro; Bernardo, Marco
ULTraS at Work: Compositionality Metaresults for Bisimulation and Trace Semantics
2018 Bernardo, Marco
ChaRLeS: An Open-Source Chat Room Learning System
2017 Bontà, Edoardo; Torrisi, Giovanni; Bernardo, Marco
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems
2016 Bernardo, Marco; Miculan, Marino
Timed Process Calculi with Deterministic or Stochastic Delays: Commuting between Durational and Durationless Actions
2016 Bernardo, Marco; Corradini, Flavio; Tesei, Luca
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems (SFM 2016)
2016 Bernardo, Marco; De Nicola, Rocco; Hillston, Jane
On the Tradeoff between Compositionality and Exactness in Weak Bisimilarity for Integrated-Time Markovian Process Calculi
2015 Bernardo, Marco
Special Issue on Open Problems in Concurrency Theory
2015 Bernardo, Marco; Gebler, Daniel; Loreti, Michele
Expected-Delay-Summing Weak Bisimilarity for Markov Automata
2015 Aldini, Alessandro; Bernardo, Marco
Revisiting Bisimilarity and its Modal Logic for Nondeterministic and Probabilistic Processes
2015 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
Formal Methods for Multicore Programming (SFM 2015)
2015 Bernardo, Marco; Johnsen, Einar Broch
Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities
2014 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
Formal Methods for Executable Software Models (SFM 2014)
2014 Bernardo, Marco; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina
On the Discriminating Power of Passivation and Higher-Order Interaction
2014 Bernardo, Marco; Sangiorgi, Davide; Vignudelli, Valeria
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
2014 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems
2014 Bernardo, Marco; Sangiorgi, Davide; Vignudelli, Valeria
Timed Process Calculi: From Durationless Actions to Durational Ones
2014 Bernardo, Marco; Corradini, Flavio; Tesei, Luca
Formal Methods for Dynamical Systems (SFM 2013)
2013 Bernardo, Marco; de Vink, Erik; Di Pierro, Alessandra; Wiklicky, Herbert
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations
2013 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
Encoding Timed Models as Uniform Labeled Transition Systems
2013 Bernardo, Marco; Tesei, Luca
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