Остановите войну!
for scientists:
default search action
Giuliana Franceschinis
Publications
- 2024
- [j27]Elvio Gilberto Amparore, Marco Beccuti, Paolo Castagno, Simone Pernice, Giuliana Franceschinis, Marzio Pennisi:
From Compositional Petri Net Modeling to Macro and Micro Simulation by Means of Stochastic Simulation and Agent-Based Models. ACM Trans. Model. Perform. Evaluation Comput. Syst. 9(1): 1:1-1:30 (2024) - 2021
- [c73]Elvio Gilberto Amparore, Marco Beccuti, Paolo Castagno, Giuliana Franceschinis, Marzio Pennisi, Simone Pernice:
Multiformalism modeling and simulation of immune system mechanisms. BIBM 2021: 3259-3266 - [c72]Marco Beccuti, Paolo Castagno, Giuliana Franceschinis, Marzio Pennisi, Simone Pernice:
A Petri Net Formalism to Study Systems at Different Scales Exploiting Agent-Based and Stochastic Simulations. EPEW 2021: 22-43 - 2020
- [i1]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:
Multiple Sclerosis disease: a computational approach for investigating its drug interactions. CoRR abs/2006.00813 (2020) - 2019
- [c70]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:
Multiple Sclerosis Disease: A Computational Approach for Investigating Its Drug Interactions. CIBB 2019: 299-308 - [c67]Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Laura Follia, Simone Pernice:
A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models. MASCOTS 2019: 36-48 - 2018
- [c66]Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Simone Pernice:
Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding. EPEW 2018: 30-45 - 2015
- [j24]Marco Beccuti, Chiara Fornari, Giuliana Franceschinis, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, Gianfranco Balbo:
From Symmetric Nets to Differential Equations exploiting Model Symmetries. Comput. J. 58(1): 23-39 (2015) - [c65]Marco Beccuti, Elvio Gilberto Amparore, Susanna Donatelli, Dimitri Scheftelowitsch, Peter Buchholz, Giuliana Franceschinis:
Markov Decision Petri Nets with Uncertainty. EPEW 2015: 177-192 - 2014
- [j23]Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad:
Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis. Comput. J. 57(12): 1870-1892 (2014) - 2013
- [c62]Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis:
Expressing and Computing Passage Time Measures of GSPN Models with HASL. Petri Nets 2013: 110-129 - [c60]Elvio Gilberto Amparore, Benoît Barbot, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis:
Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets. SIGSIM-PADS 2013: 253-264 - 2012
- [j22]Marco Beccuti, Silvano Chiaradonna, Felicita Di Giandomenico, Susanna Donatelli, Giovanna Dondossola, Giuliana Franceschinis:
Quantification of dependencies between electrical and information infrastructures. Int. J. Crit. Infrastructure Prot. 5(1): 14-27 (2012) - [c58]Marco Beccuti, Andrea Bobbio, Giuliana Franceschinis, Roberta Terruggia:
A new symbolic approach for network reliability analysis. DSN 2012: 1-12 - [c57]Marco Beccuti, Giuliana Franceschinis:
Efficient simulation of stochastic well-formed nets through symmetry exploitation. WSC 2012: 296:1-296:13 - 2011
- [j21]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) - [j20]Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad:
Lumping partially symmetrical stochastic models. Perform. Evaluation 68(1): 21-44 (2011) - [c56]Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis:
Probe Automata for Passage Time Specification. QEST 2011: 101-110 - [c55]Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis:
Computing first passage time distributions in stochastic well-formed nets. ICPE 2011: 7-18 - 2010
- [c54]Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis:
Stochastic Petri Nets Sensitivity to Token Scheduling Policies. OR 2010: 181-186 - [c53]Marco Beccuti, V. Fragnelli, Giuliana Franceschinis, S. Villa:
Dynamic Simulations of Kidney Exchanges. OR 2010: 539-544 - 2009
- [j18]Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis:
The GreatSPN tool: recent enhancements. SIGMETRICS Perform. Evaluation Rev. 36(4): 4-9 (2009) - [c51]Marco Beccuti, Alessio Bottrighi, Giuliana Franceschinis, Stefania Montani, Paolo Terenziani:
Modeling Clinical Guidelines through Petri Nets. AIME 2009: 61-70 - [c50]Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad:
Parametric NdRFT for the derivation of optimal repair strategies. DSN 2009: 399-408 - [c48]Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis:
From partially to fully lumped Markov chains in stochastic well formed Petri nets. VALUETOOLS 2009: 43 - [c46]Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis:
Multiple abstraction levels in performance analysis of WSN monitoring systems. VALUETOOLS 2009: 73 - 2008
- [c45]Marco Beccuti, Giuliana Franceschinis, Mohamed Kaâniche, Karama Kanoun:
Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures. CRITIS 2008: 48-59 - [c44]Souheib Baarir, Marco Beccuti, Giuliana Franceschinis:
New Solvers for Asymmetric Systems in GreatSPN. QEST 2008: 235-236 - [c43]Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad:
Non deterministic repairable fault trees for computing optimal repair strategy. VALUETOOLS 2008: 56 - 2007
- [c42]Marco Beccuti, Giuliana Franceschinis, Serge Haddad:
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. ICATPN 2007: 43-62 - [c40]Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad:
A framework to design and solve Markov Decision Well-formed Net models. QEST 2007: 165-166 - 2006
- [c39]Marco Beccuti, Giuliana Franceschinis, Souheib Baarir, Jean-Michel Ilié:
Efficient lumpability check in partially symmetric systems. QEST 2006: 211-220 - 2004
- [c31]Jean-Michel Ilié, Souheib Baarir, Marco Beccuti, Clément Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux:
Extended SWN Solvers in GreatSPN. QEST 2004: 324-325
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-02-12 20:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint