Concepedia

Ornela Dardha

OD

8

Publications

330

Citations

8

H-Index

2012

Active since

Affiliations

University of Glasgow(Current)

University of Bologna

University of Edinburgh

Ornela Dardha is an author at University of Glasgow specializing in computer science, formal methods, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisFormal VerificationSoftware AnalysisAutomated ReasoningVerificationFormal SpecificationParallel Programming

Publications per year

2012–2021

8

Publications

8

Session types revisited

Ornela Dardha, Elena Giachino, Davide Sangiorgi · 2012 · 102 citations

Engineering, Type Theory, Semantics +16

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming

Alceste Scalas, Ornela Dardha, Raymond Hu et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2017 · 55 citations · Full text

Session types revisited

Ornela Dardha, Elena Giachino, Davide Sangiorgi · Information and Computation · 2017 · 51 citations · Full text

Typechecking protocols with Mungo and StMungo

Dimitrios Kouzapas, Ornela Dardha, Roly Perera et al. · 2016 · 35 citations · Full text

Formal Specification, Engineering, Runtime Verification +15

Typechecking protocols with Mungo and StMungo: A session type toolchain for Java

Dimitrios Kouzapas, Ornela Dardha, Roly Perera et al. · Science of Computer Programming · 2017 · 31 citations · Full text

Engineering, Verification, Software Engineering +20

Rows per page

1–5 of 8