Massimiliano De Pierro

23 papers B 3C 1Journal 5Unranked 13
YearRankTypeTitle / Venue / Authors
2025 C conf
SNexpression: A New Component for SN Matrix-Based Structural Analysis.
FORTE
Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
2021 — conf
General Composition for Symmetric Net Arc Functions with Applications.
PNSE@Petri Nets
Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
2020 J jnl
Multiple Sclerosis disease: a computational approach for investigating its drug interactions.
CoRR
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
2020 B conf
SNexpression: A Symbolic Calculator for Symmetric Net Expressions.
Petri Nets
Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
2019 B conf
A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models.
MASCOTS
Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Laura Follia, Simone Pernice
2019 — conf
Multiple Sclerosis Disease: A Computational Approach for Investigating Its Drug Interactions.
CIBB
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
2018 — conf
Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding.
EPEW
Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Simone Pernice
2015 — conf
Computing Structural Properties of Symmetric Nets.
QEST
Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
2013 — conf
A tool for symbolic manipulation of arc functions in symmetric net models.
VALUETOOLS
Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
2011 — conf
A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks.
VTC Spring
Marco Beccuti, Massimiliano De Pierro, András Horváth, Ádám Horváth, Károly Farkas
2011 B conf
Computing first passage time distributions in stochastic well-formed nets.
ICPE
Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
2011 J jnl
First Passage Time Computation in Tagged GSPNs with Queue Places.
Comput. J.
Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
2011 J jnl
Simplification of a complex signal transduction model using invariants and flow equivalent servers.
Theor. Comput. Sci.
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
2010 — conf
Stochastic Petri Nets Sensitivity to Token Scheduling Policies.
OR
Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
2009 — conf
On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process.
CMSB
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
2009 — conf
Tagged Generalized Stochastic Petri Nets.
EPEW
Gianfranco Balbo, Massimiliano De Pierro, Giuliana Franceschinis
2009 J jnl
The GreatSPN tool: recent enhancements.
SIGMETRICS Perform. Evaluation Rev.
Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis
2005 — conf
A High Level Language for Structural Relations in Well-Formed Nets.
ICATPN
Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
2005 — conf
Efficient Analysis Algorithms for Parametric Fault Trees.
FIRB-Perf
Andrea Bobbio, Daniele Codetta Raiteri, Massimiliano De Pierro, Giuliana Franceschinis
2005 — —
Structural analysis of conflicts and causality in GSPN and SWN.
Massimiliano De Pierro
2003 — conf
Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models.
ACSD
Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro
2003 J jnl
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities.
IEEE Trans. Software Eng.
Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro
1999 — conf
Clarifying the priority specification of GSPN: Detached priorities.
PNPM
Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro