Valentina Castiglioni

Has grant

Eindhoven University of Technology

Netherlands

Research Interests

Explore related searches

Professors in Netherlands

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

Recent Grants

Grant: Close

Programs in the wild: Uncertainty, adaptabiLiTy and veRificatiON (ULTRON)

Open Date: 2022-02-01

Close Date: 2023-09-01

Grant: Close

International Symposium on Quantitave Systems: Theory and Applications (QuaSy2017)

Open Date: 2017-10-01

Close Date: 2017-10-01

Articles (10)

Year:

2024

Year:

2024

Year:

2023

Year:

2022

Year:

2022

Year:

2020

Year:

2020

Year:

2020

Year:

2020

Year:

2020

Collaborators (5)

Luca Aceto

Professor

Gran Sasso Science Institute

ITALY

View details

Bas Luttik

Eindhoven University of Technology

NETHERLANDS

View details

Mathias Ruggaard Pedersen

Aalborg University

DENMARK

View details

Wan Fokkink

University of Amsterdam

NETHERLANDS

View details

Elli Anastasiadi

Aalborg University

DENMARK

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Valentina Castiglioni

Research Interests

Explore related searches

Contact this professor

Recent Grants

Articles (10)

STARK

Back to the format: A survey on SOS for probabilistic processes

A framework to measure the robustness of programs in the unpredictable environment

Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?

On the Axiomatisability of Parallel Composition

On the axiomatisability of priority III

Raiders of the lost equivalence

The metric linear-time branching-time spectrum on nondeterministic probabilistic processes

A logical characterization of differential privacy

Probabilistic divide & congruence

Collaborators (5)

Luca Aceto

Bas Luttik

Mathias Ruggaard Pedersen

Wan Fokkink

Elli Anastasiadi

Make your next move.