Valentina Castiglioni

55 papers A* 1B 6C 5Journal 28Unranked 12
YearRankTypeTitle / Venue / Authors
2025 J jnl
Axiomatising weak bisimulation congruences over CCS with left merge and communication merge.
Theor. Comput. Sci.
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
2025 J jnl
DT-Stark: a tool for evaluating the effectiveness of digital twins through feedback and perturbations.
Int. J. Softw. Tools Technol. Transf.
Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Simone Tini
2025 B conf
From Bisimulation to Traces: The Impact of Parallel Composition on Finite Bases.
CONCUR
Rowin Versteeg, Valentina Castiglioni, Bas Luttik
2025 J jnl
Non finite axiomatisability of weak bisimulation-based congruences.
Theor. Comput. Sci.
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
2025 C conf
On The Road Again (Safely): Modelling and Analysis of Autonomous Driving with Stark.
ABZ
Sebastián Betancourt, Valentina Castiglioni
2025 J jnl
Preface.
Inf. Comput.
Valentina Castiglioni, Ornela Dardha, Claudio Antares Mezzina
2024 J jnl
Back to the format: A survey on SOS for probabilistic processes.
J. Log. Algebraic Methods Program.
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
2024 — conf
Bio-Stark: A Tool for the Time-Point Robustness Analysis of Biological Systems.
CMSB
Valentina Castiglioni, Michele Loreti, Simone Tini
2024 C conf
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations.
FMICS
Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Simone Tini
2024 C ed.
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
FORTE
Valentina Castiglioni, Adrian Francalanza
2024 B conf
RobTL: Robustness Temporal Logic for CPS.
CONCUR
Valentina Castiglioni, Michele Loreti, Simone Tini
2024 J jnl
Robustness for biochemical networks: Step-by-step approach.
Theor. Comput. Sci.
Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Desiree Manicardi, Simone Tini
2024 J jnl
Stark: A tool for the analysis of CPSs robustness.
Sci. Comput. Program.
Valentina Castiglioni, Michele Loreti, Simone Tini
2023 J jnl
A framework to measure the robustness of programs in the unpredictable environment.
Log. Methods Comput. Sci.
Valentina Castiglioni, Michele Loreti, Simone Tini
2023 — conf
DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems.
ICTCS
Valentina Castiglioni, Michele Loreti, Simone Tini
2023 C conf
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment.
COORDINATION
Valentina Castiglioni, Michele Loreti, Simone Tini
2022 J jnl
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?
ACM Trans. Comput. Log.
Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2022 J jnl
EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems.
CoRR
Valentina Castiglioni, Michele Loreti, Simone Tini
2022 — conf
Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction.
A Journey from Process Algebra via Timed Automata to Model Learning
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir
2022 J jnl
On the Axiomatisability of Parallel Composition.
Log. Methods Comput. Sci.
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
2022 B conf
On the Axiomatisation of Branching Bisimulation Congruence over CCS.
CONCUR
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
2022 J jnl
On the Axiomatisation of Branching Bisimulation Congruence over CCS.
CoRR
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
2022 — ed.
Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS/SOS 2022, Warsaw, Poland, 12th September 2022.
EXPRESS/SOS
Valentina Castiglioni, Claudio Antares Mezzina
2022 J jnl
RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems.
CoRR
Valentina Castiglioni, Michele Loreti, Simone Tini
2021 J jnl
A framework to measure the robustness of programs in the unpredictable environment.
CoRR
Valentina Castiglioni, Michele Loreti, Simone Tini
2021 B conf
Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?
CSL
Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2021 C conf
How Adaptive and Reliable is Your Program?
FORTE
Valentina Castiglioni, Michele Loreti, Simone Tini
2021 A* conf
In search of lost time: Axiomatising parallel composition in process algebras.
LICS
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
2021 J jnl
In search of lost time: Axiomatising parallel composition in process algebras.
CoRR
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
2021 J jnl
On the Axiomatisability of Parallel Composition.
CoRR
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
2021 — ed.
Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, EXPRESS/SOS 2021, and 18th Workshop on Structural Operational SemanticsParis, France (online event), 23rd August 2021.
EXPRESS/SOS
Ornela Dardha, Valentina Castiglioni
2020 J jnl
A logical characterization of differential privacy.
Sci. Comput. Program.
Valentina Castiglioni, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2020 J jnl
Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?
CoRR
Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
2020 — conf
Measuring Adaptability and Reliability of Large Scale Systems.
ISoLA (2)
Valentina Castiglioni, Michele Loreti, Simone Tini
2020 B conf
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum.
CONCUR
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
2020 J jnl
On the axiomatisability of priority III: Priority strikes again.
Theor. Comput. Sci.
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
2020 J jnl
Probabilistic divide & congruence: Branching bisimilarity.
Theor. Comput. Sci.
Valentina Castiglioni, Simone Tini
2020 J jnl
Raiders of the lost equivalence: Probabilistic branching bisimilarity.
Inf. Process. Lett.
Valentina Castiglioni, Simone Tini
2020 J jnl
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes.
Theor. Comput. Sci.
Valentina Castiglioni, Michele Loreti, Simone Tini
2019 — conf
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics.
The Art of Modelling Computational Systems
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
2019 J jnl
Logical characterization of branching metrics for nondeterministic probabilistic transition systems.
Inf. Comput.
Valentina Castiglioni, Simone Tini
2019 — conf
On the Axiomatizability of Priority III: The Return of Sequential Composition.
ICTCS
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Mathias Ruggaard Pedersen
2018 — conf
A Logical Characterization of Differential Privacy via Behavioral Metrics.
FACS
Valentina Castiglioni, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2018 J jnl
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes.
Log. Methods Comput. Sci.
Valentina Castiglioni, Daniel Gebler, Simone Tini
2018 — conf
Trace and Testing Metrics on Nondeterministic Probabilistic Processes.
EXPRESS/SOS
Valentina Castiglioni
2017 — conf
Logical Characterization of Trace Metrics.
QAPL
Valentina Castiglioni, Simone Tini
2017 — —
Probabilistic Semantics: Metric and Logical Character¨ations for Nondeterministic Probabilistic Processes.
Valentina Castiglioni
2017 J jnl
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes.
CoRR
Valentina Castiglioni, Daniel Gebler, Simone Tini
2016 J jnl
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics.
Fundam. Informaticae
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
2016 — conf
Logical Characterization of Bisimulation Metrics.
QAPL
Valentina Castiglioni, Daniel Gebler, Simone Tini
2016 B conf
Modal Decomposition on Nondeterministic Probabilistic Processes.
CONCUR
Valentina Castiglioni, Daniel Gebler, Simone Tini
2015 J jnl
A Semantic Theory for the Internet of Things.
CoRR
Valentina Castiglioni, Ruggero Lanotte, Massimo Merro
2014 — conf
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics.
CS&P
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
2014 J jnl
A Specification Format for Rooted Branching Bisimulation.
Fundam. Informaticae
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
2013 — conf
A Rule Format for Rooted Branching Bisimulation.
CS&P
Valentina Castiglioni, Ruggero Lanotte, Simone Tini