2009 |
55 | EE | Mason Chang,
Edwin Smith,
Rick Reitmaier,
Michael Bebenita,
Andreas Gal,
Christian Wimmer,
Brendan Eich,
Michael Franz:
Tracing for web 3.0: trace compilation for the next generation web applications.
VEE 2009: 71-80 |
2008 |
54 | EE | Babak Salamat,
Andreas Gal,
Todd Jackson,
Karthikeyan Manivannan,
Gregor Wagner,
Michael Franz:
Multi-variant Program Execution: Using Multi-core Systems to Defuse Buffer-Overflow Vulnerabilities.
CISIS 2008: 843-848 |
53 | EE | Lei Wang,
Michael Franz:
Automatic Partitioning of Object-Oriented Programs for Resource-Constrained Mobile Devices with Multiple Distribution Objectives.
ICPADS 2008: 369-376 |
52 | EE | Gregor Wagner,
Andreas Gal,
Michael Franz:
Slim VM: optimistic partial program loading for connected embedded Java virtual machines.
PPPJ 2008: 117-126 |
51 | EE | Alexander Yermolovich,
Andreas Gal,
Michael Franz:
Portable execution of legacy binaries on the Java virtual machine.
PPPJ 2008: 63-72 |
50 | | Michael Franz:
Eliminating Trust From Application Programs By Way Of Software Architecture.
Software Engineering 2008: 112-126 |
49 | EE | Andreas Gal,
Christian W. Probst,
Michael Franz:
Java bytecode verification via static single assignment form.
ACM Trans. Program. Lang. Syst. 30(4): (2008) |
2007 |
48 | EE | Deepak Chandra,
Michael Franz:
Fine-Grained Information Flow Analysis and Enforcement in a Java Virtual Machine.
ACSAC 2007: 463-475 |
47 | EE | Michael Bebenita,
Andreas Gal,
Michael Franz:
Implementing fast JVM interpreters using Java itself.
PPPJ 2007: 145-154 |
46 | | Michael Franz,
Andreas Gal,
Christian W. Probst:
Automatic generation of machine emulators: Efficient synthesis of robust virtual machines for legacy software migration.
Software Engineering 2007: 83-94 |
45 | EE | Vasanth Venkatachalam,
Michael Franz,
Christian W. Probst:
A new way of estimating compute-boundedness and its application to dynamic voltage scaling.
IJES 3(1/2): 17-30 (2007) |
44 | EE | Wolfram Amme,
Jeffery von Ronne,
Michael Franz:
SSA-based mobile code: Implementation and empirical evaluation.
TACO 4(2): (2007) |
2006 |
43 | EE | Efe Yardimci,
Michael Franz:
Dynamic parallelization and mapping of binary executables on hierarchical platforms.
Conf. Computing Frontiers 2006: 127-138 |
42 | EE | Michael Stilkerich,
Christian Wawersich,
Andreas Gal,
Wolfgang Schröder-Preikschat,
Michael Franz:
OSEK/VDX API for Java.
PLOS 2006: 4 |
41 | EE | Andreas Gal,
Christian W. Probst,
Michael Franz:
HotpathVM: an effective JIT compiler for resource-constrained devices.
VEE 2006: 144-153 |
2005 |
40 | EE | Vivek Haldar,
Deepak Chandra,
Michael Franz:
Dynamic Taint Propagation for Java.
ACSAC 2005: 303-311 |
39 | EE | Vasanth Venkatachalam,
Christian W. Probst,
Michael Franz:
A Multilevel Introspective Dynamic Optimization System For Holistic Power-Aware Computing.
Power-aware Computing Systems 2005 |
38 | EE | Vasanth Venkatachalam,
Michael Franz:
Power reduction techniques for microprocessor systems.
ACM Comput. Surv. 37(3): 195-237 (2005) |
37 | EE | Andreas Gal,
Christian W. Probst,
Michael Franz:
Integrated Java Bytecode Verification.
Electr. Notes Theor. Comput. Sci. 131: 27-38 (2005) |
36 | EE | Wolfram Amme,
Jeffery von Ronne,
Michael Franz:
Quantifying the Benefits of SSA-Based Mobile Code.
Electr. Notes Theor. Comput. Sci. 141(2): 103-119 (2005) |
35 | EE | Andreas Gal,
Christian W. Probst,
Michael Franz:
Structural Encoding of Static Single Assignment Form.
Electr. Notes Theor. Comput. Sci. 141(2): 85-102 (2005) |
34 | EE | Peter H. Fröhlich,
Andreas Gal,
Michael Franz:
Supporting software composition at the programming language level.
Sci. Comput. Program. 56(1-2): 41-57 (2005) |
33 | EE | 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.
Sci. Comput. Program. 57(3): 275-294 (2005) |
2004 |
32 | EE | Matthew Q. Beers,
Christian Stork,
Michael Franz:
Efficiently Verifiable Escape Analysis.
ECOOP 2004: 75-95 |
31 | EE | Vivek Haldar,
Michael Franz:
Symmetric behavior-based trust: a new paradigm for internet computing.
NSPW 2004: 79-84 |
30 | EE | Vivek Haldar,
Deepak Chandra,
Michael Franz:
Awarded Best Paper! Semantic Remote Attestation - Virtual Machine Directed Approach to Trusted Computing.
Virtual Machine Research and Technology Symposium 2004: 29-41 |
2003 |
29 | EE | Michael Franz:
Safe Code - It's Not Just for Applets Anymore.
JMLC 2003: 12-22 |
28 | EE | Thomas Kistler,
Michael Franz:
Continuous program optimization: A case study.
ACM Trans. Program. Lang. Syst. 25(4): 500-548 (2003) |
27 | EE | Andreas Hartmann,
Wolfram Amme,
Jeffery von Ronne,
Michael Franz:
Code Annotation for Safe and Efficient Dynamic Object Resolution.
Electr. Notes Theor. Comput. Sci. 82(2): (2003) |
26 | EE | Wolfram Amme,
Michael Franz:
Effiziente Codegenerierung für mobilen Code.
Informatik Spektrum 26(4): 237-246 (2003) |
2002 |
25 | EE | Vivek Haldar,
Michael Franz:
Towards trusted systems from the ground up.
ACM SIGOPS European Workshop 2002: 251-254 |
24 | EE | Jeffery von Ronne,
Andreas Hartmann,
Wolfram Amme,
Michael Franz:
Efficient online optimization by utilizing offline analysis and the safeTSA representation.
PPPJ/IRE 2002: 181-186 |
2001 |
23 | | 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.
PLDI 2001: 137-147 |
22 | EE | Peter Housel,
Christian Stork,
Vivek Haldar,
Niall Dalton,
Michael Franz:
Towards Language-Agnostic Mobile Code.
Electr. Notes Theor. Comput. Sci. 59(1): (2001) |
21 | EE | Thomas Kistler,
Michael Franz:
Continuous Program Optimization: Design and Evaluation.
IEEE Trans. Computers 50(6): 549-566 (2001) |
2000 |
20 | | Peter H. Fröhlich,
Michael Franz:
Stand-Alone Messages: A Step Towards Component-Oriented Programming Languages.
JMLC 2000: 90-103 |
19 | | Michael Franz:
Oberon - The Overlooked Jewel.
The School of Niklaus Wirth 2000: 41-54 |
18 | EE | Thomas Kistler,
Michael Franz:
Automated data-member layout of help objects to improve memory-hierarchy performance.
ACM Trans. Program. Lang. Syst. 22(3): 490-505 (2000) |
1999 |
17 | EE | Thomas Kistler,
Michael Franz:
Perpetual Adaptation of Software to Hardware: An Extensible Architecture for Providing Code Optimization as a Central System Service
CoRR cs.OS/9903014: (1999) |
16 | | Thomas Kistler,
Michael Franz:
A Tree-Based Alternative to Java Byte-Codes.
International Journal of Parallel Programming 27(1): 21-33 (1999) |
1998 |
15 | EE | Michael Franz:
The Java Virtual Machine: A Passing Fad?
IEEE Software 15(6): 26-29 (1998) |
14 | EE | Michael Franz:
Java - Anmerkungen eines Wirth-Schülers.
Informatik Spektrum 21(1): 23-26 (1998) |
13 | EE | Michael Franz:
Open Standards Beyond Java: On the Future of Mobile Code for the Internet.
J. UCS 4(5): 522-533 (1998) |
1997 |
12 | | Michael Franz:
Beyond Java: An Infrastructure for High-Performance Mobile Code on the World Wide Web.
WebNet 1997 |
11 | | Michael Franz:
Run-Time Code Generation as a Central System Service.
Workshop on Hot Topics in Operating Systems 1997: 112-117 |
10 | | Michael Franz,
Thomas Kistler:
Slim Binaries.
Commun. ACM 40(12): 87-94 (1997) |
9 | | Michael Franz:
Dynamic Linking of Software Components.
IEEE Computer 30(3): 74-81 (1997) |
8 | | Michael Franz:
The Programming Language Lagoona - A Fresh Look at Object-Orientation.
Software - Concepts and Tools 18(1): 14-26 (1997) |
1996 |
7 | | Michael Franz:
Adaptive Compression of Syntax Trees and Iterative Dynamic Code Optimization: Two Basic Technologies for Mobile Object Systems.
Mobile Object Systems 1996: 263-276 |
1995 |
6 | | Marc M. Brandis,
Régis Crelier,
Michael Franz,
Josef Templ:
The Oberon System Family.
Softw., Pract. Exper. 25(12): 1331-1366 (1995) |
5 | | Michael Franz:
Protocol Extension: A Technique for Structuring Large Extensible Software-Systems.
Software - Concepts and Tools 16(2): 86-94 (1995) |
1994 |
4 | | Michael Franz:
Technological Steps toward a Software Component Industry.
Programming Languages and System Architectures 1994: 259-281 |
1993 |
3 | | Michael Franz:
Emulating an Operating System on Top of Another.
Softw., Pract. Exper. 23(6): 677-692 (1993) |
2 | | Michael Franz:
The Case for Universal Symbol Files.
Structured Programming 14(3): 136-147 (1993) |
1991 |
1 | EE | Michael Franz:
The rewards of generating true 32-bit code.
SIGPLAN Notices 26(1): 121-123 (1991) |