Axel Hessenkämper

According to our database, Axel Hessenkämper authored at least 5 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Formal Methods for a Digital Industry - Industrial Track at ISoLA 2022.

Axel Hessenkämper, Falk Howar, Hardi Hungar, Andreas Rausch

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

2018

Digital Transformation Trends: Industry 4.0, Automation, and AI - Industrial Track at ISoLA 2018.

Axel Hessenkämper, Falk Howar, Andreas Rausch

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2016

Effective and Efficient Customization Through Lean Trans-Departmental Configuration.

Barbara Steffen, Steve Boßelmann, Axel Hessenkämper

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

Towards Standardization of Custom Projects via Project Profile Matching.

Axel Hessenkämper, Barbara Steffen

Proceedings of the Software Business - 6th International Conference, 2015

2014

Global Communication Infrastructure: Towards Standardization of Customized Projects via Profile Matching.

Axel Hessenkämper, Barbara Steffen, Steve Boßelmann

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2014