PROCEEDING PAPERS

Copyright Notice: The preprints below are presented to ensure timely dissemination of research results. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In all cases, the preprints below may not be reposted without explicit permission of the copyright holder.

###

86:  M. Bernardo, I. Lanese, A. Marin, C.A. Mezzina, S. Rossi, C. Sacerdoti Coen,

"Causal Reversibility Implies Time Reversibility",

in Proc. of the 20th Int. Conf. on the Quantitative Evaluation of Systems (QEST 2023),

N. Jansen, M. Tribastone editors,

Springer, LNCS 14287:270-287,

Antwerp (Belgium), September 2023.

###

85:  M. Bernardo, C.A. Mezzina,

"Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity",

in Proc. of the 21st Int. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS 2023),

L. Petrucci, J. Sproston editors,

Springer, LNCS 14138:15-32,

Antwerp (Belgium), September 2023.

###

84:  M. Bernardo, A. Esposito,

"Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities",

in Proc. of the 14th Int. Symp. on Games, Automata, Logics, and Formal Verification (GANDALF 2023),

A. Achilleos, D. Della Monica editors,

Open Publishing Association, EPTCS 390:67-81,

Udine (Italy), September 2023.

###

83:  M. Bernardo, A. Esposito,

"On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity",

in Proc. of the 24th Italian Conf. on Theoretical Computer Science (ICTCS 2023),

G. Castiglione, M. Sciortino editors,

CEUR-WS 3587:44-58,

Palermo (Italy), September 2023.

###

82:  A. Esposito, A. Aldini, M. Bernardo,

"Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems",

in Proc. of the 43rd Int. Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2023),

M. Huisman, A. Ravara editors,

Springer, LNCS 13910:57-74,

Lisbon (Portugal), June 2023.

###

81:  M. Bernardo, S. Rossi,

"Reverse Bisimilarity vs. Forward Bisimilarity",

in Proc. of the 26th Int. Conf. on Foundations of Software Science and Computation Structures (FOSSACS 2023),

O. Kupferman, P. Sobocinski editors,

Springer, LNCS 13992:265-284,

Paris (France), April 2023.

###

80:  M. Bernardo, E. Bontà,

"Facing the COVID-19 Pandemic with Moodle, Collaborate, Smowl, Meet",

in Proc. of the 2nd Int. Workshop on Higher Education Learning Methodologies and Technologies Online (HELMETO 2020),

G. Casalino, R. Pecori editors,

Studium, pp. 81-84,

Bari (Italy), September 2020.

###

79:  M. Bernardo,

"Extending Backward Compatibility of Probabilistic Testing via Coherent Resolutions",

in Proc. of the 21st Italian Conf. on Theoretical Computer Science (ICTCS 2020),

G. Cordasco, L. Gargano, A.A. Rescigno editors,

CEUR-WS 2756:208-222,

Ischia (Italy), September 2020.

###

78:  M. Bernardo,

"Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism",

in Proc. of the 17th Int. Conf. on the Quantitative Evaluation of Systems (QEST 2020),

M. Gribaudo, D.N. Jansen, A. Remke editors,

Springer, LNCS 12289:35-53,

Vienna (Austria), September 2020.

###

77:  M. Bernardo, C.A. Mezzina,

"Towards Bridging Time and Causal Reversibility",

in Proc. of the 40th Int. Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2020),

A. Gotsman, A. Sokolova editors,

Springer, LNCS 12136:22-38,

Valletta (Malta), June 2020.

###

76:  M. Bernardo,

"Towards General Axiomatizations for Bisimilarity and Trace Semantics",

Proc. of the 25th Int. Workshop on Algebraic Development Techniques (WADT 2020),

M. Roggenbach editor,

Springer, LNCS 12669:31-53,

Dublin (Ireland), April 2020.

###

75:  M. Bernardo,

"Coherent Resolutions of Nondeterminism",

in Proc. of the 16th European Performance Engineering Workshop (EPEW 2019),

M. Gribaudo, M. Iacono, T. Phung-Duc, R. Razumchik editors,

Springer, LNCS 12039:16-32,

Milano (Italy), November 2019.

###

