Liste als BibTeX-Datei exportieren

2019

• 2019 Design and Runtime Verification Side-by-Side in eTrice Sudeep Kanav , Levi Lúcio , Christian Hilden und Thomas Schuetz In Proceedings of the NASA Formal Methods Symposium, Band 11460 von LNCS, Seiten 255–262, 2019. Springer. Details DOI BIB
• 2019 Effective Management of Standardizing in E-Government Dian Balta IGI Global, Hershey, PA, USA, 1 Ausgabe, 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 und 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 und Carolyn Talcott In 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019, Seiten 1043–1050, 2019. IEEE. Details DOI BIB
• 2019 I Drive - You Trust: Explaining Driving Behavior Of Autonomous Cars Gesa Wiegand , Matthias Schmidmaier , Thomas Weber und Heinrich Hußmann In Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, Seiten 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 und 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 und 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 und 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 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