Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/sosym/AdhikariRS24,
  author       = {Bhisma Adhikari and
                  Eric J. Rapos and
                  Matthew Stephan},
  title        = {SimIMA: a virtual Simulink intelligent modeling assistant},
  journal      = {Softw. Syst. Model.},
  volume       = {23},
  number       = {1},
  pages        = {29--56},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10270-023-01093-6},
  doi          = {10.1007/S10270-023-01093-6},
  timestamp    = {Sat, 16 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/AdhikariRS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/ArchibaldCSX24,
  author       = {Blair Archibald and
                  Muffy Calder and
                  Michele Sevegnani and
                  Mengwei Xu},
  title        = {Quantitative modelling and analysis of {BDI} agents},
  journal      = {Softw. Syst. Model.},
  volume       = {23},
  number       = {2},
  pages        = {343--367},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10270-023-01121-5},
  doi          = {10.1007/S10270-023-01121-5},
  timestamp    = {Tue, 21 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/ArchibaldCSX24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/BecchiCZ24,
  author       = {Anna Becchi and
                  Alessandro Cimatti and
                  Enea Zaffanella},
  title        = {P-stable abstractions of hybrid systems},
  journal      = {Softw. Syst. Model.},
  volume       = {23},
  number       = {2},
  pages        = {403--426},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10270-023-01145-x},
  doi          = {10.1007/S10270-023-01145-X},
  timestamp    = {Fri, 31 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/BecchiCZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/BoerC24,
  author       = {Frank S. de Boer and
                  Antonio Cerone},
  title        = {Guest editorial for the special section on {SEFM} 2020 and 2021},
  journal      = {Softw. Syst. Model.},
  volume       = {23},
  number       = {2},
  pages        = {285--287},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10270-024-01168-y},
  doi          = {10.1007/S10270-024-01168-Y},
  timestamp    = {Tue, 21 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/BoerC24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/BragilovskiSS24,
  author       = {Maxim Bragilovski and
                  Roni Stern and
                  Arnon Sturm},
  title        = {How do {I} find reusable models?},
  journal      = {Softw. Syst. Model.},
  volume       = {23},
  number       = {1},
  pages        = {85--102},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10270-023-01103-7},
  doi          = {10.1007/S10270-023-01103-7},
  timestamp    = {Sat, 16 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/BragilovskiSS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/CarreVC24,
  author       = {Bernard Carr{\'{e}} and
                  Gilles Vanwormhoudt and
                  Olivier Caron},
  title        = {Model projection relative to submetamodeling dimensions},
  journal      = {Softw. Syst. Model.},
  volume       = {23},
  number       = {1},
  pages        = {223--248},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10270-023-01116-2},
  doi          = {10.1007/S10270-023-01116-2},
  timestamp    = {Sat, 16 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/CarreVC24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/ChakrabortyL24,
  author       = {Shalini Chakraborty and
                  Grischa Liebel},
  title        = {Modelling guidance in software engineering: a systematic literature
                  review},
  journal      = {Softw. Syst. Model.},
  volume       = {23},
  number       = {1},
  pages        = {249--265},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10270-023-01117-1},
  doi          = {10.1007/S10270-023-01117-1},
  timestamp    = {Sat, 16 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/ChakrabortyL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/ChallitaCEGRS24,
  author       = {St{\'{e}}phanie Challita and
                  Beno{\^{\i}}t Combemale and
                  H{\"{u}}seyin Ergin and
                  Jeff Gray and
                  Bernhard Rumpe and
                  Martin Schindler},
  title        = {Report on the state of the SoSyM journal {(2023} summary)},
  journal      = {Softw. Syst. Model.},
  volume       = {23},
  number       = {1},
  pages        = {1--5},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10270-024-01152-6},
  doi          = {10.1007/S10270-024-01152-6},
  timestamp    = {Fri, 08 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/ChallitaCEGRS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/CimattiGGMT24,
  author       = {Alessandro Cimatti and
                  Luca Geatti and
                  Nicola Gigante and
                  Angelo Montanari and
                  Stefano Tonetta},
  title        = {Fairness, assumptions, and guarantees for extended bounded response
                  {LTL+P} synthesis},
  journal      = {Softw. Syst. Model.},
  volume       = {23},
  number       = {2},
  pages        = {427--453},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10270-023-01122-4},
  doi          = {10.1007/S10270-023-01122-4},
  timestamp    = {Fri, 31 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/CimattiGGMT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/CombemaleGR24,
  author       = {Beno{\^{\i}}t Combemale and
                  Jeffrey G. Gray and
                  Bernhard Rumpe},
  title        = {Model-based code generation works: But how far does it go? - on the
                  role of the generator},
  journal      = {Softw. Syst. Model.},
  volume       = {23},
  number       = {2},
  pages        = {267--268},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10270-024-01172-2},
  doi          = {10.1007/S10270-024-01172-2},
  timestamp    = {Tue, 21 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/CombemaleGR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/DavidBK24,
  author       = {Istvan David and
                  Dominik Bork and
                  Gerti Kappel},
  title        = {Circular systems engineering},
  journal      = {Softw. Syst. Model.},
  volume       = {23},
  number       = {2},
  pages        = {269--283},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10270-024-01154-4},
  doi          = {10.1007/S10270-024-01154-4},
  timestamp    = {Fri, 31 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/DavidBK24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/DubslaffWF24,
  author       = {Clemens Dubslaff and
                  Patrick Wienh{\"{o}}ft and
                  Ansgar Fehnker},
  title        = {Lazy model checking for recursive state machines},
  journal      = {Softw. Syst. Model.},
  volume       = {23},
  number       = {2},
  pages        = {369--401},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10270-024-01159-z},
  doi          = {10.1007/S10270-024-01159-Z},
  timestamp    = {Tue, 21 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/DubslaffWF24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/DuranLimonVMMAOS24,
  author       = {Hector A. Duran{-}Limon and
                  Perla Velasco{-}Elizondo and
                  Manuel Mora and
                  Maria Elena Meda{-}Campa{\~{n}}a and
                  Karina Aguilar and
                  Martha Hern{\'{a}}ndez Ochoa and
                  Leonardo Soto Sumuano},
  title        = {Verifying consistency of software product line architectures with
                  product architectures},
  journal      = {Softw. Syst. Model.},
  volume       = {23},
  number       = {1},
  pages        = {195--221},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10270-023-01114-4},
  doi          = {10.1007/S10270-023-01114-4},
  timestamp    = {Fri, 08 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/DuranLimonVMMAOS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/ErbelG24,
  author       = {Johannes Erbel and
                  Jens Grabowski},
  title        = {Scientific workflow execution in the cloud using a dynamic runtime
                  model},
  journal      = {Softw. Syst. Model.},
  volume       = {23},
  number       = {1},
  pages        = {163--193},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10270-023-01112-6},
  doi          = {10.1007/S10270-023-01112-6},
  timestamp    = {Fri, 08 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/ErbelG24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/FarshidiKJ24,
  author       = {Siamak Farshidi and
                  Izaak Beer Kwantes and
                  Slinger Jansen},
  title        = {Business process modeling language selection for research modelers},
  journal      = {Softw. Syst. Model.},
  volume       = {23},
  number       = {1},
  pages        = {137--162},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10270-023-01110-8},
  doi          = {10.1007/S10270-023-01110-8},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/FarshidiKJ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/GomesAB24,
  author       = {Renata Martins Gomes and
                  Bernhard K. Aichernig and
                  Marcel Baunach},
  title        = {A framework for embedded software portability and verification: from
                  formal models to low-level code},
  journal      = {Softw. Syst. Model.},
  volume       = {23},
  number       = {2},
  pages        = {289--315},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10270-023-01144-y},
  doi          = {10.1007/S10270-023-01144-Y},
  timestamp    = {Fri, 31 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/GomesAB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/GomesAB24a,
  author       = {Renata Martins Gomes and
                  Bernhard K. Aichernig and
                  Marcel Baunach},
  title        = {Correction: {A} framework for embedded software portability and verification:
                  from formal models to low-level code},
  journal      = {Softw. Syst. Model.},
  volume       = {23},
  number       = {2},
  pages        = {317},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10270-024-01166-0},
  doi          = {10.1007/S10270-024-01166-0},
  timestamp    = {Fri, 31 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/GomesAB24a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/KafleGSSS24,
  author       = {Bishoksan Kafle and
                  Graeme Gange and
                  Peter Schachte and
                  Harald S{\o}ndergaard and
                  Peter J. Stuckey},
  title        = {A lightweight approach to nontermination inference using Constrained
                  Horn Clauses},
  journal      = {Softw. Syst. Model.},
  volume       = {23},
  number       = {2},
  pages        = {319--342},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10270-024-01161-5},
  doi          = {10.1007/S10270-024-01161-5},
  timestamp    = {Tue, 21 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/KafleGSSS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/LestingiMMMABR24,
  author       = {Livia Lestingi and
                  Andrea Manglaviti and
                  Davide Marinaro and
                  Luca Marinello and
                  Mehrnoosh Askarpour and
                  Marcello M. Bersani and
                  Matteo Rossi},
  title        = {Analyzing the impact of human errors on interactive service robotic
                  scenarios via formal verification},
  journal      = {Softw. Syst. Model.},
  volume       = {23},
  number       = {2},
  pages        = {473--502},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10270-023-01125-1},
  doi          = {10.1007/S10270-023-01125-1},
  timestamp    = {Fri, 31 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/LestingiMMMABR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/MichaelBWM24,
  author       = {Judith Michael and
                  Dominik Bork and
                  Manuel Wimmer and
                  Heinrich C. Mayr},
  title        = {Quo Vadis modeling?},
  journal      = {Softw. Syst. Model.},
  volume       = {23},
  number       = {1},
  pages        = {7--28},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10270-023-01128-y},
  doi          = {10.1007/S10270-023-01128-Y},
  timestamp    = {Sat, 16 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/MichaelBWM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/MuskardinTAP24,
  author       = {Edi Muskardin and
                  Martin Tappler and
                  Bernhard K. Aichernig and
                  Ingo Pill},
  title        = {Active model learning of stochastic reactive systems (extended version)},
  journal      = {Softw. Syst. Model.},
  volume       = {23},
  number       = {2},
  pages        = {503--524},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10270-024-01158-0},
  doi          = {10.1007/S10270-024-01158-0},
  timestamp    = {Fri, 31 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/MuskardinTAP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/SavaryLeblancPG24,
  author       = {Maxime Savary{-}Leblanc and
                  Xavier Le Pallec and
                  S{\'{e}}bastien G{\'{e}}rard},
  title        = {Understanding the need for assistance in software modeling: interviews
                  with experts},
  journal      = {Softw. Syst. Model.},
  volume       = {23},
  number       = {1},
  pages        = {103--135},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10270-023-01104-6},
  doi          = {10.1007/S10270-023-01104-6},
  timestamp    = {Sat, 16 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/SavaryLeblancPG24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/SeguraLW24,
  author       = {{\'{A}}ngel Mora Segura and
                  Juan de Lara and
                  Manuel Wimmer},
  title        = {Modelling assistants based on information reuse: a user evaluation
                  for language engineering},
  journal      = {Softw. Syst. Model.},
  volume       = {23},
  number       = {1},
  pages        = {57--84},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10270-023-01094-5},
  doi          = {10.1007/S10270-023-01094-5},
  timestamp    = {Sat, 16 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/SeguraLW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/VickKT24,
  author       = {Cole Vick and
                  Eunsuk Kang and
                  Stavros Tripakis},
  title        = {Counterexample classification},
  journal      = {Softw. Syst. Model.},
  volume       = {23},
  number       = {2},
  pages        = {455--472},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10270-023-01118-0},
  doi          = {10.1007/S10270-023-01118-0},
  timestamp    = {Fri, 31 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/VickKT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

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