74:  E. Bontà, G. Torrisi, M. Bernardo,

"ChaRLeS: An Open-Source Chat Room Learning System",

in Proc. of the 2nd Italian Conf. on Education, Multimedia and Moodle (EMEM ITALIA 2016),

M. Rui editor,

Genova University Press, pp. 1084-1093,

Modena (Italy), September 2016.

###

73:  M. Bernardo, M. Miculan,

"Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems",

in Proc. of the 17th Italian Conf. on Theoretical Computer Science (ICTCS 2016),

V. Bilò, A. Caruso editors,

CEUR-WS 1720:203-220,

Lecce (Italy), September 2016.

###

72:  A. Aldini, M. Bernardo,

"Expected-Delay-Summing Weak Bisimilarity for Markov Automata",

in Proc. of the 13th Int. Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015),

N. Bertrand, M. Tribastone editors,

Open Publishing Association, EPTCS 194:1-15,

London (UK), April 2015.

###

71:  M. Bernardo, F. Corradini, L. Tesei,

"Timed Process Calculi: From Durationless Actions to Durational Ones",

in Proc. of 15th Italian Conf. on Theoretical Computer Science (ICTCS 2014),

S. Bistarelli, A. Formisano editors,

CEUR-WS 1231:21-32,

Perugia (Italy), September 2014.

###

70:  M. Bernardo, D. Sangiorgi, V. Vignudelli,

"On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems",

in Proc. of 11th Int. Conf. on the Quantitative Evaluation of Systems (QEST 2014),

G. Norman, W. Sanders editors,

Springer, LNCS 8657:281-296,

Firenze (Italy), September 2014.

###

69:  M. Bernardo, D. Sangiorgi, V. Vignudelli,

"On the Discriminating Power of Passivation and Higher-Order Interaction",

in Proc. of the Joint Meeting of the 23rd EACSL Conf. on Computer Science Logic and the 29th ACM/IEEE Symp. on Logic in Computer Science (CSL/LICS 2014),

T. Henzinger, D. Miller editors,

ACM Press, article 14:80, pp. 1-10,

Vienna (Austria), July 2014.

###

68:  M. Bernardo, L. Tesei,

"Encoding Timed Models as Uniform Labeled Transition Systems",

in Proc. of the 10th European Performance Engineering Workshop (EPEW 2013),

M.S. Balsamo, W.J. Knottenbelt, A. Marin editors,

Springer, LNCS 8168:104-118,

Venezia (Italy), September 2013.

###

67:  M. Bernardo, R. De Nicola, M. Loreti,

"Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations",

in Proc. of the 8th Int. Symp. on Trustworthy Global Computing (TGC 2013),

M. Abadi, A. Lluch Lafuente editors,

Springer, LNCS 8358:315-330,

Buenos Aires (Argentina), August 2013.

###

66:  M. Bernardo, R. De Nicola, M. Loreti,

"The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes",

in Proc. of the 11th Int. Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013),

L. Bortolussi, H. Wiklicky editors,

Open Publishing Association, EPTCS 117:81-96,

Roma (Italy), March 2013.

###

65:  M. Bernardo,

"Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes",

in Proc. of the 10th Int. Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2012),

M. Massink, H. Wiklicky editors,

Open Publishing Association, EPTCS 85:122-136,

Tallinn (Estonia), April 2012.

###

64:  M. Bernardo, R. De Nicola, M. Loreti,

"Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes",

in Proc. of the 15th Int. Conf. on Foundations of Software Science and Computation Structures (FOSSACS 2012),

L. Birkedal editor,

Springer, LNCS 7213:195-209,

Tallinn (Estonia), March 2012.

###

63:  M. Bernardo, V. Cortellessa, M. Flamminj,

"TwoEagles: A Model Transformation Tool from Architectural Descriptions to Queueing Networks",

in Proc. of the 8th European Performance Engineering Workshop (EPEW 2011),

N. Thomas editor,

Springer, LNCS 6977:265-279,

Borrowdale (UK), October 2011.

###

62:  M. Bernardo,

"Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes",

in Proc. of the 6th Int. Symp. on Trustworthy Global Computing (TGC 2011),

R. Bruni, V. Sassone editors,

