Christian Schwarz

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