Publications
- Implementing a Model-based Engineering Tool as Web Application arXiv:2302.14091 [cs.SE], March 2023. Details DOI BIB
- AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems In ACES-MB&WUCOR@MoDELS 2015, . CEUR-WS.org, 1508 edition, 2015. Details URL BIB
- Design Space Exploration and its Visualization in AutoFOCUS3 In Software Engineering (Workshops), pages 57–66, February 2014. Details URL BIB
- A pattern-based approach towards the guided reuse of safety mechanisms in the automotive domain In Proceedings of the International Symposium on Model-Based Safety and Assessment (IMBSA 2014), volume 8822 of LNCS, pages 137–151, 2014. Springer. Details DOI BIB
- Providing security to a smart grid prosumer system based on a service oriented architecture in an office environment In Innovative Smart Grid Technologies (ISGT), 2013 IEEE PES, pages 1–7, 2013. IEEE, Details BIB
- Providing security to a smart grid prosumer system based on a service-oriented architecture in an office environment In IEEE PES Innovative Smart Grid Technologies Conference, ISGT, 2013. Details BIB
- A Refined Top-Down Methodology for the Development of Automotive Software Systems - The Keyless Entry-System Case Study February 2011. Details URL BIB
- User-friendly Model Checking Integration in Model-based Development In Proceedings of the 24th International Conference on Computer Applications in Industry and Engineering, 2011. Details BIB
- AutoFocus Tool Chain TUM-I1021, November 2010. Details URL BIB
- AutoFOCUS3 - A Scientific Tool Prototype for Model-Based Development of Component-Based, Reactive, Distributed Systems In Model-Based Engineering of Embedded Real-Time Systems, volume 6100 of LNCS, . Springer, Berlin Heidelberg, 2010. Details DOI BIB