Springer, LNCS 7173:89-103,

Aachen (Germany), September 2011.

###

61:  A. Aldini, M. Bernardo, J. Sproston,

"Performability Measure Specification: Combining CSRL and MSL",

in Proc. of the 16th ERCIM Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS 2011),

G. Salaün, B. Schätz editors,

Springer, LNCS 6959:165-179,

Trento (Italy), August 2011.

###

60:  M. Bernardo, R. De Nicola, M. Loreti,

"Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi",

in Proc. of the 1st Int. Workshop on Process Algebra and Coordination (PACO 2011),

L. Aceto, M.R. Mousavi editors,

Open Publishing Association, EPTCS 60:66-75,

Reykjavik (Iceland), June 2011.

###

59:  M. Bernardo,

"On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions",

in Proc. of the 1st Int. Symp. on Games, Automata, Logics, and Formal Verification (GANDALF 2010),

A. Montanari, M. Napoli, D. Parente editors,

Open Publishing Association, EPTCS 25:199-213,

Minori (Italy), June 2010.

###

58:  M. Bernardo, R. De Nicola, M. Loreti,

"Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes",

in Proc. of the 5th Int. Symp. on Trustworthy Global Computing (TGC 2010),

M. Wirsing, M. Hofmann, A. Rauschmayer editors,

Springer, LNCS 6084:35-56,

Munich (Germany), February 2010.

###

57:  M. Bernardo,

"Markovian Testing Equivalence and Exponentially Timed Internal Actions",

in Proc. of the 1st Int. Workshop on Quantitative Formal Methods (QFM 2009),

S. Andova, A. McIver, P. D'Argenio, P. Cuijpers, J. Markovski, C. Morgan, M. Nuñez editors,

Open Publishing Association, EPTCS 13:13-25,

Eindhoven (The Netherlands), November 2009.

###

56:  E. Bontà, M. Bernardo,

"PADL2Java: A Java Code Generator for Process Algebraic Architectural Descriptions",

in Proc. of the 1st Joint Working IEEE/IFIP Conf. on Software Architecture and European Conf. on Software Architecture (WICSA/ECSA 2009),

R. Kazman, F. Oquendo, E. Poort, J. Stafford editors,

IEEE-CS Press, pp. 161-170,

Cambridge (UK), September 2009.

###

55:  A. Aldini, M. Bernardo,

"A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference",

in Proc. of the 1st Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA/WITS 2009),

P. Degano, L. Viganò editors,

Springer, LNCS 5511:18-33,

York (UK), March 2009.

###

54:  M. Bernardo,

"Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes",

in Proc. of the 7th Int. Workshop on Quantitative Aspects of Programming Languages (QAPL 2009),

C. Baier, A. Di Pierro editors,

Elsevier, ENTCS 253(3):3-23,

York (UK), March 2009.

###

53:  M. Bernardo, E. Bontà,

"Non-Synchronous Communications in Process Algebraic Architectural Description Languages",

in Proc. of the 2nd European Conf. on Software Architecture (ECSA 2008),

R. Morrison, D. Balasubramaniam, K. Falkner editors,

Springer, LNCS 5292:3-18,

Paphos (Cyprus), October 2008.

###

52:  M. Bernardo,

"Towards State Space Reduction Based on T-Lumpability-Consistent Relations",

in Proc. of the 5th European Performance Engineering Workshop (EPEW 2008),

N. Thomas, C. Juiz editors,

Springer, LNCS 5261:64-78,

Palma de Mallorca (Spain), September 2008.

###

51:  M. Bernardo, A. Aldini,

"Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions",

in Proc. of the 10th Italian Conf. on Theoretical Computer Science (ICTCS 2007),

G.F. Italiano, E. Moggi, L. Laura editors,

World Scientific, pp. 39-56,

Roma (Italy), October 2007.

###

50:  M. Bernardo, L. Padovani,

"Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders",

in Proc. of the 9th IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2007),

M.M. Bonsangue, E.B. Johnsen editors,

Springer, LNCS 4468:269-284,

Paphos (Cyprus), June 2007.

###

49:  E. Bontà, M. Bernardo, J. Magee, J. Kramer,

