dblp.uni-trier.dewww.uni-trier.de

Christian W. Probst

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
25EERené Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst: Static Validation of Licence Conformance Policies. ARES 2008: 1104-1111
24EERocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese: From Flow Logic to Static Type Systems for Coordination Languages. COORDINATION 2008: 100-116
23EEAndreas Gal, Christian W. Probst, Michael Franz: Java bytecode verification via static single assignment form. ACM Trans. Program. Lang. Syst. 30(4): (2008)
2007
22 Luca Benini, Naehyuck Chang, Ulrich Kremer, Christian W. Probst: Power-aware Computing Systems, 21.01. - 26.01.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
21EELuca Benini, Naehyuck Chang, Ulrich Kremer, Christian W. Probst: 07041 Abstracts Collection - Power-aware Computing Systems. Power-aware Computing Systems 2007
20EELuca Benini, Naehyuck Chang, Ulrich Kremer, Christian W. Probst: 07041 Summary - Power-aware Computing Systems. Power-aware Computing Systems 2007
19EEChris Bleakley, Tom Clerckx, Harald Devos, Matthias Grumer, Alex Janek, Ulrich Kremer, Christian W. Probst, Phillip Stanley-Marbell, Christian Steger, Vasanth Venkatachalam, Manuel Wendt: 07041 Working Group - Towards Interfaces for Integrated Performance and Power Analysis and Simulation. Power-aware Computing Systems 2007
18 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
17EEVasanth 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)
16EEChristian W. Probst, Ulrich Kremer, Luca Benini, Peter Schelkens: Power-aware computing systems. IJES 3(1/2): 3-7 (2007)
2006
15 Christian W. Probst: Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, PLOS 2006, San Jose, California, USA, October 22, 2006 ACM 2006
14EERené Rydhof Hansen, Christian W. Probst, Flemming Nielson: Sandboxing in myKlaim. ARES 2006: 174-181
13EEChristian W. Probst, René Rydhof Hansen, Flemming Nielson: Where Can an Insider Attack? Formal Aspects in Security and Trust 2006: 127-142
12EEDan Søndergaard, Christian W. Probst, Christian Damsgaard Jensen, René Rydhof Hansen: Program Partitioning Using Dynamic Trust Models. Formal Aspects in Security and Trust 2006: 170-184
11EEChristian W. Probst, Andreas Gal, Robert Grimm, Olaf Spinczyk: Linguistic support for modern operating systems workshop on programming languages and operating systems 2006 (PLOS 2006). PLOS 2006: 1
10EEJulia L. Lawall, Christian W. Probst, Ulrik Pagh Schultz: Issues in holistic system design. PLOS 2006: 12
9EEAndreas Gal, Christian W. Probst, Michael Franz: HotpathVM: an effective JIT compiler for resource-constrained devices. VEE 2006: 144-153
2005
8 Luca Benini, Ulrich Kremer, Christian W. Probst, Peter Schelkens: Power-aware Computing Systems, 3.-8. April 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005
7EELuca Benini, Ulrich Kremer, Christian W. Probst, Peter Schelkens: 05141 Abstracts Collection - Power-aware Computing Systems. Power-aware Computing Systems 2005
6EELuca Benini, Ulrich Kremer, Christian W. Probst, Peter Schelkens: 05141 Summary - Power-aware Computing Systems. Power-aware Computing Systems 2005
5EEVasanth Venkatachalam, Christian W. Probst, Michael Franz: A Multilevel Introspective Dynamic Optimization System For Holistic Power-Aware Computing. Power-aware Computing Systems 2005
4EEAndreas Gal, Christian W. Probst, Michael Franz: Integrated Java Bytecode Verification. Electr. Notes Theor. Comput. Sci. 131: 27-38 (2005)
3EEAndreas Gal, Christian W. Probst, Michael Franz: Structural Encoding of Static Single Assignment Form. Electr. Notes Theor. Comput. Sci. 141(2): 85-102 (2005)
2EEMichael 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)
2002
1EEChristian W. Probst: Modular Control Flow Analysis for Libraries. SAS 2002: 165-179

Coauthor Index

1Luca Benini [6] [7] [8] [16] [20] [21] [22]
2Chris Bleakley [19]
3Deepak Chandra [2]
4Naehyuck Chang [20] [21] [22]
5Tom Clerckx [19]
6Harald Devos [19]
7Michael Franz [2] [3] [4] [5] [9] [17] [18] [23]
8Andreas Gal [2] [3] [4] [9] [11] [18] [23]
9Daniele Gorla [24]
10Robert Grimm [11]
11Matthias Grumer [19]
12Vivek Haldar [2]
13René Rydhof Hansen [12] [13] [14] [24] [25]
14Alex Janek [19]
15Christian Damsgaard Jensen [12]
16Ulrich Kremer [6] [7] [8] [16] [19] [20] [21] [22]
17Julia L. Lawall [10]
18Rocco De Nicola [24]
19Flemming Nielson [13] [14] [24] [25]
20Hanne Riis Nielson [24] [25]
21Rosario Pugliese [24]
22Fermín Reig [2]
23Peter Schelkens [6] [7] [8] [16]
24Ulrik Pagh Schultz [10]
25Dan Søndergaard [12]
26Olaf Spinczyk [11]
27Phillip Stanley-Marbell [19]
28Christian Steger [19]
29Vasanth Venkatachalam [5] [17] [19]
30Ning Wang [2]
31Manuel Wendt [19]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)