search result

Cover von RacerF

RacerF

Lightweight Static Data Race Detection for C Code (Experience Paper)
Year: 2025
Media group: LIPIcs
Cover von Hijacking the Linux Kernel

Hijacking the Linux Kernel

Year: 2011
Media group: ARTICLE
Cover von Part II.; Tools and Algorithms for the Construction and Analysis of Systems
25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6 - 11, 2019, Proceedings, Part II
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in computer science; 11428
Media group: MONOGRAPHIE
Cover von Part I.; Tools and Algorithms for the Construction and Analysis of Systems
25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6 - 11, 2019, Proceedings, Part I
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in computer science : ARCoSS; 11427
Media group: MONOGRAPHIE
Cover von Mathematical and Engineering Methods in Computer Science
10th International Doctoral Workshop, MEMICS 2015, Telc, Czech Republic, October 23 - 25, 2015, Revised Selected Papers
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9548
Media group: MONOGRAPHIE
Cover von Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10)
Selected Papers : October 22 – 24, 2010, Mikulov, Czech Republic
Search for this author
Year: 2011
Publisher: Wadern, LZI
Series: OpenAccess Series in Informatics; 16
Media group: OASICS
Cover von Mathematical and Engineering Methods in Computer Science
7th International Doctoral Workshop, Lednice, Czech Republic, October 14 - 16, 2011, Revised Selected Papers
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7119
Media group: MONOGRAPHIE
Cover von Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
(MEMICS'09) : November 13 - 15, 2009, Znojmo, Czech Republic
Search for this author
Year: 2009
Publisher: Wadern, LZI
Series: OpenAccess Series in Informatics; 13
Media group: OASICS
Cover von Mathematical and Engineering Methods in Computer Science
8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25 - 28, 2012, Revised Selected Papers
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7721
Media group: MONOGRAPHIE
Cover von Low-Level Bi-Abduction

Low-Level Bi-Abduction

Author: Zuleger, Florian
Year: 2022
Media group: LIPIcs
OPEN V 11.1.0.0