Emanuele D’Osualdo

Publications

Citations

H-Index

2012

Active since

Affiliations

Max Planck Institute for Software Systems(Current)

Emanuele D’Osualdo is an author at Max Planck Institute for Software Systems specializing in automated reasoning, formal verification, and verification.

ORCID

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceSoftware AnalysisAutomated ReasoningFormal VerificationProgram AnalysisFormal SpecificationLanguage

Publications per year

2012–2023

Publications

DimSum: A Decentralized Approach to Multi-language Semantics and Verification

Michael Sammler, Simon Spies, Youngju Song et al. · Proceedings of the ACM on Programming Languages · 2023 · 17 citations · Full text

Engineering, Verification, Decentralized Approach +23

Proving hypersafety compositionally

Emanuele D’Osualdo, Azadeh Farzan, Derek Dreyer · Proceedings of the ACM on Programming Languages · 2022 · 13 citations · Full text

Engineering, Arity N, Automated Reasoning +13

Soter

Emanuele D’Osualdo, Jonathan Kochems, C.-H. Luke Ong · 2012 · 10 citations

Petri Net, Engineering, Verification +17

Rows per page

1–3 of 3