"Synthesizing Concurrency Control Components from Process Algebraic Specifications",

in Proc. of the 8th Int. Conf. on Coordination Models and Languages (COORDINATION 2006),

P. Ciancarini, H. Wiklicky editors,

Springer, LNCS 4038:28-43,

Bologna (Italy), June 2006.

###

48:  M. Bernardo, S. Botta,

"Modal Logic Characterization of Markovian Testing and Trace Equivalences",

in Proc. of the 1st Int. Workshop on Logic, Models and Computer Science (LMCS 2006),

F. Corradini, C. Toffalori editors,

Elsevier, ENTCS 169:7-18,

Camerino (Italy), April 2006.

###

47:  A. Aldini, M. Bernardo,

"Component-Oriented Specification of Performance Measures",

in Proc. of the 4th Int. Workshop on Quantitative Aspects of Programming Languages (QAPL 2006),

A. Di Pierro, H. Wiklicky editors,

Elsevier, ENTCS 164(3):27-43,

Vienna (Austria), April 2006.

###

46:  M. Bernardo, A. Bogliolo, A. Acquaviva, A. Aldini, E. Bontà, E. Lattanzi,

"Predicting the Functional/Performance Impact of Dynamic Power Management",

in Proc. of the 7th Int. Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 7),

pp. 10-13,

Torino (Italy), September 2005.

###

45:  M. Bernardo,

"Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity",

in Proc. of the Int. Workshop on Essays on Algebraic Process Calculi (APC 25),

L. Aceto, A.D. Gordon editors,

Elsevier, ENTCS 162:87-99,

Bertinoro (Italy), August 2005.

###

44:  M. Bernardo, E. Bontà,

"Preserving Architectural Properties in Multithreaded Code Generation",

in Proc. of the 7th Int. Conf. on Coordination Models and Languages (COORDINATION 2005),

J.-M. Jacquet, G.P. Picco editors,

Springer, LNCS 3454:188-203,

Namur (Belgium), April 2005.

###

43:  A. Aldini, M. Bernardo,

"TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation",

in Proc. of the 1st Int. Conf. on the Quantitative Evaluation of Systems (QEST 2004),

IEEE-CS Press, pp. 336-337

Enschede (The Netherlands), September 2004.

###

42:  A. Aldini, M. Bernardo,

"An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth",

in Proc. of the 23rd Int. Conf. on Computer Safety, Reliability, and Security (SAFECOMP 2004),

M. Heisel, P. Liggesmeyer, S. Wittmann editors,

Springer, LNCS 3219:283-296,

Potsdam (Germany), September 2004.

###

41:  A. Acquaviva, A. Aldini, M. Bernardo, A. Bogliolo, E. Bontà, E. Lattanzi,

"Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances",

in Proc. of the 5th IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN 2004),

IEEE-CS Press, pp. 731-740,

Firenze (Italy), June 2004.

###

40:  M. Bernardo, E. Bontà,

"Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions",

in Proc. of the 4th Working IEEE/IFIP Conf. on Software Architecture (WICSA 2004),

J. Magee, C. Szyperski, J. Bosch editors,

IEEE-CS Press, pp. 167-176,

Oslo (Norway), June 2004.

###

39:  M. Bernardo,

"TwoTowers 3.0: Enhancing Usability",

in Proc. of the 11th IEEE/ACM Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2003),

IEEE-CS Press, pp. 188-193,

Orlando (FL), October 2003.

###

38:  A. Aldini, M. Bernardo,

"A General Approach to Deadlock Freedom Verification for Software Architectures",

in Proc. of the 12th Int. Formal Methods Europe Symp. (FME 2003),

K. Araki, S. Gnesi, D. Mandrioli editors,

Springer, LNCS 2805:658-677,

Pisa (Italy), September 2003.

###

37:  S. Balsamo, M. Bernardo, M. Simeoni,

"Combining Stochastic Process Algebras and Queueing Networks for Software Architecture Analysis",

in Proc. of the 3rd Int. Workshop on Software and Performance (WOSP 2002),

ACM Press, pp. 190-202,

Roma (Italy), July 2002.

###

36:  P. Abate, M. Bernardo,

