Liste als BibTeX-Datei exportieren

2018

• 2018 A Logical Framework with Commutative and Non-commutative Subexponentials Max Kanovich , Stepan Kuznetsov , Vivek Nigam und Andre Scedrov In Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Seiten 228–245, 2018. Details URL DOI BIB
• 2018 Arch'N'Smile: A Jump'N'Run Game Using Facial Expression Recognition Control For Entertaining Children During Car Journeys Niklas Müller , Bettina Eska , Richard Schäffer , Sarah Völkel , Michael Braun , Gesa Wiegand und Florian Alt In Proceedings of the 17th International Conference on Mobile and Ubiquitous Multimedia, Seiten 335–339, 2018. ACM. Details URL DOI BIB
• 2018 Challenges in Skill-based Engineering of Industrial Automation Systems Somayeh Malakuti , Jürgen Bock , Michael Weser , Pierre Venet , Patrick Zimmermann , Mathias Wiegand , Julian Grothoff , Constantin Wagner und Andreas Bayha In Proceedings of the 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), 2018. IEEE. Details DOI BIB
• 2018 Compact and efficiently verifiable models for concurrent systems Hernán Ponce de León und Andrey Mokhov Formal Methods in System Design, 53():407–431, 2018. Details DOI BIB
• 2018 Comprehensive View on Architectural Requirements for Maintenance Information Systems Andreas Reidt , Helmut Krcmar und Stefan Schuhbäck Seiten 249-257, 2018. Details BIB
• 2018 Connecting PLCs with their Asset Administration Shell for Automatic Device Configuration Monika Wenger , Thorsten Müller und Alois Zoitl In IEEE 16th International Conference of Industrial Informatics (INDIN), 2018. Details BIB
• 2018 Deep Reinforcement Learning for Predictive Longitudinal Control of Automated Vehicles Martin Buechel und Alois Knoll In Proceedings of the 21st International Conference on Intelligent Transportation Systems (ITSC), Seiten 2391-2397, 2018. IEEE. Details URL DOI BIB
• 2018 Developing self-similar hybrid control architecture based on sgam-based methodology for distributed microgrids Pragya Kirti Gupta und Markus Duchon In 2018. Details BIB
• 2018 Early Take-Over Preparation in Stereoscopic 3D Gesa Wiegand , Christian Mai , Yuanting Liu und Heinrich Hußmann In Adjunct Proceedings of the 10th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, Seiten 142–146, 2018. ACM. Details URL DOI BIB
• 2018 Effect-dependent transformations for concurrent programs Nick Benton , Martin Hofmann und Vivek Nigam Sci. Comput. Program., 155():27–51, 2018. Details URL DOI BIB
• 2018 Enable Co-Simulation for Industrial Automation by an FMU Exporter for IEC 61499 Models Jose Cabral , Monika Wenger und Alois Zoitl In IEEE 16th International Conference of Industrial Informatics (INDIN), 2018. Details BIB
• 2018 Evidential and Continuous Integration of Software Verification Tools Tewodros Beyene und Harald Rueß In Formal Methods, Seiten 679-685, Cham, 2018. Springer International Publishing. Details BIB
• 2018 Formal Analysis of Sneak-Peek: A Data Centre Attack and its Mitigations Wei Chen , Yuhui Lin , Vashti Galpin , Vivek Nigam , Myungjin Lee und David Aspinall In 33rd IFIP TC-11 SEC 2018 International Conference on Information Security and Privacy Protection (IFIPSEC 2018) - Poznan, Poland, 2018. Details BIB
• 2018 Full contract verification for ATL using symbolic execution Bentley James Oakes , Javier Troya , Levi Lúcio und Manuel Wimmer Software & Systems Modeling, 17():815–849, 2018. Details DOI BIB
• 2018 Highway Sensor System as Enabler for Autonomous Driving Gesa Wiegand und Yuanting Liu In Band CHI 2018 Workshop - Interacting with Autonomous Vehicles: Learning from other Domains(2018), 2018. Details BIB
• 2018 Incorporating negative information to process discovery of complex systems Hernán Ponce de León , Lucio Nardelli , Carmona Josep und Seppe K. L. M. vanden Broucke Inf. Sci., 422():480–496, 2018. Details DOI BIB
• 2018 Modular Fault Ascription and Corrective Maintenance Using a Digital Twin Milan Vathoopan , Maria Johny , Alois Zoitl und Alois Knoll IFAC-PapersOnLine, 51(11):1041–1046, 2018. Details BIB
• 2018 On the accuracy of formal verification of selective defenses for TDoS attacks Marcilio Lemos , Yuri Gil Dantas , Iguatemi Fonseca und Vivek Nigam J. Log. Algebr. Meth. Program., 94():45–67, 2018. Details URL DOI BIB
• 2018 Proof-Relevant Logical Relations for Name Generation Nick Benton , Martin Hofmann und Vivek Nigam Accepted to Logical Methods in Computer Science, ():, 2018. Details BIB
• 2018 Roadblocks on the Highway to Secure Cars: An Exploratory Survey on the Current Safety and Security Practice of the Automotive Industry Michael M. Huber , Michael Brunner , Clemens Sauerwein , Carmen Cârlan und Ruth Breu In Proceedings of the 37th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2018), Band 11093 von Lecture Notes in Computer Science, Seiten 157–171, 2018. Springer. Details DOI BIB