Massimiliano De Pierro

Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis: First Passage Time Computation in Tagged GSPNs with Queue Places. Comput. J. 54(5): 653-673 (2011)

Francesca Cordero, András Horváth, Daniele Manini, Lucia Napione, Massimiliano De Pierro, Simona Pavan, Andrea Picco, Andrea Veglio, Matteo Sereno, Federico Bussolino, Gianfranco Balbo: Simplification of a complex signal transduction model using invariants and flow equivalent servers. Theor. Comput. Sci. 412(43): 6036-6057 (2011)

Marco Beccuti, Massimiliano De Pierro, András Horváth, Ádám Horváth, Károly Farkas: A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks. VTC Spring 2011: 1-5

Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis: Computing first passage time distributions in stochastic well-formed nets. ICPE 2011: 7-18

Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis: The GreatSPN tool: recent enhancements. SIGMETRICS Performance Evaluation Review 36(4): 4-9 (2009)

Lucia Napione, Daniele Manini, Francesca Cordero, András Horváth, Andrea Picco, Massimiliano De Pierro, Simona Pavan, Matteo Sereno, Andrea Veglio, Federico Bussolino, Gianfranco Balbo: On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process. CMSB 2009: 281-295

Gianfranco Balbo, Massimiliano De Pierro, Giuliana Franceschinis: Tagged Generalized Stochastic Petri Nets. EPEW 2009: 1-15

Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis: A High Level Language for Structural Relations in Well-Formed Nets. ICATPN 2005: 168-187

Andrea Bobbio, Daniele Codetta Raiteri, Massimiliano De Pierro, Giuliana Franceschinis: Efficient Analysis Algorithms for Parametric Fault Trees. FIRB-Perf 2005: 91-105

Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro: Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities. IEEE Trans. Software Eng. 29(11): 962-973 (2003)

Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro: Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models. ACSD 2003: 111-121