Christian Schwarz

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 6

Top Topics

Multi Core Systems

Randomly Selected

Top Venues

Acta Informatica

Publications

Christoph Berkholz, Dietrich Kuske, Christian Schwarz
Modal Logic Is More Succinct Iff Bi-Implication Is Available in Some Form. STACS (2024)
Dietrich Kuske, Christian Schwarz
Alternating complexity of counting first-order logic for the subword order. Acta Informatica 60 (1) (2023)
Johannes Fett, Christian Schwarz, Urs Kober, Dirk Habich, Wolfgang Lehner
Improving GPU Matrix Multiplication by Leveraging Bit Level Granularity and Compression. BTW (2023)
Johannes Fett, Urs Kober, Christian Schwarz, Dirk Habich, Wolfgang Lehner
Accelerating Parallel Operation for Compacting Selected Elements on GPUs. J. Open Source Softw. 7 (75) (2022)
Johannes Fett, Urs Kober, Christian Schwarz, Dirk Habich, Wolfgang Lehner
Accelerating Parallel Operation for Compacting Selected Elements on GPUs. Euro-Par (2022)
Dietrich Kuske, Christian Schwarz
Complexity of Counting First-Order Logic for the Subword Order. MFCS (2020)
Christian Schwarz, Dieter Zöbel, Marco Wagner
Formal verification of service-oriented adaptive driver assistance systems. SIGBED Rev. 10 (4) (2013)
Christian Schwarz
Statistische Parametersynthese für hybride Systeme. Echtzeit (2013)
Joel Porquet, Alain Greiner, Christian Schwarz
NoC-MPU: A secure architecture for flexible co-hosting on shared memory MPSoCs. DATE (2011)
Christian Schwarz
Modelling a real-time control system using parameterized linear hybrid automata. GI-Jahrestagung (2011)
Christian Schwarz, Ammar Mohammed, Frieder Stolzenburg
A Tool Environment for Specifying and Verifying Multi-agent Systems. ICAART (2) (2010)
Ammar Mohammed, Christian Schwarz
HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid Automata. KI (2009)
Lifeng Su, Stephan Courcambeck, Pierre Guillemin, Christian Schwarz, Renaud Pacalet
SecBus: Operating System controlled hierarchical page-based memory bus protection. DATE (2009)
Joel Porquet, Christian Schwarz, Alain Greiner
Multi-compartment: A new architecture for secure co-hosting on SoC. SoC (2009)
Christian Schwarz, Christian Weyand, Dieter Zöbel
Generisches Verfahren zur präzisen Pfadverfolgung für Serienfahrzeuggespanne. AMS (2009)
Lukas Arnold, Christoph Beetz, Jürgen Dreher, Holger Homann, Christian Schwarz, Rainer Grauer
Massively Parallel Simulations of Solar Flares and Plasma Turbulence. PARCO (2007)
Christian Schwarz, Stein Kåre Skytteren, Trond Marius Øvstetun
AutAT: an eclipse plugin for automatic acceptance testing of web applications. OOPSLA Companion (2005)
Christian Schwarz
Aspekte der unternehmensübergreifenden Integration heterogener Workflowmanagementsysteme. Workshop Integration heterogener Softwaresysteme (1998)
Karl Kurbel, Georg Nenoglu, Christian Schwarz
Von der Geschäftsprozeßmodellierung zur Workflowspezifikation - Zur Kompatibilität von Modellen und Werkzeugen. HMD Prax. Wirtsch. 198 (1997)