Giuliana Franceschinis

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019

A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models.

[BibT_eX]

[DOI]

Laura Follia

Simone Pernice

Proceedings of the 27th IEEE International Symposium on Modeling, 2019

A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems.

[BibT_eX]

[DOI]

Davide Cerotti

Giovanna Dondossola

Lavinia Egidi

Roberta Terruggia

Proceedings of the Third Italian Conference on Cyber Security, 2019

Analysis and Detection of Cyber Attack Processes targeting Smart Grids.

[BibT_eX]

[DOI]

Davide Cerotti

Lavinia Egidi

Giovanna Dondossola

Roberta Terruggia

Proceedings of the 2019 IEEE PES Innovative Smart Grid Technologies Europe, 2019

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

[BibT_eX]

[DOI]

Francesca Cordero

Raffaele A. Calogero

Proceedings of the Computational Intelligence Methods for Bioinformatics and Biostatistics, 2019

2018

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

[BibT_eX]

[DOI]

Simone Pernice

Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

2015

From Symmetric Nets to Differential Equations exploiting Model Symmetries.

[BibT_eX]

[DOI]

Chiara Fornari

Comput. J., 2015

Computing Structural Properties of Symmetric Nets.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

Markov Decision Petri Nets with Uncertainty.

[BibT_eX]

[DOI]

Dimitri Scheftelowitsch

Peter Buchholz

Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

2014

Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis.

[BibT_eX]

[DOI]

Comput. J., 2014

Advances in the GINSENG Project.

[BibT_eX]

[DOI]

Paolo Terenziani

Alessio Bottrighi

Laura Giordano

Daniele Theseider Dupré

Proceedings of the 2014 IEEE International Conference on Healthcare Informatics, 2014

2013

A tool for symbolic manipulation of arc functions in symmetric net models.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets.

[BibT_eX]

[DOI]

Benoît Barbot

Proceedings of the SIGSIM Principles of Advanced Discrete Simulation, 2013

Towards a Second Generation of Computer Interpretable Guidelines.

[BibT_eX]

[DOI]

Paolo Terenziani

Alessio Bottrighi

Laura Giordano

Stefania Montani

Daniele Theseider Dupré

Proceedings of the DATA 2013 - Proceedings of the 2nd International Conference on Data Technologies and Applications, Reykjavík, Iceland, 29, 2013

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

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012

Quantification of dependencies between electrical and information infrastructures.

[BibT_eX]

[DOI]

Silvano Chiaradonna

Felicita Di Giandomenico

Giovanna Dondossola

Int. J. Crit. Infrastructure Prot., 2012

Efficient simulation of stochastic well-formed nets through symmetry exploitation.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference, 2012

A new symbolic approach for network reliability analysis.

[BibT_eX]

[DOI]

Roberta Terruggia

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

2011

Lumping partially symmetrical stochastic models.

[BibT_eX]

[DOI]

Perform. Evaluation, 2011

First Passage Time Computation in Tagged GSPNs with Queue Places.

[BibT_eX]

[DOI]

Comput. J., 2011

Computing first passage time distributions in stochastic well-formed nets.

[BibT_eX]

[DOI]

Proceedings of the ICPE'11, 2011

Probe Automata for Passage Time Specification.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

2010

Preface.

[BibT_eX]

[DOI]

Wojciech Penczek

Karsten Wolf

Fundam. Informaticae, 2010

Simple O(m logn) Time Markov Chain Lumping.

[BibT_eX]

[DOI]

Antti Valmari

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Dynamic Simulations of Kidney Exchanges.

[BibT_eX]

[DOI]

V. Fragnelli

S. Villa

Proceedings of the Operations Research Proceedings 2010, 2010

Stochastic Petri Nets Sensitivity to Token Scheduling Policies.

[BibT_eX]

[DOI]

Proceedings of the Operations Research Proceedings 2010, 2010

2009

The GreatSPN tool: recent enhancements.

[BibT_eX]

[DOI]

Davide Cerotti

