dblp.uni-trier.dewww.uni-trier.de

Marco Bernardo Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
62EEMarco Bernardo, Luca Padovani, Gianluigi Zavattaro: Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures Springer 2009
61EEAlessandro Aldini, Marco Bernardo: A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference. ARSPA-WITS 2009: 18-33
60EEEdoardo Bontà, Marco Bernardo: PADL2Java: A Java code generator for process algebraic architectural descriptions. WICSA/ECSA 2009: 161-170
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
58EEMarco Bernardo, Edoardo Bontà: Non-synchronous Communications in Process Algebraic Architectural Description Languages. ECSA 2008: 3-18
57EEMarco Bernardo: Towards State Space Reduction Based on T-Lumpability-Consistent Relations. EPEW 2008: 64-78
56EEMarco 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
54EEMarco 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
52EEMarco Bernardo: A Survey of Markovian Behavioral Equivalences. SFM 2007: 180-219
51EEMarco Bernardo, Stefania Botta: Modal Logic Characterization of Markovian Testing and Trace Equivalences. Electr. Notes Theor. Comput. Sci. 169: 7-18 (2007)
50EEMarco Bernardo: Non-bisimulation-based Markovian behavioral equivalences. J. Log. Algebr. Program. 72(1): 3-49 (2007)
49EEAlessandro 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
47EEEdoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer: Synthesizing Concurrency Control Components from Process Algebraic Specifications. COORDINATION 2006: 28-43
46EEMarco Bernardo: Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity. Electr. Notes Theor. Comput. Sci. 162: 87-99 (2006)
45EEAlessandro 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
43EEMarco Bernardo, Edoardo Bontà: Preserving Architectural Properties in Multithreaded Code Generation. COORDINATION 2005: 188-203
42EEAndrea 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
41EEAlessandro 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
39EEAndrea 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-
38EEAlessandro Aldini, Marco Bernardo: TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation. QEST 2004: 336-337
37EEAlessandro Aldini, Marco Bernardo: An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth. SAFECOMP 2004: 283-296
36EEMarco Bernardo, Edoardo Bontà: Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions. WICSA 2004: 167-176
35EEMarco 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
33EEAlessandro Aldini, Marco Bernardo: A General Approach to Deadlock Freedom Verification for Software Architectures. FME 2003: 658-677
32EEMarco Bernardo: TwoTowers 3.0: Enhancing Usability. MASCOTS 2003: 188-193
31EESimonetta 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
29EEMarco Bernardo, Francesco Franzè: Exogenous and Endogenous Extensions of Architectural Types. COORDINATION 2002: 40-55
28EEMarco Bernardo, Francesco Franzè: Architectural Types Revisited: Extensible And/Or Connections. FASE 2002: 113-127
27EEMarco Bernardo, Lorenzo Donatiello, Paolo Ciancarini: Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language. Performance 2002: 236-260
26EEPietro Abate, Marco Bernardo: A scalable approach to the design of SW architectures with dynamically create/destroyed components. SEKE 2002: 255-262
25EESimonetta Balsamo, Marco Bernardo, Marta Simeoni: Combining stochastic process algebras and queueing networks for software architecture analysis. Workshop on Software and Performance 2002: 190-202
24EEMarco 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
22EEMarco Bernardo: A Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services. MASCOTS 2001: 371-378
21EEMarco Bernardo, Mario Bravetti: Reward Based Congruences: Can We Aggregate More? PAPM-PROBMIV 2001: 136-151
20EEMarco Bernardo, Paolo Ciancarini, Lorenzo Donatiello: Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems. WICSA 2001: 77-86
19EEAlessandro 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)
18EEMarco 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
17EEMarco Bernardo, Rance Cleaveland: A Theory of Testing for Markovian Processes. CONCUR 2000: 305-319
16EEMarco 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
13EEMarco Bernardo, Paolo Ciancarini, Lorenzo Donatiello: On the formalization of architectural types with process algebras. SIGSOFT FSE 2000: 140-148
12EEMarco 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
11EEMario Bravetti, Marco Bernardo: Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time. Electr. Notes Theor. Comput. Sci. 39(3): (2000)
1999
10EEMarco Bernardo: Let's Evaluate Performance Algebraically. ACM Comput. Surv. 31(3es): 7 (1999)
1998
9EEMario 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
7EEMarco 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)
5EEMarco 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
4EEMarco Bernardo: An Algebra-Based Method to Associate Rewards with EMPA Terms. ICALP 1997: 358-368
1996
3EEMarco 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

Coauthor Index

1Pietro Abate [26]
2Andrea Acquaviva [39] [42]
3Alessandro Aldini [19] [33] [37] [38] [39] [41] [42] [45] [49] [53] [61]
4Simonetta Balsamo [25] [31]
5Alessandro Bogliolo [39] [42] [44]
6Edoardo Bontà [36] [39] [42] [43] [47] [58] [60]
7Stefania Botta [51] [56]
8Mario Bravetti [9] [11] [21] [30]
9Nadia Busi [2] [14] [15] [23]
10Paolo Ciancarini [12] [13] [20] [24] [27]
11Alessandro Cimatti [48]
12Rance Cleaveland [8] [17]
13Flavio Corradini [40]
14Pierpaolo Degano [59]
15Lorenzo Donatiello [1] [6] [12] [13] [20] [24] [27]
16Francesco Franzè [28] [29]
17Roberto Gorrieri [1] [2] [3] [5] [6] [7] [9] [18] [19]
18Jane Hillston [55]
19Paola Inverardi [34]
20Jeff Kramer [47]
21Emanuele Lattanzi [39] [42]
22Jeff Magee (Jeff N. Magee) [47]
23Luca Padovani [54] [62]
24Marina Ribaudo [14] [15] [23]
25Marco Roccetti [7] [19]
26Marta Simeoni [25] [31]
27Steve Sims [8]
28W. Stewart [8]
29Gianluigi Zavattaro [59] [62]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)