Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract). - Klaus Didrich; Carola Gerke; Wolfgang Grieskamp; Christian Maeder; Peter Pepper (AMAST, 1996)

Programming in the Large: The Algebraic-Functional Language Opal 2alpha. - Klaus Didrich; Wolfgang Grieskamp; Christian Maeder; Peter Pepper (Implementation of Functional Languages, 1997)

XMI Based UML Model Composition in KobrA. - Marko Fabiunke; Joanna Filipek; Christian Maeder (GI Jahrestagung (2), 2001)

Zur Kontextanalyse einer algebraischen Programmiersprache. - Christian Maeder (2001)

The Heterogeneous Tool Set, Hets. - Till Mossakowski; Christian Maeder; Klaus Lüttich (TACAS, 2007)

Integrating Maude into Hets. - Mihai Codescu; Till Mossakowski; Adrián Riesco 001; Christian Maeder (AMAST, 2010)

SmartTies - Management of Safety-Critical Developments. - Serge Autexier; Dominik Dietrich; Dieter Hutter; Christoph Lüth; Christian Maeder (ISoLA (1), 2012)

Checking Conservativity with Hets. - Mihai Codescu; Till Mossakowski; Christian Maeder (CALCO, 2013)

The VSE Refinement Method in Hets. - Till Mossakowski; Mihai Codescu; Christian Maeder; Bruno Langenstein (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Towards Effective Verification of Multi-Model Access Control Properties. - Bernhard J. Berger; Christian Maeder; Rodrigue Wete Nguempnang; Karsten Sohr; Carlos E. Rubio-Medrano (SACMAT, 2019)

Modeling and Validating Role-Based Authorization Policies for a Port Communication System with UML and OCL. - Christian Maeder; Karsten Sohr; Rodrigue Wete Nguempnang; Nils Meyer-Larsen; Rainer Müller (J. Object Technol., 2020)

A Framework For Intelligent DDoS Attack Detection and Response using SIEM and Ontology. - Salva Daneshgadeh Çakmakçi; Helmar Hutschenreuter; Christian Maeder; Thomas Kemmerich (ICC Workshops, 2021)

Ontology-based Cybersecurity and Resilience Framework. - Helmar Hutschenreuter; Salva Daneshgadeh Çakmakçi; Christian Maeder; Thomas Kemmerich (ICISSP, 2021)

Towards a Secure and Reliable IT-Ecosystem in Seaports. - Tobias Brandt; Dieter Hutter; Christian Maeder; Rainer Müller (CoRR, 2021)