People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
Re: Kylix 3 & Suse 9.1 . by Willibald Krenn » Fri, 21 May 2004 22:54:50 GMT. Max schrieb: AFAIK Kylix 3 runs on SuSE 9.1 (even AMD64). However, there are some ...
Abstract About a decade after the initial proposal to use model checkers for the ... Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn
Franz Wotawa, Willibald Krenn; Towards a Real-Time Systems Compiler Fabian Scheler, Martin Mitzlaff, Wolfgang Schroeder-Preikschat, Horst Schirmeier
@INPROCEEDINGS{KrennA09, author = {Willibald Krenn and Bernhard K. Aichernig}, title = {Test Case Generation by Contract Mutation in Spec\#}, booktitle = {Proceedings of Fifth ...
@INPROCEEDINGS{KrennA09, author = {Willibald Krenn and Bernhard K. Aichernig}, title = {Test Case Generation by Contract Mutation in Spec\#}, booktitle = {Proceedings of Fifth ...
Re: Kylix 3 & Suse 9.1 . by Willibald Krenn » Fri, 21 May 2004 22:54:50 GMT. Max schrieb: AFAIK Kylix 3 runs on SuSE 9.1 (even AMD64). However, there are ...
@INPROCEEDINGS{KrennA09, author = {Willibald Krenn and Bernhard K. Aichernig}, title = {Test Case Generation by Contract Mutation in Spec\#}, booktitle ...
Abstract About a decade after the initial proposal to use model checkers for ... Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn
Willibald Krenn received his Bachelor's degree from Graz University of Technology. He then completed the "Master's programme Telematics" in 2005 (Title of ...
Willibald Krenn c/o Maxeler Technologies 1 Down Place W6 9JH, London UK E ...
Willibald Krenn c/o Maxeler Technologies 1 Down Place W6 9JH, London UK E ...
London, United Kingdom - Acceleration Architect at Maxeler TechnologiesView Willibald Krenn's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Willibald Krenn ...
View the profiles of professionals named Willibald Krenn on LinkedIn. There ...
Wolfgang Herzner, Rupert Schlick, W. Schütz, Harald Brandl, Willibald Krenn: Towards generation of efficient test cases from UML/OCL models for complex ...
by W Krenn -
3 posts - 2 authors - Last post: 16 Oct 20102010-10-16 13:21, Willibald Krenn, Issue Monitored: Willibald Krenn ... 2010-11- 14 23:08, Willibald Krenn, Issue End Monitor: Willibald ...
Linkedin
Graz University of Technology (Educational Institution; Higher Education industry): Research Assistant, (April 2008-August 2010) Model Base...