- Software Reliability and Analysis Research
- Petri Nets in System Modeling
- Reliability and Maintenance Optimization
- Risk and Safety Analysis
- Formal Methods in Verification
- Advanced Queuing Theory Analysis
- Educational and Social Studies
- Real-Time Systems Scheduling
- Job Satisfaction and Organizational Behavior
- Simulation Techniques and Applications
- Fault Detection and Control Systems
- Business Process Modeling and Analysis
- Italian Social Issues and Migration
- Management, Economics, and Public Policy
- Cultural Differences and Values
- Distributed systems and fault tolerance
- Organizational Learning and Leadership
- Energy Efficient Wireless Sensor Networks
- Smart Grid Security and Resilience
- Software System Performance and Reliability
- Radiation Effects in Electronics
- Education and Technology Integration
- Mobile Ad Hoc Networks
- Probabilistic and Robust Engineering Design
- Bayesian Modeling and Causal Inference
University of Padua
2015-2025
Università degli Studi del Piemonte Orientale “Amedeo Avogadro”
2013-2024
University of Aosta Valley
2019-2021
ORCID
2021
Duke University
1986-2016
Tecnologie Avanzate (Italy)
1999-2013
Gestione Sistemi per l’Informatica (Italy)
2010
University of Turin
1997-2005
University of Naples Federico II
2003
University of Brescia
1994-2002
Petri nets in which random delays are associated with atomic transitions defined a comprehensive framework that contains most of the models already proposed literature. To include generally distributed firing times into model one must specify way next transition to fire is chosen, and how keeps track its past history; this set specifications called an execution policy. A discussion presented impact different policies have on semantics mode, as well characteristics stochastic process each...
An approximation algorithm for systematically converting a stiff Markov chain into nonstiff with smaller state space is discussed in this paper. After classifying the set of all states fast and slow states, proceeds by further recurrent subsets transient subset. A separate analysis each these done subset replaced single while probabilistic switch. reduction, remaining small analyzed conventional technique.
This paper focuses on a sub-class of Dynamic Fault Trees (DFTs), called Priority (PDFTs), containing only static gates, and Gates (Priority-AND, Functional Dependency) for which priority relation among the input nodes completely determines output behavior. We define events as temporal variables, we show that, by adding to usual Boolean operators new denoted BEFORE SIMULTANEOUS, it is possible derive structure function Top Event with any cascade Gates, repetition basic events. A set theorems...
Background: A strong nursing leadership that instills trust in the leader and organization is an important component for effective leadership, particularly health care organizations, because defines heart of workplaces by promoting patient safety, excellence care, recruitment, retention staff. Purpose: This study aimed to test impact perceived empowerment style expressed nurse supervisor, nurses' organizational support, leader, on job burnout. Methodology/Approach: group 273 nurses from...
This paper tests and confirms the cross-cultural equivalence of Servant Leadership Survey (SLS) in eight countries languages: The Netherlands, Portugal, Germany, Iceland, Italy, Spain, Turkey Finland. A composite sample consisting 5201 respondents from that all filled out SLS was used. three-step approach adopted to test configural invariance, measurement equivalence, structural equivalence. For full 30-item version SLS, invariance partial were confirmed. Implications these results for use...
When someone decides to buy organic food products trust plays a role. Consumers, in fact, are neither supposed have the appropriate knowledge evaluate characteristics of these products, nor can they control that was actually manufactured following procedures prescribed by production. Therefore, may contribute explanation both purchasing intention and behavior since it represents heuristic or shortcut people adopt order reduce large amount information consumers need take into account. The...
Abstract A number of approximate analysis techniques are based on matching moments continuous time phase type (PH) distributions. This paper presents an explicit method to compose minimal order acyclic (APH) distributions with a given first three moments. To this end we also evaluate the bounds for n APH (APH(n)). The investigations these properties basic transformation, which extends APH(n − 1) class additional in describe APH(n) class. Key Words: Acyclic distributionsMoment boundsMoment...
This paper aimed to investigate three issues. First, the validation of multi-dimensional Servant Leadership Survey (SLS) within Italian context. Second, enhance insight into degree servant leadership behaviour displayed by leaders in organizational settings. Third, support fact that Italy, too, is positively correlated integrity, commitment and citizenship while it negatively cynicism towards one’s own work. A sample about 800 adults, males females, currently employed profit non-profit...
PhFit, a new phase-type fitting tool is presented in this paper. PhFit allows for approximating distributions or set of samples not only by continuous but discrete as well. The implemented algorithms separate the body and tail part distribution which results satisfactory also heavy-tail distributions. Moreover, user to choose distance measure according performed. equipped with graphical interface that visualizes goodness provided approximation from several aspects.
Distribution functions that can be expressed as exponential polynomials have useful computational properties in applied stochastic modeling and gained widespread acceptance recent years. Nevertheless, the implementation of efficient numerical procedures for estimating distribution parameters remains an open problem limits use this class distributions applications. The difficulty fitting is largely related to non-linearity model number estimated Many attempts been presented literature....
Abstract The fair trade business model represents a strategy to achieve some of the sustainable development goals. studies reported in this paper examined intention formation process concerning purchase food and non‐food products. theoretical framework is theory planned behavior (TPB), extended with an additional predictor, moral norm, individual difference variable, social dominance orientation (SDO). SDO supposed act as background factor hypothesized TPB be negatively associated buy...
This paper addresses the moderating role of locomotion – a functional and fundamental dimension self-regulation in relationship between job insecurity subjective well-being. A group 205 adult Italian workers took part research by filling out an anonymous questionnaire that included measures insecurity, locomotion, satisfaction with life, positive negative affect. Results showed was positively related to affect negatively life Locomotion acted as moderator only case link means when perceived...
The ever-worsening climate crisis necessitates a shift toward sustainable energy systems that prioritise citizen participation. Renewable Energy Communities (RECs) present unique opportunity to enhance local resilience, reduce greenhouse gas emissions, and foster mitigation adaptation through participatory governance. This exploratory study investigates the psychosocial predictors of social acceptance for RECs, with focus on Socio-political Control Warm-glow Motivation as key determinants....
A new approach is proposed to include s-dependencies in fault tree (FT) models. With respect previous techniques, the presented this paper based on two peculiar powerful features. First, adopting a parameterization technique, referred as parametric FT (PFT), fold equal subtrees (or basic events) order resort more compact representation. It shown that can be conveniently adopted well for dynamic gates. Second, PFT modularized and each module translated into high level colored Petri net form...