136 Infos zu Gerhard Schellhorn

6 Aktuelle Nachrichten

What and Who. Title: Verification of Abstract State Machines. Speaker: Gerhard Schellhorn. coming from: Universität Ulm. Speakers Bio:.

16: :00, Dominik Haneberg, Maximilian Junker, Gerhard Schellhorn, Wolfgang Reif and Gidon Ernst: Simulating a Flash File System with CoreASM and ...

FASTLANE Is Opaque – a Case Study in Mechanized Proofs of Opacity. (Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jürgen König, and ...

International Conference on Integrated Formal Methods

1  Bilder zu Gerhard Schellhorn

5 Profile in Sozialen Netzwerken

repository for sharing bibtex files. Contribute to c-cube/bibtex development by creating an account on GitHub.

The blue social bookmark and publication sharing system.

(github, with Wolfgang Reif, Gerhard Schellhorn, Jörg Pfähler, Stefan Bodenmüller); KIV: interactive theorem prover and software verification platform (see also ...

Contribute to mattam82/Russell development by creating an account on GitHub.

1 Business-Profile

BROSE FAHRZEUGTEILE GMBH & CO. KG, COBURG, Coburg, DE

2 Firmen-Mitarbeiter

Gerhard Schellhorn, Stefan Bodenmüller, Jörg Pfähler and Wolfgang Reif Berichte der Fakultät für Angewandte Informatik der Universität Augsburg

1 Persönliche Webseiten

DeuNamen.com - Gerhard Schellhorn Namen Analyse und statistische für Deutschland und Österreich

1 Infos zur Ausbildung

Recent publications by John Derrick, University of Sheffield, UK.

20 Bücher zum Namen

Author. Author page shows the information on a certain author. The page consists of four main parts. The chronologically listed publications, which were published by the current ...

Michael BALSER, Christoph DUELLI, Wolfgang REIF, Gerhard SCHELLHORN: Verifying Concurrent Systems with Symbolic Execution ; 36: EE: Wolfgang REIF, Gerhard SCHELLHORN, Tobias ...

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in...

This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August The book...

1 Songs & Musik

Basically, the extended version demands a more realistic model of the real world From our brief presentation of the novel descriptions techniques in UML Interactive Verification of Statecharts Andreas Thums, Gerhard Schellhorn, ...

6 Dokumente

Gerhard Schellhorn. Search within Gerhard Schellhorn's work. Search Search. Home Gerhard Schellhorn. Gerhard Schellhorn. Skip slideshow. Most frequent co-Author ...

Authors:Gidon Ernst (University of Augsburg), Gerhard Schellhorn (University of Augsburg), Dominik Haneberg (University of Augsburg), Jörg ...

Gerhard Schellhorn Department of Computer Science, Brunel University, London, UK 3Institut f ¨ur Informatik, Universit¨at Augsburg, Augsburg, ...

DBLP - CS Bibliography. listing | bibtex · Gidon Ernst · Gerhard Schellhorn · Dominik Haneberg · Jörg Pfähler · Wolfgang Reif ...

16 Wissenschaftliche Publikationen

John Derrick, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, Heike Wehrheim: Quiescent Consistency: Defining and Verifying Relaxed Linearizability. FM 2014: [c50] Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif: A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset.

Special issue based on the Refinement Workshop (Turku, 27 May 2008). Edited by Eerke Boiten, John Derrick, Gerhard Schellhorn. Volume 76, Issue 9, ...

Bibliographic content of ABZ 2008

Publications of "Gerhard Schellhorn" ( http://dblp.L3S.de/Authors/Gerhard_Schellhorn ) Author page on DBLP Author page in RDF Community of Gerhard Schellhorn in …

6 Allgemeine Veröffentlichungen

Auf unserer Webseite werden neben den technisch erforderlichen Cookies noch Cookies zur statistischen Auswertung gesetzt. Sie können die Website auch ohne diese Cookies nutzen.

We introduce a compositional, complete proof method for linearizability that combines temporal logic, rely-guarantee reasoning and possibilities. The basic...

Today we see an increasing demand for flash memory because it has certain advantages like resistance against kinetic shock. However, reliable data storage also...

RGITL: A temporal logic framework for compositional reasoning about interleaved programs. Gerhard Schellhorn,; Bogdan Tofan,; Gidon Ernst, ...

2 Meinungen & Artikel

Foundations of Workflow Specifications Lunch Invited talk Gerhard Schellhorn (University of Augsburg). Refinement of ...

Helmut Seidl (TU München, DE) Zhong Shao (Yale University, US) K.C. Shashidhar (IMEC - Leuven, BE) Reinhard Wilhelm (Universität des Saarlandes, DE)

61 Webfunde aus dem Netz

Gerhard Schellhorn's 152 research works with 2,412 citations and 8,547 reads, including: Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems

1. März · ORCID record for Gerhard Schellhorn. ORCID provides an identifier for individuals to use with their name as they engage in research, scholarship, and innovation activities.

Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler and Wolfgang Reif. Verification of a Virtual Filesystem Switch Liang Zou ...

Formale Methoden Alexander Knapp, Gerhard Schellhorn Universität Augsburg Formale Methoden: Ziele (1) Grundlagen für die Softwareerstellung Mathematik ...

Search results for: Gerhard Schellhorn ... Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn · Lecture Notes in Computer Science ...

Gerhard Schellhorn (2) Gerd Schellhorn (2) Egon Schellhorn (2) Annette Schellhorn (2) Daniela Schellhorn (2) Birgit Schellhorn (2) Lucien Schellhorn (2)

Organization: Universitaet Augsburg. Web site: http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/schellhorn/ ...

Publication type. article (15); book (12). Keywords. REFINEMENT (6) ...

Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, and Wolfgang Reif: A ... J. Pfähler, G. Ernst, G. Schellhorn, D. Haneberg, and W. Reif: Formal Specification of an Erase ... The Simulation code is in src/de/uniaugsburg/flashix/ :.

Gerhard Schellhorn (University of Augsburg): Verification of Lock-Free Algorithms with RGITL. Abstract: The talk will describe a variant of ITL, which permits to ...

Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif. claim paper ... On-Demand Refinement of Dependent Types ... We propose a novel approach to applicatio.

Wolfgang Reif, Gerhard Schellhorn: J.UCS Special Issue on Graphics Content in Digital Libraries: Old Problems, Recent Solutions, Future Demands

Reviewed Paper In Proceedings ; Author(s): Wolfgang Ahrendt and Bernhard Beckert and Reiner Hähnle and Wolfram Menzel and Wolfgang Reif and Gerhard Schellhorn and ...

Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, ... , Gerhard Schellhorn, Bogdan Tofan , Julian ...

Concurrent data structures like stacks, sets or queues need to be highly optimized to provide large degrees of parallelism with reduced contention.

Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn and Wolfgang Reif. Modular Verification of Order-Preserving Write-Back Caches. Mark Utting ...

In this paper, we present Isabelle/DOF, a novel Document Ontology Framework on top Interactive development of larger and larger proofs increases the demand for In Dominik Haneberg, Gerhard Schellhorn, and Wolfgang Reif, editors, ...

{\circledC} Springer-Verlag Berlin Heidelberg.",. author = "Gerhard Schellhorn and Richard Banach",. year = "2008",. doi = " _6" ...

Tutorial (October , 2011) Topics. The overall topic of this tutorial was Information Flow Security and Verification Tools Dr. Gerhard Schellhorn, ...