Search

Your search keyword '"Franceschinis, Giuliana"' showing total 160 results
Start Over Author "Franceschinis, Giuliana"

Refine your results

160 results on '"Franceschinis, Giuliana"'

1. Exploiting Structural Dependency Relations for Efficient Agent Based Model Simulation

Author

Pennisi, Marzio, Amparore, Elvio G., Franceschinis, Giuliana, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Iacono, Mauro, editor, Scarpa, Marco, editor, Barbierato, Enrico, editor, Serrano, Salvatore, editor, Cerotti, Davide, editor, and Longo, Francesco, editor

Published
2023
Full Text
View/download PDF

3. Multiple Sclerosis disease: a computational approach for investigating its drug interactions

Author

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

Subjects
Quantitative Biology - Quantitative Methods, Computer Science - Computational Engineering, Finance, and Science
Abstract

Multiple Sclerosis (MS) is a chronic and potentially highly disabling disease that can cause permanent damage and deterioration of the central nervous system. In Europe it is the leading cause of non-traumatic disabilities in young adults, since more than 700,000 EU people suffer from MS. Although recent studies on MS pathophysiology have been provided, MS remains a challenging disease. In this context, thanks to recent advances in software and hardware technologies, computational models and computer simulations are becoming appealing research tools to support scientists in the study of such disease. Thus, motivated by this consideration we propose in this paper a new model to study the evolution of MS in silico, and the effects of the administration of Daclizumab drug, taking into account also spatiality and temporality of the involved phenomena. Moreover, we show how the intrinsic symmetries of the system can be exploited to drastically reduce the complexity of its analysis., Comment: Submitted to CIBB 2019 post proceedings - LNCS

Published
2020

4. SecuriDN: A Modeling Tool Supporting the Early Detection of Cyberattacks to Smart Energy Systems.

Author

Cerotti, Davide, Codetta Raiteri, Daniele, Dondossola, Giovanna, Egidi, Lavinia, Franceschinis, Giuliana, Portinale, Luigi, Savarro, Davide, and Terruggia, Roberta

Subjects
CYBER physical systems, BAYESIAN analysis, POWER resources, CYBERTERRORISM, RISK assessment
Abstract

SecuriDN v. 0.1 is a tool for the representation of the assets composing the IT and the OT subsystems of Distributed Energy Resources (DERs) control networks and the possible cyberattacks that can threaten them. It is part of a platform that allows the evaluation of the security risks of DER control systems. SecuriDN is a multi-formalism tool, meaning that it manages several types of models: architecture graph, attack graphs and Dynamic Bayesian Networks (DBNs). In particular, each asset in the architecture is characterized by an attack graph showing the combinations of attack techniques that may affect the asset. By merging the attack graphs according to the asset associations in the architecture, a DBN is generated. Then, the evidence-based and time-driven probabilistic analysis of the DBN permits the quantification of the system security level. Indeed, the DBN probabilistic graphical model can be analyzed through inference algorithms, suitable for forward and backward assessment of the system's belief state. In this paper, the features and the main goals of SecuriDN are described and illustrated through a simplified but realistic case study. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

5. SNexpression: A Symbolic Calculator for Symmetric Net Expressions

Author

Capra, Lorenzo, De Pierro, Massimiliano, Franceschinis, Giuliana, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Janicki, Ryszard, editor, Sidorova, Natalia, editor, and Chatain, Thomas, editor

Published
2020
Full Text
View/download PDF

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

Author

Beccuti, Marco, Capra, Lorenzo, De Pierro, Massimiliano, Franceschinis, Giuliana, Pernice, Simone, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Bakhshi, Rena, editor, Ballarini, Paolo, editor, Barbot, Benoît, editor, Castel-Taleb, Hind, editor, and Remke, Anne, editor

Published
2018
Full Text
View/download PDF

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

Author

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

Published
2020
Full Text
View/download PDF

10. 30 Years of GreatSPN

Author

Amparore, Elvio Gilberto, Balbo, Gianfranco, Beccuti, Marco, Donatelli, Susanna, Franceschinis, Giuliana, Pham, Hoang, Series editor, Fiondella, Lance, editor, and Puliafito, Antonio, editor

Published
2016
Full Text
View/download PDF

11. Markov Decision Petri Nets with Uncertainty

Author

Beccuti, Marco, Amparore, Elvio G., Donatelli, Susanna, Scheftelowitsch, Dimitri, Buchholz, Peter, Franceschinis, Giuliana, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Beltrán, Marta, editor, Knottenbelt, William, editor, and Bradley, Jeremy, editor

Published
2015
Full Text
View/download PDF

12. Computing Structural Properties of Symmetric Nets

Author

Capra, Lorenzo, De Pierro, Massimiliano, Franceschinis, Giuliana, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Campos, Javier, editor, and Haverkort, Boudewijn R., editor

Published
2015
Full Text
View/download PDF

14. Expressing and Computing Passage Time Measures of GSPN Models with HASL

Author

Amparore, Elvio Gilberto, Ballarini, Paolo, Beccuti, Marco, Donatelli, Susanna, Franceschinis, Giuliana, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Colom, José-Manuel, editor, and Desel, Jörg, editor

Published
2013
Full Text
View/download PDF

15. Simple O(m logn) Time Markov Chain Lumping

Author

Valmari, Antti, Franceschinis, Giuliana, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Esparza, Javier, editor, and Majumdar, Rupak, editor

Published
2010
Full Text
View/download PDF

16. Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures

Author

Beccuti, Marco, Franceschinis, Giuliana, Kaâniche, Mohamed, Kanoun, Karama, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Setola, Roberto, editor, and Geretshuber, Stefan, editor

Published
2009
Full Text
View/download PDF

17. Modeling Clinical Guidelines through Petri Nets

Author

Beccuti, Marco, Bottrighi, Alessio, Franceschinis, Giuliana, Montani, Stefania, Terenziani, Paolo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Combi, Carlo, editor, Shahar, Yuval, editor, and Abu-Hanna, Ameen, editor

Published
2009
Full Text
View/download PDF

18. Tagged Generalized Stochastic Petri Nets

Author

Balbo, Gianfranco, De Pierro, Massimiliano, Franceschinis, Giuliana, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Bradley, Jeremy T., editor

Published
2009
Full Text
View/download PDF

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

Author

Capra, Lorenzo, De Pierro, Massimiliano, Franceschinis, Giuliana, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ciardo, Gianfranco, editor, and Darondeau, Philippe, editor

Published
2005
Full Text
View/download PDF

20. Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets

Author

Franceschinis, Giuliana, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ciardo, Gianfranco, editor, and Darondeau, Philippe, editor

Published
2005
Full Text
View/download PDF

22. Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys

Author

Franceschinis, Giuliana, Gribaudo, Marco, Iacono, Mauro, Marrone, Stefano, Mazzocca, Nicola, Vittorini, Valeria, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Cortadella, Jordi, editor, and Reisig, Wolfgang, editor

Published
2004
Full Text
View/download PDF

50. Stochastic well-formed colored nets and symmetric modeling applications

Author

Chiola, Giovanni, Dutheillet, Claude, Franceschinis, Giuliana, and Haddad, Serge

Subjects
Performance Measurement, Processor architecture, Petri nets, Multiprocessing, Markov processes -- Analysis, Multiprocessors -- Research, Processor architecture -- Research, Petri nets -- Usage, Multiprocessing -- Research
Published
1993

Catalog

Books, media, physical & digital resources
See catalog results