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

An Incremental Approach to Software Reengineering Based on Object-Data Mapping., , and . ICSOFT (SE/MUSE/GSDCA), page 165-173. INSTICC Press, (2008)Sharing Multimedia Data Over s Client-Server Network., , , and . IEEE Multim., 1 (3): 44-55 (1994)Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools., , and . SDL Forum, volume 2708 of Lecture Notes in Computer Science, page 203-217. Springer, (2003)CSL: A class specification language for object-oriented design., , and . Microprocessing and Microprogramming, 28 (1-5): 201-204 (1990)An Ontological SW Architecture Supporting Agile Development of Semantic Portals., , and . ICSOFT/ENASE (Selected Papers), volume 22 of Communications in Computer and Information Science, page 185-200. Springer, (2007)A Tool Supporting Evaluation of Non-markovian Fault Trees., , and . QEST, page 115-116. IEEE Computer Society, (2008)An object-oriented dual language for specifying reactive systems., , , and . ICRE, page 6-15. IEEE Computer Society, (1994)Automatic transition from rapid prototyping to target code for distributed systems., , and . ISADS, page 104-111. IEEE Computer Society, (1995)A Tool Set for Modeling and Simulation of Robotic Workcells., , and . FIRB-Perf, page 106-114. IEEE Computer Society, (2005)A Distributed Strategy for Resource Allocation in Information Networks., and . International Computing Symposium, page 345-356. North-Holland, (1977)