Wissenschaft­liche Publikationen

Liste als BibTeX-Datei exportieren

2018

• 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
• 2018 Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols. Musab A. Alturki , Max Kanovich , Vivek Nigam , Andre Scedrov , Carolyn Talcott und Tajana Ban Kirigin In "Workshop on Foundations of Computer Security", 2018. Details BIB
• 2018 Subexponentials in non-commutative linear logic Max Kanovich , Stepan Kuznetsov , Vivek Nigam und Andre Scedrov Mathematical Structures in Computer Science, ():, 2018. Details URL DOI BIB
• 2018 The Smile is The New Like: Controlling Music with Facial Expressions to Minimize Driver Distraction Michael Braun , Sarah Völkel , Gesa Wiegand , Thomas Puls , Daniel Steidl , Yannick Weiß und Florian Alt In Proceedings of the 17th International Conference on Mobile and Ubiquitous Multimedia, 2018. ACM. Details URL DOI BIB
• 2018 Towards a Mathematical Understanding of the Difficulty in Learning with Feedforward Neural Networks Hao Shen Proceedings of the 31st IEEE Conference on Computer Vision and Pattern Recognition (CVPR), ():811–820, 2018. Details BIB
• 2018 Which barriers hinder a successful digital transformation in small and medium-sized municipalities in a federal system? Markus Jakob und Helmut Krcmar In Proceedings of the Central and Eastern European e|Dem and e|Gov Days 2018, 2018. Hendrik Hansen; Robert Müller-Török; Andr{'a}s Nemeslaki; Alexander Prosser; Dona Scola; Tam{'a}s Sz{'a}deczky. Details DOI BIB

2017

• Dezember 2017 Automated Analysis of Multi-View Software Architectures Chih-Hong Cheng , Yassine Hamza und Harald Rueß In 24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017, Seiten 725–730, Dezember 2017. Details URL DOI BIB
• Dezember 2017 Towards Capability-Based Worker Modelling in a Smart Factory Susanne Vernim , Hendrik Walzel , Alois Knoll und Gunther Reinhart In Proceedings of 2017 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM 2017), Seiten 1576 - 1580, Dezember 2017. IEEE. Details DOI BIB
• November 2017 Designing a far-reaching view for highway traffic scenarios with 5G-based intelligent infrastructure Gereon Michael Hinz , Martin Buechel , Frederik Diehl , Guang Chen , Annkathrin Krämmer , Juri Kuhn , Venkatnarayanan Lakshminarasimhan , Malte Schellmann , Uwe Baumgarten und Alois Knoll In 8. Tagung Fahrerassistenzsysteme, Munich, Germany, November 2017. TÜV Süd. Details URL BIB
• November 2017 Ontology for Semantic Data Integration in the Domain of IT Benchmarking Matthias Pfaff , Stefan Neubig und Helmut Krcmar Journal on Data Semantics, ():, November 2017. Details URL DOI BIB
• September 2017 Robotics Library: An Object-Oriented Approach to Robot Applications Markus Rickert und Andre Gaschler In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Vancouver, BC, Canada, September 2017. Details URL DOI BIB
• September 2017 Bringing DSE to life: exploring the design space of an industrial automotive use case Johannes Eder , Sergey Zverlov , Sebastian Voss , Maged Khalil und Alexandru Ipatiov In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), Seiten 270–280, September 2017. IEEE, Details DOI BIB
• September 2017 Device Adapter Concept towards Enabling Plug&Produce Production Environments Kirill Dorofeev , Chih-Hong Cheng , Magno Guedes , Pedro Ferreira , Stefan Profanter und Alois Zoitl In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), September 2017. Details BIB
• September 2017 DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems Simon Barner , Alexander Diewald , Jörn Migge , Ali Abbas Jaffari Syed , Gerhard Fohler , Madeleine Faugère und Daniel Gracia Pérez In Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS '17), Seiten 259–269, September 2017. IEEE. Details DOI BIB
• September 2017 EARS-CTRL: Building and Verifying Controllers for Dummies Levi Lúcio , Salman Rahman , Saad bin Abid und Alistair Mavin In Tools and Demo Session track at MoDELS 2017, Seiten 1–6, September 2017. Details URL BIB
• September 2017 ExplicitCase: Integrated Model-based Development of System and Safety Cases Carmen Cârlan , Simon Barner , Alexander Diewald , Alexandros Tsalidis und Sebastian Voss In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Band 10489 von LNCS, Seiten 52 – 63, September 2017. Springer. Details DOI BIB