Christian Maeder
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
2001–2021
Best venue rank
C
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ICISSP | Ontology-based Cybersecurity and Resilience Framework. | Helmar Hutschenreuter, Salva Daneshgadeh akmaki, Christian Maeder, Thomas Kemmerich |
| 2019 | SACMAT | Towards Effective Verification of Multi-Model Access Control Properties. | Bernhard J. Berger, Christian Maeder, Rodrigue Wete Nguempnang, Karsten Sohr, Carlos E. Rubio-Medrano |
| 2013 | CALCO | Checking Conservativity with Hets. | Mihai Codescu, Till Mossakowski, Christian Maeder |
| 2012 | ISoLA | SmartTies - Management of Safety-Critical Developments. | Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lth, Christian Maeder |
| 2009 | ICFEM | The VSE Refinement Method in Hets. | Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski |
| 2007 | CADE | The Heterogeneous Tool Set (Hets). | Till Mossakowski, Christian Maeder, Klaus Lttich |
| 2007 | TACAS | The Heterogeneous Tool Set, Hets. | Till Mossakowski, Christian Maeder, Klaus Lttich |
| 2001 | GI | XMI Based UML Model Composition in KobrA. | Marko Fabiunke, Joanna Filipek, Christian Maeder |