Simone Tini - RankMe

105 papers A 3B 11C 7Journal 53Unranked 28

Year	Rank	Type	Title / Venue / Authors
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	A	`conf`	Formal Robustness for Cyber-Physical Systems Under Timed Attacks. CSF Jian Xiang, Simone Tini, Ruggero Lanotte, Massimo Merro
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	J	`jnl`	Measuring Robustness in Cyber-Physical Systems under Sensor Attacks. CoRR Jian Xiang, Ruggero Lanotte, Simone Tini, Stephen Chong, Massimo Merro
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	—	`conf`	Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems. HSCC Stephen Chong, Ruggero Lanotte, Massimo Merro, Simone Tini, Jian Xiang
2023	C	`conf`	Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment. COORDINATION Valentina Castiglioni, Michele Loreti, Simone Tini
2023	—	`conf`	Step-by-step Robustness for Biochemical Networks. ICTCS Ruggero Lanotte, Desiree Manicardi, Simone Tini
2022	J	`jnl`	EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems. CoRR Valentina Castiglioni, Michele Loreti, Simone Tini
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	J	`jnl`	A probabilistic calculus of cyber-physical systems. Inf. Comput. Ruggero Lanotte, Massimo Merro, Simone Tini
2021	J	`jnl`	A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces. Theor. Comput. Sci. Ruggero Lanotte, Simone Tini
2021	A	`conf`	Formal Impact Metrics for Cyber-physical Attacks. CSF Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Simone Tini
2021	C	`conf`	How Adaptive and Reliable is Your Program? FORTE Valentina Castiglioni, Michele Loreti, Simone Tini
2021	J	`jnl`	Preface to Special Issue: EXPRESS/SOS 2018. Inf. Comput. Jorge A. Pérez, Simone Tini
2021	J	`jnl`	Theoretical Computer Science in Italy. Theor. Comput. Sci. Alessandra Cherubini, Nicoletta Sabadini, Simone Tini
2020	—	`conf`	Compositional Modeling of Biological Systems in CospanSpan(Graph). ICTCS Alessandro Gianola, Stefano Kasangian, Desiree Manicardi, Nicoletta Sabadini, Simone Tini
2020	J	`jnl`	CospanSpan(Graph): a Compositional Description of the Heart System. Fundam. Informaticae Alessandro Gianola, Stefano Kasangian, Desiree Manicardi, Nicoletta Sabadini, Filippo Schiavio, Simone Tini
2020	—	`conf`	Measuring Adaptability and Reliability of Large Scale Systems. ISoLA (2) Valentina Castiglioni, Michele Loreti, Simone Tini
2020	J	`jnl`	Preface to special issue: EXPRESS/SOS 2016 + 2017. Acta Informatica Kirstin Peters, Simone Tini
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	B	`conf`	Computing Bisimilarity Metrics for Probabilistic Timed Automata. IFM Ruggero Lanotte, 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	—	`ed.`	Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019. ICTCS Alessandra Cherubini, Nicoletta Sabadini, Simone Tini
2018	J	`jnl`	Equational Reasonings in Wireless Network Gossip Protocols. Log. Methods Comput. Sci. Ruggero Lanotte, Massimo Merro, Simone Tini
2018	—	`ed.`	Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018. EXPRESS/SOS Jorge A. Pérez, Simone Tini
2018	J	`jnl`	SOS specifications for uniformly continuous operators. J. Comput. Syst. Sci. Daniel Gebler, Simone Tini
2018	J	`jnl`	SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes. Log. Methods Comput. Sci. Valentina Castiglioni, Daniel Gebler, Simone Tini
2018	B	`conf`	Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks. IFM Ruggero Lanotte, Massimo Merro, Simone Tini
2018	J	`jnl`	Towards a formal notion of impact metric for cyber-physical attacks (full version). CoRR Ruggero Lanotte, Massimo Merro, Simone Tini
2018	C	`conf`	Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces. ICTAC Ruggero Lanotte, Simone Tini
2017	J	`jnl`	A Probabilistic Calculus of Cyber-Physical Systems. CoRR Ruggero Lanotte, Massimo Merro, Simone Tini
2017	B	`conf`	Compositional Weak Metrics for Group Key Update. MFCS Ruggero Lanotte, Massimo Merro, Simone Tini
2017	J	`jnl`	Equational Reasonings in Wireless Network Gossip Protocols. CoRR Ruggero Lanotte, Massimo Merro, Simone Tini
2017	—	`conf`	Logical Characterization of Trace Metrics. QAPL Valentina Castiglioni, Simone Tini
2017	—	`ed.`	Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Berlin, Germany, 4th September 2017. EXPRESS/SOS Kirstin Peters, Simone Tini
2017	J	`jnl`	SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes. CoRR Valentina Castiglioni, Daniel Gebler, Simone Tini
2017	C	`conf`	Weak Simulation Quasimetric in a Gossip Scenario. FORTE Ruggero Lanotte, Massimo Merro, Simone Tini
2016	J	`jnl`	A Function Elimination Method for Checking Satisfiability of Arithmetical Logics. Fundam. Informaticae Valentina Castiglioni, Ruggero Lanotte, Simone Tini
2016	J	`jnl`	Compositional bisimulation metric reasoning with Probabilistic Process Calculi. Log. Methods Comput. Sci. Daniel Gebler, Kim G. Larsen, Simone Tini
2016	—	`conf`	Extending Taylor Approximation to Hybrid Systems with Integrals. CS&P 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	B	`conf`	Compositional Metric Reasoning with Probabilistic Process Calculi. FoSSaCS Daniel Gebler, Kim Guldstrand Larsen, Simone Tini
2015	B	`conf`	SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators. CONCUR Daniel Gebler, Simone Tini
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
2014	J	`jnl`	Compositional semantics and behavioural equivalences for reaction systems with restriction. Theor. Comput. Sci. Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2014	—	`conf`	Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators. EXPRESS/SOS Daniel Gebler, Simone Tini
2014	—	`conf`	Systolic Automata and P Systems. Computing with New Resources Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Simone Tini
2013	C	`conf`	A Compositional Semantics of Reaction Systems with Restriction. CiE Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2013	—	`conf`	A Rule Format for Rooted Branching Bisimulation. CS&P Valentina Castiglioni, Ruggero Lanotte, Simone Tini
2013	—	`conf`	Compositionality of Approximate Bisimulation for Probabilistic Systems. EXPRESS/SOS Daniel Gebler, Simone Tini
2012	J	`jnl`	Foundational aspects of multiscale modeling of biological systems with process algebras. Theor. Comput. Sci. Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2011	J	`jnl`	An Overview on Operational Semantics in Membrane Computing. Int. J. Found. Comput. Sci. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2010	—	`conf`	Aspects of multiscale modelling in a process algebra for biological systems MeCBIC Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini, Simone Tini
2010	J	`jnl`	Compositional semantics of spiking neural P systems. J. Log. Algebraic Methods Program. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2010	—	`conf`	Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings. Int. Conf. on Membrane Computing Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2010	J	`jnl`	Non-expansive epsilon-bisimulations for probabilistic processes. Theor. Comput. Sci. Simone Tini
2009	J	`jnl`	P Systems with Transport and Diffusion Membrane Channels. Fundam. Informaticae Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2009	J	`jnl`	Probabilistic bisimulation as a congruence. ACM Trans. Comput. Log. Ruggero Lanotte, Simone Tini
2008	J	`jnl`	A P Systems Flat Form Preserving Step-by-step Behaviour. Fundam. Informaticae Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2008	J	`jnl`	Compositional semantics and behavioral equivalences for P Systems. Theor. Comput. Sci. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2008	—	`conf`	Non Expansive epsilon-Bisimulations. AMAST Simone Tini
2007	J	`jnl`	Taylor approximation for hybrid systems. Inf. Comput. Ruggero Lanotte, Simone Tini
2006	—	`conf`	Notes on Generative Probabilistic Bisimulation. SOS@CONCUR Simone Tini
2005	B	`conf`	Probabilistic Congruence for Semistochastic Generative Processes. FoSSaCS Ruggero Lanotte, Simone Tini
2005	—	`conf`	Taylor Approximation for Hybrid Systems. HSCC Ruggero Lanotte, Simone Tini
2004	J	`jnl`	Automated analysis of timed security: a case study on web privacy. Int. J. Inf. Sec. Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
2004	C	`conf`	Automatic Covert Channel Analysis of a Multilevel Secure Component. ICICS Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci
2004	J	`jnl`	Compositional Synthesis of Generalized Mealy Machines. Fundam. Informaticae Simone Tini, Andrea Maggiolo-Schettini
2004	J	`jnl`	Epsilon-transitions in Concurrent Timed Automata. Inf. Process. Lett. Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
2004	J	`jnl`	Information flow in hybrid systems. ACM Trans. Embed. Comput. Syst. Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
2004	J	`jnl`	Rule formats for compositional non-interference properties. J. Log. Algebraic Methods Program. Simone Tini
2004	J	`jnl`	Timed CCP compositionally embeds Argos and Lustre. Formal Aspects Comput. Simone Tini
2003	J	`jnl`	A comparison of Statecharts step semantics. Theor. Comput. Sci. Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini
2003	J	`jnl`	An axiomatic semantics for the synchronous language Gentzen. J. Comput. Syst. Sci. Simone Tini
2003	—	`conf`	Automatic Analysis of the NRL Pump. MEFISTO Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci
2003	J	`jnl`	Concurrency in timed automata. Theor. Comput. Sci. Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
2003	J	`jnl`	Dynamic Hierarchical Machines. Fundam. Informaticae Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini
2003	A	`conf`	Rule Formats for Non Interference. ESOP Simone Tini
2002	J	`jnl`	On disjunction of literals in triggers of statecharts transitions. Inf. Process. Lett. Andrea Maggiolo-Schettini, Simone Tini
2001	B	`conf`	An Axiomatic Semantics for the Synchronous Language Gentzen. FoSSaCS Simone Tini
2001	J	`jnl`	An axiomatic semantics for Esterel. Theor. Comput. Sci. Simone Tini
2001	B	`conf`	Concurrency in Timed Automata. FCT Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
2001	—	`conf`	Formal Models of Timing Attacks on Web Privacy. TOSCA Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
2001	—	`conf`	Privacy in Real-Time Systems. MTCS Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
2001	J	`jnl`	Transformations of Timed Cooperating Automata. Fundam. Informaticae Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Adriano Peron
2000	—	`conf`	A Causal Semantics for Timed Default Concurrent Constraint Programming. AMAST Simone Tini, Andrea Maggiolo-Schettini
1999	—	`conf`	A Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming. ECOOP Workshops Simone Tini, Andrea Maggiolo-Schettini
1999	J	`jnl`	Applying Techniques of Asynchronous Concurrency to Synchronous Languages. Fundam. Informaticae Andrea Maggiolo-Schettini, Simone Tini
1999	—	`conf`	On The Expressiveness of Timed Concurrent Constraint Programming. EXPRESS Simone Tini
1998	—	`conf`	Projectable Semantics for Statecharts. MFCS Workshop on Concurrency Andrea Maggiolo-Schettini, Simone Tini
1998	—	`conf`	Two semantics for Timed Default Concurrent Constraint Programming. COTIC Simone Tini, Andrea Maggiolo-Schettini
1996	B	`conf`	Equivalences of Statecharts. CONCUR Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini