Florian Furbach und Verification - Info zur Person

(1 - 14 von 14

)

programmeRadhia Cousot Award

staticanalysis.org

Hernan Ponce-De-Leon, Florian Furbach, Keijo Heljanko and Roland Meyer. A Context-Sensitive Memory Model for Verification of C/C++ Programs. Arie Gurfinkel ...

Programmeetaps 2024

etaps.org

— Krishna, Florian Furbach, Adwait A. Godbole and Yacoub G. Hendi. Parameterized Verification under TSO with Data Types; Marck van der Vegt ...

Juli BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings Natalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko und Roland Meyer In Computer Aided Verification (CAV) , Band von LNCS, Springer, Cham. Details DOI BIB

Florian FURBACH | Researcher | Master of Science | Uppsala...

www.researchgate.net

Join for free. My main research interests are synthesis and program verification. I examined the verification of concurrent programs under weak memory models. In particular, I studied the ...

Verification with Memory Models as Input - Florian FurbachGoogle Books

books.google.com

Florian Furbach. Contributor, Roland Meyer. Publisher, Technische Universität Kaiserslautern, Export Citation, BiBTeX EndNote RefMan. About Google Books ...

Parameterized Verification under TSO with Data TypesarXiv

arxiv.org

von PA Abdulla · · Zitiert von: 1 — Parameterized Verification under TSO with Data Types. Authors:Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Godbole, Yacoub ...

Parameterized Verification under TSO with Data TypesACM Digital Library

dl.acm.org

von PA Abdulla · · Zitiert von: 1 — Florian Furbach. Uppsala University, Uppsala, Sweden. Uppsala ... Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Godbole, ...

FB-Informatik: Promotionen - RPTU

cs.rptu.de

WebFlorian Furbach: Verification with Memory Models as Input : Markus Engel: Robust Channel Hopping Sequences in Cognitive Radio Networks : Arpan Bharat …

26th International Conference, TACAS 2020, held as part ...WorldCat

www.worldcat.org

... Florian Furbach, Keijo Heljanko, and Roland Meyer. VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution) / Mohammad Afzal ...

Verification with Memory Models as Input - RPTU

kluedo.ub.rptu.de

WebFlorian Furbach. To improve efficiency of memory accesses, modern multiprocessor architectures implement a whole range of different weak memory models. The behavior of …

Florian Furbach

easychair.org

: 31ST INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION. PROGRAMAUTHORSKEYWORDS. Florian Furbach. Organization: TU Braunschweig Institute of Theoretical Computer Science. Pages in this Program ... 含まれない: Kaiserslautern" ‎| 含めて検索: Kaiserslautern"