Search dblp for Publications

• > Home > Search

@article{DBLP:journals/isse/AhishakiyeJKS24,
  author       = {Faustin Ahishakiye and
                  Jos{\'{e}}{-}Ignacio Requeno Jarabo and
                  Lars Michael Kristensen and
                  Volker Stolz},
  title        = {Coverage visualization and analysis of net inscriptions in coloured
                  Petri net models},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {20},
  number       = {1},
  pages        = {17--30},
  year         = {2024},
  url          = {https://doi.org/10.1007/s11334-023-00528-z},
  doi          = {10.1007/S11334-023-00528-Z},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isse/AhishakiyeJKS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isse/BarkaouiH24,
  author       = {Kamel Barkaoui and
                  Belgacem Ben Hedia},
  title        = {Preface to the VECoS 2020 {\&} 2021 special issue of {ISSE}},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {20},
  number       = {1},
  pages        = {1--2},
  year         = {2024},
  url          = {https://doi.org/10.1007/s11334-023-00543-0},
  doi          = {10.1007/S11334-023-00543-0},
  timestamp    = {Fri, 01 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isse/BarkaouiH24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isse/EamanF24,
  author       = {Amir Eaman and
                  Amy P. Felty},
  title        = {A certified access control policy language: TEpla},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {20},
  number       = {1},
  pages        = {49--64},
  year         = {2024},
  url          = {https://doi.org/10.1007/s11334-023-00534-1},
  doi          = {10.1007/S11334-023-00534-1},
  timestamp    = {Fri, 01 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isse/EamanF24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isse/HeidariA24,
  author       = {Saeedeh Ghaedi Heidari and
                  Shohreh Ajoudanian},
  title        = {Automatic pattern-based consistency checking in model refactoring:
                  introducing a formal behavioral preserving method},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {20},
  number       = {1},
  pages        = {65--84},
  year         = {2024},
  url          = {https://doi.org/10.1007/s11334-022-00525-8},
  doi          = {10.1007/S11334-022-00525-8},
  timestamp    = {Sat, 16 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isse/HeidariA24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isse/KrogerKSF24,
  author       = {Janis Kr{\"{o}}ger and
                  Bj{\"{o}}rn Koopmann and
                  Ingo Stierand and
                  Martin Fr{\"{a}}nzle},
  title        = {Contract-based specification of mode-dependent timing behavior},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {20},
  number       = {1},
  pages        = {31--47},
  year         = {2024},
  url          = {https://doi.org/10.1007/s11334-023-00531-4},
  doi          = {10.1007/S11334-023-00531-4},
  timestamp    = {Mon, 01 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/KrogerKSF24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isse/MediouniDNB24,
  author       = {Braham Lotfi Mediouni and
                  Iulia Dragomir and
                  Ayoub Nouri and
                  Saddek Bensalem},
  title        = {Model-based design of resilient systems using quantitative risk assessment},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {20},
  number       = {1},
  pages        = {3--16},
  year         = {2024},
  url          = {https://doi.org/10.1007/s11334-023-00527-0},
  doi          = {10.1007/S11334-023-00527-0},
  timestamp    = {Sat, 16 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isse/MediouniDNB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isse/VahabiH24,
  author       = {Shahrokh Vahabi and
                  Amir Hozhabri},
  title        = {Automatic use case classification based on topic grouping for requirements
                  engineering},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {20},
  number       = {1},
  pages        = {85--96},
  year         = {2024},
  url          = {https://doi.org/10.1007/s11334-023-00535-0},
  doi          = {10.1007/S11334-023-00535-0},
  timestamp    = {Sat, 16 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isse/VahabiH24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}