Christian W. Probst

	2009
26		Christian W. Probst, René Rydhof Hansen: Analysing Access Control Specifications. SADFE 2009: 22-33
	2008
25		René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst: Static Validation of Licence Conformance Policies. ARES 2008: 1104-1111
24		Rocco 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
23		Andreas 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
21		Luca Benini, Naehyuck Chang, Ulrich Kremer, Christian W. Probst: 07041 Abstracts Collection - Power-aware Computing Systems. Power-aware Computing Systems 2007
20		Luca Benini, Naehyuck Chang, Ulrich Kremer, Christian W. Probst: 07041 Summary - Power-aware Computing Systems. Power-aware Computing Systems 2007
19		Chris 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
17		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)
16		Christian 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
14		René Rydhof Hansen, Christian W. Probst, Flemming Nielson: Sandboxing in myKlaim. ARES 2006: 174-181
13		Christian W. Probst, René Rydhof Hansen, Flemming Nielson: Where Can an Insider Attack? Formal Aspects in Security and Trust 2006: 127-142
12		Dan 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
11		Christian 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
10		Julia L. Lawall, Christian W. Probst, Ulrik Pagh Schultz: Issues in holistic system design. PLOS 2006: 12
9		Andreas 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
7		Luca Benini, Ulrich Kremer, Christian W. Probst, Peter Schelkens: 05141 Abstracts Collection - Power-aware Computing Systems. Power-aware Computing Systems 2005
6		Luca Benini, Ulrich Kremer, Christian W. Probst, Peter Schelkens: 05141 Summary - Power-aware Computing Systems. Power-aware Computing Systems 2005
5		Vasanth Venkatachalam, Christian W. Probst, Michael Franz: A Multilevel Introspective Dynamic Optimization System For Holistic Power-Aware Computing. Power-aware Computing Systems 2005
4		Andreas Gal, Christian W. Probst, Michael Franz: Integrated Java Bytecode Verification. Electr. Notes Theor. Comput. Sci. 131: 27-38 (2005)
3		Andreas Gal, Christian W. Probst, Michael Franz: Structural Encoding of Static Single Assignment Form. Electr. Notes Theor. Comput. Sci. 141(2): 85-102 (2005)
2		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)
	2002
1		Christian W. Probst: Modular Control Flow Analysis for Libraries. SAS 2002: 165-179

Coauthor Index

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

Colors in the list of coauthors