Generalized stochastic Petri nets for the performance evaluation of FMS. - Gianfranco Balbo; Giovanni Chiola; Giuliana Franceschinis; G. Molinar Roet (ICRA, 1987)

On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets. - Gianfranco Balbo; Giovanni Chiola; Giuliana Franceschinis; G. Molinar Roet (PNPM, 1987)

Colored GSPN Models and Automatic Symmetry Detection. - Giovanni Chiola; Giuliana Franceschinis (PNPM, 1989)

GSPNs versus SPNs: What is the Actual Role of Immediate Transitions? - Giovanni Chiola; Susanna Donatelli; Giuliana Franceschinis (PNPM, 1991)

A Structural Colour Simplification in Well-Formed Coloured Nets. - Giovanni Chiola; Giuliana Franceschinis (PNPM, 1991)

A symbolic simulation mechanism for well-formed coloured Petri nets. - Giovanni Chiola; Giuliana Franceschinis; Rossano Gaeta (Annual Simulation Symposium, 1992)

Understanding Parallel Program Behavior through Petri Net Models. - Gianfranco Balbo; Susanna Donatelli; Giuliana Franceschinis (J. Parallel Distributed Comput., 1992)

Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications. - Giovanni Chiola; Claude Dutheillet; Giuliana Franceschinis; Serge Haddad (IEEE Trans. Computers, 1993)

Modeling Symmetric Computer Architectures by SWNs. - Giovanni Chiola; Giuliana Franceschinis; Rossano Gaeta (Application and Theory of Petri Nets, 1994)

Software Architecture of the EPOCA Integrated Environment. - Susanna Donatelli; Giuliana Franceschinis; Nicola Mazzocca; Stefano Russo 001 (Computer Performance Evaluation, 1994)

Use of GSPNs for concurrent software validation in EPOCA. - Susanna Donatelli; Giuliana Franceschinis; Marina Ribaudo; Stefano Russo 001 (Inf. Softw. Technol., 1994)

On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs. - Gianfranco Balbo; Susanna Donatelli; Giuliana Franceschinis; Antonino Mazzeo; Nicola Mazzocca; Marina Ribaudo (Perform. Evaluation, 1994)

Bounds for Quasi-Lumpable Markow Chains. - Giuliana Franceschinis; Richard R. Muntz (Perform. Evaluation, 1994)

Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets. - Giuliana Franceschinis; Richard R. Muntz (IEEE Trans. Software Eng., 1994)

State Space Reductions Using Stochastic Well-Formed Net Simplifications: An Application to Random Polling Systems. - Susanna Donatelli; Giuliana Franceschinis (SIGMETRICS, 1995)

GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. - Giovanni Chiola; Giuliana Franceschinis; Rossano Gaeta; Marina Ribaudo (Perform. Evaluation, 1995)

Modelling and Analysis of Distributed Software Using GSPNs. - Susanna Donatelli; Giuliana Franceschinis (Petri Nets (2), 1996)

Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras. - Giuliana Franceschinis; Marina Ribaudo (Petri Nets (2), 1996)

Assessing the Performance of Multiprocessor Architectures through SWN Models Simulation: A Case Study in the Field of Plant Automation Systems. - Oliver Botti; Susanna Donatelli; Giuliana Franceschinis (Annual Simulation Symposium, 1996)

The PSR Methodology: Integrating Hardware and Software Models. - Susanna Donatelli; Giuliana Franceschinis (Application and Theory of Petri Nets, 1996)

Performance prediction of a reconfigurable high voltage substation simulator: a case study using SWN. - Cosimo Anglano; Susanna Donatelli; Giuliana Franceschinis; Oliver Botti (PNPM, 1997)

A Symbolic Reachability Graph for Coloured Petri Nets. - Giovanni Chiola; Claude Dutheillet; Giuliana Franceschinis; Serge Haddad (Theor. Comput. Sci., 1997)

Performance Analysis of a WDM Bus Network Based on GSPN Models. - Giuliana Franceschinis; Andrea Fumagalli; Roberto Grasso (Computer Performance Evaluation (Tools), 1998)

