PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Madl, Gabor"

Author of the publication

copydeleteadd this publication to your clipboard
Fine-grain analysis of common coupling and its application to a Linux case study.

, , , , , , , , , and . Journal of Systems and Software, 80 (8): 1239-1255 (2007)

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.

Dr. Gabor Csiszar University of Stuttgart

 

Other publications of authors with the same name

Enabling heterogeneous cycle-based and event-driven simulation in a design flow integrated using the SPIRIT consortium specifications., , , , , , , and . Design Autom. for Emb. Sys., 11 (2-3): 119-140 (2007)Fine-grain analysis of common coupling and its application to a Linux case study., , , , , , , , , and . Journal of Systems and Software, 80 (8): 1239-1255 (2007)Common coupling and pointer variables, with application to a Linux case study., , , , , , , , and . Software Quality Journal, 15 (1): 99-113 (2007)Domain-Specific Modeling of Power Aware Distributed Real-Time Embedded Systems., and . SAMOS, volume 4017 of Lecture Notes in Computer Science, page 59-68. Springer, (2006)Account clustering in multi-tenant storage management environments., , , and . BigData, page 1698-1707. IEEE Computer Society, (2015)Formal Verification of Smart Contracts Using Interface Automata., , , and . Blockchain, page 556-563. IEEE, (2019)Verifying distributed real-time properties of embedded systems via graph transformations and model checking., , and . Real-Time Systems, 33 (1-3): 77-100 (2006)Quantifying Error Propagation in Data Flow Models., , , and . ECBS, page 2-11. IEEE Computer Society, (2013)Formal performance evaluation of AMBA-based system-on-chip designs., , , , and . EMSOFT, page 311-320. ACM, (2006)Cross-abstraction Functional Verification and Performance Analysis of Chip Multiprocessor Designs., , , and . IEEE Trans. Industrial Informatics, 5 (3): 241-256 (2009)