Author of the publication

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

Cache Behavior Prediction by Abstract Interpretation., , , and . Sci. Comput. Program., 35 (2): 163-189 (1999)Computation and Use of Data Flow Information in Optimizing Compilers.. Acta Inf., (1979)Counter-One-Pass Features in One-Pass Compilation: A Formalization Using Attribute Grammars., and . Inf. Process. Lett., 7 (6): 279-284 (1978)SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme)., , , , , and . it - Information Technology, 49 (2): 118-126 (2007)Determining Bounds on Execution Times.. Embedded Systems Handbook, CRC Press, (2005)Industrial Requirements for WCET Tools - Answers to the ARTIST Questionnaire., , , and . WCET, MDH-MRTC-116/2003-1-SE, page 39-43. Department of Computer Science and Engineering, Mälardalen University, Box 883, 721 23 Västerås, Sweden, (2003)Programmiersprachen., and . Perspektiven der Informatik, page 86-90. Verlag C. H. Beck, (1993)Design Evaluation of the Compiler Generating System MUGI., , , , , and . ICSE, page 571-576. IEEE Computer Society, (1976)Logical Characterizations of Heap Abstractions, , , and . CoRR, (2003)Computation takes time, but how much?, and . Commun. ACM, 57 (2): 94-103 (2014)