"A Scalable Approach to the Design of SW Architectures with Dynamically Created/Destroyed Components",

in Proc. of the 14th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE 2002),

ACM Press, pp. 255-262,

Sant'Angelo d'Ischia (Italy), July 2002.

###

35:  M. Bernardo, F. Franzè,

"Exogenous and Endogenous Extensions of Architectural Types",

in Proc. of the 5th Int. Conf. on Coordination Models and Languages (COORDINATION 2002),

F. Arbab, C. Talcott editors,

Springer, LNCS 2315:40-55,

York (UK), April 2002.

###

34:  M. Bernardo, F. Franzè,

"Architectural Types Revisited: Extensible And/Or Connections",

in Proc. of the 5th Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2002),

R.-D. Kutsche, H. Weber editors,

Springer, LNCS 2306:113-128,

Grenoble (France), April 2002.

###

33:  M. Bernardo, M. Bravetti,

"Reward Based Congruences: Can We Aggregate More?",

in Proc. of the Joint Int. Workshop on Process Algebra and Performance Modelling and Probabilistic Methods in Verification (PAPM/PROBMIV 2001),

L. de Alfaro, S. Gilmore editors,

Springer, LNCS 2165:136-151,

Aachen (Germany), September 2001.

###

32:  M. Bernardo, P. Ciancarini, L. Donatiello,

"Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems",

in Proc. of the 2nd Working IEEE/IFIP Conf. on Software Architecture (WICSA 2001),

R. Kazman, P. Kruchten, C. Verhoef, H. van Vliet editors,

IEEE-CS Press, pp. 77-86,

Amsterdam (The Netherlands), August 2001.

###

31:  M. Bernardo,

"A Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services",

in Proc. of the 9th Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2001),

IEEE-CS Press, pp. 371-378,

Cincinnati (OH), August 2001.

###

30:  M. Bernardo, P. Ciancarini, L. Donatiello,

"On the Formalization of Architectural Types with Process Algebras",

in Proc. of the 8th ACM Int. Symp. on the Foundations of Software Engineering (FSE 8),

D.S. Rosenblum editor,

ACM Press, pp. 140-148,

San Diego (CA), November 2000.

###

29:  M. Bernardo, N. Busi, M. Ribaudo,

"Compact Net Semantics for Process Algebras",

in Proc. of the IFIP Joint Int. Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (FORTE/PSTV 2000),

T. Bolognesi, D. Latella editors,

Kluwer, pp. 319-334,

Pisa (Italy), October 2000.

###

28:  M. Bernardo, P. Ciancarini, L. Donatiello,

"ÆMPA: A Process Algebraic Description Language for the Performance Analysis of Software Architectures",

in Proc. of the 2nd Int. Workshop on Software and Performance (WOSP 2000),

ACM Press, pp. 1-11,

Ottawa (Canada), September 2000.

###

27:  M. Bravetti, M. Bernardo,

"Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time",

in Proc. of the 1st Int. Workshop on Models for Time Critical Systems (MTCS 2000),

F. Corradini, P. Inverardi editors,

Elsevier, ENTCS 39(3):197-230,

State College (PA), August 2000.

###

26:  M. Bernardo, R. Cleaveland,

"A Theory of Testing for Markovian Processes",

in Proc. of the 11th Int. Conf. on Concurrency Theory (CONCUR 2000),

C. Palamidessi editor,

Springer, LNCS 1877:305-319,

State College (PA), August 2000.

###

25:  M. Bernardo, N. Busi, M. Ribaudo,

"Integrating TwoTowers and GreatSPN",

in Proc. of the 8th Int. Workshop on Process Algebras and Performance Modelling (PAPM 2000),

J.D.P. Rolim, A.Z. Broder, A. Corradini, R. Gorrieri, R. Heckel, J. Hromkovic, U. Vaccaro, J.B. Wells editors,

Carleton Scientific, pp. 551-563,

Geneva (Switzerland), July 2000.

###

24:  M. Bernardo, P. Ciancarini, L. Donatiello,

"Performance Evaluation of Software Architectural Types: A Process Algebraic Approach",

in Proc. of the Monterey Workshop on Modelling Software System Structures in a Fastly Moving Scenario (MSSS 2000),

