[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

BibTeX records: Christian Maeder

download as .bib file

@inproceedings{DBLP:conf/icc/CakmakciHMK21,
  author       = {Salva Daneshgadeh {\c{C}}akmak{\c{c}}i and
                  Helmar Hutschenreuter and
                  Christian Maeder and
                  Thomas Kemmerich},
  title        = {A Framework For Intelligent DDoS Attack Detection and Response using
                  {SIEM} and Ontology},
  booktitle    = {{IEEE} International Conference on Communications Workshops, {ICC}
                  Workshops 2021, Montreal, QC, Canada, June 14-23, 2021},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICCWorkshops50388.2021.9473869},
  doi          = {10.1109/ICCWORKSHOPS50388.2021.9473869},
  timestamp    = {Tue, 13 Jul 2021 14:57:20 +0200},
  biburl       = {https://dblp.org/rec/conf/icc/CakmakciHMK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icissp/HutschenreuterC21,
  author       = {Helmar Hutschenreuter and
                  Salva Daneshgadeh {\c{C}}akmak{\c{c}}i and
                  Christian Maeder and
                  Thomas Kemmerich},
  editor       = {Paolo Mori and
                  Gabriele Lenzini and
                  Steven Furnell},
  title        = {Ontology-based Cybersecurity and Resilience Framework},
  booktitle    = {Proceedings of the 7th International Conference on Information Systems
                  Security and Privacy, {ICISSP} 2021, Online Streaming, February 11-13,
                  2021},
  pages        = {458--466},
  publisher    = {{SCITEPRESS}},
  year         = {2021},
  url          = {https://doi.org/10.5220/0010233604580466},
  doi          = {10.5220/0010233604580466},
  timestamp    = {Tue, 02 Mar 2021 22:35:43 +0100},
  biburl       = {https://dblp.org/rec/conf/icissp/HutschenreuterC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2111-13436,
  author       = {Tobias Brandt and
                  Dieter Hutter and
                  Christian Maeder and
                  Rainer M{\"{u}}ller},
  title        = {Towards a Secure and Reliable IT-Ecosystem in Seaports},
  journal      = {CoRR},
  volume       = {abs/2111.13436},
  year         = {2021},
  url          = {https://arxiv.org/abs/2111.13436},
  eprinttype    = {arXiv},
  eprint       = {2111.13436},
  timestamp    = {Wed, 01 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2111-13436.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jot/MaederSNMM20,
  author       = {Christian Maeder and
                  Karsten Sohr and
                  Rodrigue Wete Nguempnang and
                  Nils Meyer{-}Larsen and
                  Rainer M{\"{u}}ller},
  title        = {Modeling and Validating Role-Based Authorization Policies for a Port
                  Communication System with {UML} and {OCL}},
  journal      = {J. Object Technol.},
  volume       = {19},
  number       = {3},
  pages        = {3:1--14},
  year         = {2020},
  url          = {https://doi.org/10.5381/jot.2020.19.3.a8},
  doi          = {10.5381/JOT.2020.19.3.A8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jot/MaederSNMM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sacmat/BergerMNSR19,
  author       = {Bernhard J. Berger and
                  Christian Maeder and
                  Rodrigue Wete Nguempnang and
                  Karsten Sohr and
                  Carlos E. Rubio{-}Medrano},
  editor       = {Florian Kerschbaum and
                  Atefeh Mashatan and
                  Jianwei Niu and
                  Adam J. Lee},
  title        = {Towards Effective Verification of Multi-Model Access Control Properties},
  booktitle    = {Proceedings of the 24th {ACM} Symposium on Access Control Models and
                  Technologies, {SACMAT} 2019, Toronto, ON, Canada, June 03-06, 2019},
  pages        = {149--160},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3322431.3325105},
  doi          = {10.1145/3322431.3325105},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sacmat/BergerMNSR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/MossakowskiCML13,
  author       = {Till Mossakowski and
                  Mihai Codescu and
                  Christian Maeder and
                  Bruno Langenstein},
  title        = {The {VSE} Refinement Method in Hets},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {62},
  year         = {2013},
  url          = {https://doi.org/10.14279/tuj.eceasst.62.859},
  doi          = {10.14279/TUJ.ECEASST.62.859},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/MossakowskiCML13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/CodescuMM13,
  author       = {Mihai Codescu and
                  Till Mossakowski and
                  Christian Maeder},
  editor       = {Reiko Heckel and
                  Stefan Milius},
  title        = {Checking Conservativity with Hets},
  booktitle    = {Algebra and Coalgebra in Computer Science - 5th International Conference,
                  {CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8089},
  pages        = {315--321},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40206-7\_24},
  doi          = {10.1007/978-3-642-40206-7\_24},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/CodescuMM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/AutexierDHLM12,
  author       = {Serge Autexier and
                  Dominik Dietrich and
                  Dieter Hutter and
                  Christoph L{\"{u}}th and
                  Christian Maeder},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {SmartTies - Management of Safety-Critical Developments},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Technologies for Mastering Change - 5th International Symposium, ISoLA
                  2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7609},
  pages        = {238--252},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34026-0\_18},
  doi          = {10.1007/978-3-642-34026-0\_18},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/AutexierDHLM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amast/CodescuMRM10,
  author       = {Mihai Codescu and
                  Till Mossakowski and
                  Adri{\'{a}}n Riesco and
                  Christian Maeder},
  editor       = {Michael Johnson and
                  Dusko Pavlovic},
  title        = {Integrating Maude into Hets},
  booktitle    = {Algebraic Methodology and Software Technology - 13th International
                  Conference, {AMAST} 2010, Lac-Beauport, QC, Canada, June 23-25, 2010.
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6486},
  pages        = {60--75},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17796-5\_4},
  doi          = {10.1007/978-3-642-17796-5\_4},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/CodescuMRM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/CodescuLMM09,
  author       = {Mihai Codescu and
                  Bruno Langenstein and
                  Christian Maeder and
                  Till Mossakowski},
  editor       = {Karin K. Breitman and
                  Ana Cavalcanti},
  title        = {The {VSE} Refinement Method in Hets},
  booktitle    = {Formal Methods and Software Engineering, 11th International Conference
                  on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
                  December 9-12, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5885},
  pages        = {660--678},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-10373-5\_34},
  doi          = {10.1007/978-3-642-10373-5\_34},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/CodescuLMM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/MossakowskiML07,
  author       = {Till Mossakowski and
                  Christian Maeder and
                  Klaus L{\"{u}}ttich},
  editor       = {Bernhard Beckert},
  title        = {The Heterogeneous Tool Set (Hets)},
  booktitle    = {Proceedings of 4th International Verification Workshop in connection
                  with CADE-21, Bremen, Germany, July 15-16, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {259},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-259/paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:14 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/MossakowskiML07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/MossakowskiML07,
  author       = {Till Mossakowski and
                  Christian Maeder and
                  Klaus L{\"{u}}ttich},
  editor       = {Orna Grumberg and
                  Michael Huth},
  title        = {The Heterogeneous Tool Set, Hets},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  13th International Conference, {TACAS} 2007, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2007
                  Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4424},
  pages        = {519--522},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71209-1\_40},
  doi          = {10.1007/978-3-540-71209-1\_40},
  timestamp    = {Mon, 11 Sep 2023 15:43:49 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/MossakowskiML07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/dnb/Maeder01,
  author       = {Christian Maeder},
  title        = {Zur Kontextanalyse einer algebraischen Programmiersprache},
  school       = {Technical University of Berlin, Germany},
  year         = {2001},
  url          = {http://edocs.tu-berlin.de/diss/2001/maeder\_christian.pdf},
  urn          = {urn:nbn:de:kobv:83-opus-1888},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Maeder01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gi/FabiunkeFM01,
  author       = {Marko Fabiunke and
                  Joanna Filipek and
                  Christian Maeder},
  editor       = {Kurt Bauknecht and
                  Wilfried Brauer and
                  Thomas A. M{\"{u}}ck},
  title        = {{XMI} Based {UML} Model Composition in KobrA},
  booktitle    = {Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft
                  f{\"{u}}r Informatik, Wirtschaft und Wissenschaft in der Network
                  Economy - Visionen und Wirklichkeit, Jahrestagung der {\"{O}}sterreichischen
                  Computer Gesellschaft 2001, {INFORMATIK/OCG} 2001, Vienna, Austria,
                  September 25-28, 2001, Band 2},
  series       = {Schriftenreihe der {\"{O}}sterreichischen Computer-Gesellschaft},
  volume       = {157},
  pages        = {845--849},
  publisher    = {Konstanz UVK-Verl.-Ges.},
  year         = {2001},
  timestamp    = {Fri, 17 Jul 2020 14:28:31 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/FabiunkeFM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/DidrichGMP97,
  author       = {Klaus Didrich and
                  Wolfgang Grieskamp and
                  Christian Maeder and
                  Peter Pepper},
  editor       = {Chris Clack and
                  Kevin Hammond and
                  Antony J. T. Davie},
  title        = {Programming in the Large: The Algebraic-Functional Language Opal 2alpha},
  booktitle    = {Implementation of Functional Languages, 9th International Workshop,
                  IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1467},
  pages        = {322--337},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0055439},
  doi          = {10.1007/BFB0055439},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/DidrichGMP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amast/DidrichGGMP96,
  author       = {Klaus Didrich and
                  Carola Gerke and
                  Wolfgang Grieskamp and
                  Christian Maeder and
                  Peter Pepper},
  editor       = {Martin Wirsing and
                  Maurice Nivat},
  title        = {Towards Integrating Algebraic Specification and Functional Programming:
                  the Opal System (Extended Abstract)},
  booktitle    = {Algebraic Methodology and Software Technology, 5th International Conference,
                  {AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1101},
  pages        = {559--562},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0014341},
  doi          = {10.1007/BFB0014341},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/DidrichGGMP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.