News
Campus Event Calendar: Gerhard Schellhorn ( in )
domino.mpi-inf.mpg.de
What and Who. Title: Verification of Abstract State Machines. Speaker: Gerhard Schellhorn. coming from: Universität Ulm. Speakers Bio:.
DSCI 2011: Dependable Software for Critical Infrastructures
formal.kastel.kit.edu
16: :00, Dominik Haneberg, Maximilian Junker, Gerhard Schellhorn, Wolfgang Reif and Gidon Ernst: Simulating a Flash File System with CoreASM and ...
Program – SEFM 2018
www.isf.cs.tu-bs.de
FASTLANE Is Opaque – a Case Study in Mechanized Proofs of Opacity. (Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jürgen König, and ...
Netzwerk-Profile
bibtex/biblio.bib at master · c-cube/bibtex · GitHub
github.com
repository for sharing bibtex files. Contribute to c-cube/bibtex development by creating an account on GitHub.
Gerhard+Schellhorn | BibSonomy
www.bibsonomy.org
The blue social bookmark and publication sharing system.
Gidon Ernst
people.eng.unimelb.edu.au
(github, with Wolfgang Reif, Gerhard Schellhorn, Jörg Pfähler, Stefan Bodenmüller); KIV: interactive theorem prover and software verification platform (see also ...
Russell/bib-joehurd.bib at master · mattam82/Russell · GitHub
github.com
Contribute to mattam82/Russell development by creating an account on GitHub.
Business-Profile
patentbuddy: Gerhard Schellhorn
BROSE FAHRZEUGTEILE GMBH & CO. KG, COBURG, Coburg, DE
Firmen-Mitarbeiter
Dr. Gerhard Schellhorn - Uni-Augsburgwww.uni-augsburg.de › ... › Team
www.uni-augsburg.de
Gerhard Schellhorn, Stefan Bodenmüller, Jörg Pfähler and Wolfgang Reif Berichte der Fakultät für Angewandte Informatik der Universität Augsburg
Private Homepages
Gerhard Schellhorn Namen Analyse
gerhard-schellhorn.deunamen.com
DeuNamen.com - Gerhard Schellhorn Namen Analyse und statistische für Deutschland und Österreich
Ausbildung
Computer Science: Recent publications by John Derrick
staffwww.dcs.shef.ac.uk
Recent publications by John Derrick, University of Sheffield, UK.
Bücher
oDOBS - Author page: Gerhard Schellhorn
lupus.cs.uni-dortmund.de
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 ...
oDOBS - Author page: Wolfgang Reif
lupus.cs.uni-dortmund.de
Michael BALSER, Christoph DUELLI, Wolfgang REIF, Gerhard SCHELLHORN: Verifying Concurrent Systems with Symbolic Execution ; 36: EE: Wolfgang REIF, Gerhard SCHELLHORN, Tobias ...
Automated Technology for Verification and Analysis: 6th International...
books.google.de
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in...
FM 2006: Formal Methods: 14th International Symposium on Formal...
books.google.de
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August The book...
Musik
Full text of "Integration of software specification techniques for...
archive.org
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, ...
Dokumente zum Namen
[ ] A Formal Model of a Virtual Filesystem Switch
arxiv.org
Authors:Gidon Ernst (University of Augsburg), Gerhard Schellhorn (University of Augsburg), Dominik Haneberg (University of Augsburg), Jörg ...
Gerhard Schellhorn - Home - ACM Digital Library
dl.acm.org
Gerhard Schellhorn. Search within Gerhard Schellhorn's work. Search Search. Home Gerhard Schellhorn. Gerhard Schellhorn. Skip slideshow. Most frequent co-Author ...
[ v1] A Formal Model of a Virtual Filesystem Switch
arxiv.org
DBLP - CS Bibliography. listing | bibtex · Gidon Ernst · Gerhard Schellhorn · Dominik Haneberg · Jörg Pfähler · Wolfgang Reif ...
Mechanized proofs of opacity: a comparison of two techniques1library.net › Other
1library.net
Gerhard Schellhorn Department of Computer Science, Brunel University, London, UK 3Institut f ¨ur Informatik, Universit¨at Augsburg, Augsburg, ...
Wissenschaftliche Veröffentlichungen
Science of Computer Programming | Special issue based on the
www.sciencedirect.com
Special issue based on the Refinement Workshop (Turku, 27 May 2008). Edited by Eerke Boiten, John Derrick, Gerhard Schellhorn. Volume 76, Issue 9, ...
Search results for "Gerhard Schellhorn" – FacetedDBLP
dblp.l3s.uni-hannover.de
Publications of "Gerhard Schellhorn" ( http://dblp.L3S.de/Authors/Gerhard_Schellhorn ) Author page on DBLP Author page in RDF Community of Gerhard Schellhorn in …
Veröffentlichungen allgemein
A Compositional Proof Method for Linearizability Applied to a...
link.springer.com
We introduce a compositional, complete proof method for linearizability that combines temporal logic, rely-guarantee reasoning and possibilities. The basic...
Abstract Specification of the UBIFS File System for Flash Memory |...
link.springer.com
Today we see an increasing demand for flash memory because it has certain advantages like resistance against kinetic shock. However, reliable data storage also...
Gerhard Schellhorn - Deutsche Digitale Bibliothek
www.deutsche-digitale-bibliothek.de
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.
RGITL: A temporal logic framework for compositional reasoning about...
link.springer.com
RGITL: A temporal logic framework for compositional reasoning about interleaved programs. Gerhard Schellhorn,; Bogdan Tofan,; Gidon Ernst, ...
Artikel & Meinungen
ASM mailing list (): 2nd CALL FOR PARTICIPATIO
pages.mtu.edu
Foundations of Workflow Specifications Lunch Invited talk Gerhard Schellhorn (University of Augsburg). Refinement of ...
Schloss Dagstuhl : Participant List
www.dagstuhl.de
Helmut Seidl (TU München, DE) Zhong Shao (Yale University, US) K.C. Shashidhar (IMEC - Leuven, BE) Reinhard Wilhelm (Universität des Saarlandes, DE)
Sonstiges
VSTTE Program - vstte2013
sites.google.com
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...
docplayer.org
Formale Methoden Alexander Knapp, Gerhard Schellhorn Universität Augsburg Formale Methoden: Ziele (1) Grundlagen für die Softwareerstellung Mathematik ...
Gerhard Schellhorn's research works | Universität Augsburg,...
www.researchgate.net
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
Schellhorn - Names Encyclopedia
www.namespedia.com
Gerhard Schellhorn (2) Gerd Schellhorn (2) Egon Schellhorn (2) Annette Schellhorn (2) Daniela Schellhorn (2) Birgit Schellhorn (2) Lucien Schellhorn (2)
Gerhard Schellhorn
www.infona.pl
Search results for: Gerhard Schellhorn ... Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn · Lecture Notes in Computer Science ...
Gerhard Schellhorn ( ) - ORCID
orcid.org
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.
Gerhard Schellhorn
easychair.org
Organization: Universitaet Augsburg. Web site: http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/schellhorn/ ...
Gerhard Schellhorn
www.infona.pl
Publication type. article (15); book (12). Keywords. REFINEMENT (6) ...
Flashix: KIV specifications - Das KIV Systemkiv.isse.de › projects-v8 › archive › flash
kiv.isse.de
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/ :.
Dublin Concurrency Workshop 2011
www.scss.tcd.ie
Gerhard Schellhorn (University of Augsburg): Verification of Lock-Free Algorithms with RGITL. Abstract: The talk will describe a variant of ITL, which permits to ...
Search Sciweavers | Sciweavers
www.sciweavers.org
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif. claim paper ... On-Demand Refinement of Dependent Types ... We propose a novel approach to applicatio.
J.UCS, Volume 7
vldbarc.org
Wolfgang Reif, Gerhard Schellhorn: J.UCS Special Issue on Graphics Content in Digital Libraries: Old Problems, Recent Solutions, Future Demands
KIT - Anwendungsorientierte Formale Verifikation - Veröffentlichungen
formal.kastel.kit.edu
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 ...
Mitarbeiter
lfm.iti.kit.edu
Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, ... , Gerhard Schellhorn, Bogdan Tofan , Julian ...
Quiescent Consistency: Defining and Verifying Relaxed Linearizability...
www.springerprofessional.de
Concurrent data structures like stacks, sets or queues need to be highly optimized to provide large degrees of parallelism with reduced contention.
13th International Conference on integrated Formal Methods - Accepted...
ifm2017.di.unito.it
Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn and Wolfgang Reif. Modular Verification of Order-Preserving Write-Back Caches. Mark Utting ...
wolff
www.lri.fr
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, ...
A concept-driven construction of the mondex protocol using three...
www.research.manchester.ac.uk
{\circledC} Springer-Verlag Berlin Heidelberg.",. author = "Gerhard Schellhorn and Richard Banach",. year = "2008",. doi = " _6" ...
Tutorial | SPP RS3
www.spp-rs3.de
Tutorial (October , 2011) Topics. The overall topic of this tutorial was Information Flow Security and Verification Tools Dr. Gerhard Schellhorn, ...
sortiert nach Relevanz / Datum