SIGMETRICS Perform. Evaluation Rev., 2009

Interfaces and binding in component based development of formal models.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009

Multiple abstraction levels in performance analysis of WSN monitoring systems.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009

From partially to fully lumped Markov chains in stochastic well formed Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009

Tagged Generalized Stochastic Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering, 2009

Parametric NdRFT for the derivation of optimal repair strategies.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

Modeling Clinical Guidelines through Petri Nets.

[BibT_eX]

[DOI]

Alessio Bottrighi

Stefania Montani

Paolo Terenziani

Proceedings of the Artificial Intelligence in Medicine, 2009

2008

Non deterministic repairable fault trees for computing optimal repair strategy.

[BibT_eX]

[DOI]

Proceedings of the 3rd International ICST Conference on Performance Evaluation Methodologies and Tools, 2008

New Solvers for Asymmetric Systems in GreatSPN.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

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

[BibT_eX]

[DOI]

Mohamed Kaâniche

Karama Kanoun

Proceedings of the Critical Information Infrastructure Security, 2008

2007

A framework to design and solve Markov Decision Well-formed Net models.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Collaborative Virtual Environments as Research and Teaching Instruments in the Field of Disaster Medicine: the "e-DISTRICT CiPro" Simulator.

[BibT_eX]

[DOI]

F. La Mura

Francesco Della Corte

Proceedings of the 11th International Conference on Information Visualisation, 2007

Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms.

[BibT_eX]

[DOI]

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST).

[BibT_eX]

[DOI]

Joost-Pieter Katoen

C. Murray Woodside

IEEE Trans. Software Eng., 2006

Efficient lumpability check in partially symmetric systems.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

2005

Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems.

[BibT_eX]

[DOI]

Marco Gribaudo

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

Efficient Analysis Algorithms for Parametric Fault Trees.

[BibT_eX]

[DOI]

Proceedings of the FIRB-Perf Workshop on Techniques, 2005

Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

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

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004

The OsMoSys approach to multi-formalism modeling of systems.

[BibT_eX]

[DOI]

Valeria Vittorini

Mauro Iacono

Softw. Syst. Model., 2004

RRE: a tool for the extraction of non-coding regions surrounding annotated genes from genomic datasets.

[BibT_eX]

[DOI]

Fulvio Lazzarato

Marco Botta

Francesca Cordero

Raffaele A. Calogero

Bioinform., 2004

Extended SWN Solvers in GreatSPN.

[BibT_eX]

[DOI]

Patrice Moreaux

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets.

[BibT_eX]

[DOI]

Proceedings of the Computer and Information Sciences, 2004

Repairable Fault Tree for the Automatic Evaluation of Repair Policies.

[BibT_eX]

[DOI]

Mauro Iacono

Valeria Vittorini

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

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

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003

Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities.

[BibT_eX]

[DOI]

Enrique Teruel

IEEE Trans. Software Eng., 2003

Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2003

Sequential application of heterogeneous models for the safetyanalysis of a control system: a case study.

[BibT_eX]

[DOI]

Ester Ciancamerla

Michele Minichino

Reliab. Eng. Syst. Saf., 2003

SWN client-server composition operators in the OsMoSys framework.

[BibT_eX]

[DOI]

Valeria Vittorini

Stefano Marrone

Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003

Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Multi-path continuous media streaming: what are the benefits?

[BibT_eX]

Cosimo Anglano

Perform. Evaluation, 2002

Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System.

[BibT_eX]

[DOI]

Ester Ciancamerla

Michele Minichino

Proceedings of the Computer Safety, 2002

A hierarchical approach for designing dependable systems.

[BibT_eX]

[DOI]

Matteo Sonza Reorda

Massimo Violante

Salvatore Venticinque

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

DrawNet++: A Flexible Framework for Building Dependability Models.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Evaluation, 2002

2001

On the use of partial symmetries for lumping Markov chains.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2001

SWN Models of a Contact Center: a Case Study.

[BibT_eX]

[DOI]

