×

zbMATH — the first resource for mathematics

Lanotte, Ruggero

Compute Distance To:
Author ID: lanotte.ruggero Recent zbMATH articles by "Lanotte, Ruggero"
Published as: Lanotte, Ruggero
External Links: ORCID
Documents Indexed: 39 Publications since 2000

Publications by Year

Citations contained in zbMATH

33 Publications have been cited 89 times in 64 Documents Cited by Year
Parametric probabilistic transition systems for system design and analysis. Zbl 1111.68084
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo
8
2007
Probabilistic bisimulation as a congruence. Zbl 1351.68183
Lanotte, Ruggero; Tini, Simone
7
2009
Automatic analysis of a non-repudiation protocol. Zbl 1272.68326
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo
7
2005
Semantic analysis of gossip protocols for wireless sensor networks. Zbl 1343.68028
Lanotte, Ruggero; Merro, Massimo
6
2011
Weak bisimulation for probabilistic timed automata. Zbl 1208.68160
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo
6
2010
Probabilistic congruence for semistochastic generative processes. Zbl 1118.68572
Lanotte, Ruggero; Tini, Simone
6
2005
Distributed time-asynchronous automata. Zbl 1147.68556
Dima, Cătălin; Lanotte, Ruggero
4
2007
Timed cooperating automata. Zbl 0965.68046
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano
4
2000
Design and verification of long-running transactions in a timed framework. Zbl 1170.68024
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
3
2008
Complexity and succinctness issues for linear-time hybrid logics. Zbl 1178.03029
Bozzelli, Laura; Lanotte, Ruggero
3
2008
Taylor approximation for hybrid systems. Zbl 1130.68071
Lanotte, Ruggero; Tini, Simone
3
2007
Weak bisimulation metrics in models with nondeterminism and continuous state spaces. Zbl 06983513
Lanotte, Ruggero; Tini, Simone
2
2018
A semantic theory of the Internet of things. Zbl 1388.68013
Lanotte, Ruggero; Merro, Massimo
2
2018
A calculus of cyber-physical systems. Zbl 06725131
Lanotte, Ruggero; Merro, Massimo
2
2017
Reachability results for timed automata with unbounded data structures. Zbl 1214.68199
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo
2
2010
Removing all silent transitions from timed automata. Zbl 1262.68089
Dima, Cătălin; Lanotte, Ruggero
2
2009
Taylor approximation for hybrid systems. Zbl 1078.93044
Lanotte, Ruggero; Tini, Simone
2
2005
Concurrency in timed automata. Zbl 1070.68073
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone
2
2003
Formal models of timing attacks on web privacy. Zbl 1268.68036
Focardi, Riccardo; Gorrieri, Roberto; Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Martinelli, Fabio; Tini, Simone; Tronci, Enrico
2
2002
Concurrency in timed automata. Zbl 0999.68135
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone
2
2001
Transformations of timed cooperating automata. Zbl 1004.68088
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Peron, Adriano
2
2001
Equational reasonings in wireless network gossip protocols. Zbl 1408.68030
Lanotte, Ruggero; Merro, Massimo; Tini, Simone
1
2018
A function elimination method for checking satisfiability of arithmetical logics. Zbl 1403.03048
Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
1
2016
A specification format for rooted branching bisimulation. Zbl 1315.68190
Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
1
2014
A study on shuffle, stopwatches and independently evolving clocks. Zbl 1277.68179
Dima, Cătălin; Lanotte, Ruggero
1
2012
Hybrid and first-order complete extensions of CaRet. Zbl 1333.03005
Bozzelli, Laura; Lanotte, Ruggero
1
2011
Security policies enforcement using finite edit automata. Zbl 1291.68279
Beauquier, Danièle; Cohen, Joëlle; Lanotte, Ruggero
1
2009
A decidable probability logic for timed probabilistic systems. Zbl 1198.68169
Lanotte, Ruggero; Beauquier, Danièle
1
2009
Expressive power of hybrid systems with real variables, integer variables and arrays. Zbl 1145.68462
Lanotte, Ruggero
1
2007
Expressive power of hybrid systems with variables, parameters and arrays. Zbl 1271.68189
Lanotte, Ruggero
1
2004
Structural model checking for communicating hierarchical machines. Zbl 1096.68092
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano
1
2004
Dynamic hierarchical machines. Zbl 1111.68061
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano; Tini, Simone
1
2003
Timed automata with monotonic activities. Zbl 0996.68100
Lanotte, Ruggero; Maggiolo-Schettini, Andrea
1
2000
Weak bisimulation metrics in models with nondeterminism and continuous state spaces. Zbl 06983513
Lanotte, Ruggero; Tini, Simone
2
2018
A semantic theory of the Internet of things. Zbl 1388.68013
Lanotte, Ruggero; Merro, Massimo
2
2018
Equational reasonings in wireless network gossip protocols. Zbl 1408.68030
Lanotte, Ruggero; Merro, Massimo; Tini, Simone
1
2018
A calculus of cyber-physical systems. Zbl 06725131
Lanotte, Ruggero; Merro, Massimo
2
2017
A function elimination method for checking satisfiability of arithmetical logics. Zbl 1403.03048
Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
1
2016
A specification format for rooted branching bisimulation. Zbl 1315.68190
Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
1
2014
A study on shuffle, stopwatches and independently evolving clocks. Zbl 1277.68179
Dima, Cătălin; Lanotte, Ruggero
1
2012
Semantic analysis of gossip protocols for wireless sensor networks. Zbl 1343.68028
Lanotte, Ruggero; Merro, Massimo
6
2011
Hybrid and first-order complete extensions of CaRet. Zbl 1333.03005
Bozzelli, Laura; Lanotte, Ruggero
1
2011
Weak bisimulation for probabilistic timed automata. Zbl 1208.68160
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo
6
2010
Reachability results for timed automata with unbounded data structures. Zbl 1214.68199
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo
2
2010
Probabilistic bisimulation as a congruence. Zbl 1351.68183
Lanotte, Ruggero; Tini, Simone
7
2009
Removing all silent transitions from timed automata. Zbl 1262.68089
Dima, Cătălin; Lanotte, Ruggero
2
2009
Security policies enforcement using finite edit automata. Zbl 1291.68279
Beauquier, Danièle; Cohen, Joëlle; Lanotte, Ruggero
1
2009
A decidable probability logic for timed probabilistic systems. Zbl 1198.68169
Lanotte, Ruggero; Beauquier, Danièle
1
2009
Design and verification of long-running transactions in a timed framework. Zbl 1170.68024
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
3
2008
Complexity and succinctness issues for linear-time hybrid logics. Zbl 1178.03029
Bozzelli, Laura; Lanotte, Ruggero
3
2008
Parametric probabilistic transition systems for system design and analysis. Zbl 1111.68084
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo
8
2007
Distributed time-asynchronous automata. Zbl 1147.68556
Dima, Cătălin; Lanotte, Ruggero
4
2007
Taylor approximation for hybrid systems. Zbl 1130.68071
Lanotte, Ruggero; Tini, Simone
3
2007
Expressive power of hybrid systems with real variables, integer variables and arrays. Zbl 1145.68462
Lanotte, Ruggero
1
2007
Automatic analysis of a non-repudiation protocol. Zbl 1272.68326
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo
7
2005
Probabilistic congruence for semistochastic generative processes. Zbl 1118.68572
Lanotte, Ruggero; Tini, Simone
6
2005
Taylor approximation for hybrid systems. Zbl 1078.93044
Lanotte, Ruggero; Tini, Simone
2
2005
Expressive power of hybrid systems with variables, parameters and arrays. Zbl 1271.68189
Lanotte, Ruggero
1
2004
Structural model checking for communicating hierarchical machines. Zbl 1096.68092
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano
1
2004
Concurrency in timed automata. Zbl 1070.68073
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone
2
2003
Dynamic hierarchical machines. Zbl 1111.68061
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano; Tini, Simone
1
2003
Formal models of timing attacks on web privacy. Zbl 1268.68036
Focardi, Riccardo; Gorrieri, Roberto; Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Martinelli, Fabio; Tini, Simone; Tronci, Enrico
2
2002
Concurrency in timed automata. Zbl 0999.68135
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone
2
2001
Transformations of timed cooperating automata. Zbl 1004.68088
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Peron, Adriano
2
2001
Timed cooperating automata. Zbl 0965.68046
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano
4
2000
Timed automata with monotonic activities. Zbl 0996.68100
Lanotte, Ruggero; Maggiolo-Schettini, Andrea
1
2000
all top 5

