The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marco Bernardo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mario Bravetti, Marco Bernardo, Roberto Gorrieri
    Towards Performance Evaluation with General Distributions in Process Algebras. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:405-422 [Conf]
  2. Marco Bernardo, Rance Cleaveland
    A Theory of Testing for Markovian Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:305-319 [Conf]
  3. Marco Bernardo, Roberto Gorrieri
    Extended Markovian Process Algebra. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:315-330 [Conf]
  4. Marco Bernardo, Edoardo Bontà
    Preserving Architectural Properties in Multithreaded Code Generation. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2005, pp:188-203 [Conf]
  5. Marco Bernardo, Francesco Franzè
    Exogenous and Endogenous Extensions of Architectural Types. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2002, pp:40-55 [Conf]
  6. Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer
    Synthesizing Concurrency Control Components from Process Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2006, pp:28-43 [Conf]
  7. Marco Bernardo
    Implementing Symbolic Models for Value Passing in TwoTowers. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation / TOOLS, 2000, pp:370-373 [Conf]
  8. Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi
    Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances. [Citation Graph (0, 0)][DBLP]
    DSN, 2004, pp:731-0 [Conf]
  9. Marco Bernardo, Francesco Franzè
    Architectural Types Revisited: Extensible And/Or Connections. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:113-127 [Conf]
  10. Alessandro Aldini, Marco Bernardo
    A General Approach to Deadlock Freedom Verification for Software Architectures. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:658-677 [Conf]
  11. Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri
    Integrated analysis of concurrent distributed systems using Markovian process algebra. [Citation Graph (0, 0)][DBLP]
    FORTE, 1994, pp:455-457 [Conf]
  12. Marco Bernardo, Rance Cleaveland, Steve Sims, W. Stewart
    TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 1998, pp:457-467 [Conf]
  13. Marco Bernardo, Marina Ribaudo, Nadia Busi
    Compact Net Semantics for Process Algebras. [Citation Graph (0, 0)][DBLP]
    FORTE, 2000, pp:319-334 [Conf]
  14. Marco Bernardo
    An Algebra-Based Method to Associate Rewards with EMPA Terms. [Citation Graph (0, 0)][DBLP]
    ICALP, 1997, pp:358-368 [Conf]
  15. Marco Bernardo, Nadia Busi, Marina Ribaudo
    Integrating Two Towers and GreatSPN. [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:551-564 [Conf]
  16. Marco Bernardo
    TwoTowers 3.0: Enhancing Usability. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 2003, pp:188-193 [Conf]
  17. Marco Bernardo
    A Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 2001, pp:371-378 [Conf]
  18. Marco Bernardo, Mario Bravetti
    Reward Based Congruences: Can We Aggregate More? [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:136-151 [Conf]
  19. Marco Bernardo, Lorenzo Donatiello, Paolo Ciancarini
    Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language. [Citation Graph (0, 0)][DBLP]
    Performance, 2002, pp:236-260 [Conf]
  20. Alessandro Aldini, Marco Bernardo
    TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation. [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:336-337 [Conf]
  21. Alessandro Aldini, Marco Bernardo
    An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2004, pp:283-296 [Conf]
  22. Pietro Abate, Marco Bernardo
    A scalable approach to the design of SW architectures with dynamically create/destroyed components. [Citation Graph (0, 0)][DBLP]
    SEKE, 2002, pp:255-262 [Conf]
  23. Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi
    A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management. [Citation Graph (0, 0)][DBLP]
    SFM, 2005, pp:155-189 [Conf]
  24. Simonetta Balsamo, Marco Bernardo, Marta Simeoni
    Performance Evaluation at the Software Architecture Level. [Citation Graph (0, 0)][DBLP]
    SFM, 2003, pp:207-258 [Conf]
  25. Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello
    On the formalization of architectural types with process algebras. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2000, pp:140-148 [Conf]
  26. Marco Bernardo, Edoardo Bontà
    Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions. [Citation Graph (0, 0)][DBLP]
    WICSA, 2004, pp:167-176 [Conf]
  27. Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello
    Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems. [Citation Graph (0, 0)][DBLP]
    WICSA, 2001, pp:77-86 [Conf]
  28. Simonetta Balsamo, Marco Bernardo, Marta Simeoni
    Combining stochastic process algebras and queueing networks for software architecture analysis. [Citation Graph (0, 0)][DBLP]
    Workshop on Software and Performance, 2002, pp:190-202 [Conf]
  29. Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello
    ÆMPA: a process algebraic description language for the performance analysis of software architectures. [Citation Graph (0, 0)][DBLP]
    Workshop on Software and Performance, 2000, pp:1-11 [Conf]
  30. Marco Bernardo, Nadia Busi, Roberto Gorrieri
    A Distributed Semantics for EMPA Based on Stochastic Contextual Nets. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1995, v:38, n:7, pp:492-509 [Journal]
  31. Marco Bernardo
    Let's Evaluate Performance Algebraically. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1999, v:31, n:3es, pp:7- [Journal]
  32. Mario Bravetti, Marco Bernardo
    Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:39, n:3, pp:- [Journal]
  33. Marco Bernardo
    Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:87-99 [Journal]
  34. Alessandro Aldini, Marco Bernardo
    Component-Oriented Specification of Performance Measures. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:164, n:3, pp:27-43 [Journal]
  35. Marco Bernardo, Stefania Botta
    Modal Logic Characterization of Markovian Testing and Trace Equivalences. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:169, n:, pp:7-18 [Journal]
  36. Marco Bernardo, Roberto Gorrieri, Marco Roccetti
    Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:4, pp:313-337 [Journal]
  37. Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri
    A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1998, v:144, n:2, pp:83-154 [Journal]
  38. Marco Bernardo, Nadia Busi, Marina Ribaudo
    Integrating TwoTowers and GreatSPN through a compact net semantics. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2002, v:50, n:2/3, pp:153-187 [Journal]
  39. Alessandro Aldini, Marco Bernardo
    On the usability of process algebra: An architectural view. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:335, n:2-3, pp:281-329 [Journal]
  40. Marco Bernardo, Mario Bravetti
    Performance measure sensitive congruences for Markovian process algebras. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:1, pp:117-160 [Journal]
  41. Marco Bernardo, Roberto Gorrieri
    Corrigendum to ``A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time'' - [TCS 202 (1998) 1-54]. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:254, n:1-2, pp:691-694 [Journal]
  42. Marco Bernardo, Roberto Gorrieri
    A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:202, n:1-2, pp:1-54 [Journal]
  43. Marco Bernardo
    Symbolic semantic rules for producing compact STGLAs from value passing process descriptions. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2004, v:5, n:3, pp:436-469 [Journal]
  44. Alessandro Aldini, Marco Bernardo, Roberto Gorrieri, Marco Roccetti
    Comparing the QoS of Internet audio mechanisms via formal methods. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Model. Comput. Simul., 2001, v:11, n:1, pp:1-42 [Journal]
  45. Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello
    Architecting families of software systems with process algebras. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2002, v:11, n:4, pp:386-426 [Journal]
  46. Marco Bernardo, Luca Padovani
    Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:269-284 [Conf]
  47. Marco Bernardo
    A Survey of Markovian Behavioral Equivalences. [Citation Graph (0, 0)][DBLP]
    SFM, 2007, pp:180-219 [Conf]
  48. Marco Bernardo
    Non-bisimulation-based Markovian behavioral equivalences. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:72, n:1, pp:3-49 [Journal]
  49. Alessandro Aldini, Marco Bernardo
    Mixing logics and rewards for the component-oriented specification of performance measures. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:382, n:1, pp:3-23 [Journal]

  50. Towards State Space Reduction Based on T-Lumpability-Consistent Relations. [Citation Graph (, )][DBLP]


  51. Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems. [Citation Graph (, )][DBLP]


  52. Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions. [Citation Graph (, )][DBLP]


  53. A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference. [Citation Graph (, )][DBLP]


  54. PADL2Java: A Java code generator for process algebraic architectural descriptions. [Citation Graph (, )][DBLP]


  55. Non-synchronous Communications in Process Algebraic Architectural Description Languages. [Citation Graph (, )][DBLP]


  56. Markovian Testing Equivalence and Exponentially Timed Internal Actions [Citation Graph (, )][DBLP]


  57. On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions [Citation Graph (, )][DBLP]


  58. Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes. [Citation Graph (, )][DBLP]


Search in 0.443secs, Finished in 0.445secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002