Liste als BibTeX-Datei exportieren

2019

• 2019 Logical and Semantic Frameworks with Applications Vivek Nigam und 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ß und 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 und 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ß und 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 und Heinrich Hußmann Seiten 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 und Andre Scedrov In 32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019, Seiten 382–396, 2019. IEEE. Details DOI BIB
• 2019 Roadmap to Skill Based Systems Engineering Kathrin Evers , Jan R Seyler , Vincent Aravantinos , Levi Lúcio und Anees Mehdi In 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Seiten 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 und Michael Kramer , 2019. Details BIB
• 2019 Sharing Economy: Potential im öffentlichen Sektor Dian Balta , Sara Hofmann , Peter Kuhn und Helmut Krcmar BERICHTE DES NEGZ, (5):, 2019. Details URL DOI BIB
• 2019 Subexponentials in non-commutative linear logic Max Kanovich , Stepan Kuznetsov , Vivek Nigam und 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 und Abraão Aires Urquiza In Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows, Band 11565 von Lecture Notes in Computer Science, Seiten 89–111, 2019. Springer. Details DOI BIB
• 2019 Towards Automatically Identifying Potential Sustainability Effects of Requirements Iris Groher , Norbert Seyff und 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 und Vivek Nigam In Proceedings of the Workshops of the Software Engineering Conference 2019, Stuttgart, Germany, February 19, 2019., Seiten 75–78, 2019. IEEE. Details BIB
• 2019 TSNsched: Automated Schedule Generation for Time Sensitive Networking Ben 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, 2019. Details DOI BIB
• 2019 Usability of Development Tools: A CASE-Study Thomas Weber , Alois Zoitl und Heinrich Hußmann In the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, Seiten 228-235, 2019. Details BIB
• 2019 Verification of Ada Programs with AdaHorn Tewodros Beyene , Christian Herrera und 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

• Dezember 2018 A Bird's Eye View on Requirements Engineering and Machine Learning Tahira Iqbal , Parisa Elahidoost und Levi Lúcio In Proceedings of the 25th Asia-Pacific Software Engineering Conference (APSEC), Seiten 11-20, Dezember 2018. Details DOI BIB
• November 2018 Experience-Based Heuristic Search: Robust Motion Planning with Deep Q-Learning Julian Bernhard , Robert Gieselmann , Klemens Esterle und 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 und Janki Jethi , ():, November 2018. Details BIB