pp. 32-37,

Santa Margherita Ligure (Italy), June 2000.

###

23:  M. Bernardo,

"Implementing Symbolic Models for Value Passing in TwoTowers",

in Proc. of the 11th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation (PERFORMANCE TOOLS 2000),

B.R. Haverkort, H.C. Bohnenkamp, C.U. Smith editors,

Springer, LNCS 1786:370-373,

Schaumburg (IL), March 2000.

###

22:  A. Aldini, M. Bernardo, R. Gorrieri, M. Roccetti,

"A Simulative Analysis of Internet Audio Mechanisms Using Formal Methods",

in Proc. of the 11th European Simulation Symp. (ESS 1999),

G. Horton, D. Möller, U. Rüde editors,

SCS International, pp. 281-288,

Erlangen (Germany), October 1999.

###

21:  A. Aldini, M. Bernardo, R. Gorrieri, M. Roccetti,

"Stochastic Process Algebras for the Analysis of Internet Protocols",

in Proc. of the 4th Workshop on Distributed Systems: Algorithms, Architectures and Languages (WSDAAL 1999),

B. Ciciani, P. Inverardi, U. Vaccaro editors,

pp. 6-7,

Fonte Cerreto (Italy), September 1999.

###

20:  A. Aldini, M. Bernardo, R. Gorrieri,

"An Algebraic Model for Evaluating the Performance of an ATM Switch with Explicit Rate Marking",

in Proc. of the 7th Int. Workshop on Process Algebras and Performance Modelling (PAPM 1999),

J. Hillston, M. Silva editors,

Prensas Universitarias de Zaragoza, pp. 119-138,

Zaragoza (Spain), September 1999.

###

19:  M. Bernardo, M. Bravetti,

"Functional and Performance Modeling and Analysis of Token Ring Using EMPA",

in Proc. of the 6th Italian Conf. on Theoretical Computer Science (ICTCS 1998),

P. Degano, U. Vaccaro, G. Pirillo editors,

World Scientific, pp. 204-215,

Prato (Italy), November 1998.

###

18:  M. Bernardo, R. Cleaveland, S.T. Sims, W.J. Stewart,

"TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems",

in Proc. of the IFIP Joint Int. Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (FORTE/PSTV 1998),

S. Budkowski, A. Cavalli, E. Najm editors,

Kluwer, pp. 457-467,

Paris (France), November 1998.

###

17:  M. Roccetti, M. Bernardo, R. Gorrieri,

"Packetized Audio for Industrial Applications: A Simulation Study",

in Proc. of the 10th European Simulation Symp. (ESS 1998),

A. Bargiela, E. Kerckhoffs editors,

SCS International, pp. 495-500,

Nottingham (UK), October 1998.

###

16:  M. Bravetti, M. Bernardo, R. Gorrieri,

"A Note on the Congruence Proof for Recursion in Markovian Bisimulation Equivalence",

in Proc. of the 6th Int. Workshop on Process Algebras and Performance Modelling (PAPM 1998),

C. Priami editor,

pp. 153-164,

Nice (France), September 1998.

###

15:  M. Bravetti, M. Bernardo, R. Gorrieri,

"Towards Performance Evaluation with General Distributions in Process Algebras",

in Proc. of the 9th Int. Conf. on Concurrency Theory (CONCUR 1998),

D. Sangiorgi, R. de Simone editors,

Springer, LNCS 1466:405-422,

Nice (France), September 1998.

###

14:  M. Bernardo,

"Using EMPA for the Performance Evaluation of an ATM Switch",

in Proc. of the 3rd ERCIM Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS 1998),

J.F. Groote, B. Luttik, J. van Wamel editors,

CWI, pp. 43-57,

Amsterdam (The Netherlands), May 1998.

###

13:  M. Bernardo,

"An Algebra-Based Method to Associate Rewards with EMPA Terms",

in Proc. of the 24th Int. Coll. on Automata, Languages and Programming (ICALP 1997),

P. Degano, R. Gorrieri, A. Marchetti Spaccamela editors,

Springer, LNCS 1256:358-368,

Bologna (Italy), July 1997.

