Netzwerk-Profile
GitHub - damien-pous/relation-algebra: Relation algebra library for...
github.com
Relation algebra library for Coq. Contribute to damien-pous/relation-algebra development by creating an account on GitHub.
GitHub - insastucke/RAProgramVerification
github.com
Contribute to insastucke/RAProgramVerification development by creating an account on GitHub.
Firmen-Mitarbeiter
Dipl.-Math. Insa Stucke — Computer-Aided Program Development Group...
www.rpe.informatik.uni-kiel.de
Fields of interest. relation algebra; graph algorithms; software verification; automated and interactive theorem provers; Publications. Insa Stucke: Reasoning about ...
Publikationen — Arbeitsgruppe Rechnergestützte Programmentwicklung...
www.rpe.informatik.uni-kiel.de
Publikationen. Rudolf Berghammer, Insa Stucke ...
Team - Xenium AGwww.xenium.com › unternehmen › team
www.xenium.com
Dr. Insa Stucke. Felix Susenburger. Dr. Andreas Taut. Sebastian Thoma. Dr. Marion Triplet. Marvin Vogt. Dr. Markus Weber. Tobias Weber. Dr. Florian Werner.
Projekte
EU H2020 Project "COVECE (Coinduction for Verification and ...www.fabiodisconzi.com › open-h2020 › projects
www.fabiodisconzi.com
2016, Paul Brunet, Damien Pous, Insa Stucke ... some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.
Bücher
Cardinality of relations and relational approximation algorithmsin.art1lib.com › book
hi.art1lib.com
... Peter Höfner b,c , Insa Stucke a a b c Institut für Informatik, Christian-Albrechts-Universität zu KielKiel, Germany NICTA, ...
Relational and Algebraic Methods in Computer Science: 14th...
books.google.de
This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS held in...
Trends in Functional Programming: 15th International Symposium, TFP...
books.google.de
This book constitutes the thoroughly refereed revised selected papers of the 15th International Symposium on Trends in Functional Programming, TFP 2014, held...
Declarative Programming and Knowledge Management: Declarative...
books.google.de
Hats off to: Fabian Reck for the detailed explanation of Curry, Rudolf Berghammer for encouraging this work and additional examples, Insa Stucke for general ...
Dokumente zum Namen
[PDF] University Halle-Wittenberg Institute of Computer Science - Complangwww.complang.tuwien.ac.at › kps2013 › Tagungsband_kps2013
www.complang.tuwien.ac.at
Insa Stucke Generierung von Informationssystemen mit. Integritätsbedingungen und Sicherheitseigenschaften. Mathias Weber Typprüfung mittels.
Wissenschaftliche Veröffentlichungen
dblp: Relational and Algebraic Methods in Computer Science 2015
dblp.uni-trier.de
Bibliographic content of Relational and Algebraic Methods in Computer Science 2015
Prof. Dr. Rudolf Berghammer — Computer-Aided Program Development...
www.rpe.informatik.uni-kiel.de
Prof. Dr. Rudolf Berghammer; Informationen über Informationen für ≡ Computer-Aided Program Development Group. Navigation ... Dipl.-Math. Insa Stucke ...
Veröffentlichungen allgemein
Automated Verification of Relational While-Programs | SpringerLink
link.springer.com
Software verification is essential for safety-critical systems. In this paper, we il…rate that some verification tasks can be done fully automatically. We...
Rudolf Berghammer - Wikidatawww.wikidata.org › wiki
www.wikidata.org
Insa Stucke. 1 reference. stated in · Mathematics Genealogy Project. Identifiers. VIAF ID · reference. imported from Wikimedia project.
Relational and Algebraic Methods in Computer Science | SpringerLink
link.springer.com
This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga,...
Relational and Algebraic Methods in Computer Science - 14th...
researchr.org
... Abstract Dynamic FramesHan-Hing Dang [doi] · Automated Verification of Relational While-ProgramsRudolf Berghammer, Peter Höfner, Insa Stucke.
Sonstiges
Insa Stucke - researchr alias
researchr.org
Berghammer, Peter Höfner, Insa Stucke. RelMiCS 2015: [doi] ...
Cardinalities of Finite Relations in Coq (Rough Diamond ...hal-udl.archives-ouvertes.fr › ...
hal-udl.archives-ouvertes.fr
Paul Brunet 1 Damien Pous 1 Insa Stucke 2. Details. 1 LIP - Laboratoire de l'Informatique du Parallélisme. 2 Institut für Informatik.
Cardinality of relations and relational approximation algorithms
www.infona.pl
Cardinality of relations and relational approximation algorithms. Rudolf Berghammer, Peter Höfner, Insa Stucke · Details · Contributors · Fields of science ...
PACE project - PDF Free Downloaddochero.tips › pace-project
dochero.tips
D. Pous invited Insa Stucke (Kiel University) in july and september 2015, to collaborate on scientific questions related to Task 3.
Accepted Papers – ITP 2016: Interactive Theorem Proving
itp2016.inria.fr
Paul Brunet, Damien Pous, Insa Stucke. Cardinalities of Relations in Coq Ken Roe, Scott Smith. CoqPIE: An IDE aimed at improving proof development ...
Cardinalities of Finite Relations in Coq | springerprofessional.de
www.springerprofessional.de
We present an extension of a Coq library for relation algebras, where we provide support for cardinals in a point-free way. This makes it possible to
CiteSeerX — Automated Verification of Relational While-Programs
citeseerx.ist.psu.edu
... Monitor Changes. by Rudolf Berghammer , Peter Höfner , Insa Stucke ... author = {Rudolf Berghammer and Peter Höfner and Insa Stucke}, title = {Automated ...
RAMiCS 2017
www.ens-lyon.fr
Nikolai Krivulin. 11h00, Reasoning about Cardinalities of Relations with Applications Supported by Proof Assistants, Insa Stucke. 11h30, Discussions and lunch.
Publication list
paul.brunet-zamansky.fr
c. Cardinalities of finite relations in coq. In ITP (2016). With Damien Pous and Insa Stucke. [link] Show abstract. c. Algorithms for kleene algebra with converse.
Curriculum Vitae - Peter Höfnerwww.hoefner-online.de › home › html
www.hoefner-online.de
· Insa Stucke: Verification of Relational Programs Supported by Theorem Provers (PhD), Christian-Albrechts-Universität zu Kiel, Germany.
RAMiCS th Int. Conf. on Relational and Algebraic Methods in Computer...
docplayer.net
... (Andreas Zelend) On a Monadic Encoding of Continuous Behaviour (Renato Neves) Relational Approximation of Maximum Independent Sets (Insa Stucke).
Registration | RAMiCS (Sep 28-Oct 01)
ramics2015.di.uminho.pt
... Romania, Universitatea din Bucuresti. Ian Hodkinson, .uk, UK, Imperial College. Insa Stucke, -kiel.de, Germany ...
juli august c wiker sportverein von ev ... wsv vereins ...vdocuments.pub › Documents
vdocuments.pub
· Insa Stucke. Tim Farin Hellriegel. Tanja Ballach-Tekin. Elin Ballach-Tekin. Lily Böger. Marie Böger. Mats Ulrich. Svenja Senkale.
Tool-Based Verification of a Relational Vertex Coloring Program |...
www.springerprofessional.de
We present different approaches of using a special purpose computer algebra system and theorem provers in software verification. To this end, we
sortiert nach Relevanz / Datum