Export list as BibTeX file

2019

• 2019 Logical and Semantic Frameworks with Applications Vivek Nigam and René Thiemann Theor. Comput. Sci., 781():1–2, 2019. Details URL DOI BIB
• 2019 On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering Antoaneta Kondeva , Carmen Cârlan , Harald Rueß and Vivek Nigam In Proceedings of the 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. IEEE. Details DOI BIB
• 2019 On Integrating Design Thinking for a Human-centered Requirements Engineering Jennifer Hehn , Daniel Mendez , Falk Uebernickel , Walter Brenner and Manfred Broy IEEE Software, ():, 2019. Details URL BIB
• 2019 PerTract: Model Extraction and Specification of Big Data Systems for Performance Prediction by the Example of Apache Spark and Hadoop Johannes Kroß and Helmut Krcmar Big Data and Cognitive Computing, 3(3):, 2019. Details URL DOI BIB
• 2019 Real-Time Personalization in Adaptive IDEs Matthias Schmidmaier , Zhiwei Han , Thomas Weber , Yuanting Liu and Heinrich Hußmann pages 81-86, 2019. ACM. Details URL BIB
• 2019 Resource-Bounded Intruders in Denial of Service Attacks Abraão Aires Urquiza , Musab A. Alturki , Tajana Ban Kirigin , Vivek Nigam and Andre Scedrov In 32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019, pages 382–396, 2019. IEEE. Details DOI BIB
• 2019 Roadmap to Skill Based Systems Engineering Kathrin Evers , Jan R Seyler , Vincent Aravantinos , Levi Lúcio and Anees Mehdi In 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), pages 1093–1100, 2019. IEEE. Details DOI BIB
• 2019 Sector Coupling with Optimization: A comparison between single buildings and combined quarters Lena Heidemann , Denis Bytschkow , Alexandre Capone , Thomas Licklederer and Michael Kramer , 2019. Details BIB
• 2019 Sharing Economy: Potential im öffentlichen Sektor Dian Balta , Sara Hofmann , Peter Kuhn and Helmut Krcmar BERICHTE DES NEGZ, (5):, 2019. Details URL DOI BIB
• 2019 Subexponentials in non-commutative linear logic Max Kanovich , Stepan Kuznetsov , Vivek Nigam and Andre Scedrov Mathematical Structures in Computer Science, 29(8):1217–1249, 2019. Details URL DOI BIB
• 2019 Symbolic Timed Trace Equivalence Vivek Nigam , Carolyn Talcott and Abraão Aires Urquiza In Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows, volume 11565 of Lecture Notes in Computer Science, pages 89–111, 2019. Springer. Details DOI BIB
• 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

• December 2018 A Bird's Eye View on Requirements Engineering and Machine Learning Tahira Iqbal , Parisa Elahidoost and Levi Lúcio In Proceedings of the 25th Asia-Pacific Software Engineering Conference (APSEC), pages 11-20, December 2018. Details DOI BIB
• November 2018 Experience-Based Heuristic Search: Robust Motion Planning with Deep Q-Learning Julian Bernhard , Robert Gieselmann , Klemens Esterle and Alois Knoll , November 2018. IEEE, IEEE. Details BIB
• November 2018 Intelligent Hardware-Software Platform for Efficient Coupling of Water-Energy Nexus in Smart Cities: A Conceptual Framework Naran Pindoriya , Markus Duchon , Pragya Kirti Gupta , Venkatesh Pampana , SN Singh , Jakob Giza , Bastian Hackenberg , Arvind Rajput and Janki Jethi , ():, November 2018. Details BIB