Claudio Bertoncello

Guido Bruno

Giorgio Lungo Vaschetti

Antonio Pigozzi

Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

Dependability Assessment of an Industrial Programmable Logic Controller via Parametric Fault-Tree and High level Petri Net.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

2000

Exploiting Partial Symmetries for Markov Chain Aggregation.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Models for Time-Critical Systems, 2000

Parametric Stochastic Well-Formed Nets and Compositional Modelling.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 2000, 2000

1999

Clarifying the priority specification of GSPN: Detached priorities.

[BibT_eX]

[DOI]

Enrique Teruel

Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

Exploiting Petri nets to support fault tree based dependability analysis.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

Towards Performance Analysis with Partially Symmetrical SWN.

[BibT_eX]

[DOI]

Proceedings of the MASCOTS 1999, 1999

Stochastic Colored Petri Net Models for Rainbow Optical Networks.

[BibT_eX]

[DOI]

Andrea Fumagalli

A. Silinguelli

Proceedings of the Application of Petri Nets to Communication Networks, 1999

1998

Modelling with Generalized Stochastic Petri Nets.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 1998

Performance Analysis of a WDM Bus Network Based on GSPN Models.

[BibT_eX]

[DOI]

Andrea Fumagalli

Roberto Grasso

Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998

1997

A Symbolic Reachability Graph for Coloured Petri Nets.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1997

Performance prediction of a reconfigurable high voltage substation simulator: a case study using SWN.

[BibT_eX]

[DOI]

Cosimo Anglano

Oliver Botti

Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997

1996

The PSR Methodology: Integrating Hardware and Software Models.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1996, 1996

Assessing the Performance of Multiprocessor Architectures through SWN Models Simulation: A Case Study in the Field of Plant Automation Systems.

[BibT_eX]

[DOI]

Oliver Botti

Proceedings of the Proceedings 29st Annual Simulation Symposium (SS '96), 1996

Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras.

[BibT_eX]

[DOI]

Proceedings of the Lectures on Petri Nets II: Applications, 1996

Modelling and Analysis of Distributed Software Using GSPNs.

[BibT_eX]

[DOI]

Proceedings of the Lectures on Petri Nets II: Applications, 1996

1995

GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets.

[BibT_eX]

[DOI]

Perform. Evaluation, 1995

State Space Reductions Using Stochastic Well-Formed Net Simplifications: An Application to Random Polling Systems.

[BibT_eX]

[DOI]

Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1995

1994

Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets.

[BibT_eX]

[DOI]

Richard R. Muntz

IEEE Trans. Software Eng., 1994

Bounds for Quasi-Lumpable Markow Chains.

[BibT_eX]

[DOI]

Richard R. Muntz

Perform. Evaluation, 1994

On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs.

[BibT_eX]

[DOI]

Antonino Mazzeo

Perform. Evaluation, 1994

Use of GSPNs for concurrent software validation in EPOCA.

[BibT_eX]

[DOI]

Stefano Russo

Inf. Softw. Technol., 1994

Software Architecture of the EPOCA Integrated Environment.

[BibT_eX]

[DOI]

Stefano Russo

Proceedings of the Computer Performance Evaluation, 1994

Modeling Symmetric Computer Architectures by SWNs.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1994, 1994

1993

Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1993

1992

Understanding Parallel Program Behavior through Petri Net Models.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1992

A symbolic simulation mechanism for well-formed coloured Petri nets.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 25th Annual Simulation Symposium (ANSS-25 1992), 1992

1991

A Structural Colour Simplification in Well-Formed Coloured Nets.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991

GSPNs versus SPNs: What is the Actual Role of Immediate Transitions?

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991

1989

Colored GSPN Models and Automatic Symmetry Detection.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

1987

On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets.

[BibT_eX]

G. Molinar Roet

Proceedings of the Second International Workshop on Petri Nets and Performance Models, 1987

Generalized stochastic Petri nets for the performance evaluation of FMS.

[BibT_eX]

[DOI]