Modelling with Generalized Stochastic Petri Nets. - Marco Ajmone Marsan; Gianfranco Balbo; Gianni Conte; Susanna Donatelli; Giuliana Franceschinis (SIGMETRICS Perform. Evaluation Rev., 1998)

Stochastic Colored Petri Net Models for Rainbow Optical Networks. - Giuliana Franceschinis; Andrea Fumagalli; A. Silinguelli (Application of Petri Nets to Communication Networks, 1999)

Towards Performance Analysis with Partially Symmetrical SWN. - Lorenzo Capra; Claude Dutheillet; Giuliana Franceschinis; Jean-Michel Ilié (MASCOTS, 1999)

Exploiting Petri nets to support fault tree based dependability analysis. - Andrea Bobbio; Giuliana Franceschinis; Rossano Gaeta; Luigi Portinale (PNPM, 1999)

Clarifying the priority specification of GSPN: Detached priorities. - Enrique Teruel; Giuliana Franceschinis; Massimiliano De Pierro (PNPM, 1999)

Parametric Stochastic Well-Formed Nets and Compositional Modelling. - Paolo Ballarini; Susanna Donatelli; Giuliana Franceschinis (ICATPN, 2000)

Exploiting Partial Symmetries for Markov Chain Aggregation. - Lorenzo Capra; Claude Dutheillet; Giuliana Franceschinis; Jean-Michel Ilié (MTCS, 2000)

Dependability Assessment of an Industrial Programmable Logic Controller via Parametric Fault-Tree and High level Petri Net. - Andrea Bobbio; Giuliana Franceschinis; Rossano Gaeta; Luigi Portinale (PNPM, 2001)

SWN Models of a Contact Center: a Case Study. - Giuliana Franceschinis; Claudio Bertoncello; Guido Bruno; Giorgio Lungo Vaschetti; Antonio Pigozzi (PNPM, 2001)

On the use of partial symmetries for lumping Markov chains. - Lorenzo Capra; Claude Dutheillet; Giuliana Franceschinis; Jean-Michel Ilié (SIGMETRICS Perform. Evaluation Rev., 2001)

DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems. - Giuliana Franceschinis; Marco Gribaudo; Mauro Iacono; Nicola Mazzocca; Valeria Vittorini (Computer Performance Evaluation / TOOLS, 2002)

DrawNet++: A Flexible Framework for Building Dependability Models. - Giuliana Franceschinis; Marco Gribaudo; Mauro Iacono; Valeria Vittorini; Claudio Bertoncello (DSN, 2002)

A hierarchical approach for designing dependable systems. - Matteo Sonza Reorda; Massimo Violante; Nicola Mazzocca; Salvatore Venticinque; Andrea Bobbio; Giuliana Franceschinis (HLDVT, 2002)

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 (SAFECOMP, 2002)

Multi-path continuous media streaming: what are the benefits? - Leana Golubchik; John C. S. Lui; Tak Fu Tung; Alix L. H. Chow; Adam Woei-Jyh Lee; Giuliana Franceschinis; Cosimo Anglano (Perform. Evaluation, 2002)

Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models. - Paolo Ballarini; Lorenzo Capra; Giuliana Franceschinis; Massimiliano De Pierro (ACSD, 2003)

SWN client-server composition operators in the OsMoSys framework. - Giuliana Franceschinis; Valeria Vittorini; Stefano Marrone 001; Nicola Mazzocca (PNPM, 2003)

Sequential application of heterogeneous models for the safetyanalysis of a control system: a case study. - Andrea Bobbio; Ester Ciancamerla; Giuliana Franceschinis; Rossano Gaeta; Michele Minichino; Luigi Portinale (Reliab. Eng. Syst. Saf., 2003)

Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics. - Andrea Bobbio; Giuliana Franceschinis; Rossano Gaeta; Luigi Portinale (IEEE Trans. Software Eng., 2003)

Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities. - Enrique Teruel; Giuliana Franceschinis; Massimiliano De Pierro (IEEE Trans. Software Eng., 2003)

Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. - Giuliana Franceschinis; Marco Gribaudo; Mauro Iacono; Stefano Marrone 001; Nicola Mazzocca; Valeria Vittorini (ICATPN, 2004)

