Christian W. Probst Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian W. Probst, René Rydhof Hansen: Analysing Access Control Specifications. SADFE 2009: 22-33
2008
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRené Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst: Static Validation of Licence Conformance Policies. ARES 2008: 1104-1111
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRocco 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
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Gal, Christian W. Probst, Michael Franz: Java bytecode verification via static single assignment form. ACM Trans. Program. Lang. Syst. 30(4): (2008)
2007
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Naehyuck Chang, Ulrich Kremer, Christian W. Probst: 07041 Abstracts Collection - Power-aware Computing Systems. Power-aware Computing Systems 2007
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Naehyuck Chang, Ulrich Kremer, Christian W. Probst: 07041 Summary - Power-aware Computing Systems. Power-aware Computing Systems 2007
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris 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
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasanth 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)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian W. Probst, Ulrich Kremer, Luca Benini, Peter Schelkens: Power-aware computing systems. IJES 3(1/2): 3-7 (2007)
2006
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRené Rydhof Hansen, Christian W. Probst, Flemming Nielson: Sandboxing in myKlaim. ARES 2006: 174-181
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian W. Probst, René Rydhof Hansen, Flemming Nielson: Where Can an Insider Attack? Formal Aspects in Security and Trust 2006: 127-142
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulia L. Lawall, Christian W. Probst, Ulrik Pagh Schultz: Issues in holistic system design. PLOS 2006: 12
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Gal, Christian W. Probst, Michael Franz: HotpathVM: an effective JIT compiler for resource-constrained devices. VEE 2006: 144-153
2005
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Ulrich Kremer, Christian W. Probst, Peter Schelkens: 05141 Abstracts Collection - Power-aware Computing Systems. Power-aware Computing Systems 2005
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benini, Ulrich Kremer, Christian W. Probst, Peter Schelkens: 05141 Summary - Power-aware Computing Systems. Power-aware Computing Systems 2005
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasanth Venkatachalam, Christian W. Probst, Michael Franz: A Multilevel Introspective Dynamic Optimization System For Holistic Power-Aware Computing. Power-aware Computing Systems 2005
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Gal, Christian W. Probst, Michael Franz: Integrated Java Bytecode Verification. Electr. Notes Theor. Comput. Sci. 131: 27-38 (2005)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Gal, Christian W. Probst, Michael Franz: Structural Encoding of Static Single Assignment Form. Electr. Notes Theor. Comput. Sci. 141(2): 85-102 (2005)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian 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] [26]
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 Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)