Export list as BibTeX file

2018

• 2018 Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols. Musab A. Alturki , Max Kanovich , Vivek Nigam , Andre Scedrov , Carolyn Talcott and 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 and 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ß and 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 and 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

• December 2017 Automated Analysis of Multi-View Software Architectures Chih-Hong Cheng , Yassine Hamza and Harald Rueß In 24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017, pages 725–730, December 2017. Details URL DOI BIB
• December 2017 Towards Capability-Based Worker Modelling in a Smart Factory Susanne Vernim , Hendrik Walzel , Alois Knoll and Gunther Reinhart In Proceedings of 2017 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM 2017), pages 1576 - 1580, December 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 and 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 and 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 and 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 and Alexandru Ipatiov In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), pages 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 and 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 and Daniel Gracia Pérez In Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS '17), pages 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 and Alistair Mavin In Tools and Demo Session track at MoDELS 2017, pages 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 and Sebastian Voss In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, volume 10489 of LNCS, pages 52 – 63, September 2017. Springer. Details DOI BIB
• September 2017 Expressive Symbolic-Execution Contract Proving for the DSLTrans Transformation Language Bentley James Oakes , Levi Lúcio , Cláudio Gomes and Hans Vangheluwe 2017-01, September 2017. Details URL BIB
• September 2017 GSN Support of Mixed-Criticality Systems Certification Carlos-Fernando Nicolas , Fernando Eizaguirre , Asier Larrucea Ortube , Simon Barner , Franck Chauvel , Goiuria Sagardui and Jon Pérez In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, pages 157–172, September 2017. Springer. Details DOI BIB
• September 2017 Model-based Performance Evaluation of Batch and Stream Applications for Big Data Johannes Kroß and Helmut Krcmar In 2017 IEEE 25th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), pages 80-86, September 2017. IEEE. Details URL DOI BIB
• September 2017 OPC UA for Plug & Produce: Automatic Device Discovery using LDS-ME Stefan Profanter , Kirill Dorofeev , Alois Zoitl and Alois Knoll In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), Limassol, Cyprus, September 2017. Details BIB
• September 2017 Process-Aware Model-Driven Development Environments Levi Lúcio , Saad bin Abid , Salman Rahman , Vincent Aravantinos , Eduard Harwardt and Ralf Kuestner In MODELS Workshops, pages 405–411, September 2017. Details URL BIB