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

*to appear in Proc. of the 2nd Italian Conf. on Education, Multimedia and Moodle (EMEM ITALIA 2016),
McGraw-Hill,
Modena (Italy), September 2016.*

"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ò and A. Caruso editors,
CEUR-WS 1720:203-220,
Lecce (Italy), September 2016.*

"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 and M. Tribastone editors,
Open Publishing Association, EPTCS 194:1-15,
London (UK), April 2015.*

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

*in Proc. of 15th Italian Conf. on Theoretical Computer Science (ICTCS 2014),
S. Bistarelli and A. Formisano editors,
CEUR-WS 1231:21-32,
Perugia (Italy), September 2014.*

*in Proc. of 11th Int. Conf. on the Quantitative Evaluation of Systems (QEST 2014),
G. Norman and W. Sanders editors,
Springer, LNCS 8657:281-296,
Firenze (Italy), September 2014.*

"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 and D. Miller editors,
ACM Press, article 14:80, pp. 1-10,
Vienna (Austria), July 2014.*

"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, and A. Marin editors,
Springer, LNCS 8168:104-118,
Venezia (Italy), September 2013.*

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

*in Proc. of the 8th Int. Symp. on Trustworthy Global Computing (TGC 2013),
M. Abadi and A. Lluch Lafuente editors,
Springer, LNCS 8358:315-330,
Buenos Aires (Argentina), August 2013.*

"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 and H. Wiklicky editors,
Open Publishing Association, EPTCS 117:81-96,
Roma (Italy), March 2013.*

"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 and H. Wiklicky editors,
Open Publishing Association, EPTCS 85:122-136,
Tallinn (Estonia), April 2012.*

"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.*

"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.*

"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 and V. Sassone editors,
Springer, LNCS 7173:89-103,
Aachen (Germany), September 2011.*

"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 and B. Schätz editors,
Springer, LNCS 6959:165-179,
Trento (Italy), August 2011.*

*in Proc. of the 1st Int. Workshop on Process Algebra and Coordination (PACO 2011),
L. Aceto and M.R. Mousavi editors,
Open Publishing Association, EPTCS 60:66-75,
Reykjavik (Iceland), June 2011.*

"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, and D. Parente editors,
Open Publishing Association, EPTCS 25:199-213,
Minori (Italy), June 2010.*

"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, and A. Rauschmayer editors,
Springer, LNCS 6084:35-56,
Munich (Germany), February 2010.*

"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, and M. Nuñez
editors,
Open Publishing Association, EPTCS 13:13-25,
Eindhoven (The Netherlands), November 2009.*

"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, and J. Stafford editors,
IEEE-CS Press, pp. 161-170,
Cambridge (UK), September 2009.*

"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 and L. Viganò editors,
Springer, LNCS 5511:18-33,
York (UK), March 2009.*

*in Proc. of the 7th Int. Workshop on Quantitative Aspects of Programming Languages (QAPL 2009),
C. Baier and A. Di Pierro editors,
Elsevier, ENTCS 253(3):3-23,
York (UK), March 2009.*

"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, and K. Falkner editors,
Springer, LNCS 5292:3-18,
Paphos (Cyprus), October 2008.*

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

*in Proc. of the 5th European Performance Engineering Workshop (EPEW 2008),
N. Thomas and C. Juiz editors,
Springer, LNCS 5261:64-78,
Palma de Mallorca (Spain), September 2008.*

"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, and L. Laura editors,
World Scientific, pp. 39-56,
Roma (Italy), October 2007.*

"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 and E.B. Johnsen editors,
Springer, LNCS 4468:269-284,
Paphos (Cyprus), June 2007.*

"Synthesizing Concurrency Control Components from Process Algebraic Specifications",

*in Proc. of the 8th Int. Conf. on Coordination Models and Languages (COORDINATION 2006),
P. Ciancarini and H. Wiklicky editors,
Springer, LNCS 4038:28-43,
Bologna (Italy), June 2006.*

"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 and C. Toffalori editors,
Elsevier, ENTCS 169:7-18,
Camerino (Italy), April 2006.*

"Component-Oriented Specification of Performance Measures",

*in Proc. of the 4th Int. Workshop on Quantitative Aspects of Programming Languages (QAPL 2006),
A. Di Pierro and H. Wiklicky editors,
Elsevier, ENTCS 164(3):27-43,
Vienna (Austria), April 2006.*

"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.*

"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 and A.D. Gordon editors,
Elsevier, ENTCS 162:87-99,
Bertinoro (Italy), August 2005.*

"Preserving Architectural Properties in Multithreaded Code Generation",

*in Proc. of the 7th Int. Conf. on Coordination Models and Languages (COORDINATION 2005),
J.-M. Jacquet and G.P. Picco editors,
Springer, LNCS 3454:188-203,
Namur (Belgium), April 2005.*

"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.*

