Author of the publication

Simulating a Flash File System with CoreASM and Eclipse.

, , , , and . GI-Jahrestagung, volume P-192 of LNI, page 355. GI, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A formal systems engineering approach in practice: an experience report., , , , , and . SER&IPs, page 34-41. ACM, (2014)Siemens Rail - Industrial Case Study: Model-based Development of a Train Guard MT Function., and . Software Engineering & Management, volume P-239 of LNI, page 231. GI, (2015)A Formal Systems Engineering Approach in Practice: An Experience Report, , , , , and . Proceedings of the 1st International Workshop on Software Engineering Research and Industrial Practices, page 34--41. New York, NY, USA, ACM, (2014)Simulating a Flash File System with CoreASM and Eclipse., , , , and . GI-Jahrestagung, volume P-192 of LNI, page 355. GI, (2011)How Much Does Unused Code Matter for Maintenance?, , , , , and . 34th International Conference on Software Engineering, page 1102--1111. (June 2012)Automated Generation of Test Models from Semi-Structured Requirements., , , and . RE Workshops, page 263-269. IEEE, (2019)Specmate: Automated Creation of Test Cases from Acceptance Criteria., , , , , and . Software Engineering, volume P-310 of LNI, page 37-38. Gesellschaft für Informatik e.V., (2021)Principles and a Process for Successful Industry Cooperation - The Case of TUM and Munich Re., , , , , , , , and . SER&IP@ICSE, page 50-53. IEEE, (2015)Supporting Concurrent Development of Requirements and Architecture: A Model-based Approach, , and . Proceedings of MODELSWARD'14, (2014)SPECMATE: Automated Creation of Test Cases from Acceptance Criteria., , , , , and . ICST, page 321-331. IEEE, (2020)