Simone Tini

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 48

Top Topics

Similarity Metrics

Transition Systems

Continuous State Spaces

Top Venues

Theor. Comput. Sci.

Log. Methods Comput. Sci.

Fundam. Informaticae

Publications

Jian Xiang, Ruggero Lanotte, Simone Tini, Stephen Chong, Massimo Merro
Measuring Robustness in Cyber-Physical Systems under Sensor Attacks. CoRR (2024)
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
Back to the format: A survey on SOS for probabilistic processes. J. Log. Algebraic Methods Program. 137 (2024)
Valentina Castiglioni, Michele Loreti, Simone Tini
RobTL: Robustness Temporal Logic for CPS. CONCUR (2024)
Valentina Castiglioni, Michele Loreti, Simone Tini
Stark: A tool for the analysis of CPSs robustness. Sci. Comput. Program. 236 (2024)
Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Simone Tini
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations. FMICS (2024)
Stephen Chong, Ruggero Lanotte, Massimo Merro, Simone Tini, Jian Xiang
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems. HSCC (2023)
Valentina Castiglioni, Michele Loreti, Simone Tini
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment. COORDINATION (2023)
Valentina Castiglioni, Michele Loreti, Simone Tini
DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems. ICTCS (2023)
Valentina Castiglioni, Michele Loreti, Simone Tini
A framework to measure the robustness of programs in the unpredictable environment. Log. Methods Comput. Sci. 19 (3) (2023)
Ruggero Lanotte, Desiree Manicardi, Simone Tini
Step-by-step Robustness for Biochemical Networks. ICTCS (2023)
Valentina Castiglioni, Michele Loreti, Simone Tini
RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems. CoRR (2022)
Valentina Castiglioni, Michele Loreti, Simone Tini
EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems. CoRR (2022)
Valentina Castiglioni, Michele Loreti, Simone Tini
How Adaptive and Reliable is Your Program? FORTE (2021)
Ruggero Lanotte, Simone Tini
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces. Theor. Comput. Sci. 869 (2021)
Valentina Castiglioni, Michele Loreti, Simone Tini
A framework to measure the robustness of programs in the unpredictable environment. CoRR (2021)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Simone Tini
Formal Impact Metrics for Cyber-physical Attacks. CSF (2021)
Alessandra Cherubini, Nicoletta Sabadini, Simone Tini
Theoretical Computer Science in Italy. Theor. Comput. Sci. 864 (2021)
Ruggero Lanotte, Massimo Merro, Simone Tini
A probabilistic calculus of cyber-physical systems. Inf. Comput. 279 (2021)
Jorge A. Pérez, Simone Tini
Preface to Special Issue: EXPRESS/SOS 2018. Inf. Comput. 281 (2021)
Valentina Castiglioni, Michele Loreti, Simone Tini
Measuring Adaptability and Reliability of Large Scale Systems. ISoLA (2) (2020)
Valentina Castiglioni, Michele Loreti, Simone Tini
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes. Theor. Comput. Sci. 813 (2020)
Valentina Castiglioni, Simone Tini
Probabilistic divide & congruence: Branching bisimilarity. Theor. Comput. Sci. 802 (2020)
Alessandro Gianola, Stefano Kasangian, Desiree Manicardi, Nicoletta Sabadini, Simone Tini
Compositional Modeling of Biological Systems in CospanSpan(Graph). ICTCS (2020)
Kirstin Peters, Simone Tini
Preface to special issue: EXPRESS/SOS 2016 + 2017. Acta Informatica 57 (6) (2020)
Alessandro Gianola, Stefano Kasangian, Desiree Manicardi, Nicoletta Sabadini, Filippo Schiavio, Simone Tini
CospanSpan(Graph): a Compositional Description of the Heart System. Fundam. Informaticae 171 (1-4) (2020)
Valentina Castiglioni, Simone Tini
Raiders of the lost equivalence: Probabilistic branching bisimilarity. Inf. Process. Lett. (2020)
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics. The Art of Modelling Computational Systems (2019)
Ruggero Lanotte, Simone Tini
Computing Bisimilarity Metrics for Probabilistic Timed Automata. IFM (2019)
Valentina Castiglioni, Simone Tini
Logical characterization of branching metrics for nondeterministic probabilistic transition systems. Inf. Comput. 268 (2019)
Daniel Gebler, Simone Tini
SOS specifications for uniformly continuous operators. J. Comput. Syst. Sci. 92 (2018)
Ruggero Lanotte, Massimo Merro, Simone Tini
Equational Reasonings in Wireless Network Gossip Protocols. Log. Methods Comput. Sci. 14 (3) (2018)
Ruggero Lanotte, Simone Tini
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces. ICTAC (2018)
Ruggero Lanotte, Massimo Merro, Simone Tini
Towards a formal notion of impact metric for cyber-physical attacks (full version). CoRR (2018)
Ruggero Lanotte, Massimo Merro, Simone Tini
Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks. IFM (2018)
Valentina Castiglioni, Daniel Gebler, Simone Tini
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes. Log. Methods Comput. Sci. 14 (2) (2018)
Ruggero Lanotte, Massimo Merro, Simone Tini
Weak Simulation Quasimetric in a Gossip Scenario. FORTE (2017)
Valentina Castiglioni, Daniel Gebler, Simone Tini
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes. CoRR (2017)
Valentina Castiglioni, Simone Tini
Logical Characterization of Trace Metrics. QAPL@ETAPS (2017)
Ruggero Lanotte, Massimo Merro, Simone Tini
Compositional Weak Metrics for Group Key Update. MFCS (2017)
Ruggero Lanotte, Massimo Merro, Simone Tini
Equational Reasonings in Wireless Network Gossip Protocols. CoRR (2017)
Ruggero Lanotte, Massimo Merro, Simone Tini
A Probabilistic Calculus of Cyber-Physical Systems. CoRR (2017)
Valentina Castiglioni, Daniel Gebler, Simone Tini
Logical Characterization of Bisimulation Metrics. QAPL (2016)
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics. Fundam. Informaticae 143 (1-2) (2016)
Valentina Castiglioni, Daniel Gebler, Simone Tini
Modal Decomposition on Nondeterministic Probabilistic Processes. CONCUR (2016)
Daniel Gebler, Kim G. Larsen, Simone Tini
Compositional bisimulation metric reasoning with Probabilistic Process Calculi. Log. Methods Comput. Sci. 12 (4) (2016)
Ruggero Lanotte, Simone Tini
Extending Taylor Approximation to Hybrid Systems with Integrals. CS&P (2016)
Daniel Gebler, Simone Tini
SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators. CONCUR (2015)
Daniel Gebler, Kim Guldstrand Larsen, Simone Tini
Compositional Metric Reasoning with Probabilistic Process Calculi. FoSSaCS (2015)
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
A Specification Format for Rooted Branching Bisimulation. Fundam. Informaticae 135 (4) (2014)
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics. CS&P (2014)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Simone Tini
Systolic Automata and P Systems. Computing with New Resources (2014)
Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
Compositional semantics and behavioural equivalences for reaction systems with restriction. Theor. Comput. Sci. 551 (2014)
Daniel Gebler, Simone Tini
Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators. EXPRESS/SOS (2014)
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
A Rule Format for Rooted Branching Bisimulation. CS&P (2013)
Daniel Gebler, Simone Tini
Compositionality of Approximate Bisimulation for Probabilistic Systems. EXPRESS/SOS (2013)
Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
A Compositional Semantics of Reaction Systems with Restriction. CiE (2013)
Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
Foundational aspects of multiscale modeling of biological systems with process algebras. Theor. Comput. Sci. 431 (2012)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
An Overview on Operational Semantics in Membrane Computing. Int. J. Found. Comput. Sci. 22 (1) (2011)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
Compositional semantics of spiking neural P systems. J. Log. Algebraic Methods Program. 79 (6) (2010)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings. Int. Conf. on Membrane Computing (2010)
Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini, Simone Tini
Aspects of multiscale modelling in a process algebra for biological systems MeCBIC (2010)
Simone Tini
Non-expansive epsilon-bisimulations for probabilistic processes. Theor. Comput. Sci. 411 (22-24) (2010)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
P Systems with Transport and Diffusion Membrane Channels. Fundam. Informaticae 93 (1-3) (2009)
Ruggero Lanotte, Simone Tini
Probabilistic bisimulation as a congruence. ACM Trans. Comput. Log. 10 (2) (2009)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
A P Systems Flat Form Preserving Step-by-step Behaviour. Fundam. Informaticae 87 (1) (2008)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
Compositional semantics and behavioral equivalences for P Systems. Theor. Comput. Sci. 395 (1) (2008)
Simone Tini
Non Expansive epsilon-Bisimulations. AMAST (2008)
Ruggero Lanotte, Simone Tini
Taylor approximation for hybrid systems. Inf. Comput. 205 (11) (2007)
Simone Tini
Notes on Generative Probabilistic Bisimulation. Electron. Notes Theor. Comput. Sci. 175 (1) (2007)
Ruggero Lanotte, Simone Tini
Probabilistic Congruence for Semistochastic Generative Processes. FoSSaCS (2005)
Ruggero Lanotte, Simone Tini
Taylor Approximation for Hybrid Systems. HSCC (2005)
Simone Tini
Timed CCP compositionally embeds Argos and Lustre. Formal Aspects Comput. 16 (3) (2004)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
Epsilon-transitions in Concurrent Timed Automata. Inf. Process. Lett. 89 (1) (2004)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci
Automatic Analysis of the NRL Pump. Electron. Notes Theor. Comput. Sci. 99 (2004)
Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
Automated analysis of timed security: a case study on web privacy. Int. J. Inf. Sec. 2 (3-4) (2004)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci
Automatic Covert Channel Analysis of a Multilevel Secure Component. ICICS (2004)
Simone Tini, Andrea Maggiolo-Schettini
Compositional Synthesis of Generalized Mealy Machines. Fundam. Informaticae 60 (1-4) (2004)
Simone Tini
Rule formats for compositional non-interference properties. J. Log. Algebraic Methods Program. (2004)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
Information flow in hybrid systems. ACM Trans. Embed. Comput. Syst. 3 (4) (2004)
Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini
A comparison of Statecharts step semantics. Theor. Comput. Sci. 290 (1) (2003)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini
Dynamic Hierarchical Machines. Fundam. Informaticae 54 (2-3) (2003)
Simone Tini
Rule Formats for Non Interference. ESOP (2003)
Simone Tini
An axiomatic semantics for the synchronous language Gentzen. J. Comput. Syst. Sci. 66 (2) (2003)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
Concurrency in timed automata. Theor. Comput. Sci. 309 (1-3) (2003)
Andrea Maggiolo-Schettini, Simone Tini
On disjunction of literals in triggers of statecharts transitions. Inf. Process. Lett. 84 (6) (2002)
Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
Formal Models of Timing Attacks on Web Privacy. Electron. Notes Theor. Comput. Sci. 62 (2001)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Adriano Peron
Transformations of Timed Cooperating Automata. Fundam. Informaticae 47 (3-4) (2001)
Simone Tini
An axiomatic semantics for Esterel. Theor. Comput. Sci. 269 (1-2) (2001)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
Privacy in Real-Time Systems. Electron. Notes Theor. Comput. Sci. 52 (3) (2001)
Simone Tini
An Axiomatic Semantics for the Synchronous Language Gentzen. FoSSaCS (2001)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
Concurrency in Timed Automata. FCT (2001)
Simone Tini, Andrea Maggiolo-Schettini
A Causal Semantics for Timed Default Concurrent Constraint Programming. AMAST (2000)
Andrea Maggiolo-Schettini, Simone Tini
Applying Techniques of Asynchronous Concurrency to Synchronous Languages. Fundam. Informaticae 40 (2-3) (1999)
Simone Tini, Andrea Maggiolo-Schettini
A Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming. ECOOP Workshops (1999)
Simone Tini
On The Expressiveness of Timed Concurrent Constraint Programming. EXPRESS (1999)
Simone Tini, Andrea Maggiolo-Schettini
Two semantics for Timed Default Concurrent Constraint Programming. Electron. Notes Theor. Comput. Sci. 16 (1) (1998)
Andrea Maggiolo-Schettini, Simone Tini
Projectable Semantics for Statecharts. Electron. Notes Theor. Comput. Sci. 18 (1998)
Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini
Equivalences of Statecharts. CONCUR (1996)