Citation Impact
Citing Papers
Internet of Things is a revolutionary approach for future technology enhancement: a review
2019 Standout
Model-checking large structured Markov chains
2003
Modeling and Simulation of Genetic Regulatory Systems: A Literature Review
2002 Standout
An Overview of Industrial Alarm Systems: Main Causes for Alarm Overloading, Research Status, and Open Problems
2015 Standout
The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation
2005
Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools
2015
A Constrained Probabilistic Petri Net Framework for Human Activity Detection in Video
2008
Critical Scenarios and Their Identification in Parallel Railroad Level Crossing Traffic Control Systems
2010
A review on machinery diagnostics and prognostics implementing condition-based maintenance
2005 Standout
QoS Assessment of Mobile Crowdsensing Services
2015
An efficient algorithm for aggregating PEPA models
2001
An inspection model with minimal and major maintenance for a system with deterioration and Poisson failures
2000
Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets
1998
The Mobius framework and its implementation
2002
Quantification of dependencies between electrical and information infrastructures
2012
Data-Driven Intelligent Transportation Systems: A Survey
2011 Standout
Quantification of dependencies in electrical and information infrastructures: The CRUTIAL approach
2009
Machine Recognition of Human Activities: A Survey
2008 Standout
Review on modeling and simulation of interdependent critical infrastructure systems
2013 Standout
Markov regenerative stochastic Petri nets
1994
An overview of fault tree analysis and its application in model based dependability analysis
2017 Standout
Measure-adaptive state-space construction methods
1998
A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes
2003
A survey of approaches combining safety and security for industrial control systems
2015 Standout
Model-checking algorithms for continuous-time markov chains
2003 Standout
Discrete-event simulation of fluid stochastic Petri nets
1999
A methodology of alarm filtering using dynamic fault tree
2010
Numerical analysis of superposed GSPNs
1996
Model-based evaluation: from dependability to security
2004 Standout
Works of G. Chiola being referenced
Stochastic well-formed colored nets and symmetric modeling applications
1993
An introduction to generalized stochastic Petri nets
1991
GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets
1995
The effect of execution policies on the semantics and analysis of stochastic Petri nets
1989
Generalized stochastic Petri nets: a definition at the net level and its implications
1993