| 2007 |
|---|
| 13 | EE | Sagar Chaki,
Christian Schallhart,
Helmut Veith:
Verification Across Intellectual Property Boundaries.
CAV 2007: 82-94 |
| 12 | 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 |
| 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 |
