Author of the publication

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

, , , , , and . SAFECOMP, volume 2434 of Lecture Notes in Computer Science, page 212-223. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Stochastic Petri Nets Models for the Performance Analysis of TCP Connections Supporting Finite Data Transfer., , and . QoS-IP, volume 2601 of Lecture Notes in Computer Science, page 372-391. Springer, (2003)SWN Analysis and Simulation of Large Knockout ATM Switches., and . ICATPN, volume 1420 of Lecture Notes in Computer Science, page 326-344. Springer, (1998)Efficient Discrete-Event Simulation of Colored Petri Nets.. IEEE Trans. Software Eng., 22 (9): 629-639 (1996)Simple Countermeasures to Mitigate the Effect of Pollution Attack in Network Coding-Based Peer-to-Peer Live Streaming., , and . IEEE Trans. Multim., 17 (4): 562-573 (2015)A Network Aware Resource Discovery Service., , and . EPEW, volume 12039 of Lecture Notes in Computer Science, page 84-99. Springer, (2019)On the performance analysis of ABR in ATM LANs with Stochastic Petri Nets., , and . J. Syst. Archit., 50 (6): 325-343 (2004)On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers., , , and . ICATPN, volume 2679 of Lecture Notes in Computer Science, page 181-200. Springer, (2003)An Accurate and Efficient Algorithm to Identify Malicious Nodes of a Graph.. IEEE Trans. Inf. Forensics Secur., (2024)Fluid Stochastic Petri Nets for Computing Transfer Time Distributions in Peer-to-Peer File Sharing Applications., , , and . PASM, volume 128 of Electronic Notes in Theoretical Computer Science, page 79-99. Elsevier, (2004)GSPN models of ATM switches., and . PNPM, page 237-246. IEEE Computer Society, (1997)