Giuliana Franceschinis
Orcid: 0000-0001-6571-9217
According to our database1,
Giuliana Franceschinis
authored at least 102 papers
between 1987 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
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., March, 2024
SecuriDN: a customizable GUI generating cybersecurity models for DER control architectures.
Proceedings of the 8th Italian Conference on Cyber Security (ITASEC 2024), 2024
2023
Exploiting Structural Dependency Relations for Efficient Agent Based Model Simulation.
Proceedings of the Computer Performance Engineering and Stochastic Modelling, 2023
2022
Special issue on the Workshop on TOols for Stochastic Modeling and Evaluation (TOSME 2021).
SIGMETRICS Perform. Evaluation Rev., 2022
2021
A Petri Net Formalism to Study Systems at Different Scales Exploiting Agent-Based and Stochastic Simulations.
Proceedings of the Performance Engineering and Stochastic Modeling, 2021
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2021
Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), 2021
2020
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020
2019
Proceedings of the 27th IEEE International Symposium on Modeling, 2019
A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems.
Proceedings of the Third Italian Conference on Cyber Security, 2019
Proceedings of the 2019 IEEE PES Innovative Smart Grid Technologies Europe, 2019
Multiple Sclerosis Disease: A Computational Approach for Investigating Its Drug Interactions.
Proceedings of the Computational Intelligence Methods for Bioinformatics and Biostatistics, 2019
2018
Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding.
Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018
2015
Comput. J., 2015
Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015
2014
Comput. J., 2014
Proceedings of the 2014 IEEE International Conference on Healthcare Informatics, 2014
2013
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.
Proceedings of the SIGSIM Principles of Advanced Discrete Simulation, 2013
Proceedings of the DATA 2013 - Proceedings of the 2nd International Conference on Data Technologies and Applications, Reykjavík, Iceland, 29, 2013
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013
2012
Int. J. Crit. Infrastructure Prot., 2012
Proceedings of the Winter Simulation Conference, 2012
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012
2011
Proceedings of the ICPE'11, 2011
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011
2010
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010
Proceedings of the Operations Research Proceedings 2010, 2010
Proceedings of the Operations Research Proceedings 2010, 2010
2009
Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009
Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009
Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009
Proceedings of the Computer Performance Engineering, 2009
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009
Proceedings of the Artificial Intelligence in Medicine, 2009
2008
Proceedings of the 3rd International ICST Conference on Performance Evaluation Methodologies and Tools, 2008
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.
Proceedings of the Critical Information Infrastructure Security, 2008
2007
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.
Proceedings of the 11th International Conference on Information Visualisation, 2007
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).
IEEE Trans. Software Eng., 2006
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.
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005
Proceedings of the FIRB-Perf Workshop on Techniques, 2005
Proceedings of the Applications and Theory of Petri Nets 2005, 2005
Proceedings of the Applications and Theory of Petri Nets 2005, 2005
2004
Softw. Syst. Model., 2004
RRE: a tool for the extraction of non-coding regions surrounding annotated genes from genomic datasets.
Bioinform., 2004
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.
Proceedings of the Computer and Information Sciences, 2004
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
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.
IEEE Trans. Software Eng., 2003
Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics.
IEEE Trans. Software Eng., 2003
Sequential application of heterogeneous models for the safetyanalysis of a control system: a case study.
Reliab. Eng. Syst. Saf., 2003
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.
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?
Perform. Evaluation, 2002
Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System.
Proceedings of the Computer Safety, 2002
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002
Proceedings of the Computer Performance Evaluation, 2002
2001
SIGMETRICS Perform. Evaluation Rev., 2001
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.
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001
2000
Proceedings of the International Workshop on Models for Time-Critical Systems, 2000
Proceedings of the Application and Theory of Petri Nets 2000, 2000
1999
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999
Proceedings of the MASCOTS 1999, 1999
Proceedings of the Application of Petri Nets to Communication Networks, 1999
1998
SIGMETRICS Perform. Evaluation Rev., 1998
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998
1997
Performance prediction of a reconfigurable high voltage substation simulator: a case study using SWN.
Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997
1996
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.
Proceedings of the Proceedings 29st Annual Simulation Symposium (SS '96), 1996
Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras.
Proceedings of the Lectures on Petri Nets II: Applications, 1996
Proceedings of the Lectures on Petri Nets II: Applications, 1996
1995
Perform. Evaluation, 1995
State Space Reductions Using Stochastic Well-Formed Net Simplifications: An Application to Random Polling Systems.
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.
IEEE Trans. Software Eng., 1994
On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs.
Perform. Evaluation, 1994
Proceedings of the Computer Performance Evaluation, 1994
Proceedings of the Application and Theory of Petri Nets 1994, 1994
1993
IEEE Trans. Computers, 1993
1992
J. Parallel Distributed Comput., 1992
Proceedings of the Proceedings 25th Annual Simulation Symposium (ANSS-25 1992), 1992
1991
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991
1989
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.
Proceedings of the Second International Workshop on Petri Nets and Performance Models, 1987
Proceedings of the 1987 IEEE International Conference on Robotics and Automation, Raleigh, North Carolina, USA, March 31, 1987