###

12:  M. Bernardo,

"Two Exercises with EMPA: Computing the Utilization of the CSMA/CD Protocol and Assessing the Performability of a Queueing System",

in Proc. of the 2nd ERCIM Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS 1997),

S. Gnesi, D. Latella editors,

pp. 5-17,

Cesena (Italy), July 1997.

###

11:  M. Bravetti, M. Bernardo, R. Gorrieri,

"From EMPA to GSMPA: Allowing for General Distributions",

in Proc. of the 5th Int. Workshop on Process Algebras and Performance Modelling (PAPM 1997),

E. Brinksma, A. Nymeyer editors,

pp. 17-33,

Enschede (The Netherlands), June 1997.

###

10:  M. Bernardo,

"Enriching EMPA with Value Passing: A Symbolic Approach Based on Lookahead",

in Proc. of the 5th Int. Workshop on Process Algebras and Performance Modelling (PAPM 1997),

E. Brinksma, A. Nymeyer editors,

pp. 35-49,

Enschede (The Netherlands), June 1997.

###

9:  M. Bernardo,

"A Methodology Based on EMPA for Modeling and Simulating Concurrent Systems",

in Proc. of the Annual Conf. of the Italian Society for Computer Simulation (ISCS 1996),

pp. 146-151,

Roma (Italy), December 1996.

###

8:  M. Bernardo, L. Donatiello, R. Gorrieri,

"A Stochastic Process Algebra Model for the Analysis of the Alternating Bit Protocol",

in Proc. of the 11th Int. Symp. on Computer and Information Sciences (ISCIS XI),

V. Atalay, U. Halici, K. Inan, N. Yalabik, A. Yazici editors,

METU, pp. 375-384,

Antalya (Turkey), November 1996.

###

7:  M. Bernardo, R. Gorrieri,

"Extended Markovian Process Algebra",

in Proc. of the 7th Int. Conf. on Concurrency Theory (CONCUR 1996),

U. Montanari, V. Sassone editors,

Springer, LNCS 1119:315-330,

Pisa (Italy), August 1996.

###

6:  M. Bernardo,

"On the Coexistence of Exponential, Immediate and Passive Actions in EMPA",

in Proc. of the 4th Int. Workshop on Process Algebras and Performance Modelling (PAPM 1996),

M. Ribaudo editor,

CLUT, pp. 58-76,

Torino (Italy), July 1996.

###

5:  M. Bernardo, L. Donatiello, R. Gorrieri,

"Integrated Functional and Performance Analyses of Concurrent Distributed Systems Described with the Language EMPA",

in Proc. of the 1st Workshop on Distributed Systems: Algorithms, Architectures and Languages (WSDAAL 1996),

A. Bertossi, M. Bonucelli, R. De Nicola editors,

pp. 5-6,

Levico (Italy), June 1996.

###

4:  M. Bernardo,

"Extended Markovian Process Algebra: A Case Study",

in Proc. of the 5th Italian Conf. on Theoretical Computer Science (ICTCS 1995),

A. De Santis editor,

World Scientific, pp. 466-481,

Ravello (Italy), November 1995.

###

3:  M. Bernardo, L. Donatiello, R. Gorrieri,

"Giving a Net Semantics to Markovian Process Algebra",

in Proc. of the 6th Int. Workshop on Petri Nets and Performance Models (PNPM 1995),

IEEE-CS Press, pp. 169-178,

Durham (NC), October 1995.

###

2:  M. Bernardo, L. Donatiello, R. Gorrieri,

"Integrated Analysis of Concurrent Distributed Systems Using Markovian Process Algebra",

in Proc. of the 7th Int. Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE 1994),

D. Hogrefe, S. Leue editors,

Chapman & Hall, pp. 455-457,

Berne (Switzerland), October 1994.

###

1:  M. Bernardo, L. Donatiello, R. Gorrieri,

"Modeling and Analyzing Concurrent Systems with MPA",

in Proc. of the 2nd Int. Workshop on Process Algebras and Performance Modelling (PAPM 1994),

U. Herzog, M. Rettelbach editors,

pp. 175-189,

Erlangen (Germany), July 1994.

###