Export list as BibTeX file

2016

• 2016 A Compositional Approach to the Verification of Hybrid Systems Lacramioara Astefanoaei , Saddek Bensalem and Marius Bozga In Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pages 88–103, 2016. Details URL DOI BIB
• 2016 A Differentiable Transition Between Additive and Multiplicative Neurons Wiebke Koepp , Patrick van der Smagt and Sebastian Urban In International Conference on Learning Representations (ICLR), 2016. Details URL BIB
• 2016 A human in the loop corrective maintenance methodology using cross domain engineering data of mechatronic systems Milan Vathoopan , Benjamin Brandenbourger and Alois Zoitl In Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference on, pages 1–4, 2016. IEEE, Details BIB
• 2016 A Lightweight Design Space Exploration and Optimization Language Alexander Diewald , Sebastian Voss and Simon Barner In Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES '16), pages 190–193, New York, NY, USA, 2016. ACM. Details DOI BIB
• 2016 A Parameter Estimator for a Model Based Adaptive Control Scheme for Longitudinal Control of Automated Vehicles Martin Buechel and Alois Knoll pages 181-186, 2016. IFAC-PapersOnLine. Details BIB
• 2016 Behavior modeling of automation components using cross-domain interdependencies Benjamin Brandenbourger , Milan Vathoopan and Alois Zoitl In Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference on, pages 1–4, 2016. IEEE, Details BIB
• 2016 Certification for u-Calculus with Winning Strategies Martin Hofmann , Christian Neukirchen and Harald Rueß In Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pages 111–128, 2016. Details URL DOI BIB
• 2016 Compositional Parameter Synthesis Lacramioara Astefanoaei , Marius Bozga , Saddek Bensalem , Chih-Hong Cheng and Harald Rueß In FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pages 60–68, 2016. Details DOI BIB
• 2016 Deep Variational Bayes Filters: Unsupervised Learning of State Space Models from Raw Data Maximilian Karl , Maximilian Sölch , Justin Bayer and Patrick van der Smagt arxiv, ():, 2016. Details URL BIB
• 2016 Efficient CTL Verification via Horn Constraints Solving Tewodros Beyene , Corneliu Popeea and Andrey Rybalchenko In HCVS@ETAPS, 2016. Details BIB
• 2016 Engineering of Automation Systems using a Metamodel implemented in AutomationML Benjamin Brandenbourger , Milan Vathoopan and Alois Zoitl In Xiaoping Chen , Peter Stone , LuisEnrique Sucar and Tijn van der Zant , editor, Industrial Informatics (INDIN), 2016 IEEE 14th International Conference on, pages 363–370, 2016. IEEE, Details BIB
• 2016 Entwicklung und Implementierung eines Softwareprototyps zur Informationsunterstützung und Qualitätsbewertung Andreas Reidt and Helmut Krcmar In Cloud-Services aus der Geschäftsperspektive, pages 143-157, 2016. Springer Fachmedien Wiesbaden. Details DOI BIB
• 2016 Evaluation of joint type modelling in the human hand Agneta Gustus and Patrick van der Smagt Journal of Biomechanics, ():, 2016. Details DOI BIB
• 2016 FAT-SCHRIFTENREIHE 287 - Future Programming Paradigms in the Automotive Industry Zaur Molotnikov , Konstantin Schorp , Vincent Aravantinos and Bernhard Schätz 2016. Details URL BIB
• 2016 Handling errors in dynamic production environments Nadine Keddis , Gerd Kainz , Benjamin Brandenbourger , Milan Vathoopan and Alois Zoitl In Jon Whittle , Tony Clark and Thomas Kühne , editor, Industrial Informatics (INDIN), 2016 IEEE 14th International Conference on, pages 148–153, 2016. IEEE, Details BIB
• 2016 Hierarchically Structured Control Application for Pick and Place Station Monika Wenger , Milan Vathoopan , Alois Zoitl and Herbert Prähofer In Robert France , Jürgen Kazmeier , Ruth Breu and Colin Atkinson , editor, Distributed Control Applications, . CRC Press, 2016. Details BIB
• 2016 Improving maintenance processes with distributed monitoring systems Hans Fleischmann , Johannes Kohl , Jörg Franke , Andreas Reidt , Markus Duchon and Helmut Krcmar pages 377-382, 2016. Details BIB
• 2016 Integrated Formal Methods for Constructing Assurance Cases Carmen Cârlan , Tewodros Beyene and Harald Rueß In Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pages 221–228, 2016. IEEE. Details DOI BIB
• 2016 Motion Planning for Nonholonomic Vehicles with Space Exploration Guided Heuristic Search Chao Chen Technische Universität München, 2016. Details URL BIB
• 2016 Motivation, Bausteine und Vorgehensweise Jan Wollersheim , Patrick Hoberg , Andreas Reidt and Helmut Krcmar In Cloud-Services aus der Geschäftsperspektive, pages 3-14, 2016. Springer Fachmedien Wiesbaden. Details DOI BIB