Export list as BibTeX file

2019

• 2019Cooperative Multi-Vehicle Behavior Coordination for Autonomous DrivingTobias Kessler and Alois KnollIEEE Intelligent Vehicles Symposium (IV), ():, 2019. DetailsBIB
• 2019Effective Management of Standardizing in E-GovernmentDian BaltaIGI Global, Hershey, PA, USA, 1 edition, DetailsURLDOIBIB
• 2019ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System ModelsVivek Nigam, Alexandros Tsalidis, Sebastian Voss and Carmen Carlan In The 9th IEEE International Workshop on Software Certification WoSoCer, DetailsBIB
• 2019Formal Security Verification of Industry 4.0 ApplicationsVivek 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, IEEE. DetailsDOIBIB
• 2019I Drive - You Trust: Explaining Driving Behavior Of Autonomous CarsGesa 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, ACM. DetailsURLDOIBIB
• 2019InCarAR: A Design Space Towards 3D Augmented Reality Applications in VehiclesGesa 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, ACM. DetailsDOIBIB
• 2019Logical and Semantic Frameworks with ApplicationsVivek Nigam and René ThiemannTheor. Comput. Sci., 781():1–2, 2019. DetailsURLDOIBIB
• 2019On Computer-Aided Techniques for Supporting Safety and Security Co-EngineeringAntoaneta Kondeva, Carmen Carlan, Harald Rueß and Vivek Nigam In The 9th IEEE International Workshop on Software Certification WoSoCer, DetailsBIB
• 2019PerTract: Model Extraction and Specification of Big Data Systems for Performance Prediction by the Example of Apache Spark and HadoopJohannes Kroß and Helmut KrcmarBig Data and Cognitive Computing, 3(3):, 2019. DetailsURLDOIBIB
• 2019Resource-Bounded Intruders in Denial of Service AttacksAbraã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, IEEE. DetailsDOIBIB