MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Marco Bernardo" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

43 documents found, showing 1 through 10. Next 10 →

ATOM

Markovian testing and trace equivalences exactly lump more than Markovian bisimilarity
by Marco Bernardo — 2005 — International Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond (APC 25), Electronic Notes in Theoretical Computer Science
… Abstract Marco Bernardo Università di Urbino “Carlo Bo” Istituto di Scienze e Tecnologie dell…
Cited by 3 (2 self) – Add To MetaCart

A Methodology based on EMPA for Modeling and Simulating Concurrent Systems
by Marco Bernardo — 1996 — in Proc. of the Annual Conf. of the Italian Society for Computer Simulation (ISCS '96
…A Methodology based on EMPA for Modeling and Simulating Concurrent Systems Marco Bernardo…
Cited by 2 (2 self) – Add To MetaCart

Enriching EMPA with Value Passing: A Symbolic Approach based on Lookahead
by Marco Bernardo — in [PAPM97
…Enriching EMPA with Value Passing: A Symbolic Approach based on Lookahead Marco Bernardo…
Cited by 1 (1 self) – Add To MetaCart

An Algebra-Based Method to Associate Rewards with EMPA Terms
by Marco Bernardo — 1997 — in Proc. of the 24th Int. Coll. on Automata, Languages and Programming (ICALP '97), LNCS
…An Algebra-Based Method to Associate Rewards with EMPA Terms Marco Bernardo Universit`a di Bologna…
Cited by 19 (9 self) – Add To MetaCart

Heterogeneous Queueing Networks with Blocking: An Architectural Approach based on SPA
by Simonetta Balsamo, Marco Bernardo
… Balsamo 1 Marco Bernardo 2 1 Dipartimento di Informatica Università ”Ca’ Foscari” di Venezia - Italy 2…
Add To MetaCart

Abstract A Formal Approach to the Integrated Analysis of Security and QoS
by Ro Aldini, Marco Bernardo
… ∗ , Marco Bernardo Università di Urbino “Carlo Bo” Istituto di Scienze e Tecnologie dell’Informazione Piazza…
Add To MetaCart

A Theory of Testing for Markovian Processes
by Marco Bernardo, Rance Cleaveland — 2000 — in Proc. of the 11th Int. Conf. on Concurrency Theory (CONCUR 2000), LNCS 1877:305-319, State College (PA
…A Theory of Testing for Markovian Processes Marco Bernardo 1 and Rance Cleaveland 2 1…
Cited by 10 (4 self) – Add To MetaCart

Modal Logic Characterization of Markovian Testing and Trace Equivalences
by Marco Bernardo, Stefania Botta — 2006 — in Proc. of the 1st Int. Workshop on Logic, Models and Computer Science (LMCS 2006), ENTCS
…LMCS 2006 Modal Logic Characterization of Markovian Testing and Trace Equivalences Abstract Marco…
Cited by 1 (1 self) – Add To MetaCart

Component-Oriented Specification of Performance Measures
by Alessandro Aldini, Marco Bernardo — 2006 — in Proc. of the 4th Int. Workshop on Quantitative Aspects of Programming Languages (QAPL 2006), ENTCS
…Abstract Component-Oriented Specification of Performance Measures Alessandro Aldini 1 Marco…
Cited by 1 (1 self) – Add To MetaCart

Reward Based Congruences: Can We Aggregate More?
by Marco Bernardo, Mario Bravetti — 2001 — In In Proc. of PAPM-ProbMIV 2001, Aachen (Germany), volume 2165 of LNCS
…Reward Based Congruences: Can We Aggregate More? Marco Bernardo 1 and Mario Bravetti 2 1…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB