Equivalences of Statecharts. - Andrea Maggiolo-Schettini; Adriano Peron; Simone Tini (CONCUR, 1996)

Projectable Semantics for Statecharts. - Andrea Maggiolo-Schettini; Simone Tini (MFCS Workshop on Concurrency, 1998)

Two semantics for Timed Default Concurrent Constraint Programming. - Simone Tini; Andrea Maggiolo-Schettini (COTIC, 1998)

A Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming. - Simone Tini; Andrea Maggiolo-Schettini (ECOOP Workshops, 1999)

On The Expressiveness of Timed Concurrent Constraint Programming. - Simone Tini (EXPRESS, 1999)

Applying Techniques of Asynchronous Concurrency to Synchronous Languages. - Andrea Maggiolo-Schettini; Simone Tini (Fundam. Informaticae, 1999)

A Causal Semantics for Timed Default Concurrent Constraint Programming. - Simone Tini; Andrea Maggiolo-Schettini (AMAST, 2000)

Formal Models of Timing Attacks on Web Privacy. - Riccardo Focardi; Roberto Gorrieri; Ruggero Lanotte; Andrea Maggiolo-Schettini; Fabio Martinelli; Simone Tini; Enrico Tronci (TOSCA, 2001)

Privacy in Real-Time Systems. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini (MTCS, 2001)

Transformations of Timed Cooperating Automata. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini; Adriano Peron (Fundam. Informaticae, 2001)

An axiomatic semantics for Esterel. - Simone Tini (Theor. Comput. Sci., 2001)

On disjunction of literals in triggers of statecharts transitions. - Andrea Maggiolo-Schettini; Simone Tini (Inf. Process. Lett., 2002)

Rule Formats for Non Interference. - Simone Tini (ESOP, 2003)

Automatic Analysis of the NRL Pump. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini; Angelo Troina; Enrico Tronci (MEFISTO, 2003)

Dynamic Hierarchical Machines. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Adriano Peron; Simone Tini (Fundam. Informaticae, 2003)

An axiomatic semantics for the synchronous language Gentzen. - Simone Tini (J. Comput. Syst. Sci., 2003)

Concurrency in timed automata. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini (Theor. Comput. Sci., 2003)

A comparison of Statecharts step semantics. - Andrea Maggiolo-Schettini; Adriano Peron; Simone Tini (Theor. Comput. Sci., 2003)

Automatic Covert Channel Analysis of a Multilevel Secure Component. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini; Angelo Troina; Enrico Tronci (ICICS, 2004)

Timed CCP compositionally embeds Argos and Lustre. - Simone Tini (Formal Aspects Comput., 2004)

Compositional Synthesis of Generalized Mealy Machines. - Simone Tini; Andrea Maggiolo-Schettini (Fundam. Informaticae, 2004)

Automated analysis of timed security: a case study on web privacy. - Roberto Gorrieri; Ruggero Lanotte; Andrea Maggiolo-Schettini; Fabio Martinelli; Simone Tini; Enrico Tronci (Int. J. Inf. Sec., 2004)

Epsilon-transitions in Concurrent Timed Automata. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini (Inf. Process. Lett., 2004)

Rule formats for compositional non-interference properties. - Simone Tini (J. Log. Algebraic Methods Program., 2004)

Information flow in hybrid systems. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini (ACM Trans. Embed. Comput. Syst., 2004)

Probabilistic Congruence for Semistochastic Generative Processes. - Ruggero Lanotte; Simone Tini (FoSSaCS, 2005)

Notes on Generative Probabilistic Bisimulation. - Simone Tini (SOS@CONCUR, 2006)

Taylor approximation for hybrid systems. - Ruggero Lanotte; Simone Tini (Inf. Comput., 2007)

Non Expansive epsilon-Bisimulations. - Simone Tini (AMAST, 2008)

A P Systems Flat Form Preserving Step-by-step Behaviour. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (Fundam. Informaticae, 2008)

Compositional semantics and behavioral equivalences for P Systems. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (Theor. Comput. Sci., 2008)

P Systems with Transport and Diffusion Membrane Channels. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (Fundam. Informaticae, 2009)

Probabilistic bisimulation as a congruence. - Ruggero Lanotte; Simone Tini (ACM Trans. Comput. Log., 2009)

Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (Int. Conf. on Membrane Computing, 2010)

Aspects of multiscale modelling in a process algebra for biological systems - Roberto Barbuti; Giulio Caravagna; Paolo Milazzo; Andrea Maggiolo-Schettini; Simone Tini (MeCBIC, 2010)

Compositional semantics of spiking neural P systems. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (J. Log. Algebraic Methods Program., 2010)

Non-expansive epsilon-bisimulations for probabilistic processes. - Simone Tini (Theor. Comput. Sci., 2010)

An Overview on Operational Semantics in Membrane Computing. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (Int. J. Found. Comput. Sci., 2011)

Foundational aspects of multiscale modeling of biological systems with process algebras. - Roberto Barbuti; Giulio Caravagna; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (Theor. Comput. Sci., 2012)

A Compositional Semantics of Reaction Systems with Restriction. - Giovanni Pardini; Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (CiE, 2013)

A Rule Format for Rooted Branching Bisimulation. - Valentina Castiglioni; Ruggero Lanotte; Simone Tini (CS&P, 2013)

Compositionality of Approximate Bisimulation for Probabilistic Systems. - Daniel Gebler; Simone Tini (EXPRESS/SOS, 2013)

Systolic Automata and P Systems. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini; Simone Tini (Computing with New Resources, 2014)

Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators. - Daniel Gebler; Simone Tini (EXPRESS/SOS, 2014)

A Specification Format for Rooted Branching Bisimulation. - Valentina Castiglioni; Ruggero Lanotte; Simone Tini (Fundam. Informaticae, 2014)

Compositional semantics and behavioural equivalences for reaction systems with restriction. - Giovanni Pardini; Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (Theor. Comput. Sci., 2014)

SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators. - Daniel Gebler; Simone Tini (CONCUR, 2015)

Compositional Metric Reasoning with Probabilistic Process Calculi. - Daniel Gebler; Kim Guldstrand Larsen; Simone Tini (FoSSaCS, 2015)

Modal Decomposition on Nondeterministic Probabilistic Processes. - Valentina Castiglioni; Daniel Gebler; Simone Tini (CONCUR, 2016)

Extending Taylor Approximation to Hybrid Systems with Integrals. - Ruggero Lanotte; Simone Tini (CS&P, 2016)

Logical Characterization of Bisimulation Metrics. - Valentina Castiglioni; Daniel Gebler; Simone Tini (QAPL, 2016)

Compositional bisimulation metric reasoning with Probabilistic Process Calculi. - Daniel Gebler; Kim G. Larsen; Simone Tini (Log. Methods Comput. Sci., 2016)

A Function Elimination Method for Checking Satisfiability of Arithmetical Logics. - Valentina Castiglioni; Ruggero Lanotte; Simone Tini (Fundam. Informaticae, 2016)

Weak Simulation Quasimetric in a Gossip Scenario. - Ruggero Lanotte; Massimo Merro; Simone Tini (FORTE, 2017)

Compositional Weak Metrics for Group Key Update. - Ruggero Lanotte; Massimo Merro; Simone Tini (MFCS, 2017)

Logical Characterization of Trace Metrics. - Valentina Castiglioni; Simone Tini (QAPL@ETAPS, 2017)

Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces. - Ruggero Lanotte; Simone Tini (ICTAC, 2018)

Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks. - Ruggero Lanotte; Massimo Merro; Simone Tini (IFM, 2018)

Towards a formal notion of impact metric for cyber-physical attacks (full version). - Ruggero Lanotte; Massimo Merro; Simone Tini (CoRR, 2018)

SOS specifications for uniformly continuous operators. - Daniel Gebler; Simone Tini (J. Comput. Syst. Sci., 2018)

SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes. - Valentina Castiglioni; Daniel Gebler; Simone Tini (Log. Methods Comput. Sci., 2018)

Equational Reasonings in Wireless Network Gossip Protocols. - Ruggero Lanotte; Massimo Merro; Simone Tini (Log. Methods Comput. Sci., 2018)

Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics. - Valentina Castiglioni; Ruggero Lanotte; Simone Tini (The Art of Modelling Computational Systems, 2019)

Computing Bisimilarity Metrics for Probabilistic Timed Automata. - Ruggero Lanotte; Simone Tini (IFM, 2019)

Logical characterization of branching metrics for nondeterministic probabilistic transition systems. - Valentina Castiglioni; Simone Tini (Inf. Comput., 2019)

Compositional Modeling of Biological Systems in CospanSpan(Graph). - Alessandro Gianola; Stefano Kasangian; Desiree Manicardi; Nicoletta Sabadini; Simone Tini (ICTCS, 2020)

