Login / Signup

Stavros Tripakis

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 82

Top Topics

Formal Verification
Bridging The Semantic Gap
Theorem Prover
Dynamic Reconfiguration

Top Venues

CoRR
DATE
SAMOS
Softw. Syst. Model.

Joseph Fourier University, Grenoble, France (PHD)

Education History
Joseph Fourier University, Grenoble, France

PHD

Publications