Brief Announcement: Fast Travellers: Infrastructure-Independent Deadlock Resolution in Resource-restricted Distributed Systems. - Sebastian Ertel; Christof Fetzer; Michael J. Beckerle (DISC, 2012)

Das Fragerecht des Arbeitgebers. - Sebastian Ertel (Datenschutz und Datensicherheit, 2012)

A framework for the dynamic evolution of highly-available dataflow programs. - Sebastian Ertel; Pascal Felber (Middleware, 2014)

Google Universal Analytics. - Sebastian Ertel; Sven Venzke-Caprarese (Datenschutz und Datensicherheit, 2014)

Ohua: Implicit Dataflow Programming for Concurrent Systems. - Sebastian Ertel; Christof Fetzer; Pascal Felber (PPPJ, 2015)

Compiling for concise code and efficient I/O. - Sebastian Ertel; Andrés Goens; Justus Adam; Jerónimo Castrillón (CC, 2018)

Supporting Fine-grained Dataflow Parallelism in Big Data Systems. - Sebastian Ertel; Justus Adam; Jerónimo Castrillón (PMAM@PPoPP, 2018)

STCLang: state thread composition as a foundation for monadic dataflow parallelism. - Sebastian Ertel; Justus Adam; Norman A. Rink; Andrés Goens; Jerónimo Castrillón (Haskell@ICFP, 2019)

A case study on machine learning for synthesizing benchmarks. - Andrés Goens; Alexander Brauckmann; Sebastian Ertel; Chris Cummins; Hugh Leather; Jerónimo Castrillón (MAPL@PLDI, 2019)

Category-Theoretic Foundations of "STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism". - Sebastian Ertel; Justus Adam; Norman A. Rink; Andrés Goens; Jerónimo Castrillón (CoRR, 2019)

Wer schützt uns eigentlich? - Sebastian Ertel (Datenschutz und Datensicherheit, 2019)

Towards implicit parallel programming for systems. - Sebastian Ertel (2019)

Compiler-based graph representations for deep learning models of code. - Alexander Brauckmann; Andrés Goens; Sebastian Ertel; Jerónimo Castrillón (CC, 2020)

ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs. - Felix Suchert; Lisza Zeidler; Jerónimo Castrillón; Sebastian Ertel (ECOOP, 2023)

ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact). - Felix Suchert; Lisza Zeidler; Jerónimo Castrillón; Sebastian Ertel (Dagstuhl Artifacts Ser., 2023)

Formally-verified Security against Forgery of Remote Attestation using SSProve. - Sara Zain; Jannik Mähn; Stefan Köpsell; Sebastian Ertel (CoRR, 2025)