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