Marco Bernardo

	2012
78		Marco Bernardo, Rocco De Nicola, Michele Loreti: Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. FoSSaCS 2012: 195-209
	2011
77		Marco Bernardo, Valérie Issarny: Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures Springer 2011
76		Marco Bernardo, Vittorio Cortellessa, Mirko Flamminj: TwoEagles: A Model Transformation Tool from Architectural Descriptions to Queueing Networks. EPEW 2011: 265-279
75		Alessandro Aldini, Marco Bernardo, Jeremy Sproston: Performability Measure Specification: Combining CSRL and MSL. FMICS 2011: 165-179
74		Marco Bernardo, Rocco De Nicola, Michele Loreti: Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi PACO 2011: 66-75
73		Alessandro Aldini, Marco Bernardo: Component-oriented verification of noninterference. Journal of Systems Architecture - Embedded Systems Design 57(3): 282-293 (2011)
	2010
72		Alessandro Aldini, Marco Bernardo, Flavio Corradini: A Process Algebraic Approach to Software Architecture Design. Springer 2010: I-XV, 1-304
71		Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky: Formal Methods for Quantitative Aspects of Programming Languages, 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures Springer 2010
70		Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa: Computer Performance Engineering - 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings Springer 2010
69		Marco Bernardo: On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions GANDALF 2010: 199-213
68		Marco Bernardo, Rocco De Nicola, Michele Loreti: Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. TGC 2010: 35-56
67		Marco Bernardo, Edoardo Bontà, Alessandro Aldini: Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation. Journal of Systems and Software 83(8): 1404-1429 (2010)
	2009
66		Marco 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
65		Alessandro Aldini, Marco Bernardo: A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference. ARSPA-WITS 2009: 18-33
64		Marco Bernardo: Markovian Testing Equivalence and Exponentially Timed Internal Actions QFM 2009: 13-25
63		Edoardo Bontà, Marco Bernardo: PADL2Java: A Java code generator for process algebraic architectural descriptions. WICSA/ECSA 2009: 161-170
62		Marco Bernardo: Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes. Electr. Notes Theor. Comput. Sci. 253(3): 3-23 (2009)
	2008
61		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
60		Marco Bernardo, Edoardo Bontà: Non-synchronous Communications in Process Algebraic Architectural Description Languages. ECSA 2008: 3-18
59		Marco Bernardo: Towards State Space Reduction Based on T-Lumpability-Consistent Relations. EPEW 2008: 64-78
58		Alessandro Aldini, Marco Bernardo: Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems. WADS 2008: 228-254
57		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
56		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
55		Marco Bernardo, Luca Padovani: Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders. FMOODS 2007: 269-284
54		Marco Bernardo, Alessandro Aldini: Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions. ICTCS 2007: 39-56
53		Marco Bernardo: A Survey of Markovian Behavioral Equivalences. SFM 2007: 180-219
52		Marco Bernardo, Stefania Botta: Modal Logic Characterization of Markovian Testing and Trace Equivalences. Electr. Notes Theor. Comput. Sci. 169: 7-18 (2007)
51		Marco Bernardo: Non-bisimulation-based Markovian behavioral equivalences. J. Log. Algebr. Program. 72(1): 3-49 (2007)
50		Alessandro Aldini, Marco Bernardo: A formal approach to the integrated analysis of security and QoS. Rel. Eng. & Sys. Safety 92(11): 1503-1520 (2007)
49		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		Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer: Synthesizing Concurrency Control Components from Process Algebraic Specifications. COORDINATION 2006: 28-43
46		Marco Bernardo: Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity. Electr. Notes Theor. Comput. Sci. 162: 87-99 (2006)
45		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		Marco Bernardo, Edoardo Bontà: Preserving Architectural Properties in Multithreaded Code Generation. COORDINATION 2005: 188-203
42		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		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		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		Alessandro Aldini, Marco Bernardo: TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation. QEST 2004: 336-337
37		Alessandro Aldini, Marco Bernardo: An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth. SAFECOMP 2004: 283-296
36		Marco Bernardo, Edoardo Bontà: Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions. WICSA 2004: 167-176
35		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		Alessandro Aldini, Marco Bernardo: A General Approach to Deadlock Freedom Verification for Software Architectures. FME 2003: 658-677
32		Marco Bernardo: TwoTowers 3.0: Enhancing Usability. MASCOTS 2003: 188-193
31		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		Marco Bernardo, Francesco Franzè: Exogenous and Endogenous Extensions of Architectural Types. COORDINATION 2002: 40-55
28		Marco Bernardo, Francesco Franzè: Architectural Types Revisited: Extensible And/Or Connections. FASE 2002: 113-127
27		Marco Bernardo, Lorenzo Donatiello, Paolo Ciancarini: Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language. Performance 2002: 236-260
26		Pietro Abate, Marco Bernardo: A scalable approach to the design of SW architectures with dynamically create/destroyed components. SEKE 2002: 255-262
25		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		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		Marco Bernardo: A Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services. MASCOTS 2001: 371-378
21		Marco Bernardo, Mario Bravetti: Reward Based Congruences: Can We Aggregate More? PAPM-PROBMIV 2001: 136-151
20		Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello: Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems. WICSA 2001: 77-86
19		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		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		Marco Bernardo, Rance Cleaveland: A Theory of Testing for Markovian Processes. CONCUR 2000: 305-319
16		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		Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello: On the formalization of architectural types with process algebras. SIGSOFT FSE 2000: 140-148
12		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		Mario Bravetti, Marco Bernardo: Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time. Electr. Notes Theor. Comput. Sci. 39(3): 197-230 (2000)
	1999
