Search the dblp DataBase
Marco Bernardo :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Marco Bernardo , Rance Cleaveland A Theory of Testing for Markovian Processes. [Citation Graph (0, 0)][DBLP ] CONCUR, 2000, pp:305-319 [Conf ] Marco Bernardo , Roberto Gorrieri Extended Markovian Process Algebra. [Citation Graph (0, 0)][DBLP ] CONCUR, 1996, pp:315-330 [Conf ] Marco Bernardo , Edoardo Bontà Preserving Architectural Properties in Multithreaded Code Generation. [Citation Graph (0, 0)][DBLP ] COORDINATION, 2005, pp:188-203 [Conf ] Marco Bernardo , Francesco Franzè Exogenous and Endogenous Extensions of Architectural Types. [Citation Graph (0, 0)][DBLP ] COORDINATION, 2002, pp:40-55 [Conf ] 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 ] Marco Bernardo Implementing Symbolic Models for Value Passing in TwoTowers. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2000, pp:370-373 [Conf ] 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 ] Marco Bernardo , Francesco Franzè Architectural Types Revisited: Extensible And/Or Connections. [Citation Graph (0, 0)][DBLP ] FASE, 2002, pp:113-127 [Conf ] 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 ] 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 ] 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 ] Marco Bernardo , Marina Ribaudo , Nadia Busi Compact Net Semantics for Process Algebras. [Citation Graph (0, 0)][DBLP ] FORTE, 2000, pp:319-334 [Conf ] Marco Bernardo An Algebra-Based Method to Associate Rewards with EMPA Terms. [Citation Graph (0, 0)][DBLP ] ICALP, 1997, pp:358-368 [Conf ] Marco Bernardo , Nadia Busi , Marina Ribaudo Integrating Two Towers and GreatSPN. [Citation Graph (0, 0)][DBLP ] ICALP Satellite Workshops, 2000, pp:551-564 [Conf ] Marco Bernardo TwoTowers 3.0: Enhancing Usability. [Citation Graph (0, 0)][DBLP ] MASCOTS, 2003, pp:188-193 [Conf ] 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 ] Marco Bernardo , Mario Bravetti Reward Based Congruences: Can We Aggregate More? [Citation Graph (0, 0)][DBLP ] PAPM-PROBMIV, 2001, pp:136-151 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] Simonetta Balsamo , Marco Bernardo , Marta Simeoni Performance Evaluation at the Software Architecture Level. [Citation Graph (0, 0)][DBLP ] SFM, 2003, pp:207-258 [Conf ] 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 ] Marco Bernardo , Edoardo Bontà Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions. [Citation Graph (0, 0)][DBLP ] WICSA, 2004, pp:167-176 [Conf ] 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 ] 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 ] 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 ] 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 ] Marco Bernardo Let's Evaluate Performance Algebraically. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1999, v:31, n:3es, pp:7- [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Marco Bernardo A Survey of Markovian Behavioral Equivalences. [Citation Graph (0, 0)][DBLP ] SFM, 2007, pp:180-219 [Conf ] 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 ] 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 ] Towards State Space Reduction Based on T-Lumpability-Consistent Relations. [Citation Graph (, )][DBLP ] Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems. [Citation Graph (, )][DBLP ] Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions. [Citation Graph (, )][DBLP ] A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference. [Citation Graph (, )][DBLP ] PADL2Java: A Java code generator for process algebraic architectural descriptions. [Citation Graph (, )][DBLP ] Non-synchronous Communications in Process Algebraic Architectural Description Languages. [Citation Graph (, )][DBLP ] Markovian Testing Equivalence and Exponentially Timed Internal Actions [Citation Graph (, )][DBLP ] On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions [Citation Graph (, )][DBLP ] Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes. [Citation Graph (, )][DBLP ] Search in 0.018secs, Finished in 0.021secs