Publikationen

Publikationen

Veröffentlichungen, Zeitschriftenaufsätze und Broschüren mit Ergebnissen aus dem Institut

Publikationen

Liste als BibTeX-Datei exportieren

2019

  • 2019Towards Automatically Identifying Potential Sustainability Effects of RequirementsIris Groher, Norbert Seyff und Tahira Iqbal8th International Workshop on Requirements Engineering for Sustainable Systems (RE4SuSy), ():, 2019. DetailsBIB
  • 2019Towards Computer-Aided Software Requirements ProcessMarina Reich, Tatiana Chuprina und Vivek Nigam In Proceedings of the Workshops of the Software Engineering Conference 2019, Stuttgart, Germany, February 19, 2019., Seiten 75–78, IEEE. DetailsBIB
  • 2019TSNsched: Automated Schedule Generation for Time Sensitive NetworkingBen Schneider und Vivek Nigam In 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, Seiten 69–77, DetailsDOIBIB
  • 2019Verification of Ada Programs with AdaHornTewodros Beyene, Christian Herrera und Vivek NigamAda User Journal, 40(2):103-108, 2019. DetailsBIB
  • 2019Verification of Ada Programs with AdaHornVivek NigamAda User Journal, ():, 2019. DetailsBIB

2018