Marco Bernardo -  《Computer performance engineering: 16th European workshop on performance engineering (EPEW), November 28–29, 2019, Milan, Italy》 -  European workshop on performance engineering - 2020, - 16～32 - 共17页

摘要：We study the impact that different ways of resolving nondeterminism within probabilistic automata have on the properties of probabilistic behavioral equivalences. Firstly, we provide a uniform definit...

关键词： Probabilistic automata |  Schedulers |  Equivalences

Elsa Fonseca |  Paulo Fiadeiro... -  《2019 Eleventh International Conference on Quality of Multimedia Experience: 11th International Conference on Quality of Multimedia Experience (QoMEX), 5-7 June 2019, Berlin, Germany》 -  International Conference on Quality of Multimedia Experience - 2019, - 1～6 - 共6页

摘要：The perceived image quality of a digital hologram of macroscopic objects is affected by its reduced depth of focus and by speckle noise due to coherent illumination. Several filtering techniques have ...

关键词： digital holography |  speckle noise |  perceived quality |  MOS |  filtering

NSTL主题词： noise reduction technique |  speckle noise |  Phase shift |  Holograms

Marco Bernardo |  Rocco De Nicola... -  《Trustworthy global computing》 -  International Symposium on Trustworthy Global Computing - 2014, - 315～330 - 共16页

摘要：We provide two interpretations, over nondeterministic and probabilistic processes, of PML, the probabilistic version of Hennessy-Milner logic used by Larsen and Skou to characterize bisimilarity of pr...

关键词： PML |  Group-by-Group |  Characterizations

NSTL主题词： logical |  Probability

Marco Bernardo |  Rocco De Nicola... -  《Theoretical computer science》 - 2014,546 - 63～92 - 共30页 - 被引量：8

摘要：We present a comparison of behavioral equivalences for nondeterministic and probabilistic processes whose activities are all observable. In particular, we consider trace-based, testing, and bisimulati...

关键词： Bisimulation equivalence |  Testing equivalence |  Failure equivalence |  Trace equivalence |  Nondeterminism |  Probability

Marco Bernardo -  《The journal of logic and algebraic programming》 - 2007,72(1) - 3～49 - 共47页

摘要：The behavioral equivalence that is typically used to relate Markovian process terms and to reduce their underlying state spaces is Markovian bisimilarity. One of the reasons is that Markovian bisimila...

关键词： process algebra |  markov chains |  behavioral equivalences |  bisimulation semantics |  testing semantics |  trace semantics

Alessandro Aldini |  Marco Bernardo -  《Reliability engineering & system safety》 - 2007,92(11) - 1503～1520 - 共18页

摘要：Concurrent and distributed systems are subject to several requirements of different nature. Among them security and quality of service (QoS) are two fundamental aspects, which can have a profound impa...

关键词： QoS |  security |  noninterference |  formal methods |  process algebra |  tools |  case studies

Marco Bernardo |  Mario Bravetti -  《Theoretical computer science》 - 2003,290(1) - 117～160 - 共44页

摘要：The modeling and analysis experience with process algebras has shown the necessity of extending them with priority, probabilistic internal/external choice, and time while preserving compositionality. ...

关键词： Process algebras |  Performance evaluation |  Markov chains |  Rewards |  Mutual exclusion algorithms

Alessandro Aldini |  Marco Bernardo -  《The 12th International Formal Methods Europe Symposium (FME 2003)》 -  The 12th International Formal Methods Europe Symposium (FME 2003) - 2003, - 658～677 - 共20页

摘要：When building complex software systems, the designer is faced with the problem of detecting mismatches arising from the activity of assembling components. The adoption of formal methods becomes unavoi...

关键词： software architecture |  deadlock |  process algebra

MARCO ROCCETTI |  ALESSANDRO ALDINI... -  《Systems analysis, modelling, simulation》 - 2003,43(12) - 1747～1759 - 共13页

摘要：This article reports on our experience in using the EMPA_(gr)/TwoTowers technology, we have developed in the past six years, in order to provide support to the design of new protocols for audio commun...

关键词： IP telephony |  quality of service |  formal specification languages |  simulation software tools |  performance evaluation and modeling

Alessandro Aldini |  Roberto Gorrieri... -  《ACM Transactions on Modeling and Computer Simulation: A Publication of the Association for Computing Machinery》 - 2001,11(1) - 1～42 - 共42页

摘要：We compute and compare the quality of service (QoS) of three soft real-time applications for audio transmission over the Internet. The main metric we want to capture is the average packet audio playou...

关键词： case studies |  discrete event simulation |  Internet audio mechanisms |  quality of service |  software tools |  stochastic process algebras