Search dblp for Publications

export results for "toc:db/conf/staf/staf2021w.bht:"

 download as .bib file

@inproceedings{DBLP:conf/staf/0001T21,
  author       = {Steven Kelly and
                  Juha{-}Pekka Tolvanen},
  editor       = {Ludovico Iovino and
                  Lars Michael Kristensen},
  title        = {Automated Annotations in Domain-Specific Models: Analysis of 23 Cases},
  booktitle    = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
                  Transformations, Joint Workshop on Foundations and Practice of Visual
                  Modeling and Data for Model-Driven Engineering, International workshop
                  on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
                  for Healthcare Systems, and 20th International Workshop on {OCL} and
                  Textual Modeling co-located with Software Technologies: Applications
                  and Foundations, Federation of Conferences {(STAF} 2021), Virtual
                  Event / Bergen, Norway, June 21-25, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2999},
  pages        = {77--87},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2999/fpvmdata4mdepaper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:10 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/0001T21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/AnjorinKL21,
  author       = {Anthony Anjorin and
                  Hsiang{-}Shang Ko and
                  Erhan Leblebici},
  editor       = {Ludovico Iovino and
                  Lars Michael Kristensen},
  title        = {C-Lenses Explained: Bx Foundations for the Rest of Us},
  booktitle    = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
                  Transformations, Joint Workshop on Foundations and Practice of Visual
                  Modeling and Data for Model-Driven Engineering, International workshop
                  on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
                  for Healthcare Systems, and 20th International Workshop on {OCL} and
                  Textual Modeling co-located with Software Technologies: Applications
                  and Foundations, Federation of Conferences {(STAF} 2021), Virtual
                  Event / Bergen, Norway, June 21-25, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2999},
  pages        = {1--17},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2999/bxpaper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/AnjorinKL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/BernardeschiDP21,
  author       = {Cinzia Bernardeschi and
                  Andrea Domenici and
                  Maurizio Palmieri},
  editor       = {Ludovico Iovino and
                  Lars Michael Kristensen},
  title        = {A Prototyping Process for Medical Devices and Systems},
  booktitle    = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
                  Transformations, Joint Workshop on Foundations and Practice of Visual
                  Modeling and Data for Model-Driven Engineering, International workshop
                  on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
                  for Healthcare Systems, and 20th International Workshop on {OCL} and
                  Textual Modeling co-located with Software Technologies: Applications
                  and Foundations, Federation of Conferences {(STAF} 2021), Virtual
                  Event / Bergen, Norway, June 21-25, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2999},
  pages        = {115--124},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2999/mmhspaper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/BernardeschiDP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/CabotCCGVW21,
  author       = {Jordi Cabot and
                  Daniel Calegari and
                  Robert Claris{\'{o}} and
                  Martin Gogolla and
                  Antonio Vallecillo and
                  Edward D. Willink},
  editor       = {Ludovico Iovino and
                  Lars Michael Kristensen},
  title        = {A {SWOT} Analysis of the Object Constraint Language},
  booktitle    = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
                  Transformations, Joint Workshop on Foundations and Practice of Visual
                  Modeling and Data for Model-Driven Engineering, International workshop
                  on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
                  for Healthcare Systems, and 20th International Workshop on {OCL} and
                  Textual Modeling co-located with Software Technologies: Applications
                  and Foundations, Federation of Conferences {(STAF} 2021), Virtual
                  Event / Bergen, Norway, June 21-25, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2999},
  pages        = {178--184},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2999/oclpaper8.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/CabotCCGVW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/ChenAK21,
  author       = {Zijun Chen and
                  Wilbert Alberts and
                  Ivan Kurtev},
  editor       = {Ludovico Iovino and
                  Lars Michael Kristensen},
  title        = {Testing Code Generators: a Case Study on Applying USE, EFinder and
                  Tracts in Practice},
  booktitle    = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
                  Transformations, Joint Workshop on Foundations and Practice of Visual
                  Modeling and Data for Model-Driven Engineering, International workshop
                  on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
                  for Healthcare Systems, and 20th International Workshop on {OCL} and
                  Textual Modeling co-located with Software Technologies: Applications
                  and Foundations, Federation of Conferences {(STAF} 2021), Virtual
                  Event / Bergen, Norway, June 21-25, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2999},
  pages        = {169--177},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2999/oclpaper7.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/ChenAK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/Clarke21,
  author       = {Bryce Clarke},
  editor       = {Ludovico Iovino and
                  Lars Michael Kristensen},
  title        = {Delta Lenses as Coalgebras for a Comonad},
  booktitle    = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
                  Transformations, Joint Workshop on Foundations and Practice of Visual
                  Modeling and Data for Model-Driven Engineering, International workshop
                  on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
                  for Healthcare Systems, and 20th International Workshop on {OCL} and
                  Textual Modeling co-located with Software Technologies: Applications
                  and Foundations, Federation of Conferences {(STAF} 2021), Virtual
                  Event / Bergen, Norway, June 21-25, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2999},
  pages        = {18--27},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2999/bxpaper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/Clarke21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/GogollaBV21,
  author       = {Martin Gogolla and
                  Loli Burgue{\~{n}}o and
                  Antonio Vallecillo},
  editor       = {Ludovico Iovino and
                  Lars Michael Kristensen},
  title        = {Refactoring Collections in {OCL}},
  booktitle    = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
                  Transformations, Joint Workshop on Foundations and Practice of Visual
                  Modeling and Data for Model-Driven Engineering, International workshop
                  on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
                  for Healthcare Systems, and 20th International Workshop on {OCL} and
                  Textual Modeling co-located with Software Technologies: Applications
                  and Foundations, Federation of Conferences {(STAF} 2021), Virtual
                  Event / Bergen, Norway, June 21-25, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2999},
  pages        = {142--148},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2999/oclpaper4.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/GogollaBV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/HessHMPTD21,
  author       = {Alexander He{\ss} and
                  Franz J. Hauck and
                  David M{\"{o}}dinger and
                  Jakob Pietron and
                  Matthias Tichy and
                  J{\"{o}}rg Domaschka},
  editor       = {Ludovico Iovino and
                  Lars Michael Kristensen},
  title        = {Morpheus: {A} Degradation Framework for Resilient IoT Systems},
  booktitle    = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
                  Transformations, Joint Workshop on Foundations and Practice of Visual
                  Modeling and Data for Model-Driven Engineering, International workshop
                  on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
                  for Healthcare Systems, and 20th International Workshop on {OCL} and
                  Textual Modeling co-located with Software Technologies: Applications
                  and Foundations, Federation of Conferences {(STAF} 2021), Virtual
                  Event / Bergen, Norway, June 21-25, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2999},
  pages        = {105--114},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2999/messpaper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/HessHMPTD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/IhirweRMP21,
  author       = {Felicien Ihirwe and
                  Davide Di Ruscio and
                  Silvia Mazzini and
                  Alfonso Pierantonio},
  editor       = {Ludovico Iovino and
                  Lars Michael Kristensen},
  title        = {Towards a Modeling and Analysis Environment for Industrial IoT systems},
  booktitle    = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
                  Transformations, Joint Workshop on Foundations and Practice of Visual
                  Modeling and Data for Model-Driven Engineering, International workshop
                  on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
                  for Healthcare Systems, and 20th International Workshop on {OCL} and
                  Textual Modeling co-located with Software Technologies: Applications
                  and Foundations, Federation of Conferences {(STAF} 2021), Virtual
                  Event / Bergen, Norway, June 21-25, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2999},
  pages        = {90--104},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2999/messpaper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/IhirweRMP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/JinL21,
  author       = {Kunxiang Jin and
                  Kevin Lano},
  editor       = {Ludovico Iovino and
                  Lars Michael Kristensen},
  title        = {Mutation Operators for Object Constraint Language Specification},
  booktitle    = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
                  Transformations, Joint Workshop on Foundations and Practice of Visual
                  Modeling and Data for Model-Driven Engineering, International workshop
                  on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
                  for Healthcare Systems, and 20th International Workshop on {OCL} and
                  Textual Modeling co-located with Software Technologies: Applications
                  and Foundations, Federation of Conferences {(STAF} 2021), Virtual
                  Event / Bergen, Norway, June 21-25, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2999},
  pages        = {128--134},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2999/oclpaper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/JinL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/KalninaKS21,
  author       = {Elina Kalnina and
                  Dmitrijs Kosarevskis and
                  Agris Sostaks},
  editor       = {Ludovico Iovino and
                  Lars Michael Kristensen},
  title        = {Find-Replace as a Service of Graph-Based {DSL} Tool Development Framework},
  booktitle    = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
                  Transformations, Joint Workshop on Foundations and Practice of Visual
                  Modeling and Data for Model-Driven Engineering, International workshop
                  on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
                  for Healthcare Systems, and 20th International Workshop on {OCL} and
                  Textual Modeling co-located with Software Technologies: Applications
                  and Foundations, Federation of Conferences {(STAF} 2021), Virtual
                  Event / Bergen, Norway, June 21-25, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2999},
  pages        = {65--76},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2999/fpvmdata4mdepaper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/KalninaKS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/Lano21,
  author       = {Kevin Lano},
  editor       = {Ludovico Iovino and
                  Lars Michael Kristensen},
  title        = {Implementing {OCL} in Swift},
  booktitle    = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
                  Transformations, Joint Workshop on Foundations and Practice of Visual
                  Modeling and Data for Model-Driven Engineering, International workshop
                  on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
                  for Healthcare Systems, and 20th International Workshop on {OCL} and
                  Textual Modeling co-located with Software Technologies: Applications
                  and Foundations, Federation of Conferences {(STAF} 2021), Virtual
                  Event / Bergen, Norway, June 21-25, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2999},
  pages        = {135--141},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2999/oclpaper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/Lano21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/Lano21a,
  author       = {Kevin Lano},
  editor       = {Ludovico Iovino and
                  Lars Michael Kristensen},
  title        = {Adding Regular Expression Operators to {OCL}},
  booktitle    = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
                  Transformations, Joint Workshop on Foundations and Practice of Visual
                  Modeling and Data for Model-Driven Engineering, International workshop
                  on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
                  for Healthcare Systems, and 20th International Workshop on {OCL} and
                  Textual Modeling co-located with Software Technologies: Applications
                  and Foundations, Federation of Conferences {(STAF} 2021), Virtual
                  Event / Bergen, Norway, June 21-25, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2999},
  pages        = {162--168},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2999/oclpaper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/Lano21a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/PietronFT21,
  author       = {Jakob Pietron and
                  Fabian F{\"{u}}g and
                  Matthias Tichy},
  editor       = {Ludovico Iovino and
                  Lars Michael Kristensen},
  title        = {An Operation-based Versioning Approach for Synchronous and Asynchronous
                  Collaboration in Graphical Modeling Tools},
  booktitle    = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
                  Transformations, Joint Workshop on Foundations and Practice of Visual
                  Modeling and Data for Model-Driven Engineering, International workshop
                  on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
                  for Healthcare Systems, and 20th International Workshop on {OCL} and
                  Textual Modeling co-located with Software Technologies: Applications
                  and Foundations, Federation of Conferences {(STAF} 2021), Virtual
                  Event / Bergen, Norway, June 21-25, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2999},
  pages        = {88--89},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2999/fpvmdata4mdepaper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/PietronFT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/RajaeiRTJ21,
  author       = {Zahra Rajaei and
                  Shekoufeh Kolahdouz Rahimi and
                  Massimo Tisi and
                  Fr{\'{e}}d{\'{e}}ric Jouault},
  editor       = {Ludovico Iovino and
                  Lars Michael Kristensen},
  title        = {A {DSL} for Encoding Models for Graph-Learning Processes},
  booktitle    = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
                  Transformations, Joint Workshop on Foundations and Practice of Visual
                  Modeling and Data for Model-Driven Engineering, International workshop
                  on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
                  for Healthcare Systems, and 20th International Workshop on {OCL} and
                  Textual Modeling co-located with Software Technologies: Applications
                  and Foundations, Federation of Conferences {(STAF} 2021), Virtual
                  Event / Bergen, Norway, June 21-25, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2999},
  pages        = {149--161},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2999/oclpaper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/RajaeiRTJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/SaglamK21,
  author       = {Timur Saglam and
                  Heiko Klare},
  editor       = {Ludovico Iovino and
                  Lars Michael Kristensen},
  title        = {Classifying and Avoiding Compatibility Issues in Networks of Bidirectional
                  Transformations},
  booktitle    = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
                  Transformations, Joint Workshop on Foundations and Practice of Visual
                  Modeling and Data for Model-Driven Engineering, International workshop
                  on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
                  for Healthcare Systems, and 20th International Workshop on {OCL} and
                  Textual Modeling co-located with Software Technologies: Applications
                  and Foundations, Federation of Conferences {(STAF} 2021), Virtual
                  Event / Bergen, Norway, June 21-25, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2999},
  pages        = {34--53},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2999/bxpaper4.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/SaglamK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/TranKH21,
  author       = {Van{-}Dang Tran and
                  Hiroyuki Kato and
                  Zhenjiang Hu},
  editor       = {Ludovico Iovino and
                  Lars Michael Kristensen},
  title        = {Toward Recursive View Update Strategies on Relations},
  booktitle    = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
                  Transformations, Joint Workshop on Foundations and Practice of Visual
                  Modeling and Data for Model-Driven Engineering, International workshop
                  on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
                  for Healthcare Systems, and 20th International Workshop on {OCL} and
                  Textual Modeling co-located with Software Technologies: Applications
                  and Foundations, Federation of Conferences {(STAF} 2021), Virtual
                  Event / Bergen, Norway, June 21-25, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2999},
  pages        = {28--33},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2999/bxpaper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/TranKH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/WeidmannA21,
  author       = {Nils Weidmann and
                  Anthony Anjorin},
  editor       = {Ludovico Iovino and
                  Lars Michael Kristensen},
  title        = {eMoflon: : Neo - Consistency and Model Management with Graph Databases},
  booktitle    = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
                  Transformations, Joint Workshop on Foundations and Practice of Visual
                  Modeling and Data for Model-Driven Engineering, International workshop
                  on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
                  for Healthcare Systems, and 20th International Workshop on {OCL} and
                  Textual Modeling co-located with Software Technologies: Applications
                  and Foundations, Federation of Conferences {(STAF} 2021), Virtual
                  Event / Bergen, Norway, June 21-25, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2999},
  pages        = {54--64},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2999/bxpaper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/WeidmannA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/Willink21,
  author       = {Edward D. Willink},
  editor       = {Ludovico Iovino and
                  Lars Michael Kristensen},
  title        = {A Validity Analysis to Reify 2-valued Boolean Constraints},
  booktitle    = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
                  Transformations, Joint Workshop on Foundations and Practice of Visual
                  Modeling and Data for Model-Driven Engineering, International workshop
                  on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
                  for Healthcare Systems, and 20th International Workshop on {OCL} and
                  Textual Modeling co-located with Software Technologies: Applications
                  and Foundations, Federation of Conferences {(STAF} 2021), Virtual
                  Event / Bergen, Norway, June 21-25, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2999},
  pages        = {125--127},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2999/oclpaper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/Willink21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/staf/2021w,
  editor       = {Ludovico Iovino and
                  Lars Michael Kristensen},
  title        = {{STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional
                  Transformations, Joint Workshop on Foundations and Practice of Visual
                  Modeling and Data for Model-Driven Engineering, International workshop
                  on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling
                  for Healthcare Systems, and 20th International Workshop on {OCL} and
                  Textual Modeling co-located with Software Technologies: Applications
                  and Foundations, Federation of Conferences {(STAF} 2021), Virtual
                  Event / Bergen, Norway, June 21-25, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2999},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2999},
  urn          = {urn:nbn:de:0074-2999-0},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/2021w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}