Scientific publications
2016
- A Parameter Estimator for a Model Based Adaptive Control Scheme for Longitudinal Control of Automated Vehicles pages 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, pages 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, pages 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, pages 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 and Tijn van der Zant , editor, Industrial Informatics (INDIN), 2016 IEEE 14th International Conference on, pages 363–370, 2016. IEEE, Details BIB
- Entwicklung und Implementierung eines Softwareprototyps zur Informationsunterstützung und Qualitätsbewertung In Cloud-Services aus der Geschäftsperspektive, pages 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 and Thomas Kühne , editor, Industrial Informatics (INDIN), 2016 IEEE 14th International Conference on, pages 148–153, 2016. IEEE, Details BIB
- Hierarchically Structured Control Application for Pick and Place Station In Robert France , Jürgen Kazmeier , Ruth Breu and Colin Atkinson , editor, Distributed Control Applications, . CRC Press, 2016. Details BIB
- Improving maintenance processes with distributed monitoring systems pages 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), pages 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, pages 3-14, 2016. Springer Fachmedien Wiesbaden. Details DOI BIB
- On Using Results of Code-level Bounded Model Checking in Assurance In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 9923 of LNCS, pages 30-42, 2016. Springer. Details DOI BIB
- Optimization of Deployment Topologies for Distributed Enterprise Applications In 2016 12th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA , pages 106-115, 2016. Details DOI BIB
- PET: Continuous Performance Evaluation Tool In Proceedings of the 2nd International Workshop on Quality-Aware DevOps, pages 42–43, New York, NY, USA, 2016. ACM. Details URL DOI BIB
- Referenzarchitektur für Cyber-physische Systeme zur Unterstützung der Instandhaltung In Multikonferenz Wirtschaftsinformatik (MKWI) 2016, pages 377-388, 2016. TU Ilmenau, Universitätsverlag Ilmenau. Details BIB