Repairable Fault Tree for the Automatic Evaluation of Repair Policies. - Daniele Codetta Raiteri; Mauro Iacono; Giuliana Franceschinis; Valeria Vittorini (DSN, 2004)

Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets. - Paolo Ballarini; Lorenzo Capra; Giuliana Franceschinis (ISCIS, 2004)

Extended SWN Solvers in GreatSPN. - Jean-Michel Ilié; Souheib Baarir; Marco Beccuti; Clément Delamare; Susanna Donatelli; Claude Dutheillet; Giuliana Franceschinis; Rossano Gaeta; Patrice Moreaux (QEST, 2004)

RRE: a tool for the extraction of non-coding regions surrounding annotated genes from genomic datasets. - Fulvio Lazzarato; Giuliana Franceschinis; Marco Botta; Francesca Cordero; Raffaele A. Calogero (Bioinform., 2004)

The OsMoSys approach to multi-formalism modeling of systems. - Valeria Vittorini; Mauro Iacono; Nicola Mazzocca; Giuliana Franceschinis (Softw. Syst. Model., 2004)

A High Level Language for Structural Relations in Well-Formed Nets. - Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis (ICATPN, 2005)

Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets. - Giuliana Franceschinis (ICATPN, 2005)

Efficient Analysis Algorithms for Parametric Fault Trees. - Andrea Bobbio; Daniele Codetta Raiteri; Massimiliano De Pierro; Giuliana Franceschinis (FIRB-Perf, 2005)

Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems. - Marco Gribaudo; Daniele Codetta Raiteri; Giuliana Franceschinis (QEST, 2005)

Efficient lumpability check in partially symmetric systems. - Marco Beccuti; Giuliana Franceschinis; Souheib Baarir; Jean-Michel Ilié (QEST, 2006)

Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST). - Giuliana Franceschinis; Joost-Pieter Katoen; C. Murray Woodside (IEEE Trans. Software Eng., 2006)

Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. - Marco Beccuti; Giuliana Franceschinis; Serge Haddad (ICATPN, 2007)

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 (IV, 2007)

A framework to design and solve Markov Decision Well-formed Net models. - Marco Beccuti; Daniele Codetta Raiteri; Giuliana Franceschinis; Serge Haddad (QEST, 2007)

Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures. - Marco Beccuti; Giuliana Franceschinis; Mohamed Kaâniche; Karama Kanoun (CRITIS, 2008)

New Solvers for Asymmetric Systems in GreatSPN. - Souheib Baarir; Marco Beccuti; Giuliana Franceschinis (QEST, 2008)

Non deterministic repairable fault trees for computing optimal repair strategy. - Marco Beccuti; Daniele Codetta Raiteri; Giuliana Franceschinis; Serge Haddad (VALUETOOLS, 2008)

Modeling Clinical Guidelines through Petri Nets. - Marco Beccuti; Alessio Bottrighi; Giuliana Franceschinis; Stefania Montani; Paolo Terenziani (AIME, 2009)

Parametric NdRFT for the derivation of optimal repair strategies. - Marco Beccuti; Giuliana Franceschinis; Daniele Codetta Raiteri; Serge Haddad (DSN, 2009)

Tagged Generalized Stochastic Petri Nets. - Gianfranco Balbo; Massimiliano De Pierro; Giuliana Franceschinis (EPEW, 2009)

From partially to fully lumped Markov chains in stochastic well formed Petri nets. - Souheib Baarir; Marco Beccuti; Claude Dutheillet; Giuliana Franceschinis (VALUETOOLS, 2009)

Multiple abstraction levels in performance analysis of WSN monitoring systems. - Marco Beccuti; Daniele Codetta Raiteri; Giuliana Franceschinis (VALUETOOLS, 2009)

