fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Export list as BibTeX file

2019

  • 2019 Towards Automatically Identifying Potential Sustainability Effects of Requirements Iris Groher , Norbert Seyff and Tahira Iqbal 8th International Workshop on Requirements Engineering for Sustainable Systems (RE4SuSy), ():, 2019. Details BIB
  • 2019 Towards Computer-Aided Software Requirements Process Marina Reich , Tatiana Chuprina and Vivek Nigam In Proceedings of the Workshops of the Software Engineering Conference 2019, Stuttgart, Germany, February 19, 2019., pages 75–78, 2019. IEEE. Details BIB
  • 2019 TSNsched: Automated Schedule Generation for Time Sensitive Networking Ben Schneider and Vivek Nigam In 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pages 69–77, 2019. Details DOI BIB
  • 2019 Usability of Development Tools: A CASE-Study Thomas Weber , Alois Zoitl and Heinrich Hußmann In the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, pages 228-235, 2019. Details BIB
  • 2019 Verification of Ada Programs with AdaHorn Tewodros Beyene , Christian Herrera and Vivek Nigam Ada User Journal, 40(2):103-108, 2019. Details BIB
  • 2019 Verification of Ada Programs with AdaHorn Vivek Nigam Ada User Journal, ():, 2019. Details BIB

2018