Author of the publication

Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets.

, , and . IEEE Trans. Software Eng., 31 (11): 913-927 (2005)

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

Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software., , and . ECRTS, page 291-300. IEEE Computer Society, (2007)Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models., and . QEST, page 59-68. IEEE Computer Society, (2007)Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems., , , and . QEST, page 13-22. IEEE Computer Society, (2005)Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets., , and . IEEE Trans. Software Eng., 31 (11): 913-927 (2005)ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems., , and . QEST, page 70-79. IEEE Computer Society, (2004)Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems., , and . IEEE Trans. Software Eng., 35 (5): 703-719 (2009)Timed State Space Analysis of Real-Time Preemptive Systems., , , and . IEEE Trans. Software Eng., 30 (2): 97-111 (2004)Sensitization of symbolic runs in real-time testing using the ORIS tool., , and . ETFA, page 85-92. IEEE, (2007)Modeling Flexible Real Time Systems with Preemptive Time Petri Nets., , , and . ECRTS, page 279-286. IEEE Computer Society, (2003)A discrete time model for performance evaluation and correctness verification of real time systems., , and . PNPM, page 134-143. IEEE Computer Society, (2003)