Autor der Publikation

Ensuring portability of Linux applications through standardization and knowledge base driven analysis.

, und . Sci. Comput. Program., (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Automated Formal Testing of C API Using T2C Framework., , und . ISoLA, Volume 17 von Communications in Computer and Information Science, Seite 56-70. Springer, (2008)Formal Methods in Industrial Software Standards Enforcement., , , , , und . Ershov Memorial Conference, Volume 4378 von Lecture Notes in Computer Science, Seite 456-466. Springer, (2006)Ensuring portability of Linux applications through standardization and knowledge base driven analysis., und . Sci. Comput. Program., (2014)A Combined Technique for Automatic Detection of Backward Binary Compatibility Problems., und . Ershov Memorial Conference, Volume 7162 von Lecture Notes in Computer Science, Seite 313-321. Springer, (2011)Backward compatibility of software interfaces: Steps towards automatic verification., und . Programming and Computer Software, 38 (5): 257-267 (2012)Runtime Verification of Linux Kernel Modules Based on Call Interception., und . ICST, Seite 180-189. IEEE Computer Society, (2011)Automatic Analysis of Applications for Portability across Linux Distributions.. ECEASST, (2009)Creating Open Educational Environment based on Open-source Software Projects., , und . CSEDU (2), Seite 235-238. INSTICC Press, (2009)978-989-8111-82-1.Automation of broad sanity test generation., , , , und . Programming and Computer Software, 34 (6): 351-363 (2008)A Flexible Approach to Automated Development of Cross Toolkits for Embedded Systems., und . Ershov Memorial Conference, Volume 5947 von Lecture Notes in Computer Science, Seite 331-343. Springer, (2009)