Interfaces and binding in component based development of formal models. - Giuliana Franceschinis; Marco Gribaudo; Mauro Iacono; Stefano Marrone 001; Francesco Moscato 001; Valeria Vittorini (VALUETOOLS, 2009)

The GreatSPN tool: recent enhancements. - Souheib Baarir; Marco Beccuti; Davide Cerotti; Massimiliano De Pierro; Susanna Donatelli; Giuliana Franceschinis (SIGMETRICS Perform. Evaluation Rev., 2009)

Stochastic Petri Nets Sensitivity to Token Scheduling Policies. - Gianfranco Balbo; Marco Beccuti; Massimiliano De Pierro; Giuliana Franceschinis (OR, 2010)

Dynamic Simulations of Kidney Exchanges. - Marco Beccuti; V. Fragnelli; Giuliana Franceschinis; S. Villa (OR, 2010)

Simple O(m logn) Time Markov Chain Lumping. - Antti Valmari; Giuliana Franceschinis (TACAS, 2010)

Preface. - Giuliana Franceschinis; Wojciech Penczek; Karsten Wolf (Fundam. Informaticae, 2010)

Probe Automata for Passage Time Specification. - Elvio Gilberto Amparore; Marco Beccuti; Susanna Donatelli; Giuliana Franceschinis (QEST, 2011)

Computing first passage time distributions in stochastic well-formed nets. - Gianfranco Balbo; Marco Beccuti; Massimiliano De Pierro; Giuliana Franceschinis (ICPE, 2011)

First Passage Time Computation in Tagged GSPNs with Queue Places. - Gianfranco Balbo; Marco Beccuti; Massimiliano De Pierro; Giuliana Franceschinis (Comput. J., 2011)

Lumping partially symmetrical stochastic models. - Souheib Baarir; Marco Beccuti; Claude Dutheillet; Giuliana Franceschinis; Serge Haddad (Perform. Evaluation, 2011)

A new symbolic approach for network reliability analysis. - Marco Beccuti; Andrea Bobbio; Giuliana Franceschinis; Roberta Terruggia (DSN, 2012)

Efficient simulation of stochastic well-formed nets through symmetry exploitation. - Marco Beccuti; Giuliana Franceschinis (WSC, 2012)

Quantification of dependencies between electrical and information infrastructures. - Marco Beccuti; Silvano Chiaradonna; Felicita Di Giandomenico; Susanna Donatelli; Giovanna Dondossola; Giuliana Franceschinis (Int. J. Crit. Infrastructure Prot., 2012)

Expressing and Computing Passage Time Measures of GSPN Models with HASL. - Elvio Gilberto Amparore; Paolo Ballarini; Marco Beccuti; Susanna Donatelli; Giuliana Franceschinis (Petri Nets, 2013)

Towards a Second Generation of Computer Interpretable Guidelines. - Paolo Terenziani; Alessio Bottrighi; Laura Giordano 001; Giuliana Franceschinis; Stefania Montani; Luigi Portinale; Daniele Theseider Dupré (DATA, 2013)

Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets. - Elvio Gilberto Amparore; Benoît Barbot; Marco Beccuti; Susanna Donatelli; Giuliana Franceschinis (SIGSIM-PADS, 2013)

A tool for symbolic manipulation of arc functions in symmetric net models. - Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis (VALUETOOLS, 2013)

Advances in the GINSENG Project. - Paolo Terenziani; Alessio Bottrighi; Laura Giordano 001; Giuliana Franceschinis; Stefania Montani; Luca Piovesan; Luigi Portinale; Stefania Rubrichi; Matteo Spiotta; Daniele Theseider Dupré (ICHI, 2014)

Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis. - Marco Beccuti; Giuliana Franceschinis; Daniele Codetta Raiteri; Serge Haddad (Comput. J., 2014)

Markov Decision Petri Nets with Uncertainty. - Marco Beccuti; Elvio Gilberto Amparore; Susanna Donatelli; Dimitri Scheftelowitsch; Peter Buchholz 001; Giuliana Franceschinis (EPEW, 2015)

