Giuliana Franceschinis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
14
Active years
1987–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | PADS | Attack Graph driven Discrete Event Simulation for Security Assessment in Power Systems. | Davide Savarro, Davide Cerotti, Daniele Codetta Raiteri, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Giovanna Dondossola, Roberta Terruggia |
| 2025 | FORTE | SNexpression: A New Component for SN Matrix-Based Structural Analysis. | Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis |
| 2025 | PDP | Exploiting GPU computing for effective Agent-Based simulation: initial experiments. | Marzio Pennisi, Giuliana Franceschinis, Daniele Baccega, Simone Pernice, Irene Terrone |
| 2019 | MASCOTS | 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 |
| 2013 | DATA | Towards a Second Generation of Computer Interpretable Guidelines. | Paolo Terenziani, Alessio Bottrighi, Laura Giordano, Giuliana Franceschinis, Stefania Montani, Luigi Portinale, Daniele Theseider Dupr |
| 2013 | PADS | Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets. | Elvio Gilberto Amparore, Benot Barbot, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis |
| 2012 | DSN | A new symbolic approach for network reliability analysis. | Marco Beccuti, Andrea Bobbio, Giuliana Franceschinis, Roberta Terruggia |
| 2012 | WSC | Efficient simulation of stochastic well-formed nets through symmetry exploitation. | Marco Beccuti, Giuliana Franceschinis |
| 2010 | TACAS | Simple | Antti Valmari, Giuliana Franceschinis |
| 2009 | AIME | Modeling Clinical Guidelines through Petri Nets. | Marco Beccuti, Alessio Bottrighi, Giuliana Franceschinis, Stefania Montani, Paolo Terenziani |
| 2009 | DSN | Parametric NdRFT for the derivation of optimal repair strategies. | Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad |
| 2008 | CRITIS | Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures. | Marco Beccuti, Giuliana Franceschinis, Mohamed Kaniche, Karama Kanoun |
| 2007 | IV | Collaborative Virtual Environments as Research and Teaching Instruments in the Field of Disaster Medicine: the "e-DISTRICT CiPro" Simulator. | F. La Mura, Francesco Della Corte, Marco Gribaudo, B. Tosi, S. Alciati, R. Bordino, Giuliana Franceschinis |
| 2004 | DSN | Repairable Fault Tree for the Automatic Evaluation of Repair Policies. | Daniele Codetta Raiteri, Mauro Iacono, Giuliana Franceschinis, Valeria Vittorini |
| 2002 | DSN | DrawNet++: A Flexible Framework for Building Dependability Models. | Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, Claudio Bertoncello |
| 2002 | SAFECOMP | Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System. | Andrea Bobbio, Ester Ciancamerla, Giuliana Franceschinis, Rossano Gaeta, Michele Minichino, Luigi Portinale |
| 1999 | MASCOTS | Towards Performance Analysis with Partially Symmetrical SWN. | Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ili |
| 1995 | SIGMETRICS | State Space Reductions Using Stochastic Well-Formed Net Simplifications: An Application to Random Polling Systems. | Susanna Donatelli, Giuliana Franceschinis |
| 1987 | ICRA | Generalized stochastic Petri nets for the performance evaluation of FMS. | Gianfranco Balbo, Giovanni Chiola, Giuliana Franceschinis, G. Molinar Roet |