Cited by 137 Authors

16 Lanotte, Ruggero
15 Tini, Simone
7 Maggiolo-Schettini, Andrea
5 Castiglioni, Valentina
5 Merro, Massimo
4 Gebler, Daniel E.
3 Reniers, Michel Adriaan
3 Troina, Angelo
2 Bartocci, Ezio
2 Campagna, Dario
2 Dima, Cătălin
2 Meier, Arne
2 Mousavi, Mohammadreza
2 Mundhenk, Martin
2 Norman, Gethin
2 Piazza, Carla
2 Schneider, Thomas
2 Sproston, Jeremy
2 Thomas, Michael D.
2 Weber, Volker
2 Weiss, Felix
1 Aceto, Luca
1 Akshay, S.
1 André, Étienne
1 Azgomi, Mohammad Abdollahi
1 Baier, Christel
1 Balaguer, Sandie
1 Ban Kirigin, Tajana
1 Barbuti, Roberto
1 Basin, David A.
1 Benerecetti, Massimo
1 Birgisson, Arnar
1 Bodei, Chiara
1 Bortolussi, Luca
1 Bozzelli, Laura
1 Cassez, Franck
1 Cenciarelli, Pietro
1 Chatain, Thomas
1 Chen, Jing
1 Chen, Zhenbang
1 Clarke, Edmund Melson jun.
1 Cleaveland, Rance
1 Cremers, Cas J. F.
1 D’Argenio, Pedro Rubén
1 De Guglielmo, Renato
1 Degano, Pierpaolo
1 Delahaye, Benoît
1 Deng, Yuxin
1 Di Pierro, Alessandra
1 Dingel, Juergen
1 Ferrari, Gian Luigi
1 Focardi, Riccardo
1 Fontana, Peter
1 Fribourg, Laurent
1 Galletta, Letterio
1 Genest, Blaise
1 Gentile, Ugo
1 Gorla, Daniele
1 Gorrieri, Roberto
1 Grodzki, Grzegorz
1 Groote, Jan Friso
1 Grosu, Radu
1 Haar, Stefan
1 Hankin, Chris L.
1 He, Anping
1 Hélouët, Loïc
1 Hensel, Christian
1 Hutschenreiter, Lisa
1 Ingólfsdóttir, Anna
1 Junges, Sebastian
1 Kanovich, Max Iosifovich
1 Katoen, Joost-Pieter
1 Katsaros, Panagiotis
1 Khoury, Raphaël
1 Klein, Joachim
1 La Torre, Salvatore
1 Larsen, Kim Guldstrand
1 Lee, Matias David
1 Legay, Axel
1 Levi, Francesca
1 Li, Lei
1 Liu, Zhiming
1 Loreti, Michele
1 Macià Soler, Hermenegilda
1 Marrone, Stefano
1 Martinelli, Fabio
1 Matteucci, Ilaria
1 Mazzocca, Nicola
1 Meadows, Catherine A.
1 Milazzo, Paolo
1 Motallebi, Hassan
1 Mousavi, Mohammad Reza
1 Napoli, Margherita
1 Nardone, Roberto
1 Nenzi, Laura
1 Nigam, Vivek
1 Ortiz, James N.
1 Parente, Mimmo
1 Parker, David F.
1 Parker, David J.
...and 37 more Authors

Citations by Year