Name Card

Full name Familienname, Vorname
Schallhart, Christian
 

Own Publications Eigene Publikationen

Results 1-12 of 12 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut Closure properties and complexity of rational sets of regular languagesArtikel Article2015
2Franz, Martin ; Holzer, Andreas ; Katzenbeisser, Stefan ; Schallhart, Christian ; Veith, Helmut Compilation for Secure Two-Party ComputationsKonferenzbeitrag Inproceedings 2015
3Franz, Martin ; Holzer, Andreas ; Katzenbeisser, Stefan ; Schallhart, Christian ; Veith, Helmut CBMC-GC: An ANSI C Compiler for Secure Two-Party ComputationsKonferenzbeitrag Inproceedings 2014
4Chaki, Sagar ; Schallhart, Christian ; Veith, Helmut Verification across Intellectual Property BoundariesArtikel Article2013
5Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut On the Structure and Complexity of Rational Sets of Regular LanguagesKonferenzbeitrag Inproceedings 2013
6Holzer, Andreas ; Kroening, Daniel ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut Proving Reachability Using FShellKonferenzbeitrag Inproceedings 2012
7Holzer, Andreas ; Januzaj, Visar ; Kugele, Stefan ; Langer, Boris ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut Seamless Testing for Models and CodeKonferenzbeitrag Inproceedings2011
8Holzer, Andreas ; Tautschnig, Michael ; Schallhart, Christian ; Veith, Helmut An Introduction to Test Specification in FQLKonferenzbeitrag Inproceedings 2010
9Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut How did you specify your test suiteKonferenzbeitrag Inproceedings 2010
10Bauer, Andreas ; Leucker, Martin ; Schallhart, Christian ; Tautschnig, Michael Don't care in SMT---Building flexible yet efficient abstraction/refinement solversArtikel Article 2010
11Kinder, Johannes ; Katzenbeisser, Stefan ; Schallhart, Christian ; Veith, Helmut Proactive Detection of Computer Worms Using Model CheckingArtikel Article 2010
12Jha, Somesh ; Katzenbeisser, Stefan ; Schallhart, Christian ; Veith, Helmut ; Chenney, Stephen Semantic Integrity in Large-Scale Online SimulationsArtikel Article 2010

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Feinerer, Ingo ; Guagliardo, Paolo ; Franconi, Enrico Lossless Horizontal Decomposition with Domain Constraints on Interpreted AttributesKonferenzbeitrag Inproceedings 2013
2Savenkov, Vadim ; Pichler, Reinhard ; Koch, Christoph Loop Elimination for Database UpdatesKonferenzbeitrag Inproceedings 2013