E-LIB Suche - Ergebnisse für: Madl, Gabor

1

Formal Verification of Smart Contracts Using Interface Auto..:

, In: 2019 IEEE International Conference on Blockchain (Blockchain),

Madl, Gabor ; Bathen, Luis ; Flores, German. - p. 556-563 , 2019

Link: https://doi.org/10.1109/..

2

SelfIs: Self-Sovereign Biometric IDs:

, In: 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW),

Bathen, Luis ; Flores, German H. ; Madl, Gabor... - p. 2847-2856 , 2019

Link: https://doi.org/10.1109/..

3

Real-time analysis of resource-constrained distributed syst..:

Madl, Gabor ; Dutt, Nikil
ACM SIGBED Review. 5 (2008) 1 - p. 1-2 , 2008

Link: https://dl.acm.org/doi/1..

4

Real-time analysis of resource-constrained distributed syst..:

Madl, Gabor ; Dutt, Nikil
ACM SIGBED Review. 5 (2008) 1 - p. 1-2 , 2008

Link: https://doi.org/10.1145/..

5

Enabling heterogeneous cycle-based and event-driven simulat..:

Shin, Chulho ; Grun, Peter ; Romdhane, Nizar...
Design Automation for Embedded Systems. 11 (2007) 2-3 - p. 119-140 , 2007

Link: https://doi.org/10.1007/..

6

Common coupling and pointer variables, with application to ..:

Schach, Stephen R. ; Adeshiyan, Tokunbo O. S. ; Balasubramanian, Daniel...
Software Quality Journal. 15 (2007) 1 - p. 99-113 , 2007

Link: https://doi.org/10.1007/..

7

Fine-grain analysis of common coupling and its application ..:

Feitelson, Dror G. ; Adeshiyan, Tokunbo O.S. ; Balasubramanian, Daniel...
Journal of Systems and Software. 80 (2007) 8 - p. 1239-1255 , 2007

Link: https://doi.org/10.1016/..

8

Performance estimation of distributed real-time embedded sy..:

, In: Proceedings of the 7th ACM & IEEE international conference on Embedded software,

Madl, Gabor ; Dutt, Nikil ; Abdelwahed, Sherif - p. 183-192 , 2007

Link: https://dl.acm.org/doi/1..

9

Verifying distributed real-time properties of embedded syst..:

Madl, Gabor ; Abdelwahed, Sherif ; Schmidt, Douglas C.
Real-Time Systems. 33 (2006) 1-3 - p. 77-100 , 2006

Link: https://doi.org/10.1007/..

10

Formal performance evaluation of AMBA-based system-on-chip ..:

, In: Proceedings of the 6th ACM & IEEE International conference on Embedded software,

Madl, Gabor ; Pasricha, Sudeep ; Bathen, Luis Angel D... - p. 311-320 , 2006

Link: https://dl.acm.org/doi/1..

11

Model-based analysis of distributed real-time embedded syst..:

, In: Proceedings of the 5th ACM international conference on Embedded software,

Madl, Gabor ; Abdelwahed, Sherif - p. 371-374 , 2005

Link: https://dl.acm.org/doi/1..

12

The Missing Parent Compound [(C5H5)Fe(η5‐P5)]: Synthesis, C..:

Heinl, Claudia ; Peresypkina, Eugenia ; Balázs, Gábor...
Chemistry – A European Journal. 27 (2021) 27 - p. 7542-7548 , 2021

Link: https://doi.org/10.1002/..

13

Cover Feature: The Missing Parent Compound [(C5H5)Fe(η5‐P5)..:

Heinl, Claudia ; Peresypkina, Eugenia ; Balázs, Gábor...
Chemistry – A European Journal. 27 (2021) 27 - p. 7470-7470 , 2021

Link: https://doi.org/10.1002/..

14

Pentaphosphaferrocene-mediated synthesis of asymmetric orga..:

Reichl, Stephan ; Mädl, Eric ; Riedlberger, Felix...
Nature Communications. 12 (2021) 1 - p. , 2021

Link: https://doi.org/10.1038/..

15

Nacnac‐Cobalt‐Mediated P4 Transformations:

Spitzer, Fabian ; Graßl, Christian ; Balázs, Gábor...
Chemistry – A European Journal. 23 (2017) 11 - p. 2716-2721 , 2017

Link: https://doi.org/10.1002/..