Christian Maeder

According to our database1, Christian Maeder authored at least 12 papers between 1996 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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.
ECEASST, 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

2009
The VSE Refinement Method in Hets.
Proceedings of the Formal Methods and Software Engineering, 2009

2007
The Heterogeneous Tool Set, Hets.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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 Informatik 2001: 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...