Marco Bernardo

Marco Bernardo, Rocco De Nicola, Michele Loreti: A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Inf. Comput. 225: 29-82 (2013)

Marco Bernardo, Rocco De Nicola, Michele Loreti: Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. FoSSaCS 2012: 195-209

Marco Bernardo: Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes. QAPL 2012: 122-136

Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (Eds.): Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures. Lecture Notes in Computer Science 7320, Springer 2012, isbn 978-3-642-30981-6

Alessandro Aldini, Marco Bernardo: Component-oriented verification of noninterference. Journal of Systems Architecture - Embedded Systems Design 57(3): 282-293 (2011)

Marco Bernardo, Vittorio Cortellessa, Mirko Flamminj: TwoEagles: A Model Transformation Tool from Architectural Descriptions to Queueing Networks. EPEW 2011: 265-279

Alessandro Aldini, Marco Bernardo, Jeremy Sproston: Performability Measure Specification: Combining CSRL and MSL. FMICS 2011: 165-179

Marco Bernardo: Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes. TGC 2011: 89-103

Marco Bernardo, Rocco De Nicola, Michele Loreti: Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi. PACO 2011: 66-75

Marco Bernardo, Valérie Issarny (Eds.): 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. Lecture Notes in Computer Science 6659, Springer 2011, isbn 978-3-642-21454-7

Alessandro Aldini, Marco Bernardo, Flavio Corradini: A Process Algebraic Approach to Software Architecture Design. Springer 2010, isbn 978-1-84800-222-7, pp. I-XV, 1-304

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)

Marco Bernardo, Rocco De Nicola, Michele Loreti: Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. TGC 2010: 35-56

Marco Bernardo: On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions. GANDALF 2010: 199-213

Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa (Eds.): Computer Performance Engineering - 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings. Lecture Notes in Computer Science 6342, Springer 2010, isbn 978-3-642-15783-7

Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (Eds.): 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. Lecture Notes in Computer Science 6154, Springer 2010, isbn 978-3-642-13677-1

Marco Bernardo: Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes. Electr. Notes Theor. Comput. Sci. 253(3): 3-23 (2009)

Alessandro Aldini, Marco Bernardo: A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference. ARSPA-WITS 2009: 18-33

Edoardo Bontà, Marco Bernardo: PADL2Java: A Java code generator for process algebraic architectural descriptions. WICSA/ECSA 2009: 161-170

Marco Bernardo: Markovian Testing Equivalence and Exponentially Timed Internal Actions. QFM 2009: 13-25

Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (Eds.): 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. Lecture Notes in Computer Science 5569, Springer 2009, isbn 978-3-642-01917-3

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)

Marco Bernardo, Edoardo Bontà: Non-synchronous Communications in Process Algebraic Architectural Description Languages. ECSA 2008: 3-18

Marco Bernardo: Towards State Space Reduction Based on T-Lumpability-Consistent Relations. EPEW 2008: 64-78

Alessandro Aldini, Marco Bernardo: Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems. WADS 2008: 228-254

Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (Eds.): 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. Lecture Notes in Computer Science 5016, Springer 2008, isbn 978-3-540-68892-1

Marco Bernardo, Stefania Botta: Modal Logic Characterization of Markovian Testing and Trace Equivalences. Electr. Notes Theor. Comput. Sci. 169: 7-18 (2007)

Marco Bernardo: Non-bisimulation-based Markovian behavioral equivalences. J. Log. Algebr. Program. 72(1): 3-49 (2007)

Alessandro Aldini, Marco Bernardo: A formal approach to the integrated analysis of security and QoS. Rel. Eng. & Sys. Safety 92(11): 1503-1520 (2007)

Alessandro Aldini, Marco Bernardo: Mixing logics and rewards for the component-oriented specification of performance measures. Theor. Comput. Sci. 382(1): 3-23 (2007)

Marco Bernardo, Luca Padovani: Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders. FMOODS 2007: 269-284

Marco Bernardo, Alessandro Aldini: Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions. ICTCS 2007: 39-56

Marco Bernardo: A Survey of Markovian Behavioral Equivalences. SFM 2007: 180-219

Marco Bernardo, Jane Hillston (Eds.): 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. Lecture Notes in Computer Science 4486, Springer 2007, isbn 978-3-540-72482-7

Marco Bernardo: Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity. Electr. Notes Theor. Comput. Sci. 162: 87-99 (2006)

Alessandro Aldini, Marco Bernardo: Component-Oriented Specification of Performance Measures. Electr. Notes Theor. Comput. Sci. 164(3): 27-43 (2006)

Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer: Synthesizing Concurrency Control Components from Process Algebraic Specifications. COORDINATION 2006: 28-43