Computing Structural Properties of Symmetric Nets. - Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis (QEST, 2015)

From Symmetric Nets to Differential Equations exploiting Model Symmetries. - Marco Beccuti; Chiara Fornari; Giuliana Franceschinis; Sami M. Halawani; Omar M. Ba-Rukab; Ab Rahman Ahmad; Gianfranco Balbo (Comput. J., 2015)

Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding. - Marco Beccuti; Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis; Simone Pernice (EPEW, 2018)

Multiple Sclerosis Disease: A Computational Approach for Investigating Its Drug Interactions. - Simone Pernice; Marco Beccuti; Greta Romano; Marzio Pennisi; Alessandro Maglione; Santina Cutrupi; Francesco Pappalardo 001; Lorenzo Capra; Giuliana Franceschinis; Massimiliano De Pierro; Gianfranco Balbo; Francesca Cordero; et al. (CIBB, 2019)

Analysis and Detection of Cyber Attack Processes targeting Smart Grids. - Davide Cerotti; Daniele Codetta Raiteri; Lavinia Egidi; Giuliana Franceschinis; Luigi Portinale; Giovanna Dondossola; Roberta Terruggia (ISGT Europe, 2019)

A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems. - Davide Cerotti; Daniele Codetta Raiteri; Giovanna Dondossola; Lavinia Egidi; Giuliana Franceschinis; Luigi Portinale; Roberta Terruggia (ITASEC, 2019)

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 (MASCOTS, 2019)

SNexpression: A Symbolic Calculator for Symmetric Net Expressions. - Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis (Petri Nets, 2020)

General Composition for Symmetric Net Arc Functions with Applications. - Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis (PNSE@Petri Nets, 2021)

Multiformalism modeling and simulation of immune system mechanisms. - Elvio Gilberto Amparore; Marco Beccuti; Paolo Castagno; Giuliana Franceschinis; Marzio Pennisi; Simone Pernice (BIBM, 2021)

A Petri Net Formalism to Study Systems at Different Scales Exploiting Agent-Based and Stochastic Simulations. - Marco Beccuti; Paolo Castagno; Giuliana Franceschinis; Marzio Pennisi; Simone Pernice (EPEW, 2021)

Editorial: Valuetools 2019. - Giuliana A. Franceschinis; Balakrishna J. Prabhu; Mikaël Touati (Perform. Evaluation, 2021)

Special issue on the Workshop on TOols for Stochastic Modeling and Evaluation (TOSME 2021). - Susanna Donatelli; Giuliana Franceschinis (SIGMETRICS Perform. Evaluation Rev., 2022)

Stochastic Modeling and Dosage Optimization of a Cancer Vaccine Exploiting the EpiMod Framework. - Marco Beccuti; Giuliana Franceschinis; Marzio Pennisi; Simone Pernice; Irene Terrone (CIBB, 2023)

Exploiting Structural Dependency Relations for Efficient Agent Based Model Simulation. - Marzio Pennisi; Elvio G. Amparore; Giuliana Franceschinis (EPEW, 2023)

SecuriDN: a customizable GUI generating cybersecurity models for DER control architectures. - Davide Cerotti; Daniele Codetta Raiteri; Giovanna Dondossola; Lavinia Egidi; Giuliana Franceschinis; Luigi Portinale; Roberta Terruggia; Davide Savarro (ITASEC, 2024)

From Compositional Petri Net Modeling to Macro and Micro Simulation by Means of Stochastic Simulation and Agent-Based Models. - Elvio Gilberto Amparore; Marco Beccuti; Paolo Castagno; Simone Pernice; Giuliana Franceschinis; Marzio Pennisi (ACM Trans. Model. Perform. Evaluation Comput. Syst., 2024)

SNexpression: A New Component for SN Matrix-Based Structural Analysis. - Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis (FORTE, 2025)

Exploiting GPU computing for effective Agent-Based simulation: initial experiments. - Marzio Pennisi; Giuliana Franceschinis; Daniele Baccega; Simone Pernice; Irene Terrone (PDP, 2025)