Florian Furbach und Keijo Heljanko - Info zur Person

(1 - 22 von 22

)

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 ...

GitHub - florianfurbach/Aramis: A memory model synthesizerGitHub

github.com

[3] Natalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer: BMC for Weak Memory Models: Relation Analysis for Compact SMT ...

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

Tools and algorithms for the construction and analysis …

www.gbv.de

WebContents — Part II DARTAGNAN: Bounded Model Checking for Weak Memory Models (Competition Contribution) ^73 Hernán Ponce-de-León, Florian Furbach, Keijo Heljanko,

Tools and Algorithms for the Construction and Analysis of ...google.com

books.google.com

... Florian Furbach, Keijo Heljanko, and Roland Meyer. BMC for weak memory models: Relation analysis for compact SMT encodings. In CAV, volume of LNCS ...

Dartagnan: Bou nded Model Checking for Weak Memory …

www.tcs.cs.tu-bs.de

WebFlorian Furbach Technische Univ ersität Kaiserslautern CITATIONS SEE PROFILE Keijo Heljanko University of Helsinki 161 PUBLICA TIONS1,891 CITA SEE PROFILE Roland Me yer …

[ ] Portability Analysis for Axiomatic Memory Models....

arxiv.org

Title:Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all Models. Authors:Hernán Ponce-de-León, Florian Furbach, Keijo Heljanko, Roland Meyer · Download PDF. Abstract: We present Porthos, the ... 含まれない: Kaiserslautern" ‎| 含めて検索: Kaiserslautern"

BMC with Memory Models as ModulesThe University of Texas at Austin

www.cs.utexas.edu

von H Ponce-de-León · Zitiert von: 20 — [39] Hernán Ponce de León, Florian Furbach, Keijo Heljanko, and Roland. Meyer. Portability analysis for axiomatic memory models. PORTHOS: One tool for all ...

Relation Analysis for Compact SMT EncodingsGitHub

hernanponcedeleon.github.io

von N Gavrilenko · Zitiert von: 45 — Hernán Ponce de León, Florian Furbach, Keijo Heljanko, and Roland Meyer. BMC with memory models as modules. In FMCAD, pages 1–9. IEEE, Christopher ...

Natalia GavrilenkoDBLP

dblp.org

— Natalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko , Roland Meyer: BMC for Weak Memory Models: Relation Analysis for ...

Dartagnan: Bounded Model Checking for Weak Memory ...Springer Link

link.springer.com

von H Ponce-de-León · · Zitiert von: 15 — Natalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko, and. Roland Meyer. BMC for weak memory models: Relation analysis for compact SMT.

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 ...

Static Analysis - 24th International Symposium, SAS researchr.org

researchr.org

— ... Florian Furbach, Keijo Heljanko, Roland Meyer [doi] · Template Polyhedra with a TwistSriram Sankaranarayanan, Mohamed Amin Ben Sassi ...

Dartagnan: Leveraging Compiler Optimizations and the ...Springer Link

link.springer.com

von H Ponce-de-León · · Zitiert von: 5 — Hernán Ponce de León, Florian Furbach, Keijo Heljanko, and Roland Meyer. Dartag- nan: Bounded model checking for weak memory models (competition contribu ...

Accepted Papers · FMCAD 2018The University of Texas at Austin

www.cs.utexas.edu

... Florian Furbach, Keijo Heljanko and Roland Meyer. BMC with Memory Models as Modules Bjørnar Luteberget, Koen Claessen and Christian Johansen. Design-Time ...

BMC for Weak Memory Models: Relation Analysis for Compact ...Aalto University

research.aalto.fi

BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings. Natalia Gavrilenko*, Hernán Ponce-de-León, Florian Furbach, Keijo Heljanko, Roland ...

Dartagnan: Bounded Model Checking for Weak Memory ...National Institutes of Health (.gov)

www.ncbi.nlm.nih.gov

von H Ponce-de-León · Zitiert von: 15 — Natalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko, and Roland Meyer. BMC for weak memory models: Relation analysis ...

Dartagnan: Bounded Model Checking for Weak Memory ...University of Helsinki

researchportal.helsinki.fi

von H Ponce-De-Leon · · Zitiert von: 15 — Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution). Hernan Ponce-De-Leon, Florian Furbach, Keijo Heljanko, Roland Meyer.

Memory model | Publications | CitationsSciSpace by Typeset

typeset.io

Hernán Ponce-de-León, Florian Furbach 1, Keijo Heljanko 2, Roland Meyer 1• Institutions (2). Braunschweig University of Technology 1, University of Helsinki ...

Portability analysis for weak memory models porthos: One tool ...Aalto University

research.aalto.fi

Portability analysis for weak memory models porthos: One tool for all models. Hernán Ponce-de-León*, Florian Furbach, Keijo Heljanko, Roland Meyer. * ...

Portability analysis for weak memory models porthosUniversity of Helsinki

researchportal.helsinki.fi

von H Ponce-de-León · · Zitiert von: 19 — Portability analysis for weak memory models porthos. Hernán Ponce-de-León, Florian Furbach, Keijo Heljanko, Roland Meyer. Research output: Chapter in Book ...

acceptedRadhia Cousot Award

staticanalysis.org

•Hernan Ponce-De-Leon, Florian Furbach, Keijo Heljanko and Roland Meyer. Portability Analysis for Weak Memory Models. Porthos: One Tool for all Models.