Bernhard Josko

8 papers and 75 indexed citations i.

About

Bernhard Josko has authored 8 papers that have received a total of 75 indexed citations. This includes 5 papers in Computational Theory and Mathematics, 4 papers in Software and 3 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (4 papers), Embedded Systems Design Techniques (3 papers) and Model-Driven Software Engineering Techniques (3 papers). Bernhard Josko is often cited by papers focused on Formal Methods in Verification (4 papers), Embedded Systems Design Techniques (3 papers) and Model-Driven Software Engineering Techniques (3 papers) and collaborates with scholars based in Germany, France and Israel. Bernhard Josko's co-authors include Werner Damm, Thomas Peikenkamp, Arnaud Cuccuru, Thomas Wolf and Qin Ma and has published in prestigious journals such as SAE technical papers on CD-ROM/SAE technical paper series, Acta Informatica and Science of Computer Programming

In The Last Decade

Rankless by CCL
2025