Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
Persoonlijk profiel
Opleiding / Academische kwalificatie
Theoretical computer science, Doctor, Probabilistic Semantics: Metric and Logical Character¨ations for Nondeterministic Probabilistic Processes, University of Insubria
1 okt. 2014 → 30 sep. 2017
Datum van toekenning: 15 dec. 2017
Mathematics, Master, Rule Formats for Weak Equivalences, University of Insubria
2012 → 2014
Datum van toekenning: 23 jul. 2014
Mathematics, Bachelor, A Process Algebra for Multiscale Modeling of Biological Systems
2009 → 2012
Datum van toekenning: 27 sep. 2012
Externe posities
Postdoctoral research, Reykjavik University
15 mei 2019 → 30 sep. 2023
Postdoctoral researcher, INRIA Saclay
1 jan. 2018 → 30 apr. 2019
Vingerafdruk
Verdiep u in de onderzoeksgebieden waarop Valentina Castiglioni actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
- 1 Soortgelijke profielen
Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar
Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
-
Preface
Castiglioni, V., Dardha, O. & Mezzina, C. A., jan. 2025, In: Information and Computation. 302, 2 blz., 105226.Onderzoeksoutput: Bijdrage aan tijdschrift › Editorial › Academic › peer review
-
Back to the format: A survey on SOS for probabilistic processes
Castiglioni, V. (Corresponding author), Lanotte, R. & Tini, S., feb. 2024, In: Journal of Logical and Algebraic Methods in Programming. 137, 46 blz., 100929.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand1 Citaat (Scopus)20 Downloads (Pure) -
Bio-Stark: A Tool for the Time-Point Robustness Analysis of Biological Systems
Castiglioni, V. (Corresponderende auteur), Loreti, M. & Tini, S., 19 sep. 2024, Computational Methods in Systems Biology: 22nd International Conference, CMSB 2024, Pisa, Italy, September 16–18, 2024, Proceeding. Gori, R., Milazzo, P. & Tribastone, M. (uitgave). Cham: Springer, blz. 62-70 9 blz. (Lecture Notes in Computer Science (LNCS); vol. 14971)(Lecture Notes in Bioinformatics (LNBI); vol. 14971).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
2 Citaten (Scopus) -
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations
Castiglioni, V. (Corresponderende auteur), Lanotte, R., Loreti, M. & Tini, S., 21 aug. 2024, Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings. Haxthausen, A. E. & Serwe, W. (uitgave). Cham: Springer, blz. 21-39 19 blz. (Lecture Notes in Computer Science (LNCS); vol. 14952).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
3 Citaten (Scopus) -
Formal Techniques for Distributed Objects, Components, and Systems: 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings
Castiglioni, V. (Redacteur) & Francalanza, A. (Redacteur), 12 jun. 2024, Springer. 239 blz. (Lecture Notes in Computer Science; vol. 14678)Onderzoeksoutput: Boek/rapport › Boekredactie › Academic › peer review