Steve Boßelmann
Orcid: 0000-0001-9454-6757
According to our database1,
Steve Boßelmann
authored at least 21 papers
between 2012 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Proceedings of the Combined Power of Research, Education, and Dissemination, 2025
2024
CoRR, 2024
2023
2022
Executable Documentation: From Documentation Languages to Purpose-Specific Languages.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022
2018
GOLD: Global Organization aLignment and Decision - Towards the Hierarchical Integration of Heterogeneous Business Models.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
2017
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2017
Proceedings of the 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era, 2017
Proceedings of the Service Business Model Innovation in Healthcare and Hospital Management, 2017
Proceedings of the Service Business Model Innovation in Healthcare and Hospital Management, 2017
2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
2015
Der Business Model Developer - Entwicklung eines Tools zur Erstellung und Analyse von Geschäftsmodellen.
Proceedings of the Dienstleistungspotenziale und Geschäftsmodelle in der Personalisierten Medizin, 2015
2014
Global Communication Infrastructure: Towards Standardization of Customized Projects via Profile Matching.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
2013
Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain.
J. Integr. Des. Process. Sci., 2013
Proceedings of the Software Business. From Physical Products to Software Services and Solutions, 2013
2012
Proceedings of the Conquering Complexity, 2012