Search dblp for Publications

export results for "toc:db/journals/sosym/sosym18.bht:"

 download as .bib file

@article{DBLP:journals/sosym/0001AP19,
  author       = {Daniel Str{\"{u}}ber and
                  Vlad Acretoaie and
                  Jennifer Pl{\"{o}}ger},
  title        = {Model clone detection for rule-based model transformation languages},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {995--1016},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0625-6},
  doi          = {10.1007/S10270-017-0625-6},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/0001AP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/0001B19,
  author       = {Rainer Schmidt and
                  Ilia Bider},
  title        = {Special Section of BPMDS'2016: Business Processes in a Connected World},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {1077--1078},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0677-2},
  doi          = {10.1007/S10270-018-0677-2},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/0001B19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/0001MFT19,
  author       = {Thomas Hartmann and
                  Assaad Moawad and
                  Fran{\c{c}}ois Fouquet and
                  Yves Le Traon},
  title        = {The next evolution of {MDE:} a seamless integration of machine learning
                  into domain modeling},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {1285--1304},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0600-2},
  doi          = {10.1007/S10270-017-0600-2},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/0001MFT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AbuHassanA19,
  author       = {Amjad AbuHassan and
                  Mohammad R. Alshayeb},
  title        = {A metrics suite for {UML} model stability},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {557--583},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-016-0573-6},
  doi          = {10.1007/S10270-016-0573-6},
  timestamp    = {Sat, 11 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/AbuHassanA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AgnerLS19,
  author       = {Luciane Telinski Wiedermann Agner and
                  Timothy C. Lethbridge and
                  Inali Wisniewski Soares},
  title        = {Student experience with software modeling tools},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {5},
  pages        = {3025--3047},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-00709-6},
  doi          = {10.1007/S10270-018-00709-6},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/AgnerLS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AichernigS19,
  author       = {Bernhard K. Aichernig and
                  Richard Schumi},
  title        = {Property-based testing of web services by deriving properties from
                  business-rule models},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {889--911},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0647-0},
  doi          = {10.1007/S10270-017-0647-0},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/AichernigS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Al-HajjajiTLMS19,
  author       = {Mustafa Al{-}Hajjaji and
                  Thomas Th{\"{u}}m and
                  Malte Lochau and
                  Jens Meinicke and
                  Gunter Saake},
  title        = {Effective product-line testing using similarity-based product prioritization},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {499--521},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-016-0569-2},
  doi          = {10.1007/S10270-016-0569-2},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/Al-HajjajiTLMS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Al-RefaiGC19,
  author       = {Mohammed Al{-}Refai and
                  Sudipto Ghosh and
                  Walter Cazzola},
  title        = {Supporting inheritance hierarchy changes in model-based regression
                  test selection},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {937--958},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0636-3},
  doi          = {10.1007/S10270-017-0636-3},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/Al-RefaiGC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AouadhiDL19,
  author       = {Mohamed Amine Aouadhi and
                  Beno{\^{\i}}t Delahaye and
                  Arnaud Lanoix},
  title        = {Introducing probabilistic reasoning within Event-B},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {1953--1984},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0626-5},
  doi          = {10.1007/S10270-017-0626-5},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/AouadhiDL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ArcegaFHC19,
  author       = {Lorena Arcega and
                  Jaime Font and
                  {\O}ystein Haugen and
                  Carlos Cetina},
  title        = {An approach for bug localization in models using two levels: model
                  and metamodel},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {6},
  pages        = {3551--3576},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-019-00727-y},
  doi          = {10.1007/S10270-019-00727-Y},
  timestamp    = {Thu, 16 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/ArcegaFHC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AwadidN19,
  author       = {Afef Awadid and
                  Selmin Nurcan},
  title        = {Consistency requirements in business process modeling: a thorough
                  overview},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {1097--1115},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0629-2},
  doi          = {10.1007/S10270-017-0629-2},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/AwadidN19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AwadidNG19,
  author       = {Afef Awadid and
                  Selmin Nurcan and
                  Sonia Ayachi Ghannouchi},
  title        = {On leveraging the fruits of research efforts in the arena of business
                  process modeling formalisms: a map-driven approach for decision making},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {1905--1930},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0689-y},
  doi          = {10.1007/S10270-018-0689-Y},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/AwadidNG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AysolmazSRY19,
  author       = {Banu Aysolmaz and
                  Dennis M. M. Schunselaar and
                  Hajo A. Reijers and
                  Ali Yaldiz},
  title        = {Selecting a process variant modeling approach: guidelines and application},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {1155--1178},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0648-z},
  doi          = {10.1007/S10270-017-0648-Z},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/AysolmazSRY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BalabanM19,
  author       = {Mira Balaban and
                  Azzam Maraee},
  title        = {Removing redundant multiplicity constraints in {UML} class models},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {4},
  pages        = {2717--2751},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0696-z},
  doi          = {10.1007/S10270-018-0696-Z},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/BalabanM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BencomoGS19,
  author       = {Nelly Bencomo and
                  Sebastian G{\"{o}}tz and
                  Hui Song},
  title        = {Models@run.time: a guided tour of the state of the art and research
                  challenges},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {5},
  pages        = {3049--3082},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-00712-x},
  doi          = {10.1007/S10270-018-00712-X},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/BencomoGS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BerardinelliBCM19,
  author       = {Luca Berardinelli and
                  Marco Bernardo and
                  Vittorio Cortellessa and
                  Antinisca Di Marco},
  title        = {Multidimensional context modeling applied to non-functional analysis
                  of software},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {2137--2176},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0645-2},
  doi          = {10.1007/S10270-017-0645-2},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/BerardinelliBCM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BernardiMMNV19,
  author       = {Simona Bernardi and
                  Stefano Marrone and
                  Jos{\'{e}} Merseguer and
                  Roberto Nardone and
                  Valeria Vittorini},
  title        = {Towards a model-driven engineering approach for the assessment of
                  non-functional properties using multi-formalism},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {2241--2264},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0663-8},
  doi          = {10.1007/S10270-018-0663-8},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/BernardiMMNV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BillFTMW19,
  author       = {Robert Bill and
                  Martin Fleck and
                  Javier Troya and
                  Tanja Mayerhofer and
                  Manuel Wimmer},
  title        = {A local and global tour on MOMoT},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {1017--1046},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0644-3},
  doi          = {10.1007/S10270-017-0644-3},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/BillFTMW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BinalialhagHA19,
  author       = {Taha Binalialhag and
                  Jameleddine Hassine and
                  Daniel Amyot},
  title        = {Static slicing of Use Case Maps requirements models},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {4},
  pages        = {2465--2505},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0680-7},
  doi          = {10.1007/S10270-018-0680-7},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/BinalialhagHA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BirchFP19,
  author       = {Geoff Birch and
                  Bernd Fischer and
                  Michael Poppleton},
  title        = {Fast test suite-driven model-based fault localisation with application
                  to pinpointing defects in student programs},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {445--471},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0612-y},
  doi          = {10.1007/S10270-017-0612-Y},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/BirchFP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Blache19,
  author       = {Gunter Blache},
  title        = {Handling index-out-of-bounds in safety-critical embedded {C} code
                  using model-based development},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {1795--1807},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0697-y},
  doi          = {10.1007/S10270-018-0697-Y},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/Blache19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BlanchetteBPKTW19,
  author       = {Jasmin Blanchette and
                  Francis Bordeleau and
                  Alfonso Pierantonio and
                  Nikolai Kosmatov and
                  Gabriele Taentzer and
                  Manuel Wimmer},
  title        = {Introduction to the {STAF} 2015 special section},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {191--193},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0686-1},
  doi          = {10.1007/S10270-018-0686-1},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/BlanchetteBPKTW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BliudzeFSV19,
  author       = {Simon Bliudze and
                  S{\'{e}}bastien Furic and
                  Joseph Sifakis and
                  Antoine Viel},
  title        = {Rigorous design of cyber-physical systems - Linking physicality and
                  computation},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {1613--1636},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0642-5},
  doi          = {10.1007/S10270-017-0642-5},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/BliudzeFSV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BousseMCB19,
  author       = {Erwan Bousse and
                  Tanja Mayerhofer and
                  Beno{\^{\i}}t Combemale and
                  Beno{\^{\i}}t Baudry},
  title        = {Advanced and efficient execution trace management for executable domain-specific
                  modeling languages},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {385--421},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0598-5},
  doi          = {10.1007/S10270-017-0598-5},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/BousseMCB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Brant-RibeiroAM19,
  author       = {Taffarel Brant{-}Ribeiro and
                  Rafael Dias Ara{\'{u}}jo and
                  Igor Mendon{\c{c}}a and
                  Michel S. Soares and
                  Renan G. Cattelan},
  title        = {Interactive web interfaces modeling, simulation and analysis using
                  Colored Petri Nets},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {721--737},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0593-x},
  doi          = {10.1007/S10270-017-0593-X},
  timestamp    = {Fri, 10 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/Brant-RibeiroAM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BrdjaninBBM19,
  author       = {Drazen Brdjanin and
                  Goran Banjac and
                  Danijela Banjac and
                  Slavko Maric},
  title        = {An experiment in model-driven conceptual database design},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {1859--1883},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0672-7},
  doi          = {10.1007/S10270-018-0672-7},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/BrdjaninBBM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BroyDS19,
  author       = {Manfred Broy and
                  Heinrich Daembkes and
                  Janos Sztipanovits},
  title        = {Editorial to the theme section on model-based design of cyber-physical
                  systems},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {1575--1576},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0670-9},
  doi          = {10.1007/S10270-018-0670-9},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/BroyDS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BruneliereBCW19,
  author       = {Hugo Bruneliere and
                  Erik Burger and
                  Jordi Cabot and
                  Manuel Wimmer},
  title        = {A feature-based survey of model view approaches},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {1931--1952},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0622-9},
  doi          = {10.1007/S10270-017-0622-9},
  timestamp    = {Sun, 20 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/BruneliereBCW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BurguenoCFKLMPP19,
  author       = {Loli Burgue{\~{n}}o and
                  Federico Ciccozzi and
                  Michalis Famelis and
                  Gerti Kappel and
                  Leen Lambers and
                  S{\'{e}}bastien Mosser and
                  Richard F. Paige and
                  Alfonso Pierantonio and
                  Arend Rensink and
                  Rick Salay and
                  Gabriele Taentzer and
                  Antonio Vallecillo and
                  Manuel Wimmer},
  title        = {Contents for a Model-Based Software Engineering Body of Knowledge},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {6},
  pages        = {3193--3205},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-019-00746-9},
  doi          = {10.1007/S10270-019-00746-9},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/BurguenoCFKLMPP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/CabreraFM19,
  author       = {Oscar Cabrera and
                  Xavier Franch and
                  Jordi Marco},
  title        = {3LConOnt: a three-level ontology for context modelling in context-aware
                  computing},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {1345--1378},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0611-z},
  doi          = {10.1007/S10270-017-0611-Z},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/CabreraFM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/CicchettiCP19,
  author       = {Antonio Cicchetti and
                  Federico Ciccozzi and
                  Alfonso Pierantonio},
  title        = {Multi-view approaches for software and system modelling: a systematic
                  literature review},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {6},
  pages        = {3207--3233},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-00713-w},
  doi          = {10.1007/S10270-018-00713-W},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/CicchettiCP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/CiccozziCPT19,
  author       = {Federico Ciccozzi and
                  Jan Carlson and
                  Patrizio Pelliccione and
                  Massimo Tivoli},
  title        = {Editorial to theme issue on model-driven engineering of component-based
                  software systems},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {7--10},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0589-6},
  doi          = {10.1007/S10270-017-0589-6},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/CiccozziCPT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/CiccozziMS19,
  author       = {Federico Ciccozzi and
                  Ivano Malavolta and
                  Bran Selic},
  title        = {Execution of {UML} models: a systematic review of research and practice},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {2313--2360},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0675-4},
  doi          = {10.1007/S10270-018-0675-4},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/CiccozziMS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/CremonaLBLMT19,
  author       = {Fabio Cremona and
                  Marten Lohstroh and
                  David Broman and
                  Edward A. Lee and
                  Michael Masin and
                  Stavros Tripakis},
  title        = {Hybrid co-simulation: it's about time},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {1655--1679},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0633-6},
  doi          = {10.1007/S10270-017-0633-6},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/CremonaLBLMT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/CzepaANZ19,
  author       = {Christoph Czepa and
                  Amirali Amiri and
                  Evangelos Ntentos and
                  Uwe Zdun},
  title        = {Modeling compliance specifications in linear temporal logic, event
                  processing language and property specification patterns: a controlled
                  experiment on understandability},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {6},
  pages        = {3331--3371},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-019-00721-4},
  doi          = {10.1007/S10270-019-00721-4},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/CzepaANZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/DadeauFB19,
  author       = {Fr{\'{e}}d{\'{e}}ric Dadeau and
                  Elizabeta Fourneret and
                  Abir Bouchelaghem},
  title        = {Temporal property patterns for model-based testing from {UML/OCL}},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {865--888},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0635-4},
  doi          = {10.1007/S10270-017-0635-4},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/DadeauFB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/DaiZK19,
  author       = {Siyuan Dai and
                  Zhenkai Zhang and
                  Xenofon D. Koutsoukos},
  title        = {A model-based design approach for simulation and virtual prototyping
                  of automotive control systems using port-Hamiltonian systems},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {1637--1653},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0646-1},
  doi          = {10.1007/S10270-017-0646-1},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/DaiZK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/DanielSC19,
  author       = {Gwendal Daniel and
                  Gerson Suny{\'{e}} and
                  Jordi Cabot},
  title        = {Advanced prefetching and caching of models with PrefetchML},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {1773--1794},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0671-8},
  doi          = {10.1007/S10270-018-0671-8},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/DanielSC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/DaunWP19,
  author       = {Marian Daun and
                  Thorsten Weyer and
                  Klaus Pohl},
  title        = {Improving manual reviews in function-centered engineering of embedded
                  systems using a dedicated review model},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {6},
  pages        = {3421--3459},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-019-00723-2},
  doi          = {10.1007/S10270-019-00723-2},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/DaunWP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/DebreceniBRV19,
  author       = {Csaba Debreceni and
                  G{\'{a}}bor Bergmann and
                  Istv{\'{a}}n R{\'{a}}th and
                  D{\'{a}}niel Varr{\'{o}}},
  title        = {Enforcing fine-grained access control for secure collaborative modelling
                  using bidirectional transformations},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {1737--1769},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0631-8},
  doi          = {10.1007/S10270-017-0631-8},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/DebreceniBRV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/DebreceniBRV19a,
  author       = {Csaba Debreceni and
                  G{\'{a}}bor Bergmann and
                  Istv{\'{a}}n R{\'{a}}th and
                  D{\'{a}}niel Varr{\'{o}}},
  title        = {Correction to: Enforcing fine-grained access control for secure collaborative
                  modelling using bidirectional transformations},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {1771},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0650-5},
  doi          = {10.1007/S10270-017-0650-5},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/DebreceniBRV19a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Derakhshanmanesh19,
  author       = {Mahdi Derakhshanmanesh and
                  J{\"{u}}rgen Ebert and
                  Marvin Grieger and
                  Gregor Engels},
  title        = {Model-integrating development of software systems: a flexible component-based
                  approach},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {4},
  pages        = {2557--2586},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0682-5},
  doi          = {10.1007/S10270-018-0682-5},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/Derakhshanmanesh19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/DragoMMNTV19,
  author       = {Annarita Drago and
                  Stefano Marrone and
                  Nicola Mazzocca and
                  Roberto Nardone and
                  Annarita Tedesco and
                  Valeria Vittorini},
  title        = {A model-driven approach for vulnerability evaluation of modern physical
                  protection systems},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {523--556},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-016-0572-7},
  doi          = {10.1007/S10270-016-0572-7},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/DragoMMNTV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/DurisicSTH19,
  author       = {Darko Durisic and
                  Miroslaw Staron and
                  Matthias Tichy and
                  J{\"{o}}rgen Hansson},
  title        = {Assessing the impact of meta-model evolution: a measure and its automotive
                  application},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {1419--1445},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0601-1},
  doi          = {10.1007/S10270-017-0601-1},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/DurisicSTH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/DyckGL19,
  author       = {Johannes Dyck and
                  Holger Giese and
                  Leen Lambers},
  title        = {Automatic verification of behavior preservation at the transformation
                  level for relational model transformation},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {5},
  pages        = {2937--2972},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-00706-9},
  doi          = {10.1007/S10270-018-00706-9},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/DyckGL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/EgeaD19,
  author       = {Marina Egea and
                  Carolina Dania},
  title        = {{SQL-PL4OCL:} an automatic code generator from {OCL} to {SQL} procedural
                  language},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {769--791},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0597-6},
  doi          = {10.1007/S10270-017-0597-6},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/EgeaD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/El-Attar19,
  author       = {Mohamed El{-}Attar},
  title        = {A comparative study of students and professionals in syntactical model
                  comprehension experiments},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {6},
  pages        = {3283--3329},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-019-00720-5},
  doi          = {10.1007/S10270-019-00720-5},
  timestamp    = {Wed, 27 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/El-Attar19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ErginGRS19,
  author       = {H{\"{u}}seyin Ergin and
                  Jeff Gray and
                  Bernhard Rumpe and
                  Martin Schindler},
  title        = {SoSyM reflections: the 2018 "State of the Journal" report},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {1--5},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-019-00715-2},
  doi          = {10.1007/S10270-019-00715-2},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/ErginGRS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ErginGRS19a,
  author       = {H{\"{u}}seyin Ergin and
                  Jeff Gray and
                  Bernhard Rumpe and
                  Martin Schindler},
  title        = {SoSyM significantly reduces its backlog},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {793--794},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-019-00726-z},
  doi          = {10.1007/S10270-019-00726-Z},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/ErginGRS19a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/EstanolMCT19,
  author       = {Montserrat Esta{\~{n}}ol and
                  Jorge Munoz{-}Gama and
                  Josep Carmona and
                  Ernest Teniente},
  title        = {Conformance checking in {UML} artifact-centric business process models},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {4},
  pages        = {2531--2555},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0681-6},
  doi          = {10.1007/S10270-018-0681-6},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/EstanolMCT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FamelisC19,
  author       = {Michalis Famelis and
                  Marsha Chechik},
  title        = {Managing design-time uncertainty},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {1249--1284},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0594-9},
  doi          = {10.1007/S10270-017-0594-9},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/FamelisC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FernandezBVMBKW19,
  author       = {Daniel M{\'{e}}ndez Fern{\'{a}}ndez and
                  Wolfgang B{\"{o}}hm and
                  Andreas Vogelsang and
                  Jakob Mund and
                  Manfred Broy and
                  Marco Kuhrmann and
                  Thorsten Weyer},
  title        = {Artefacts in software engineering: a fundamental positioning},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {5},
  pages        = {2777--2786},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-019-00714-3},
  doi          = {10.1007/S10270-019-00714-3},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/FernandezBVMBKW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FranconiMORT19,
  author       = {Enrico Franconi and
                  Alessandro Mosca and
                  Xavier Oriol and
                  Guillem Rull and
                  Ernest Teniente},
  title        = {OCL\({}_{\mbox{FO}}\): first-order expressive {OCL} constraints for
                  efficient integrity checking},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {4},
  pages        = {2655--2678},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0688-z},
  doi          = {10.1007/S10270-018-0688-Z},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/FranconiMORT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GabmeyerKSGK19,
  author       = {Sebastian Gabmeyer and
                  Petra Kaufmann and
                  Martina Seidl and
                  Martin Gogolla and
                  Gerti Kappel},
  title        = {A feature-based classification of formal verification techniques for
                  software models},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {473--498},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0591-z},
  doi          = {10.1007/S10270-017-0591-Z},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/GabmeyerKSGK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GamboaS19,
  author       = {Miguel Gamboa and
                  Eugene Syriani},
  title        = {Improving user productivity in modeling tools by explicitly modeling
                  workflows},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {4},
  pages        = {2441--2463},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0678-1},
  doi          = {10.1007/S10270-018-0678-1},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/GamboaS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GammaitoniK19,
  author       = {Lo{\"{\i}}c Gammaitoni and
                  Pierre Kelsen},
  title        = {F-Alloy: a relational model transformation language based on Alloy},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {213--247},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0630-9},
  doi          = {10.1007/S10270-017-0630-9},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/GammaitoniK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Garcia-Dominguez19,
  author       = {Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
                  Konstantinos Barmpis and
                  Dimitrios S. Kolovos and
                  Ran Wei and
                  Richard F. Paige},
  title        = {Stress-testing remote model querying APIs for relational and graph-based
                  stores},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {1047--1075},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0606-9},
  doi          = {10.1007/S10270-017-0606-9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/Garcia-Dominguez19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GomezRCV19,
  author       = {Abel G{\'{o}}mez and
                  Ricardo J. Rodr{\'{\i}}guez and
                  Mar{\'{\i}}a{-}Emilia Cambronero and
                  Valent{\'{\i}}n Valero},
  title        = {Profiling the publish/subscribe paradigm for automated analysis using
                  colored Petri nets},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {5},
  pages        = {2973--3003},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-019-00716-1},
  doi          = {10.1007/S10270-019-00716-1},
  timestamp    = {Thu, 01 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/GomezRCV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GorpW19,
  author       = {Pieter Van Gorp and
                  Andrzej Wasowski},
  title        = {Guest editorial to the special section on {ECMFA} and {ICMT} at {STAF}
                  2016 - Modeling and model transformations research in 2016},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {959--960},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0659-4},
  doi          = {10.1007/S10270-018-0659-4},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/GorpW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GrayR19,
  author       = {Jeff Gray and
                  Bernhard Rumpe},
  title        = {Conceptual distance of models and languages},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {1571--1573},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-019-00734-z},
  doi          = {10.1007/S10270-019-00734-Z},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/GrayR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GrayR19a,
  author       = {Jeff Gray and
                  Bernhard Rumpe},
  title        = {Models as the subject of research},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {6},
  pages        = {3189--3191},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-019-00751-y},
  doi          = {10.1007/S10270-019-00751-Y},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/GrayR19a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GuanaS19,
  author       = {Victor Guana and
                  Eleni Stroulia},
  title        = {End-to-end model-transformation comprehension through fine-grained
                  traceability information},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {1305--1344},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0602-0},
  doi          = {10.1007/S10270-017-0602-0},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/GuanaS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GuizzoCV19,
  author       = {Giovani Guizzo and
                  Thelma Elita Colanzi and
                  Silvia Regina Vergilio},
  title        = {Applying design patterns in the search-based optimization of software
                  product line architectures},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {1487--1512},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0614-9},
  doi          = {10.1007/S10270-017-0614-9},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/GuizzoCV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GuoL0YZCGY19,
  author       = {Jianmei Guo and
                  Jia Hui Liang and
                  Kai Shi and
                  Dingyu Yang and
                  Jingsong Zhang and
                  Krzysztof Czarnecki and
                  Vijay Ganesh and
                  Huiqun Yu},
  title        = {{SMTIBEA:} a hybrid multi-objective optimization algorithm for configuring
                  large constrained software product lines},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {1447--1466},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0610-0},
  doi          = {10.1007/S10270-017-0610-0},
  timestamp    = {Fri, 30 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/GuoL0YZCGY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HacheroufBC19,
  author       = {Mokhtaria Hacherouf and
                  Safia Nait Bahloul and
                  Christophe Cruz},
  title        = {Transforming {XML} schemas into {OWL} ontologies using formal concept
                  analysis},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {2093--2110},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0651-4},
  doi          = {10.1007/S10270-017-0651-4},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/HacheroufBC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HaeuslerTKFNB19,
  author       = {Martin Haeusler and
                  Thomas Trojer and
                  Johannes Kessler and
                  Matthias Farwick and
                  Emmanuel Nowakowski and
                  Ruth Breu},
  title        = {ChronoSphere: a graph-based {EMF} model repository for {IT} landscape
                  models},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {6},
  pages        = {3487--3526},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-019-00725-0},
  doi          = {10.1007/S10270-019-00725-0},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/HaeuslerTKFNB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HeZPMH19,
  author       = {Xiao He and
                  Tian Zhang and
                  Minxue Pan and
                  Zhiyi Ma and
                  Changjun Hu},
  title        = {Template-based model generation},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {2051--2092},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0634-5},
  doi          = {10.1007/S10270-017-0634-5},
  timestamp    = {Tue, 21 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/HeZPMH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HeinzemannBV19,
  author       = {Christian Heinzemann and
                  Steffen Becker and
                  Andreas Volk},
  title        = {Transactional execution of hierarchical reconfigurations in cyber-physical
                  systems},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {157--189},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0583-z},
  doi          = {10.1007/S10270-017-0583-Z},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/HeinzemannBV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Hinkel19,
  author       = {Georg Hinkel},
  title        = {Using structural decomposition and refinements for deep modeling of
                  software architectures},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {5},
  pages        = {2787--2819},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0701-6},
  doi          = {10.1007/S10270-018-0701-6},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/Hinkel19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HinkelB19,
  author       = {Georg Hinkel and
                  Erik Burger},
  title        = {Change propagation and bidirectionality in internal transformation
                  DSLs},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {249--278},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0617-6},
  doi          = {10.1007/S10270-017-0617-6},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/HinkelB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HinkelGBR19,
  author       = {Georg Hinkel and
                  Thomas Goldschmidt and
                  Erik Burger and
                  Ralf H. Reussner},
  title        = {Using internal domain-specific languages to inherit tool support and
                  modularity for model transformations},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {129--155},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0578-9},
  doi          = {10.1007/S10270-017-0578-9},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/HinkelGBR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HinkelHR19,
  author       = {Georg Hinkel and
                  Robert Heinrich and
                  Ralf H. Reussner},
  title        = {An extensible approach to implicit incremental model analyses},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {5},
  pages        = {3151--3187},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-019-00719-y},
  doi          = {10.1007/S10270-019-00719-Y},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/HinkelHR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HojajiMZHB19,
  author       = {Fazilat Hojaji and
                  Tanja Mayerhofer and
                  Bahman Zamani and
                  Abdelwahab Hamou{-}Lhadj and
                  Erwan Bousse},
  title        = {Model execution tracing: a systematic mapping study},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {6},
  pages        = {3461--3485},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-019-00724-1},
  doi          = {10.1007/S10270-019-00724-1},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/HojajiMZHB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HoseindoostAZF19,
  author       = {Samaneh Hoseindoost and
                  Tahereh Adamzadeh and
                  Bahman Zamani and
                  Afsaneh Fatemi},
  title        = {A model-driven framework for developing multi-agent systems in emergency
                  response environments},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {1985--2012},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0627-4},
  doi          = {10.1007/S10270-017-0627-4},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/HoseindoostAZF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HubnerHP19,
  author       = {Felix H{\"{u}}bner and
                  Wen{-}ling Huang and
                  Jan Peleska},
  title        = {Experimental evaluation of a novel equivalence class partition testing
                  strategy},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {423--443},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0595-8},
  doi          = {10.1007/S10270-017-0595-8},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/HubnerHP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/JostHP19,
  author       = {Gregor Jost and
                  Marjan Hericko and
                  Gregor Polancic},
  title        = {Theoretical foundations and implementation of business process diagrams'
                  complexity management technique based on highlights},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {1079--1095},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0618-5},
  doi          = {10.1007/S10270-017-0618-5},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/JostHP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/KahaniBCDV19,
  author       = {Nafiseh Kahani and
                  Mojtaba Bagherzadeh and
                  James R. Cordy and
                  Juergen Dingel and
                  D{\'{a}}niel Varr{\'{o}}},
  title        = {Survey and classification of model transformation tools},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {4},
  pages        = {2361--2397},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0665-6},
  doi          = {10.1007/S10270-018-0665-6},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/KahaniBCDV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/KalninsB19,
  author       = {Audris Kalnins and
                  Janis Barzdins},
  title        = {Metamodel specialization for graphical language support},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {1699--1735},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0668-3},
  doi          = {10.1007/S10270-018-0668-3},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/KalninsB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/KesserwanDBSL19,
  author       = {Nader Kesserwan and
                  Rachida Dssouli and
                  Jamal Bentahar and
                  Bernard Stepien and
                  Pierre Labr{\`{e}}che},
  title        = {From use case maps to executable test procedures: a scenario-based
                  approach},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {1543--1570},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0620-y},
  doi          = {10.1007/S10270-017-0620-Y},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/KesserwanDBSL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/KhanMR19,
  author       = {Aamir M. Khan and
                  Fr{\'{e}}d{\'{e}}ric Mallet and
                  Muhammad Rashid},
  title        = {A framework to specify system requirements using natural interpretation
                  of {UML/MARTE} diagrams},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {11--37},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0588-7},
  doi          = {10.1007/S10270-017-0588-7},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/KhanMR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/KienzleMCD19,
  author       = {J{\"{o}}rg Kienzle and
                  Gunter Mussbacher and
                  Beno{\^{\i}}t Combemale and
                  Julien Deantoni},
  title        = {A unifying framework for homogeneous model composition},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {5},
  pages        = {3005--3023},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-00707-8},
  doi          = {10.1007/S10270-018-00707-8},
  timestamp    = {Mon, 28 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/KienzleMCD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/KienzleP19,
  author       = {J{\"{o}}rg Kienzle and
                  Alexander Pretschner},
  title        = {Guest editorial for the special section on {MODELS} 2016},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {1681--1682},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-019-00733-0},
  doi          = {10.1007/S10270-019-00733-0},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/KienzleP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/KlugeSVSHM19,
  author       = {Roland Kluge and
                  Michael Stein and
                  Gergely Varr{\'{o}} and
                  Andy Sch{\"{u}}rr and
                  Matthias Hollick and
                  Max M{\"{u}}hlh{\"{a}}user},
  title        = {A systematic approach to constructing families of incremental topology
                  control algorithms using graph transformation},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {279--319},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0587-8},
  doi          = {10.1007/S10270-017-0587-8},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/KlugeSVSHM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/KolesnikovSKGA19,
  author       = {Sergiy S. Kolesnikov and
                  Norbert Siegmund and
                  Christian K{\"{a}}stner and
                  Alexander Grebhahn and
                  Sven Apel},
  title        = {Tradeoffs in modeling performance of highly configurable software
                  systems},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {2265--2283},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0662-9},
  doi          = {10.1007/S10270-018-0662-9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/KolesnikovSKGA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/KovesdanL19,
  author       = {G{\'{a}}bor K{\"{o}}vesd{\'{a}}n and
                  L{\'{a}}szl{\'{o}} Lengyel},
  title        = {Meta3: a code generator framework for domain-specific languages},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {4},
  pages        = {2421--2439},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0673-6},
  doi          = {10.1007/S10270-018-0673-6},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/KovesdanL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Kuhne19,
  author       = {Thomas K{\"{u}}hne},
  title        = {Unifying nominal and structural typing},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {1683--1697},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0660-y},
  doi          = {10.1007/S10270-018-0660-Y},
  timestamp    = {Mon, 15 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/Kuhne19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/LeopoldAPRMR19,
  author       = {Henrik Leopold and
                  Han van der Aa and
                  Fabian Pittke and
                  Manuel Raffel and
                  Jan Mendling and
                  Hajo A. Reijers},
  title        = {Searching textual and model-based process descriptions based on a
                  unified data format},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {1179--1194},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0649-y},
  doi          = {10.1007/S10270-017-0649-Y},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/LeopoldAPRMR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/LeserfSH19,
  author       = {Patrick Leserf and
                  Pierre de Saqui{-}Sannes and
                  J{\'{e}}r{\^{o}}me Hugues},
  title        = {Trade-off analysis for SysML models using decision points and CSPs},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {6},
  pages        = {3265--3281},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-019-00717-0},
  doi          = {10.1007/S10270-019-00717-0},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/LeserfSH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/LiYAZ19,
  author       = {Yan Li and
                  Tao Yue and
                  Shaukat Ali and
                  Li Zhang},
  title        = {Enabling automated requirements reuse and configuration},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {2177--2211},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0641-6},
  doi          = {10.1007/S10270-017-0641-6},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/LiYAZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/LiebelTK19,
  author       = {Grischa Liebel and
                  Matthias Tichy and
                  Eric Knauss},
  title        = {Use, potential, and showstoppers of models in automotive requirements
                  engineering},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {4},
  pages        = {2587--2607},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0683-4},
  doi          = {10.1007/S10270-018-0683-4},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/LiebelTK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/LindenHZ19,
  author       = {Dirk van der Linden and
                  Irit Hadar and
                  Anna Zamansky},
  title        = {What practitioners really want: requirements for visual notations
                  in conceptual modeling},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {1813--1831},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0667-4},
  doi          = {10.1007/S10270-018-0667-4},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/LindenHZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/LladoS19,
  author       = {Catalina M. Llad{\'{o}} and
                  Connie U. Smith},
  title        = {Broadened support for software and system model interchange},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {6},
  pages        = {3527--3550},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-019-00728-x},
  doi          = {10.1007/S10270-019-00728-X},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/LladoS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Lopez-Fernandez19,
  author       = {Jes{\'{u}}s J. L{\'{o}}pez{-}Fern{\'{a}}ndez and
                  Antonio Garmendia and
                  Esther Guerra and
                  Juan de Lara},
  title        = {An example is worth a thousand words: Creating graphical modelling
                  environments by example},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {961--993},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0632-7},
  doi          = {10.1007/S10270-017-0632-7},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/Lopez-Fernandez19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/MaAY19,
  author       = {Tao Ma and
                  Shaukat Ali and
                  Tao Yue},
  title        = {Modeling foundations for executable model-based testing of self-healing
                  cyber-physical systems},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {5},
  pages        = {2843--2873},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-00703-y},
  doi          = {10.1007/S10270-018-00703-Y},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/MaAY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/MalavoltaMMEDG19,
  author       = {Ivano Malavolta and
                  Leonardo Mostarda and
                  Henry Muccini and
                  Enver Ever and
                  Krishna Doddapaneni and
                  Orhan Gemikonakli},
  title        = {{A4WSN:} an architecture-driven modelling platform for analysing and
                  developing WSNs},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {4},
  pages        = {2633--2653},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0687-0},
  doi          = {10.1007/S10270-018-0687-0},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/MalavoltaMMEDG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/MarinoAFH19,
  author       = {Julio Mari{\~{n}}o and
                  Ra{\'{u}}l N. N. Alborodo and
                  Lars{-}{\AA}ke Fredlund and
                  {\'{A}}ngel Herranz{-}Nieva},
  title        = {Synthesis of verifiable concurrent Java components from formal models},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {71--105},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0581-1},
  doi          = {10.1007/S10270-017-0581-1},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/MarinoAFH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/MayerAGFGW19,
  author       = {Nicolas Mayer and
                  Jocelyn Aubert and
                  Eric Grandry and
                  Christophe Feltus and
                  Elio Goettelmann and
                  Roel J. Wieringa},
  title        = {An integrated conceptual model for information system security risk
                  management supported by enterprise architecture management},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {2285--2312},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0661-x},
  doi          = {10.1007/S10270-018-0661-X},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/MayerAGFGW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/MensDS19,
  author       = {Tom Mens and
                  Alexandre Decan and
                  Nikolaos I. Spanoudakis},
  title        = {A method for testing and validating executable statechart models},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {837--863},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0676-3},
  doi          = {10.1007/S10270-018-0676-3},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/MensDS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/MerinoSARS19,
  author       = {Mateo Ramos Merino and
                  Juan M. Santos{-}Gago and
                  Luis M. {\'{A}}lvarez{-}Sabucedo and
                  V{\'{\i}}ctor M. Alonso Ror{\'{\i}}s and
                  Javier Sanz{-}Valero},
  title        = {{BPMN-E2:} a {BPMN} extension for an enhanced workflow description},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {4},
  pages        = {2399--2419},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0669-2},
  doi          = {10.1007/S10270-018-0669-2},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/MerinoSARS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/MisbhauddinA19,
  author       = {Mohammed Misbhauddin and
                  Mohammad R. Alshayeb},
  title        = {An integrated metamodel-based approach to software model refactoring},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {2013--2050},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0628-3},
  doi          = {10.1007/S10270-017-0628-3},
  timestamp    = {Sat, 11 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/MisbhauddinA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/MiyazawaRLCTW19,
  author       = {Alvaro Miyazawa and
                  Pedro Ribeiro and
                  Wei Li and
                  Ana Cavalcanti and
                  Jon Timmis and
                  Jim Woodcock},
  title        = {RoboChart: modelling and verification of the functional behaviour
                  of robotic applications},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {5},
  pages        = {3097--3149},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-00710-z},
  doi          = {10.1007/S10270-018-00710-Z},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/MiyazawaRLCTW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/MubeenNSLL19,
  author       = {Saad Mubeen and
                  Thomas Nolte and
                  Mikael Sj{\"{o}}din and
                  John Lundb{\"{a}}ck and
                  Kurt{-}Lennart Lundb{\"{a}}ck},
  title        = {Supporting timing analysis of vehicular embedded systems through the
                  refinement of timing constraints},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {39--69},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0579-8},
  doi          = {10.1007/S10270-017-0579-8},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/MubeenNSLL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/MurillasRA19,
  author       = {Eduardo Gonz{\'{a}}lez L{\'{o}}pez de Murillas and
                  Hajo A. Reijers and
                  Wil M. P. van der Aalst},
  title        = {Connecting databases with process mining: a meta model and toolset},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {1209--1247},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0664-7},
  doi          = {10.1007/S10270-018-0664-7},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/MurillasRA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/NassourESY19,
  author       = {Jumana Nassour and
                  Michael Elhadad and
                  Arnon Sturm and
                  Eric Yu},
  title        = {Evaluating the comprehension of means-ends maps},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {1885--1903},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0691-4},
  doi          = {10.1007/S10270-018-0691-4},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/NassourESY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/NikajWM19,
  author       = {Adriatik Nikaj and
                  Mathias Weske and
                  Jan Mendling},
  title        = {Semi-automatic derivation of RESTful choreographies from business
                  process choreographies},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {1195--1208},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0653-2},
  doi          = {10.1007/S10270-017-0653-2},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/NikajWM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ObrenovicLR19,
  author       = {Nikola Obrenovic and
                  Ivan Lukovic and
                  Sonja Ristic},
  title        = {Consolidation of database check constraints},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {2111--2135},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0637-2},
  doi          = {10.1007/S10270-017-0637-2},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/ObrenovicLR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/OffuttT19,
  author       = {Jeff Offutt and
                  Sunitha Thummala},
  title        = {Testing concurrent user behavior of synchronous web applications with
                  Petri nets},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {913--936},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0655-8},
  doi          = {10.1007/S10270-018-0655-8},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/OffuttT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/OgunyomiRK19,
  author       = {Babajide Ogunyomi and
                  Louis M. Rose and
                  Dimitrios S. Kolovos},
  title        = {Incremental execution of model-to-text transformations using property
                  access traces},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {367--383},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0666-5},
  doi          = {10.1007/S10270-018-0666-5},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/OgunyomiRK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Papadakis0P19,
  author       = {Mike Papadakis and
                  Shaukat Ali and
                  Gilles Perrouin},
  title        = {Editorial to the theme section on model-based testing},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {795--796},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0699-9},
  doi          = {10.1007/S10270-018-0699-9},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/Papadakis0P19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/PeixotoSP19,
  author       = {Rodrigo Jos{\'{e}} Sarmento Peixoto and
                  Leandro Dias da Silva and
                  Angelo Perkusich},
  title        = {Model-based testing of software for automation systems using heuristics
                  and coverage criterion},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {797--823},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0690-5},
  doi          = {10.1007/S10270-018-0690-5},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/PeixotoSP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Perez-PalacinMR19,
  author       = {Diego Perez{-}Palacin and
                  Jos{\'{e}} Merseguer and
                  Jos{\'{e}} Ignacio Requeno and
                  Michele Guerriero and
                  Elisabetta Di Nitto and
                  Damian A. Tamburri},
  title        = {A {UML} Profile for the Design, Quality Assessment and Deployment
                  of Data-intensive Applications},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {6},
  pages        = {3577--3614},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-019-00730-3},
  doi          = {10.1007/S10270-019-00730-3},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/Perez-PalacinMR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Petrenko19,
  author       = {Alexandre Petrenko},
  title        = {Toward testing from finite state machines with symbolic inputs and
                  outputs},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {825--835},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0613-x},
  doi          = {10.1007/S10270-017-0613-X},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/Petrenko19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/PosenatoLCR19,
  author       = {Roberto Posenato and
                  Andreas Lanz and
                  Carlo Combi and
                  Manfred Reichert},
  title        = {Managing time-awareness in modularized processes},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {1135--1154},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0643-4},
  doi          = {10.1007/S10270-017-0643-4},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/PosenatoLCR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/PullonenTMT19,
  author       = {Pille Pullonen and
                  Jake Tom and
                  Raimundas Matulevicius and
                  Aivo Toots},
  title        = {Privacy-enhanced {BPMN:} enabling data privacy analysis in business
                  processes models},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {6},
  pages        = {3235--3264},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-019-00718-z},
  doi          = {10.1007/S10270-019-00718-Z},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/PullonenTMT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/RahmounMBPS19,
  author       = {Smail Rahmoun and
                  Asma Mehiaoui{-}Hamitou and
                  Etienne Borde and
                  Laurent Pautet and
                  Elie Soubiran},
  title        = {Multi-objective exploration of architectural designs by composition
                  of model transformations},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {107--127},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0580-2},
  doi          = {10.1007/S10270-017-0580-2},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/RahmounMBPS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ReinekeST19,
  author       = {Jan Reineke and
                  Christos Stergiou and
                  Stavros Tripakis},
  title        = {Basic problems in multi-view modeling},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {1577--1611},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0638-1},
  doi          = {10.1007/S10270-017-0638-1},
  timestamp    = {Wed, 04 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/ReinekeST19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Reinhartz-Berger19,
  author       = {Iris Reinhartz{-}Berger and
                  Wided Gu{\'{e}}dria and
                  Palash Bera},
  title        = {Guest editorial for EMMSAD'2017 special section},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {1809--1811},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0693-2},
  doi          = {10.1007/S10270-018-0693-2},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/Reinhartz-Berger19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/RichaBP19,
  author       = {Elie Richa and
                  Etienne Borde and
                  Laurent Pautet},
  title        = {Translation of {ATL} to {AGT} and application to a code generator
                  for Simulink},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {321--344},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0607-8},
  doi          = {10.1007/S10270-017-0607-8},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/RichaBP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/RiveroGDSR19,
  author       = {Jos{\'{e}} Mat{\'{\i}}as Rivero and
                  Juli{\'{a}}n Grigera and
                  Damiano Distante and
                  Francisco Montero Simarro and
                  Gustavo Rossi},
  title        = {DataMock: An Agile Approach for Building Data Models from User Interface
                  Mockups},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {663--690},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0586-9},
  doi          = {10.1007/S10270-017-0586-9},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/RiveroGDSR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/RodriguesDD19,
  author       = {V{\'{\i}}tor Rodrigues and
                  Simone Donetti and
                  Ferruccio Damiani},
  title        = {Certifying delta-oriented programs},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {5},
  pages        = {2875--2906},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-00704-x},
  doi          = {10.1007/S10270-018-00704-X},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/RodriguesDD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/RoelensSP19,
  author       = {Ben Roelens and
                  Wout Steenacker and
                  Geert Poels},
  title        = {Realizing strategic fit within the business architecture: the design
                  of a Process-Goal Alignment modeling and analysis technique},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {631--662},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-016-0574-5},
  doi          = {10.1007/S10270-016-0574-5},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/RoelensSP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/RossMLAC19,
  author       = {Jordan A. Ross and
                  Alexandr Murashkin and
                  Jia Hui Liang and
                  Michal Antkiewicz and
                  Krzysztof Czarnecki},
  title        = {Synthesis and exploration of multi-level, multi-perspective architectures
                  of automotive embedded systems},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {739--767},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0592-y},
  doi          = {10.1007/S10270-017-0592-Y},
  timestamp    = {Fri, 30 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/RossMLAC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/RozenS19,
  author       = {Riemer van Rozen and
                  Tijs van der Storm},
  title        = {Toward live domain-specific languages - From text differencing to
                  adapting models at run time},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {195--212},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0608-7},
  doi          = {10.1007/S10270-017-0608-7},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/RozenS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/RuizSS19,
  author       = {Jenny Ruiz and
                  Estefan{\'{\i}}a Serral and
                  Monique Snoeck},
  title        = {Evaluating user interface generation approaches: model-based versus
                  model-driven development},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {4},
  pages        = {2753--2776},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0698-x},
  doi          = {10.1007/S10270-018-0698-X},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/RuizSS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/SandkuhlS19,
  author       = {Kurt Sandkuhl and
                  Ulf Seigerroth},
  title        = {Method engineering in information systems analysis and design: a balanced
                  scorecard approach for method improvement},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {1833--1857},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0692-3},
  doi          = {10.1007/S10270-018-0692-3},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/SandkuhlS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/SchwagerlW19,
  author       = {Felix Schw{\"{a}}gerl and
                  Bernhard Westfechtel},
  title        = {Integrated revision and variation control for evolving model-driven
                  software product lines},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {6},
  pages        = {3373--3420},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-019-00722-3},
  doi          = {10.1007/S10270-019-00722-3},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/SchwagerlW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/SedaghatbafA19,
  author       = {Ali Sedaghatbaf and
                  Mohammad Abdollahi Azgomi},
  title        = {{SQME:} a framework for modeling and evaluation of software architecture
                  quality attributes},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {4},
  pages        = {2609--2632},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0684-3},
  doi          = {10.1007/S10270-018-0684-3},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/SedaghatbafA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/SeigerHHA19,
  author       = {Ronny Seiger and
                  Steffen Huber and
                  Peter Heisig and
                  Uwe A{\ss}mann},
  title        = {Toward a framework for self-adaptive workflows in cyber-physical systems},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {1117--1134},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0639-0},
  doi          = {10.1007/S10270-017-0639-0},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/SeigerHHA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Shin19,
  author       = {Shin{-}Shing Shin},
  title        = {Empirical study on the effectiveness and efficiency of model-driven
                  architecture techniques},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {5},
  pages        = {3083--3096},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-00711-y},
  doi          = {10.1007/S10270-018-00711-Y},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/Shin19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/SobrinhoSPCCL19,
  author       = {Alvaro Sobrinho and
                  Leandro Dias da Silva and
                  Angelo Perkusich and
                  Paulo Cunha and
                  Thiago D. Cordeiro and
                  Antonio Marcus Nogueira de Lima},
  title        = {Formal modeling of biomedical signal acquisition systems: source of
                  evidence for certification},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {1467--1485},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0616-7},
  doi          = {10.1007/S10270-017-0616-7},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/SobrinhoSPCCL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/SteinauMALMR19,
  author       = {Sebastian Steinau and
                  Andrea Marrella and
                  Kevin Andrews and
                  Francesco Leotta and
                  Massimo Mecella and
                  Manfred Reichert},
  title        = {{DALEC:} a framework for the systematic evaluation of data-centric
                  approaches to process management software},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {4},
  pages        = {2679--2716},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0695-0},
  doi          = {10.1007/S10270-018-0695-0},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/SteinauMALMR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/TekinerdoganA19,
  author       = {Bedir Tekinerdogan and
                  Ethem Arkin},
  title        = {ParDSL: a domain-specific language framework for supporting deployment
                  of parallel algorithms},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {5},
  pages        = {2907--2935},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-00705-w},
  doi          = {10.1007/S10270-018-00705-W},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/TekinerdoganA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/TendelooMV19,
  author       = {Yentl Van Tendeloo and
                  Simon Van Mierlo and
                  Hans Vangheluwe},
  title        = {A Multi-Paradigm Modelling approach to live modelling},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {5},
  pages        = {2821--2842},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0700-7},
  doi          = {10.1007/S10270-018-0700-7},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/TendelooMV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Tikhonova19,
  author       = {Ulyana Tikhonova},
  title        = {Reusable specification templates for defining dynamic semantics of
                  DSLs},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {691--720},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0590-0},
  doi          = {10.1007/S10270-017-0590-0},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/Tikhonova19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/VoelterKBTAWWN19,
  author       = {Markus Voelter and
                  Bernd Kolb and
                  Klaus Birken and
                  Federico Tomassetti and
                  Patrick Alff and
                  Laurent Wiart and
                  Andreas Wortmann and
                  Arne Nordmann},
  title        = {Using language workbenches and domain-specific languages for safety-critical
                  software development},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {4},
  pages        = {2507--2530},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0679-0},
  doi          = {10.1007/S10270-018-0679-0},
  timestamp    = {Fri, 27 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/VoelterKBTAWWN19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/VoelterKSRD19,
  author       = {Markus Voelter and
                  Bernd Kolb and
                  Tam{\'{a}}s Szab{\'{o}} and
                  Daniel Ratiu and
                  Arie van Deursen},
  title        = {Lessons learned from developing mbeddr: a case study in language engineering
                  with {MPS}},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {585--630},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-016-0575-4},
  doi          = {10.1007/S10270-016-0575-4},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/VoelterKSRD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/WuestSG19,
  author       = {Dustin W{\"{u}}est and
                  Norbert Seyff and
                  Martin Glinz},
  title        = {FlexiSketch: a lightweight sketching and metamodeling approach for
                  end-users},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {1513--1541},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0623-8},
  doi          = {10.1007/S10270-017-0623-8},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/WuestSG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ZayanSAMC19,
  author       = {Dina Zayan and
                  Atrisha Sarkar and
                  Michal Antkiewicz and
                  Rita Suzana Pitangueira Maciel and
                  Krzysztof Czarnecki},
  title        = {Example-driven modeling: on effects of using examples on structural
                  model comprehension, what makes them useful, and how to create them},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {3},
  pages        = {2213--2239},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0652-3},
  doi          = {10.1007/S10270-017-0652-3},
  timestamp    = {Fri, 30 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/ZayanSAMC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Zhang00NO19,
  author       = {Man Zhang and
                  Shaukat Ali and
                  Tao Yue and
                  Roland Norgren and
                  Oscar Okariz},
  title        = {Uncertainty-Wise Cyber-Physical System test modeling},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {2},
  pages        = {1379--1418},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-017-0609-6},
  doi          = {10.1007/S10270-017-0609-6},
  timestamp    = {Mon, 27 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/Zhang00NO19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ZolotasMDKP19,
  author       = {Athanasios Zolotas and
                  Nicholas Matragkas and
                  Sam Devlin and
                  Dimitrios S. Kolovos and
                  Richard F. Paige},
  title        = {Type inference in flexible model-driven engineering using classification
                  algorithms},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {345--366},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0658-5},
  doi          = {10.1007/S10270-018-0658-5},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/ZolotasMDKP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics