Christian Maeder

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