BibTeX record conf/models/YurchenkoBKKR17

• > Home > conf/models/YurchenkoBKKR17

@inproceedings{DBLP:conf/models/YurchenkoBKKR17,
  author       = {Kateryna Yurchenko and
                  Moritz Behr and
                  Heiko Klare and
                  Max E. Kramer and
                  Ralf H. Reussner},
  editor       = {Loli Burgue{\~{n}}o and
                  Jonathan Corley and
                  Nelly Bencomo and
                  Peter J. Clarke and
                  Philippe Collet and
                  Michalis Famelis and
                  Sudipto Ghosh and
                  Martin Gogolla and
                  Joel Greenyer and
                  Esther Guerra and
                  Sahar Kokaly and
                  Alfonso Pierantonio and
                  Julia Rubin and
                  Davide Di Ruscio},
  title        = {Architecture-driven Reduction of Specification Overhead for Verifying
                  Confidentiality in Component-based Software Systems},
  booktitle    = {Proceedings of {MODELS} 2017 Satellite Event: Workshops (ModComp,
                  ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE,
                  MDEbug), Posters, Doctoral Symposium, Educator Symposium, {ACM} Student
                  Research Competition, and Tools and Demonstrations co-located with
                  {ACM/IEEE} 20th International Conference on Model Driven Engineering
                  Languages and Systems {(MODELS} 2017), Austin, TX, USA, September,
                  17, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2019},
  pages        = {321--323},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-2019/modevva\_4.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/YurchenkoBKKR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}