10		Marco Bernardo: Let's Evaluate Performance Algebraically. ACM Comput. Surv. 31(3es): 7 (1999)
	1998
9		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		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		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

Coauthor Index

1	Pietro Abate	[26]
2	Andrea Acquaviva	[39] [42]
3	Alessandro Aldini	[19] [33] [37] [38] [39] [41] [42] [45] [49] [50] [54] [58] [65] [67] [70] [71] [72] [73] [75]
4	Simonetta Balsamo	[25] [31]
5	Alessandro Bogliolo	[39] [42] [44]
6	Luciano Bononi	[70]
7	Edoardo Bontà	[36] [39] [42] [43] [47] [60] [63] [67]
8	Stefania Botta	[52] [57]
9	Mario Bravetti	[9] [11] [21] [30]
10	Nadia Busi	[2] [14] [15] [23]
11	Paolo Ciancarini	[12] [13] [20] [24] [27]
12	Alessandro Cimatti	[48]
13	Rance Cleaveland	[8] [17]
14	Flavio Corradini	[40] [72]
15	Vittorio Cortellessa	[70] [76]
16	Pierpaolo Degano	[61]
17	Lorenzo Donatiello	[1] [6] [12] [13] [20] [24] [27]
18	Mirko Flamminj	[76]
19	Francesco Franzè	[28] [29]
20	Roberto Gorrieri	[1] [2] [3] [5] [6] [7] [9] [18] [19]
21	Jane Hillston	[56]
22	Paola Inverardi	[34]
23	Valérie Issarny	[77]
24	Jeff Kramer (Jeffrey Kramer)	[47]
25	Emanuele Lattanzi	[39] [42]
26	Michele Loreti	[68] [74] [78]
27	Jeff Magee (Jeff N. Magee)	[47]
28	Rocco De Nicola	[68] [74] [78]
29	Luca Padovani	[55] [66]
30	Alessandra Di Pierro	[71]
31	Marina Ribaudo	[14] [15] [23]
32	Marco Roccetti	[7] [19]
33	Marta Simeoni	[25] [31]
34	Steve Sims	[8]
35	Jeremy Sproston	[75]
36	W. Stewart	[8]
37	Herbert Wiklicky	[71]
38	Gianluigi Zavattaro	[61] [66]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page