Christian Schallhart

2009
17	EE	Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: Query-Driven Program Testing. VMCAI 2009: 151-166
2008
16	EE	Wei Dong, Martin Leucker, Christian Schallhart: Impartial Anticipation in Runtime-Verification. ATVA 2008: 386-396
15	EE	Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith: FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. CAV 2008: 209-213
2007
14	EE	Sagar Chaki, Christian Schallhart, Helmut Veith: Verification Across Intellectual Property Boundaries. CAV 2007: 82-94
13	EE	Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney: Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. IEEE Symposium on Security and Privacy 2007: 179-186
12		Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig: Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. ISoLA 2007: 135-146
11	EE	Andreas Bauer, Martin Leucker, Christian Schallhart: The Good, the Bad, and the Ugly, But How Ugly Is Ugly? RV 2007: 126-138
10	EE	Sagar Chaki, Christian Schallhart, Helmut Veith: Verification Across Intellectual Property Boundaries CoRR abs/cs/0701187: (2007)
2006
9	EE	Andreas Bauer, Martin Leucker, Christian Schallhart: Model-based runtime analysis of distributed reactive systems. ASWEC 2006: 243-252
8	EE	Andreas Bauer, Martin Leucker, Christian Schallhart: Monitoring of Real-Time Properties. FSTTCS 2006: 260-272
2005
7	EE	Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith: Detecting Malicious Code by Model Checking. DIMVA 2005: 174-187
6		Jana Dittmann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith: Ensuring Media Integrity on Third-Party Infrastructures. SEC 2005: 493-508
5		Stefan Katzenbeisser, Christian Schallhart, Helmut Veith: Malware Engineering. Sicherheit 2005: 139-148
4	EE	Uwe Hermann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith: Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments CoRR abs/cs/0503080: (2005)
3	EE	Christian Schallhart, Luca Trevisan: Approximating Succinct MaxSat. J. Log. Comput. 15(4): 551-557 (2005)
2004
2	EE	Axel Belinfante, Lars Frantzen, Christian Schallhart: Tools for Test Case Generation. Model-Based Testing of Reactive Systems 2004: 391-438
1	EE	Markus Holzer, Stefan Katzenbeisser, Christian Schallhart: Towards Formal Semantics for ODRL. ODRL Workshop 2004: 137-148

Coauthor Index

1	Andreas Bauer	[8] [9] [11] [12]
2	Axel Belinfante	[2]
3	Sagar Chaki	[10] [14]
4	Stephen Chenney	[13]
5	Jana Dittmann	[6]
6	Wei Dong	[16]
7	Lars Frantzen	[2]
8	Uwe Hermann	[4]
9	Andreas Holzer	[15] [17]
10	Markus Holzer	[1]
11	Somesh Jha	[13]
12	Stefan Katzenbeisser	[1] [4] [5] [6] [7] [13]
13	Johannes Kinder	[7]
14	Martin Leucker	[8] [9] [11] [12] [16]
15	Michael Tautschnig	[12] [15] [17]
16	Luca Trevisan	[3]
17	Helmut Veith	[4] [5] [6] [7] [10] [13] [14] [15] [17]

Colors in the list of coauthors