Christian Maeder

Affiliations:
  • German Research Center for Artificial Intelligence (DFKI), Bremen, Germany


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Towards a Secure and Reliable IT-Ecosystem in Seaports.
CoRR, 2021

Ontology-based Cybersecurity and Resilience Framework.
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.
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.
J. Object Technol., 2020

2019
Towards Effective Verification of Multi-Model Access Control Properties.
Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, 2019

2013
The VSE Refinement Method in Hets.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Checking Conservativity with Hets.
Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2012
SmartTies - Management of Safety-Critical Developments.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2010
Integrating Maude into Hets.
Proceedings of the Algebraic Methodology and Software Technology, 2010

2007
The Heterogeneous Tool Set (Hets).
Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007

2001
Zur Kontextanalyse einer algebraischen Programmiersprache.
PhD thesis, 2001

XMI Based UML Model Composition in KobrA.
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.
Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

1996
Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract).
Proceedings of the Algebraic Methodology and Software Technology, 1996


  Loading...