Christian Maeder

According to our database, Christian Maeder authored at least 14 papers between 1996 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Towards a Secure and Reliable IT-Ecosystem in Seaports.

Tobias Brandt, Dieter Hutter, Christian Maeder, Rainer Müller

CoRR, 2021

Ontology-based Cybersecurity and Resilience Framework.

Helmar Hutschenreuter, Salva Daneshgadeh Çakmakçi, Christian Maeder, Thomas Kemmerich

Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021

A Framework For Intelligent DDoS Attack Detection and Response using SIEM and Ontology.

Salva Daneshgadeh Çakmakçi, Helmar Hutschenreuter, Christian Maeder, Thomas Kemmerich

Proceedings of the IEEE International Conference on Communications Workshops, 2021

2020

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

2019

Towards Effective Verification of Multi-Model Access Control Properties.

Bernhard J. Berger, Christian Maeder, Rodrigue Wete Nguempnang, Karsten Sohr, Carlos E. Rubio-Medrano

Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, 2019

2013

The VSE Refinement Method in Hets.

Till Mossakowski, Mihai Codescu, Christian Maeder, Bruno Langenstein

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

Checking Conservativity with Hets.

Mihai Codescu, Till Mossakowski, Christian Maeder

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2012

SmartTies - Management of Safety-Critical Developments.

Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lüth, Christian Maeder

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2010

Integrating Maude into Hets.

Mihai Codescu, Till Mossakowski, Adrián Riesco, Christian Maeder

Proceedings of the Algebraic Methodology and Software Technology, 2010

2007

The Heterogeneous Tool Set, Hets.

Till Mossakowski, Christian Maeder, Klaus Lüttich

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2001

Zur Kontextanalyse einer algebraischen Programmiersprache.

Christian Maeder

PhD thesis, 2001

XMI Based UML Model Composition in KobrA.

Marko Fabiunke, Joanna Filipek, Christian Maeder

Proceedings of the Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy, 2001

1997

Programming in the Large: The Algebraic-Functional Language Opal 2alpha.

Klaus Didrich, Wolfgang Grieskamp, Christian Maeder, Peter Pepper

Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

1996

Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract).

Klaus Didrich, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, Peter Pepper

Proceedings of the Algebraic Methodology and Software Technology, 1996