Massimiliano De Pierro

According to our database, Massimiliano De Pierro authored at least 21 papers between 1999 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

General Composition for Symmetric Net Arc Functions with Applications.

Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis

Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), 2021

2020

SNexpression: A Symbolic Calculator for Symmetric Net Expressions.

Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019

A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models.

Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Laura Follia, Simone Pernice

Proceedings of the 27th IEEE International Symposium on Modeling, 2019

Multiple Sclerosis Disease: A Computational Approach for Investigating Its Drug Interactions.

Simone Pernice, Marco Beccuti, Greta Romano, Marzio Pennisi, Alessandro Maglione, Santina Cutrupi, Francesco Pappalardo, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro, Gianfranco Balbo, Francesca Cordero, Raffaele A. Calogero

Proceedings of the Computational Intelligence Methods for Bioinformatics and Biostatistics, 2019

2018

Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding.

Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Simone Pernice

Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

2015

Computing Structural Properties of Symmetric Nets.

Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis

Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

2013

A tool for symbolic manipulation of arc functions in symmetric net models.

Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis

Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

2011

Simplification of a complex signal transduction model using invariants and flow equivalent servers.

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

Theor. Comput. Sci., 2011

First Passage Time Computation in Tagged GSPNs with Queue Places.

Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis

Comput. J., 2011

Computing first passage time distributions in stochastic well-formed nets.

Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis

Proceedings of the ICPE'11, 2011

A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks.

Marco Beccuti, Massimiliano De Pierro, András Horváth, Ádám Horváth, Károly Farkas

Proceedings of the 73rd IEEE Vehicular Technology Conference, 2011

2010

Stochastic Petri Nets Sensitivity to Token Scheduling Policies.

Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis

Proceedings of the Operations Research Proceedings 2010, 2010

2009

The GreatSPN tool: recent enhancements.

Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis

SIGMETRICS Perform. Evaluation Rev., 2009

Tagged Generalized Stochastic Petri Nets.

Gianfranco Balbo, Massimiliano De Pierro, Giuliana Franceschinis

Proceedings of the Computer Performance Engineering, 2009

On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process.

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

Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

2005

Structural analysis of conflicts and causality in GSPN and SWN.

Massimiliano De Pierro

PhD thesis, 2005

Efficient Analysis Algorithms for Parametric Fault Trees.

Andrea Bobbio, Daniele Codetta Raiteri, Massimiliano De Pierro, Giuliana Franceschinis

Proceedings of the FIRB-Perf Workshop on Techniques, 2005

A High Level Language for Structural Relations in Well-Formed Nets.

Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2003

Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities.

Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro

IEEE Trans. Software Eng., 2003

Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models.

Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

1999

Clarifying the priority specification of GSPN: Detached priorities.

Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro

Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999