Christian Schwarz

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2024
Boolean basis, formula size, and number of modal operators.
CoRR, 2024

Modal Logic Is More Succinct Iff Bi-Implication Is Available in Some Form.
Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024

2023
Alternating complexity of counting first-order logic for the subword order.
Acta Informatica, March, 2023

Improving GPU Matrix Multiplication by Leveraging Bit Level Granularity and Compression.
Proceedings of the Datenbanksysteme für Business, 2023

2022
Accelerating Parallel Operation for Compacting Selected Elements on GPUs.
J. Open Source Softw., 2022

2020
Complexity of Counting First-Order Logic for the Subword Order.
Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

2013
Formal verification of service-oriented adaptive driver assistance systems.
SIGBED Rev., 2013

Statistische Parametersynthese für hybride Systeme.
Proceedings of the Funktionale Sicherheit, 2013

2011
Modelling a real-time control system using parameterized linear hybrid automata.
Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

NoC-MPU: A secure architecture for flexible co-hosting on shared memory MPSoCs.
Proceedings of the Design, Automation and Test in Europe, 2011

2010
A Tool Environment for Specifying and Verifying Multi-agent Systems.
Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2, 2010

2009
HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid Automata.
Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

Multi-compartment: A new architecture for secure co-hosting on SoC.
Proceedings of the 2008 IEEE International Symposium on System-on-Chip, 2009

SecBus: Operating System controlled hierarchical page-based memory bus protection.
Proceedings of the Design, Automation and Test in Europe, 2009

Generisches Verfahren zur präzisen Pfadverfolgung für Serienfahrzeuggespanne.
Proceedings of the Autonome Mobile Systeme 2009, 2009

2007
Massively Parallel Simulations of Solar Flares and Plasma Turbulence.
Proceedings of the Parallel Computing: Architectures, 2007

2005
AutAT: an eclipse plugin for automatic acceptance testing of web applications.
Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

1998
Aspekte der unternehmensübergreifenden Integration heterogener Workflowmanagementsysteme.
Proceedings of the Integration heterogener Softwaresysteme, IHS'98, 1998

1997
Von der Geschäftsprozeßmodellierung zur Workflowspezifikation - Zur Kompatibilität von Modellen und Werkzeugen.
HMD Prax. Wirtsch., 1997


  Loading...