The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael Franz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Vivek Haldar, Deepak Chandra, Michael Franz
    Dynamic Taint Propagation for Java. [Citation Graph (0, 0)][DBLP]
    ACSAC, 2005, pp:303-311 [Conf]
  2. Michael Stilkerich, Christian Wawersich, Andreas Gal, Wolfgang Schröder-Preikschat, Michael Franz
    OSEK/VDX API for Java. [Citation Graph (0, 0)][DBLP]
    PLOS, 2006, pp:4- [Conf]
  3. Michael Franz
    Oberon - The Overlooked Jewel. [Citation Graph (0, 0)][DBLP]
    The School of Niklaus Wirth, 2000, pp:41-54 [Conf]
  4. Efe Yardimci, Michael Franz
    Dynamic parallelization and mapping of binary executables on hierarchical platforms. [Citation Graph (0, 0)][DBLP]
    Conf. Computing Frontiers, 2006, pp:127-138 [Conf]
  5. Vasanth Venkatachalam, Christian W. Probst, Michael Franz
    A Multilevel Introspective Dynamic Optimization System For Holistic Power-Aware Computing. [Citation Graph (0, 0)][DBLP]
    Power-aware Computing Systems, 2005, pp:- [Conf]
  6. Matthew Q. Beers, Christian Stork, Michael Franz
    Efficiently Verifiable Escape Analysis. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2004, pp:75-95 [Conf]
  7. Michael Franz
    Run-Time Code Generation as a Central System Service. [Citation Graph (0, 0)][DBLP]
    Workshop on Hot Topics in Operating Systems, 1997, pp:112-117 [Conf]
  8. Michael Franz
    Safe Code - It's Not Just for Applets Anymore. [Citation Graph (0, 0)][DBLP]
    JMLC, 2003, pp:12-22 [Conf]
  9. Peter H. Fröhlich, Michael Franz
    Stand-Alone Messages: A Step Towards Component-Oriented Programming Languages. [Citation Graph (0, 0)][DBLP]
    JMLC, 2000, pp:90-103 [Conf]
  10. Vivek Haldar, Deepak Chandra, Michael Franz
    Awarded Best Paper! Semantic Remote Attestation - Virtual Machine Directed Approach to Trusted Computing. [Citation Graph (0, 0)][DBLP]
    Virtual Machine Research and Technology Symposium, 2004, pp:29-41 [Conf]
  11. Michael Franz
    Adaptive Compression of Syntax Trees and Iterative Dynamic Code Optimization: Two Basic Technologies for Mobile Object Systems. [Citation Graph (0, 0)][DBLP]
    Mobile Object Systems, 1996, pp:263-276 [Conf]
  12. Vivek Haldar, Michael Franz
    Symmetric behavior-based trust: a new paradigm for internet computing. [Citation Graph (0, 0)][DBLP]
    NSPW, 2004, pp:79-84 [Conf]
  13. Wolfram Amme, Niall Dalton, Michael Franz, Jeffery von Ronne
    SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form. [Citation Graph (0, 0)][DBLP]
    PLDI, 2001, pp:137-147 [Conf]
  14. Michael Franz
    Technological Steps toward a Software Component Industry. [Citation Graph (0, 0)][DBLP]
    Programming Languages and System Architectures, 1994, pp:259-281 [Conf]
  15. Michael Franz
    Beyond Java: An Infrastructure for High-Performance Mobile Code on the World Wide Web. [Citation Graph (0, 0)][DBLP]
    WebNet, 1997, pp:- [Conf]
  16. Andreas Gal, Christian W. Probst, Michael Franz
    HotpathVM: an effective JIT compiler for resource-constrained devices. [Citation Graph (0, 0)][DBLP]
    VEE, 2006, pp:144-153 [Conf]
  17. Michael Franz, Thomas Kistler
    Slim Binaries. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1997, v:40, n:12, pp:87-94 [Journal]
  18. Michael Franz
    Dynamic Linking of Software Components. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1997, v:30, n:3, pp:74-81 [Journal]
  19. Thomas Kistler, Michael Franz
    Perpetual Adaptation of Software to Hardware: An Extensible Architecture for Providing Code Optimization as a Central System Service [Citation Graph (0, 0)][DBLP]
    CoRR, 1999, v:0, n:, pp:- [Journal]
  20. Vasanth Venkatachalam, Michael Franz
    Power reduction techniques for microprocessor systems. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 2005, v:37, n:3, pp:195-237 [Journal]
  21. Wolfram Amme, Jeffery von Ronne, Michael Franz
    Quantifying the Benefits of SSA-Based Mobile Code. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:141, n:2, pp:103-119 [Journal]
  22. Andreas Gal, Christian W. Probst, Michael Franz
    Integrated Java Bytecode Verification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:27-38 [Journal]
  23. Andreas Gal, Christian W. Probst, Michael Franz
    Structural Encoding of Static Single Assignment Form. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:141, n:2, pp:85-102 [Journal]
  24. Andreas Hartmann, Wolfram Amme, Jeffery von Ronne, Michael Franz
    Code Annotation for Safe and Efficient Dynamic Object Resolution. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:2, pp:- [Journal]
  25. Thomas Kistler, Michael Franz
    A Tree-Based Alternative to Java Byte-Codes. [Citation Graph (0, 0)][DBLP]
    International Journal of Parallel Programming, 1999, v:27, n:1, pp:21-33 [Journal]
  26. Wolfram Amme, Michael Franz
    Effiziente Codegenerierung für mobilen Code. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 2003, v:26, n:4, pp:237-246 [Journal]
  27. Michael Franz
    Java - Anmerkungen eines Wirth-Schülers. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1998, v:21, n:1, pp:23-26 [Journal]
  28. Michael Franz
    Open Standards Beyond Java: On the Future of Mobile Code for the Internet. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1998, v:4, n:5, pp:522-533 [Journal]
  29. Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Christian W. Probst, Fermín Reig, Ning Wang
    A portable virtual machine target for proof-carrying code. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:57, n:3, pp:275-294 [Journal]
  30. Peter H. Fröhlich, Andreas Gal, Michael Franz
    Supporting software composition at the programming language level. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:56, n:1-2, pp:41-57 [Journal]
  31. Michael Franz
    The rewards of generating true 32-bit code. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1991, v:26, n:1, pp:121-123 [Journal]
  32. Michael Franz
    The Java Virtual Machine: A Passing Fad? [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1998, v:15, n:6, pp:26-29 [Journal]
  33. Marc M. Brandis, Régis Crelier, Michael Franz, Josef Templ
    The Oberon System Family. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1995, v:25, n:12, pp:1331-1366 [Journal]
  34. Michael Franz
    Emulating an Operating System on Top of Another. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1993, v:23, n:6, pp:677-692 [Journal]
  35. Michael Franz
    The Programming Language Lagoona - A Fresh Look at Object-Orientation. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1997, v:18, n:1, pp:14-26 [Journal]
  36. Michael Franz
    The Case for Universal Symbol Files. [Citation Graph (0, 0)][DBLP]
    Structured Programming, 1993, v:14, n:3, pp:136-147 [Journal]
  37. Michael Franz
    Protocol Extension: A Technique for Structuring Large Extensible Software-Systems. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1995, v:16, n:2, pp:86-94 [Journal]
  38. Thomas Kistler, Michael Franz
    Continuous Program Optimization: Design and Evaluation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2001, v:50, n:6, pp:549-566 [Journal]
  39. Peter Housel, Christian Stork, Vivek Haldar, Niall Dalton, Michael Franz
    Towards Language-Agnostic Mobile Code. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:1, pp:- [Journal]
  40. Thomas Kistler, Michael Franz
    Automated data-member layout of help objects to improve memory-hierarchy performance. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2000, v:22, n:3, pp:490-505 [Journal]
  41. Thomas Kistler, Michael Franz
    Continuous program optimization: A case study. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2003, v:25, n:4, pp:500-548 [Journal]
  42. Michael Franz, Andreas Gal, Christian W. Probst
    Automatic generation of machine emulators: Efficient synthesis of robust virtual machines for legacy software migration. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 2007, pp:83-94 [Conf]
  43. Michael Bebenita, Andreas Gal, Michael Franz
    Implementing fast JVM interpreters using Java itself. [Citation Graph (0, 0)][DBLP]
    PPPJ, 2007, pp:145-154 [Conf]
  44. Jeffery von Ronne, Andreas Hartmann, Wolfram Amme, Michael Franz
    Efficient online optimization by utilizing offline analysis and the safeTSA representation. [Citation Graph (0, 0)][DBLP]
    PPPJ/IRE, 2002, pp:181-186 [Conf]
  45. Wolfram Amme, Jeffery von Ronne, Michael Franz
    SSA-based mobile code: Implementation and empirical evaluation. [Citation Graph (0, 0)][DBLP]
    TACO, 2007, v:4, n:2, pp:- [Journal]

  46. Fine-Grained Information Flow Analysis and Enforcement in a Java Virtual Machine. [Citation Graph (, )][DBLP]


  47. Linear scan register allocation on SSA form. [Citation Graph (, )][DBLP]


  48. Automatic Partitioning of Object-Oriented Programs for Resource-Constrained Mobile Devices with Multiple Distribution Objectives. [Citation Graph (, )][DBLP]


  49. Trace-based just-in-time type specialization for dynamic languages. [Citation Graph (, )][DBLP]


  50. Eliminating Trust From Application Programs By Way Of Software Architecture. [Citation Graph (, )][DBLP]


  51. Towards trusted systems from the ground up. [Citation Graph (, )][DBLP]


  52. Tracing for web 3.0: trace compilation for the next generation web applications. [Citation Graph (, )][DBLP]


  53. Stream-Based Dynamic Compilation for Object-Oriented Languages. [Citation Graph (, )][DBLP]


  54. Orchestra: intrusion detection using parallel execution and monitoring of program variants in user-space. [Citation Graph (, )][DBLP]


  55. Slim VM: optimistic partial program loading for connected embedded Java virtual machines. [Citation Graph (, )][DBLP]


  56. Portable execution of legacy binaries on the Java virtual machine. [Citation Graph (, )][DBLP]


  57. SlimVM: a small footprint Java virtual machine for connected embedded systems. [Citation Graph (, )][DBLP]


  58. Phase detection using trace compilation. [Citation Graph (, )][DBLP]


  59. Multi-variant Program Execution: Using Multi-core Systems to Defuse Buffer-Overflow Vulnerabilities. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002