*in Proc. of the 23rd Int. Conf. on Computer Safety, Reliability, and Security (SAFECOMP 2004),
M. Heisel, P. Liggesmeyer, and S. Wittmann editors,
Springer, LNCS 3219:283-296,
Potsdam (Germany), September 2004.*

*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.*

"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, and J. Bosch editors,
IEEE-CS Press, pp. 167-176
Oslo (Norway), June 2004.*

"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.*

"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, and D. Mandrioli editors,
Springer, LNCS 2805:658-677,
Pisa (Italy), September 2003.*

"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.*

*in Proc. of the 14th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE 2002),
ACM Press, pp. 255-262,
S. Angelo d'Ischia (Italy), July 2002.*

"Exogenous and Endogenous Extensions of Architectural Types",

*in Proc. of the 5th Int. Conf. on Coordination Models and Languages (COORDINATION 2002),
F. Arbab and C. Talcott editors,
Springer, LNCS 2315:40-55,
York (UK), April 2002.*

"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 and H. Weber editors,
Springer, LNCS 2306:113-128,
Grenoble (France), April 2002.*

"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 and S. Gilmore editors,
Springer, LNCS 2165:136-151,
Aachen (Germany), September 2001.*

"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, and H. van Vliet editors,
IEEE-CS Press, pp. 77-86,
Amsterdam (The Netherlands), August 2001.*

"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.*

"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.*

"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 and D. Latella editors,
Kluwer, pp. 319-334,
Pisa (Italy), October 2000.*

*in Proc. of the 2nd Int. Workshop on Software and Performance (WOSP 2000),
ACM Press, pp. 1-11,
Ottawa (Canada), September 2000.*

*in Proc. of the 1st Int. Workshop on Models for Time Critical Systems (MTCS 2000),
F. Corradini and P. Inverardi editors,
Elsevier, ENTCS 39(3):197-230,
State College (PA), August 2000.*

"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.*

"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, and J.B.
Wells editors,
Carleton Scientific, pp. 551-563,
Geneva (Switzerland), July 2000.*

"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,
S. Margherita Ligure (Italy), June 2000.*

"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, and C.U. Smith editors,
Springer, LNCS 1786:370-373,
Schaumburg (IL), March 2000.*

"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, and U. Rüde editors,
SCS International, pp. 281-288,
Erlangen (Germany), October 1999.*

"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, and U. Vaccaro editors,
pp. 6-7,
Fonte Cerreto (Italy), September 1999.*

"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 and M. Silva editors,
Prensas Universitarias de Zaragoza, pp. 119-138,
Zaragoza (Spain), September 1999.*

"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, and G. Pirillo editors,
World Scientific, pp. 204-215,
Prato (Italy), November 1998.*

"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, and E. Najm editors,
Kluwer, pp. 457-467,
Paris (France), November 1998.*

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

*in Proc. of the 10th European Simulation Symp. (ESS 1998),
A. Bargiela and E. Kerckhoffs editors,
SCS International, pp. 495-500,
Nottingham (UK), October 1998.*

"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.*

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

*in Proc. of the 9th Int. Conf. on Concurrency Theory (CONCUR 1998),
D. Sangiorgi and R. de Simone editors,
Springer, LNCS 1466:405-422,
Nice (France), September 1998.*

"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, and J. van Wamel editors,
CWI, pp. 43-57,
Amsterdam (The Netherlands), May 1998.*

"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, and A. Marchetti Spaccamela editors,
Springer, LNCS 1256:358-368,
Bologna (Italy), July 1997.*

*in Proc. of the 2nd ERCIM Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS
1997),
S. Gnesi and D. Latella editors,
pp. 5-17,
Cesena (Italy), July 1997.*

"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 and A. Nymeyer editors,
pp. 17-33,
Enschede (The Netherlands), June 1997.*

"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 and A. Nymeyer editors,
pp. 35-49,
Enschede (The Netherlands), June 1997.*

"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.*

"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, and A. Yazici editors,
METU, pp. 375-384,
Antalya (Turkey), November 1996.*

"Extended Markovian Process Algebra",

*in Proc. of the 7th Int. Conf. on Concurrency Theory (CONCUR 1996),
U. Montanari and V. Sassone editors,
Springer, LNCS 1119:315-330,
Pisa (Italy), August 1996.*

"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.*

*in Proc. of the 1st Workshop on Distributed Systems: Algorithms, Architectures and Languages (WSDAAL
1996),
A. Bertossi, M. Bonucelli, and R. De Nicola editors,
pp. 5-6,
Levico (Italy), June 1996.*

"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.*

"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.*

"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 and S. Leue editors,
Chapman & Hall, pp. 455-457,
Berne (Switzerland), October 1994.*

"Modeling and Analyzing Concurrent Systems with MPA",

*in Proc. of the 2nd Int. Workshop on Process Algebras and Performance Modelling (PAPM 1994),
U. Herzog and M. Rettelbach editors,
pp. 175-189,
Erlangen (Germany), July 1994.*