Följ
simone tini
simone tini
Verifierad e-postadress på uninsubria.it - Startsida
Titel
Citeras av
Citeras av
År
Equivalences of statecharts
A Maggiolo-Schettini, A Peron, S Tini
CONCUR'96: Concurrency Theory: 7th International Conference Pisa, Italy …, 1996
861996
Compositional bisimulation metric reasoning with probabilistic process calculi
S Tini, KG Larsen, D Gebler
Logical Methods in Computer Science 12, 2017
482017
A comparison of statecharts step semantics
A Maggiolo-Schettini, A Peron, S Tini
Theoretical Computer Science 290 (1), 465-498, 2003
382003
Probabilistic bisimulation as a congruence
R Lanotte, S Tini
ACM Transactions on Computational Logic (TOCL) 10 (2), 1-48, 2009
342009
Compositional semantics and behavioral equivalences for P Systems
R Barbuti, A Maggiolo-Schettini, P Milazzo, S Tini
Theoretical Computer Science 395 (1), 77-100, 2008
342008
Non-expansive ϵ-bisimulations for probabilistic processes
S Tini
Theoretical Computer Science 411 (22-24), 2202-2222, 2010
282010
Taylor approximation for hybrid systems
R Lanotte, S Tini
Hybrid Systems: Computation and Control: 8th International Workshop, HSCC …, 2005
262005
On the expressiveness of timed concurrent constraint programming
S Tini
Electronic Notes in Theoretical Computer Science 27, 3-17, 1999
261999
Logical characterization of bisimulation metrics
V Castiglioni, D Gebler, S Tini
arXiv preprint arXiv:1610.08169, 2016
252016
AP systems flat form preserving step-by-step behaviour
R Barbuti, A Maggiolo-Schettini, P Milazzo, S Tini
Fundamenta Informaticae 87 (1), 1, 2008
252008
Formal models of timing attacks on web privacy
R Focardi, R Gorrieri, R Lanotte, A Maggiolo-Schettini, F Martinelli, S Tini, ...
Electronic Notes in Theoretical Computer Science 62, 229-243, 2002
252002
Rule formats for compositional non-interference properties
S Tini
The Journal of Logic and Algebraic Programming 60, 353-400, 2004
232004
A probabilistic calculus of cyber-physical systems
R Lanotte, M Merro, S Tini
Information and Computation 279, 104618, 2021
222021
Towards a formal notion of impact metric for cyber-physical attacks
R Lanotte, M Merro, S Tini
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018
212018
Compositionality of approximate bisimulation for probabilistic systems
D Gebler, S Tini
arXiv preprint arXiv:1307.7442, 2013
212013
SOS specifications for uniformly continuous operators
D Gebler, S Tini
Journal of Computer and System Sciences 92, 113-151, 2018
182018
SOS specifications of probabilistic systems by uniformly continuous operators
D Gebler, S Tini
26th International Conference on Concurrency Theory (CONCUR 2015), 2015
182015
Fixed-point characterization of compositionality properties of probabilistic processes combinators
D Gebler, S Tini
arXiv preprint arXiv:1408.1457, 2014
182014
Probabilistic congruence for semistochastic generative processes
R Lanotte, S Tini
Foundations of Software Science and Computational Structures: 8th …, 2005
182005
Automated analysis of timed security: a case study on web privacy
R Gorrieri, R Lanotte, A Maggiolo-Schettini, F Martinelli, S Tini, E Tronci
International Journal of Information Security 2, 168-186, 2004
182004
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20