Model-Based Testing Design for Embedded Automotive Software. SAE 2009 World Congress, Model-Based Design of Embedded SystemsSAE 2009 World Congress, Model-Based Design of Embedded Systems.
.
2009. Model-Based Testing of Software Product Lines. 7th International Conference on Software Testing, ICSTEST 20067th International Conference on Software Testing, ICSTEST 2006.
.
2006. Model-based verification of embedded software. IEEE Computer. 42
.
2009. Model-Centered Customizable Architectural Design Decisions Management. The 21st Australian Software Engineering Conference (ASWEC)The 21st Australian Software Engineering Conference (ASWEC).
.
2010. Model-Centric Software Architecture Reconstruction, Software Practice and Experience. Software Practice & Experience. 36
.
2006. A Model-Driven Approach to the Engineering of Multiple User Interfaces. Workshop at the ACM/IEEE 9th Conference on Model Driven Engineering Languages and Systems MoDELS / UML 2006.
.
2006. Model-Driven Automation for Simulation-Based Functional Verification. ACM Transactions on Design Automation of Electronic Systems. 17
.
2012. Model-Driven Derivation of Product Architectures. 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007)22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007).
.
2007. Model-driven development and evolution of customized user interfaces. In Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems (EICS '13)In Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems (EICS '13).
.
2013. Model-Driven Development of Interactive and Integrated 2D and 3D User Interfaces using MML. 16th International Conference on Web3D ACM Conference16th International Conference on Web3D ACM Conference.
.
2011. Model-Driven Development of Interactive Multimedia Applications with MML. Model-Driven Development of Advanced User InterfacesModel-Driven Development of Advanced User Interfaces.
.
2011. Model-Driven Engineering in Digital Thread Platforms: A Practical Use Case and Future Challenges. Leveraging Applications of Formal Methods, Verification and Validation. Practice.
.
2022. Model-driven planning and monitoring of long-term software product line evolution. In Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '13).
.
2013. Model-driven support for product line evolution on feature level. Journal of Systems and Software. 85
.
2012. Model-Driven Theme/UML. Transactions on Aspect-Oriented Software Development. VI Lecture Notes in Computer Science
.
2009. Model-Driven-Design of NREn Bridging Application: Case Study AfgREN. 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC).
.
2020. Modeling and Simulation of Multi-tier Enterprise IT System . Pacific Asia Conference on Information Systems.
.
2018. Modeling Directly Executable Processes for Healthcare Professionals with XMDD. Service Business Model Innovation in Healthcare and Hospital Management: Models, Strategies, ToolsService Business Model Innovation in Healthcare and Hospital Management: Models, Strategies, Tools.
.
2017. Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods. Journal of Systems and Software Modelling. 10
.
2011. Modeling Pervasive Platforms and Digital Services for Smart Urban Transformation Using an Enterprise Architecture Framework. Information Technology & People. 34:1285-1312.
.
2021. Modeling Rationale over Time to support Product Line Evolution Planning. Sixth International Workshop on Variability Modelling of Software-intensive Systems.
.
2012. Modeling Service-Oriented Architectures of Mobile Applications by Extending SoaML with Ambients. Proceedings of the 35th Euromicro Software Engineering and Advanced Applications (SEAA) ConferenceProceedings of the 35th Euromicro Software Engineering and Advanced Applications (SEAA) Conference.
.
2009. Modeling Swarm Robotics with KnowLang. Nature of Computation and CommunicationNature of Computation and Communication.
.
2015. Modeling the Image-processing Behavior of the NASA Voyager Mission with ASSL. The 3rd IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT’09)The 3rd IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT’09).
.
2009. Modellbasierte Generierung von Testfallszenarien für den aufwandsoptimierten Integrationstest Informatik. Informatik für Menschen - Workshop Modellbasiertes Testen.
.
2006.