Scientific publications
2016
- Schedule synthesis for multi-period SW components In SAE 2016 World Congress and Exhibition, April 2016. SAE International. Details DOI BIB
- Towards Trusted Apps platforms for open CPS In 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC), pages 23–28, April 2016. Details DOI BIB
- A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems In 4th Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS), Paris, France, January 2016. Details DOI BIB
- Factory Product Lines: Tackling the Compatibility Problem In Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems (VAMOS), January 2016. ACM. Details DOI BIB
- Pareto-efficient deployment synthesis for safety-critical applications in seamless model-based development In Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), January 2016. Details URL BIB
- A Model Based Engineering Tool for ROS Component Compositioning, Configuration and Generation of Deployment Information In 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2016. Details BIB
- iEMG: Imaging Electromyography Journal of Electromyography and Kinesiology, 27():1–9, 2016. Details DOI BIB
- Tactical Cooperative Planning for Autonomous Vehicles using MCTS In IEEE Intelligent Vehicles Symposium, 2016. Details BIB
- 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, pages 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, pages 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), pages 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 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