CUFinder

Bernhard Kragl

About Bernhard Kragl

Bernhard Kragl, With an exceptional h-index of 8 and a recent h-index of 8 (since 2020), a distinguished researcher at Institute of Science and Technology Austria, specializes in the field of Formal Methods, Verification, Logic, Automated Reasoning.

His recent articles reflect a diverse array of research interests and contributions to the field:

Using lightweight formal methods to validate a key-value storage node in Amazon S3

Verifikation Nebenläufiger Programme

The Civl Verifier

28th EACSL Annual Conference on Computer Science Logic (CSL 2020)

Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization

Monitoring Event Frequencies

Refinement for Structured Concurrent Programs

Inductive Sequentialization of Asynchronous Programs

Bernhard Kragl Information

University

Position

___

Citations(all)

232

Citations(since 2020)

203

Cited By

80

hIndex(all)

8

hIndex(since 2020)

8

i10Index(all)

7

i10Index(since 2020)

7

Email

University Profile Page

Google Scholar

Bernhard Kragl Skills & Research Interests

Formal Methods

Verification

Logic

Automated Reasoning

Top articles of Bernhard Kragl

Using lightweight formal methods to validate a key-value storage node in Amazon S3

2021/10/26

Bernhard Kragl
Bernhard Kragl

H-Index: 4

Verifikation Nebenläufiger Programme

2021

Bernhard Kragl
Bernhard Kragl

H-Index: 4

The Civl Verifier

2021

Bernhard Kragl
Bernhard Kragl

H-Index: 4

28th EACSL Annual Conference on Computer Science Logic (CSL 2020)

2020

Véronique Cortier
Véronique Cortier

H-Index: 24

Anuj Dawar
Anuj Dawar

H-Index: 17

Artur Jeż
Artur Jeż

H-Index: 14

Eduardo Bonelli
Eduardo Bonelli

H-Index: 7

Roberto Maieli
Roberto Maieli

H-Index: 3

Dana Angluin
Dana Angluin

H-Index: 27

Orna Kupferman
Orna Kupferman

H-Index: 26

Paul Brunet
Paul Brunet

H-Index: 7

Anupam Das
Anupam Das

H-Index: 2

Robert Harper
Robert Harper

H-Index: 4

Yijia Chen
Yijia Chen

H-Index: 9

Robin Cockett
Robin Cockett

H-Index: 15

Alessio Mansutti
Alessio Mansutti

H-Index: 6

Thomas Ferrère
Thomas Ferrère

H-Index: 10

Bernhard Kragl
Bernhard Kragl

H-Index: 4

Giulio Guerrieri
Giulio Guerrieri

H-Index: 11

Jurriaan Rot
Jurriaan Rot

H-Index: 11

Tim Lyon
Tim Lyon

H-Index: 4

Alwen Tiu
Alwen Tiu

H-Index: 15

Ranald Clouston
Ranald Clouston

H-Index: 9

Martin Zimmermann
Martin Zimmermann

H-Index: 11

Paweł Parys
Paweł Parys

H-Index: 11

Robert Passmann
Robert Passmann

H-Index: 3

Martin Ziegler
Martin Ziegler

H-Index: 25

José Espírito Santo
José Espírito Santo

H-Index: 5

Jonas Schmidt
Jonas Schmidt

H-Index: 1

Thomas Schwentick
Thomas Schwentick

H-Index: 23

Ioannis Kokkinis
Ioannis Kokkinis

H-Index: 5

Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization

2020

Bernhard Kragl
Bernhard Kragl

H-Index: 4

Monitoring Event Frequencies

arXiv preprint arXiv:1910.06097

2019/10/14

Thomas Ferrère
Thomas Ferrère

H-Index: 10

Bernhard Kragl
Bernhard Kragl

H-Index: 4

Refinement for Structured Concurrent Programs

2020/7

Bernhard Kragl
Bernhard Kragl

H-Index: 4

Inductive Sequentialization of Asynchronous Programs

2020/6

Bernhard Kragl
Bernhard Kragl

H-Index: 4

See List of Professors in Bernhard Kragl University(Institute of Science and Technology Austria)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine