Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2016
- A Compositional Approach to the Verification of Hybrid Systems In Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, Seiten 88–103, 2016. Details URL DOI BIB
- A Differentiable Transition Between Additive and Multiplicative Neurons In International Conference on Learning Representations (ICLR), 2016. Details URL BIB
- A human in the loop corrective maintenance methodology using cross domain engineering data of mechatronic systems In Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference on, Seiten 1–4, 2016. IEEE, Details BIB
- A Lightweight Design Space Exploration and Optimization Language In Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES '16), Seiten 190–193, New York, NY, USA, 2016. ACM. Details DOI BIB
- A Parameter Estimator for a Model Based Adaptive Control Scheme for Longitudinal Control of Automated Vehicles Seiten 181-186, 2016. IFAC-PapersOnLine. Details BIB
- Behavior modeling of automation components using cross-domain interdependencies In Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference on, Seiten 1–4, 2016. IEEE, Details BIB
- Certification for u-Calculus with Winning Strategies In Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, Seiten 111–128, 2016. Details URL DOI BIB
- Compositional Parameter Synthesis In FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, Seiten 60–68, 2016. Details DOI BIB
- Deep Variational Bayes Filters: Unsupervised Learning of State Space Models from Raw Data arxiv, ():, 2016. Details URL BIB
- Efficient CTL Verification via Horn Constraints Solving In HCVS@ETAPS, 2016. Details BIB
- Engineering of Automation Systems using a Metamodel implemented in AutomationML In Xiaoping Chen , Peter Stone , LuisEnrique Sucar und Tijn van der Zant , Editor, Industrial Informatics (INDIN), 2016 IEEE 14th International Conference on, Seiten 363–370, 2016. IEEE, Details BIB
- Entwicklung und Implementierung eines Softwareprototyps zur Informationsunterstützung und Qualitätsbewertung In Cloud-Services aus der Geschäftsperspektive, Seiten 143-157, 2016. Springer Fachmedien Wiesbaden. Details DOI BIB
- Evaluation of joint type modelling in the human hand Journal of Biomechanics, ():, 2016. Details DOI BIB
- FAT-SCHRIFTENREIHE 287 - Future Programming Paradigms in the Automotive Industry 2016. Details URL BIB
- Handling errors in dynamic production environments In Jon Whittle , Tony Clark und Thomas Kühne , Editor, Industrial Informatics (INDIN), 2016 IEEE 14th International Conference on, Seiten 148–153, 2016. IEEE, Details BIB
- Hierarchically Structured Control Application for Pick and Place Station In Robert France , Jürgen Kazmeier , Ruth Breu und Colin Atkinson , Editor, Distributed Control Applications, . CRC Press, 2016. Details BIB
- Improving maintenance processes with distributed monitoring systems Seiten 377-382, 2016. Details BIB
- Integrated Formal Methods for Constructing Assurance Cases In Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Seiten 221–228, 2016. IEEE. Details DOI BIB
- Motion Planning for Nonholonomic Vehicles with Space Exploration Guided Heuristic Search Technische Universität München, 2016. Details URL BIB
- Motivation, Bausteine und Vorgehensweise In Cloud-Services aus der Geschäftsperspektive, Seiten 3-14, 2016. Springer Fachmedien Wiesbaden. Details DOI BIB