Christian Maeder

Publication Activity (10 Years)

Years Active: 1996-2021
Publications (10 Years): 5

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

CoRR

ICC Workshops

CALCO

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Helmar Hutschenreuter, Salva Daneshgadeh Çakmakçi, Christian Maeder, Thomas Kemmerich
Ontology-based Cybersecurity and Resilience Framework. ICISSP (2021)
Tobias Brandt, Dieter Hutter, Christian Maeder, Rainer Müller
Towards a Secure and Reliable IT-Ecosystem in Seaports. CoRR (2021)
Salva Daneshgadeh Çakmakçi, Helmar Hutschenreuter, Christian Maeder, Thomas Kemmerich
A Framework For Intelligent DDoS Attack Detection and Response using SIEM and Ontology. ICC Workshops (2021)
Christian Maeder, Karsten Sohr, Rodrigue Wete Nguempnang, Nils Meyer-Larsen, Rainer Müller
Modeling and Validating Role-Based Authorization Policies for a Port Communication System with UML and OCL. J. Object Technol. 19 (3) (2020)
Bernhard J. Berger, Christian Maeder, Rodrigue Wete Nguempnang, Karsten Sohr, Carlos E. Rubio-Medrano
Towards Effective Verification of Multi-Model Access Control Properties. SACMAT (2019)
Mihai Codescu, Till Mossakowski, Christian Maeder
Checking Conservativity with Hets. CALCO (2013)
Till Mossakowski, Mihai Codescu, Christian Maeder, Bruno Langenstein
The VSE Refinement Method in Hets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 62 (2013)
Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lüth, Christian Maeder
SmartTies - Management of Safety-Critical Developments. ISoLA (1) (2012)
Mihai Codescu, Till Mossakowski, Adrián Riesco, Christian Maeder
Integrating Maude into Hets. AMAST (2010)
Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski
The VSE Refinement Method in Hets. ICFEM (2009)
Till Mossakowski, Christian Maeder, Klaus Lüttich
The Heterogeneous Tool Set, Hets. TACAS (2007)
Till Mossakowski, Christian Maeder, Klaus Lüttich
The Heterogeneous Tool Set (Hets). VERIFY (2007)
Marko Fabiunke, Joanna Filipek, Christian Maeder
XMI Based UML Model Composition in KobrA. GI Jahrestagung (2) (2001)
Klaus Didrich, Wolfgang Grieskamp, Christian Maeder, Peter Pepper
Programming in the Large: The Algebraic-Functional Language Opal 2alpha. Implementation of Functional Languages (1997)
Klaus Didrich, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, Peter Pepper
Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract). AMAST (1996)

Christian Maeder.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christian Maeder