Export list as BibTeX file

2019

• 2019 Design and Runtime Verification Side-by-Side in eTrice Sudeep Kanav , Levi Lúcio , Christian Hilden and Thomas Schuetz In Proceedings of the NASA Formal Methods Symposium, volume 11460 of LNCS, pages 255–262, 2019. Springer. Details DOI BIB
• 2019 Effective Management of Standardizing in E-Government Dian Balta IGI Global, Hershey, PA, USA, 1 edition, 2019. Details URL DOI BIB
• 2019 ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System Models Vivek Nigam , Alexandros Tsalidis , Sebastian Voss and Carmen Cârlan In 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. Details DOI BIB
• 2019 Formal Security Verification of Industry 4.0 Applications Vivek Nigam and Carolyn Talcott In 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019, pages 1043–1050, 2019. IEEE. Details DOI BIB
• 2019 I Drive - You Trust: Explaining Driving Behavior Of Autonomous Cars Gesa Wiegand , Matthias Schmidmaier , Thomas Weber and Heinrich Hußmann In Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, pages LBW0163:1–LBW0163:6, 2019. ACM. Details URL DOI BIB
• 2019 ICT gateway to simulation environment for electrical fault injection and recovery Pragya Kirti Gupta , Pekka Savolainen and Markus Duchon In 2019 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, 2019. Details DOI BIB
• 2019 InCarAR: A Design Space Towards 3D Augmented Reality Applications in Vehicles Gesa Wiegand , Christian Mai , Kai Holländer and Heinrich Hußmann In Proceedings of the 11th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, 2019. ACM. Details DOI BIB
• 2019 Interactive Image Restoration Zhiwei Han , Thomas Weber , Stefan Matthes , Yuanting Liu and Hao Shen In the Neural Information Processing Systems 2019, Human-centric Machine Learning Workshop, . 2019. Details URL BIB
• 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