Marco Bernardo, Alessandro Cimatti (Eds.): 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. Lecture Notes in Computer Science 3965, Springer 2006, isbn 978-3-540-34304-2

Alessandro Aldini, Marco Bernardo: On the usability of process algebra: An architectural view. Theor. Comput. Sci. 335(2-3): 281-329 (2005)

Marco Bernardo, Edoardo Bontà: Preserving Architectural Properties in Multithreaded Code Generation. COORDINATION 2005: 188-203

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

Marco Bernardo, Alessandro Bogliolo (Eds.): 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. Lecture Notes in Computer Science 3465, Springer 2005, isbn 3-540-25697-0

Marco Bernardo: Symbolic semantic rules for producing compact STGLAs from value passing process descriptions. ACM Trans. Comput. Log. 5(3): 436-469 (2004)

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-

Alessandro Aldini, Marco Bernardo: TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation. QEST 2004: 336-337

Alessandro Aldini, Marco Bernardo: An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth. SAFECOMP 2004: 283-296

Marco Bernardo, Edoardo Bontà: Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions. WICSA 2004: 167-176

Marco Bernardo, Flavio Corradini (Eds.): 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. Lecture Notes in Computer Science 3185, Springer 2004, isbn 3-540-23068-8

Marco Bernardo, Mario Bravetti: Performance measure sensitive congruences for Markovian process algebras. Theor. Comput. Sci. 290(1): 117-160 (2003)

Alessandro Aldini, Marco Bernardo: A General Approach to Deadlock Freedom Verification for Software Architectures. FME 2003: 658-677

Marco Bernardo: TwoTowers 3.0: Enhancing Usability. MASCOTS 2003: 188-193

Simonetta Balsamo, Marco Bernardo, Marta Simeoni: Performance Evaluation at the Software Architecture Level. SFM 2003: 207-258

Marco Bernardo, Paola Inverardi (Eds.): 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. Lecture Notes in Computer Science 2804, Springer 2003, isbn 3-540-20083-5

Marco Bernardo, Nadia Busi, Marina Ribaudo: Integrating TwoTowers and GreatSPN through a compact net semantics. Perform. Eval. 50(2/3): 153-187 (2002)

Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello: Architecting families of software systems with process algebras. ACM Trans. Softw. Eng. Methodol. 11(4): 386-426 (2002)

Marco Bernardo, Francesco Franzè: Exogenous and Endogenous Extensions of Architectural Types. COORDINATION 2002: 40-55

Marco Bernardo, Francesco Franzè: Architectural Types Revisited: Extensible And/Or Connections. FASE 2002: 113-127

Marco Bernardo, Lorenzo Donatiello, Paolo Ciancarini: Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language. Performance 2002: 236-260

Pietro Abate, Marco Bernardo: A scalable approach to the design of SW architectures with dynamically create/destroyed components. SEKE 2002: 255-262

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

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)

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)

Marco Bernardo: A Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services. MASCOTS 2001: 371-378

Marco Bernardo, Mario Bravetti: Reward Based Congruences: Can We Aggregate More? PAPM-PROBMIV 2001: 136-151

Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello: Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems. WICSA 2001: 77-86

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)

Marco Bernardo, Rance Cleaveland: A Theory of Testing for Markovian Processes. CONCUR 2000: 305-319

Marco Bernardo: Implementing Symbolic Models for Value Passing in TwoTowers. Computer Performance Evaluation / TOOLS 2000: 370-373

Marco Bernardo, Marina Ribaudo, Nadia Busi: Compact Net Semantics for Process Algebras. FORTE 2000: 319-334

Marco Bernardo, Nadia Busi, Marina Ribaudo: Integrating Two Towers and GreatSPN. ICALP Satellite Workshops 2000: 551-564

Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello: On the formalization of architectural types with process algebras. SIGSOFT FSE 2000: 140-148

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

Marco Bernardo: Let's Evaluate Performance Algebraically. ACM Comput. Surv. 31(3es): 7 (1999)

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)

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)

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)

Mario Bravetti, Marco Bernardo, Roberto Gorrieri: Towards Performance Evaluation with General Distributions in Process Algebras. CONCUR 1998: 405-422

Marco Bernardo, Rance Cleaveland, Steve Sims, W. Stewart: TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. FORTE 1998: 457-467

Marco Bernardo: An Algebra-Based Method to Associate Rewards with EMPA Terms. ICALP 1997: 358-368

Marco Bernardo, Roberto Gorrieri: Extended Markovian Process Algebra. CONCUR 1996: 315-330

Marco Bernardo, Nadia Busi, Roberto Gorrieri: A Distributed Semantics for EMPA Based on Stochastic Contextual Nets. Comput. J. 38(7): 492-509 (1995)

Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri: Integrated analysis of concurrent distributed systems using Markovian process algebra. FORTE 1994: 455-457