Giuliana Franceschinis

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 14

Top Venues

Publications

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) (2024)
Davide Cerotti, Daniele Codetta Raiteri, Giovanna Dondossola, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Roberta Terruggia, Davide Savarro
SecuriDN: a customizable GUI generating cybersecurity models for DER control architectures. ITASEC (2024)
Marzio Pennisi, Elvio G. Amparore, Giuliana Franceschinis
Exploiting Structural Dependency Relations for Efficient Agent Based Model Simulation. EPEW (2023)
Susanna Donatelli, Giuliana Franceschinis
Special issue on the Workshop on TOols for Stochastic Modeling and Evaluation (TOSME 2021). SIGMETRICS Perform. Evaluation Rev. 49 (4) (2022)
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)
Elvio Gilberto Amparore, Marco Beccuti, Paolo Castagno, Giuliana Franceschinis, Marzio Pennisi, Simone Pernice
Multiformalism modeling and simulation of immune system mechanisms. BIBM (2021)
Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
General Composition for Symmetric Net Arc Functions with Applications. PNSE@Petri Nets (2021)
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 (2020)
Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
SNexpression: A Symbolic Calculator for Symmetric Net Expressions. Petri Nets (2020)
Davide Cerotti, Daniele Codetta Raiteri, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Giovanna Dondossola, Roberta Terruggia
Analysis and Detection of Cyber Attack Processes targeting Smart Grids. ISGT Europe (2019)
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)
Davide Cerotti, Daniele Codetta Raiteri, Giovanna Dondossola, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Roberta Terruggia
A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems. ITASEC (2019)
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)
Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Simone Pernice
Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding. EPEW (2018)
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) (2015)
Marco Beccuti, Elvio Gilberto Amparore, Susanna Donatelli, Dimitri Scheftelowitsch, Peter Buchholz, Giuliana Franceschinis
Markov Decision Petri Nets with Uncertainty. EPEW (2015)
Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
Computing Structural Properties of Symmetric Nets. QEST (2015)
Paolo Terenziani, Alessio Bottrighi, Laura Giordano, Giuliana Franceschinis, Stefania Montani, Luca Piovesan, Luigi Portinale, Stefania Rubrichi, Matteo Spiotta, Daniele Theseider Dupré
Advances in the GINSENG Project. ICHI (2014)
Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad
Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis. Comput. J. 57 (12) (2014)
Paolo Terenziani, Alessio Bottrighi, Laura Giordano, Giuliana Franceschinis, Stefania Montani, Luigi Portinale, Daniele Theseider Dupré
Towards a Second Generation of Computer Interpretable Guidelines. DATA (2013)
Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
A tool for symbolic manipulation of arc functions in symmetric net models. VALUETOOLS (2013)
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)
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)
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) (2012)
Marco Beccuti, Giuliana Franceschinis
Efficient simulation of stochastic well-formed nets through symmetry exploitation. WSC (2012)
Marco Beccuti, Andrea Bobbio, Giuliana Franceschinis, Roberta Terruggia
A new symbolic approach for network reliability analysis. DSN (2012)
Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
Computing first passage time distributions in stochastic well-formed nets. ICPE (2011)
Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
First Passage Time Computation in Tagged GSPNs with Queue Places. Comput. J. 54 (5) (2011)
Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
Probe Automata for Passage Time Specification. QEST (2011)
Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
Lumping partially symmetrical stochastic models. Perform. Evaluation 68 (1) (2011)
Giuliana Franceschinis, Wojciech Penczek, Karsten Wolf
Preface. Fundam. Informaticae 105 (3) (2010)
Antti Valmari, Giuliana Franceschinis
) Time Markov Chain Lumping. TACAS (2010)
Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
Stochastic Petri Nets Sensitivity to Token Scheduling Policies. OR (2010)
Marco Beccuti, V. Fragnelli, Giuliana Franceschinis, S. Villa
Dynamic Simulations of Kidney Exchanges. OR (2010)
Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad
Parametric NdRFT for the derivation of optimal repair strategies. DSN (2009)
Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis
Multiple abstraction levels in performance analysis of WSN monitoring systems. VALUETOOLS (2009)
Marco Beccuti, Alessio Bottrighi, Giuliana Franceschinis, Stefania Montani, Paolo Terenziani
Modeling Clinical Guidelines through Petri Nets. AIME (2009)
Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis
The GreatSPN tool: recent enhancements. SIGMETRICS Perform. Evaluation Rev. 36 (4) (2009)
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Francesco Moscato, Valeria Vittorini
Interfaces and binding in component based development of formal models. VALUETOOLS (2009)
Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis
From partially to fully lumped Markov chains in stochastic well formed Petri nets. VALUETOOLS (2009)
Gianfranco Balbo, Massimiliano De Pierro, Giuliana Franceschinis
Tagged Generalized Stochastic Petri Nets. EPEW (2009)
Marco Beccuti, Giuliana Franceschinis, Mohamed Kaâniche, Karama Kanoun
Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures. CRITIS (2008)
Souheib Baarir, Marco Beccuti, Giuliana Franceschinis
New Solvers for Asymmetric Systems in GreatSPN. QEST (2008)
Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad
Non deterministic repairable fault trees for computing optimal repair strategy. VALUETOOLS (2008)
F. La Mura, Francesco Della Corte, Marco Gribaudo, B. Tosi, S. Alciati, R. Bordino, Giuliana Franceschinis
Collaborative Virtual Environments as Research and Teaching Instruments in the Field of Disaster Medicine: the "e-DISTRICT CiPro" Simulator. IV (2007)
Marco Beccuti, Giuliana Franceschinis, Serge Haddad
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. ICATPN (2007)
Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad
A framework to design and solve Markov Decision Well-formed Net models. QEST (2007)
Marco Beccuti, Giuliana Franceschinis, Souheib Baarir, J-M. Ilie
Efficient lumpability check in partially symmetric systems. QEST (2006)
Giuliana Franceschinis, Joost-Pieter Katoen, C. Murray Woodside
Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST). IEEE Trans. Software Eng. 32 (8) (2006)
Giuliana Franceschinis
Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets. ICATPN (2005)
Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
A High Level Language for Structural Relations in Well-Formed Nets. ICATPN (2005)
Andrea Bobbio, Daniele Codetta Raiteri, Massimiliano De Pierro, Giuliana Franceschinis
Efficient Analysis Algorithms for Parametric Fault Trees. FIRB-Perf (2005)
Marco Gribaudo, Daniele Codetta Raiteri, Giuliana Franceschinis
Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems. QEST (2005)
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)
Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis
Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets. ISCIS (2004)
Fulvio Lazzarato, Giuliana Franceschinis, Marco Botta, Francesca Cordero, Raffaele A. Calogero
RRE: a tool for the extraction of non-coding regions surrounding annotated genes from genomic datasets. Bioinform. 20 (16) (2004)
Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis
The OsMoSys approach to multi-formalism modeling of systems. Softw. Syst. Model. 3 (1) (2004)
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. ICATPN (2004)
Daniele Codetta Raiteri, Mauro Iacono, Giuliana Franceschinis, Valeria Vittorini
Repairable Fault Tree for the Automatic Evaluation of Repair Policies. DSN (2004)
Giuliana Franceschinis, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca
SWN client-server composition operators in the OsMoSys framework. PNPM (2003)
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) (2003)
Andrea Bobbio, Ester Ciancamerla, Giuliana Franceschinis, Rossano Gaeta, Michele Minichino, Luigi Portinale
Sequential application of heterogeneous models for the safetyanalysis of a control system: a case study. Reliab. Eng. Syst. Saf. 81 (3) (2003)
Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale
Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics. IEEE Trans. Software Eng. 29 (3) (2003)
Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro
Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models. ACSD (2003)
Matteo Sonza Reorda, Massimo Violante, Nicola Mazzocca, Salvatore Venticinque, Andrea Bobbio, Giuliana Franceschinis
A hierarchical approach for designing dependable systems. HLDVT (2002)
Andrea Bobbio, Ester Ciancamerla, Giuliana Franceschinis, Rossano Gaeta, Michele Minichino, Luigi Portinale
Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System. SAFECOMP (2002)
Leana Golubchik, John C. S. Lui, Tak Fu Tung, Alix L. H. Chow, Adam Woei-Jyh Lee, Giuliana Franceschinis, Cosimo Anglano
Multi-path continuous media streaming: what are the benefits? Perform. Evaluation 49 (1/4) (2002)
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, Claudio Bertoncello
DrawNet++: A Flexible Framework for Building Dependability Models. DSN (2002)
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Nicola Mazzocca, Valeria Vittorini
DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems. Computer Performance Evaluation / TOOLS (2002)
Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale
Dependability Assessment of an Industrial Programmable Logic Controller via Parametric Fault-Tree and High level Petri Net. PNPM (2001)
Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié
On the use of partial symmetries for lumping Markov chains. SIGMETRICS Perform. Evaluation Rev. 28 (4) (2001)
Giuliana Franceschinis, Claudio Bertoncello, Guido Bruno, Giorgio Lungo Vaschetti, Antonio Pigozzi
SWN Models of a Contact Center: a Case Study. PNPM (2001)
Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié
Exploiting Partial Symmetries for Markov Chain Aggregation. Electron. Notes Theor. Comput. Sci. 39 (3) (2000)
Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis
Parametric Stochastic Well-Formed Nets and Compositional Modelling. ICATPN (2000)
Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro
Clarifying the priority specification of GSPN: Detached priorities. PNPM (1999)
Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale
Exploiting Petri nets to support fault tree based dependability analysis. PNPM (1999)
Giuliana Franceschinis, Andrea Fumagalli, A. Silinguelli
Stochastic Colored Petri Net Models for Rainbow Optical Networks. Application of Petri Nets to Communication Networks (1999)
Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié
Towards Performance Analysis with Partially Symmetrical SWN. MASCOTS (1999)
Giuliana Franceschinis, Andrea Fumagalli, Roberto Grasso
Performance Analysis of a WDM Bus Network Based on GSPN Models. Computer Performance Evaluation (Tools) (1998)
Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte, Susanna Donatelli, Giuliana Franceschinis
Modelling with Generalized Stochastic Petri Nets. SIGMETRICS Perform. Evaluation Rev. 26 (2) (1998)
Cosimo Anglano, Susanna Donatelli, Giuliana Franceschinis, Oliver Botti
Performance prediction of a reconfigurable high voltage substation simulator: a case study using SWN. PNPM (1997)
Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
A Symbolic Reachability Graph for Coloured Petri Nets. Theor. Comput. Sci. 176 (1-2) (1997)
Giuliana Franceschinis, Marina Ribaudo
Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras. Petri Nets (2) (1996)
Susanna Donatelli, Giuliana Franceschinis
The PSR Methodology: Integrating Hardware and Software Models. Application and Theory of Petri Nets (1996)
Oliver Botti, Susanna Donatelli, Giuliana Franceschinis
Assessing the Performance of Multiprocessor Architectures through SWN Models Simulation: A Case Study in the Field of Plant Automation Systems. Annual Simulation Symposium (1996)
Susanna Donatelli, Giuliana Franceschinis
Modelling and Analysis of Distributed Software Using GSPNs. Petri Nets (2) (1996)
Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta, Marina Ribaudo
GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Perform. Evaluation 24 (1-2) (1995)
Susanna Donatelli, Giuliana Franceschinis
State Space Reductions Using Stochastic Well-Formed Net Simplifications: An Application to Random Polling Systems. SIGMETRICS (1995)
Giuliana Franceschinis, Richard R. Muntz
Bounds for Quasi-Lumpable Markow Chains. Perform. Evaluation 20 (1-3) (1994)
Susanna Donatelli, Giuliana Franceschinis, Nicola Mazzocca, Stefano Russo
Software Architecture of the EPOCA Integrated Environment. Computer Performance Evaluation (1994)
Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta
Modeling Symmetric Computer Architectures by SWNs. Application and Theory of Petri Nets (1994)
Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis, Antonino Mazzeo, Nicola Mazzocca, Marina Ribaudo
On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs. Perform. Evaluation 19 (2-3) (1994)
Giuliana Franceschinis, Richard R. Muntz
Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets. IEEE Trans. Software Eng. 20 (7) (1994)
Susanna Donatelli, Giuliana Franceschinis, Marina Ribaudo, Stefano Russo
Use of GSPNs for concurrent software validation in EPOCA. Inf. Softw. Technol. 36 (7) (1994)
Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications. IEEE Trans. Computers 42 (11) (1993)
Giuliana Franceschinis, Richard R. Muntz
Computing bounds for the performance indices of quasi-lumpable stochastic well-formed nets. PNPM (1993)
Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta
A symbolic simulation mechanism for well-formed coloured Petri nets. Annual Simulation Symposium (1992)
Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis
Understanding Parallel Program Behavior through Petri Net Models. J. Parallel Distributed Comput. 15 (3) (1992)
Giovanni Chiola, Susanna Donatelli, Giuliana Franceschinis
GSPNs versus SPNs: What is the Actual Role of Immediate Transitions? PNPM (1991)
Giovanni Chiola, Giuliana Franceschinis
A Structural Colour Simplification in Well-Formed Coloured Nets. PNPM (1991)

Giuliana Franceschinis.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Giuliana Franceschinis