Oleg Travkin und Proof - Info zur Person

(1 - 14 von 15

)

Dr. Gerhard SchellhornUni Augsburg

www.uni-augsburg.de

Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jürgen König and Heike Wehrheim FastLane is opaque – a case study in mechanized proofs of opacity.

Prof. Dr. Heike WehrheimUni Oldenburg

uol.de

author = {John Derrick and Simon Doherty and Brijesh Dongol and Gerhard Schellhorn and Oleg Travkin and Heike Wehrheim}, title = {Mechanized proofs of ...

Hardware and Software: Verification and Testing: 10th ...google.de

books.google.de

Handling TSO in Mechanized Linearizability Proofs Oleg Travkin and Heike Wehrheim Universität Paderborn, Institut für Informatik, Paderborn, ...

Travkin | Electronic Communications of the EASSTTU Berlin

journal.ub.tu-berlin.de

von O Travkin · · Zitiert von: 5 — Proving Linearizability of Multiset with Local Proof Obligations. Oleg Travkin, Heike Wehrheim, Gerhard Schellhorn. Abstract. Linearizability is a key ...

Oleg TravkinDBLP

dblp.org

— John Derrick , Simon Doherty, Brijesh Dongol , Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim: Mechanized proofs of opacity: a comparison ...

Gerhard Schellhorn - DBLP - Schloss Dagstuhldblp.dagstuhl.de › Persons

dblp.dagstuhl.de

Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim: Towards a Thread-Local Proof Technique for Starvation Freedom. IFM 2016:

Handling TSO in Mechanized Linearizability ProofsSpringer

link.springer.com

von O Travkin · · Zitiert von: 13 — Oleg Travkin &; Heike Wehrheim. Conference paper Accesses. 7 Citations. Part of the Lecture Notes in Computer Science book series (LNPSE,volume 8855) ...

JISCMail - PROCOS Archives

www.jiscmail.ac.uk

Oleg Travkin, Heike Wehrheim and Gerhard Schellhorn. Proving Linearizability of Multiset with Local Proof Obligations. - Faron Moller, Hoang ...

Alle Infos zum Namen "Oleg Travkin"

Proof of ConceptpmOne

www.pmone.com

Oleg Travkin. Senior Data Scientist. pmOne AG Paderborn. · + Content wird geladen. Bitte warten!

[Caml-list] iFM Call for Participation - arcInria

sympa.inria.fr

— Gerhard Schellhorn, Oleg Travkin and Heike Wehrheim. "Towards a Thread-Local Proof Technique for Starvation Freedom"

Publications by 'Monika Wedel' - researchr aliasresearchr.org › alias › monika-wedel

researchr.org

FastLane Is Opaque - a Case Study in Mechanized Proofs of OpacityGerhard Schellhorn, Monika Wedel, Oleg Travkin, Jürgen König, Heike Wehrheim.

Mechanized proofs of opacity: a comparison of two techniques

www.infona.pl

John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim · Details · Contributors · Fields of science · Bibliography ...

[Caml-list] iFM Call for Participation

inbox.vuxu.org

"Formal Verification of Safety PLC Based Control Software" - Gerhard Schellhorn, Oleg Travkin and Heike Wehrheim. "Towards a Thread-Local Proof Technique ...

TDGS - "Brijesh Dongol"

juliette.lsi.us.es

Brijesh Dongol, Oleg Travkin, John Derrick, Heike Wehrheim · ICTACFetch | Report | Google · Simplifying proofs of linearisability using layers of ...

Verwandte Suchanfragen zu Oleg Travkin

Steffen Becker
Jürgen König
Ekkart Kindler

Gerhard Schellhorn
Hartmut Kleimann
David Schmelter

Sandrina Kleimann

Personen
Vorname "Oleg" (2881)
Name "Travkin" (3)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Oleg Travkin und Proof Person-Info