PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Paolieri, Marco"

Author of the publication

copydeleteadd this publication to your clipboard
Guest Editorial: Special issue on formal modeling and analysis of timed systems.

, , and . Real-Time Systems, 53 (3): 289-290 (2017)

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.

Marco Ströbel University of Stuttgart

Marco Testa University of Stuttgart

Marco Maier University of Stuttgart

Dr. Marco Spurk University of Stuttgart

Marco Dettling University of Stuttgart

 

Other publications of authors with the same name

Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3., , , and . EPEW, volume 9272 of Lecture Notes in Computer Science, page 47-62. Springer, (2015)Guest Editorial: Special issue on formal modeling and analysis of timed systems., , and . Real-Time Systems, 53 (3): 289-290 (2017)An introduction to the ORIS tool., , , and . VALUETOOLS, page 9-11. ACM, (2017)Towards functional-safe timing-dependable real-time architectures., and . IOLTS, page 31-36. IEEE Computer Society, (2011)Software rejuvenation impacts on a phased-mission system for Mars exploration., , , , and . ISSRE (Supplemental Proceedings), page 275-280. IEEE Computer Society, (2013)Timing effects of DDR memory systems in hard real-time multicore architectures: Issues and solutions., , and . ACM Trans. Embedded Comput. Syst., 12 (1s): 64:1-64:26 (2013)Quantitative evaluation of availability measures of gas distribution networks., , , and . VALUETOOLS, page 145-154. ICST/ACM, (2013)A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids., , , , , , and . QEST, volume 8657 of Lecture Notes in Computer Science, page 345-367. Springer, (2014)Merasa: Multicore Execution of Hard Real-Time Applications Supporting Analyzability., , , , , , , , , and 7 other author(s). IEEE Micro, 30 (5): 66-75 (2010)Probabilistic Model Checking of Regenerative Concurrent Systems., , and . IEEE Trans. Software Eng., 42 (2): 153-169 (2016)