Measuring Adaptability and Reliability of Large Scale Systems. - Valentina Castiglioni; Michele Loreti; Simone Tini (ISoLA (2), 2020)

Preface to special issue: EXPRESS/SOS 2016 + 2017. - Kirstin Peters; Simone Tini (Acta Informatica, 2020)

CospanSpan(Graph): a Compositional Description of the Heart System. - Alessandro Gianola; Stefano Kasangian; Desiree Manicardi; Nicoletta Sabadini; Filippo Schiavio; Simone Tini (Fundam. Informaticae, 2020)

Raiders of the lost equivalence: Probabilistic branching bisimilarity. - Valentina Castiglioni; Simone Tini (Inf. Process. Lett., 2020)

The metric linear-time branching-time spectrum on nondeterministic probabilistic processes. - Valentina Castiglioni; Michele Loreti; Simone Tini (Theor. Comput. Sci., 2020)

Probabilistic divide & congruence: Branching bisimilarity. - Valentina Castiglioni; Simone Tini (Theor. Comput. Sci., 2020)

Formal Impact Metrics for Cyber-physical Attacks. - Ruggero Lanotte; Massimo Merro; Andrei Munteanu; Simone Tini (CSF, 2021)

How Adaptive and Reliable is Your Program? - Valentina Castiglioni; Michele Loreti; Simone Tini (FORTE, 2021)

A probabilistic calculus of cyber-physical systems. - Ruggero Lanotte; Massimo Merro; Simone Tini (Inf. Comput., 2021)

Preface to Special Issue: EXPRESS/SOS 2018. - Jorge A. Pérez 001; Simone Tini (Inf. Comput., 2021)

Theoretical Computer Science in Italy. - Alessandra Cherubini; Nicoletta Sabadini; Simone Tini (Theor. Comput. Sci., 2021)

A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces. - Ruggero Lanotte; Simone Tini (Theor. Comput. Sci., 2021)

EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems. - Valentina Castiglioni; Michele Loreti; Simone Tini (CoRR, 2022)

RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems. - Valentina Castiglioni; Michele Loreti; Simone Tini (CoRR, 2022)

Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment. - Valentina Castiglioni; Michele Loreti; Simone Tini (COORDINATION, 2023)

Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems. - Stephen Chong; Ruggero Lanotte; Massimo Merro; Simone Tini; Jian Xiang (HSCC, 2023)

DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems. - Valentina Castiglioni; Michele Loreti; Simone Tini (ICTCS, 2023)

Step-by-step Robustness for Biochemical Networks. - Ruggero Lanotte; Desiree Manicardi; Simone Tini (ICTCS, 2023)

A framework to measure the robustness of programs in the unpredictable environment. - Valentina Castiglioni; Michele Loreti; Simone Tini (Log. Methods Comput. Sci., 2023)

Bio-Stark: A Tool for the Time-Point Robustness Analysis of Biological Systems. - Valentina Castiglioni; Michele Loreti; Simone Tini (CMSB, 2024)

RobTL: Robustness Temporal Logic for CPS. - Valentina Castiglioni; Michele Loreti; Simone Tini (CONCUR, 2024)

Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations. - Valentina Castiglioni; Ruggero Lanotte; Michele Loreti; Simone Tini (FMICS, 2024)

Measuring Robustness in Cyber-Physical Systems under Sensor Attacks. - Jian Xiang; Ruggero Lanotte; Simone Tini; Stephen Chong; Massimo Merro (CoRR, 2024)

Stark: A tool for the analysis of CPSs robustness. - Valentina Castiglioni; Michele Loreti; Simone Tini (Sci. Comput. Program., 2024)

Robustness for biochemical networks: Step-by-step approach. - Valentina Castiglioni; Ruggero Lanotte; Michele Loreti; Desiree Manicardi; Simone Tini (Theor. Comput. Sci., 2024)

Back to the format: A survey on SOS for probabilistic processes. - Valentina Castiglioni; Ruggero Lanotte; Simone Tini (J. Log. Algebraic Methods Program., 2024)

STARK: A Software Tool for the Analysis of Robustness in the unKnown environment. - Valentina Castiglioni; Michele Loreti; Simone Tini (DROPS Artifacts, 2024)

Formal Robustness for Cyber-Physical Systems Under Timed Attacks. - Jian Xiang; Simone Tini; Ruggero Lanotte; Massimo Merro (CSF, 2025)