Edit Profile Lanotte, Ruggero Compute Distance To: Compute Author ID: lanotte.ruggero Published as: Lanotte, Ruggero External Links: ORCID Documents Indexed: 39 Publications since 2000 all top 5 Co-Authors 2 single-authored 16 Maggiolo-Schettini, Andrea 16 Tini, Simone 6 Merro, Massimo 6 Troina, Angelo 4 Peron, Adriano 3 Bozzelli, Laura 3 Dima, Cătălin 2 Beauquier, Danièle 2 Castiglioni, Valentina 2 Tronci, Enrico 1 Cohen, Joëlle 1 Focardi, Riccardo 1 Gorrieri, Roberto 1 Martinelli, Fabio 1 Milazzo, Paolo 1 Mogavero, Fabio all top 5 Serials 6 Fundamenta Informaticae 3 Theoretical Computer Science 2 Information and Computation 1 Acta Informatica 1 Information Processing Letters 1 Journal of Computer and System Sciences 1 Science of Computer Programming 1 Formal Aspects of Computing 1 Distributed Computing 1 Journal of Automata, Languages and Combinatorics 1 ACM Transactions on Computational Logic 1 Logical Methods in Computer Science Fields 38 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 4 Systems theory; control (93-XX) 1 Approximations and expansions (41-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications 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.68084Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo 8 2007 Probabilistic bisimulation as a congruence. Zbl 1351.68183Lanotte, Ruggero; Tini, Simone 7 2009 Automatic analysis of a non-repudiation protocol. Zbl 1272.68326Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo 7 2005 Semantic analysis of gossip protocols for wireless sensor networks. Zbl 1343.68028Lanotte, Ruggero; Merro, Massimo 6 2011 Weak bisimulation for probabilistic timed automata. Zbl 1208.68160Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo 6 2010 Probabilistic congruence for semistochastic generative processes. Zbl 1118.68572Lanotte, Ruggero; Tini, Simone 6 2005 Distributed time-asynchronous automata. Zbl 1147.68556Dima, Cătălin; Lanotte, Ruggero 4 2007 Timed cooperating automata. Zbl 0965.68046Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano 4 2000 Design and verification of long-running transactions in a timed framework. Zbl 1170.68024Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo 3 2008 Complexity and succinctness issues for linear-time hybrid logics. Zbl 1178.03029Bozzelli, Laura; Lanotte, Ruggero 3 2008 Taylor approximation for hybrid systems. Zbl 1130.68071Lanotte, Ruggero; Tini, Simone 3 2007 Weak bisimulation metrics in models with nondeterminism and continuous state spaces. Zbl 06983513Lanotte, Ruggero; Tini, Simone 2 2018 A semantic theory of the Internet of things. Zbl 1388.68013Lanotte, Ruggero; Merro, Massimo 2 2018 A calculus of cyber-physical systems. Zbl 06725131Lanotte, Ruggero; Merro, Massimo 2 2017 Reachability results for timed automata with unbounded data structures. Zbl 1214.68199Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo 2 2010 Removing all silent transitions from timed automata. Zbl 1262.68089Dima, Cătălin; Lanotte, Ruggero 2 2009 Taylor approximation for hybrid systems. Zbl 1078.93044Lanotte, Ruggero; Tini, Simone 2 2005 Concurrency in timed automata. Zbl 1070.68073Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone 2 2003 Formal models of timing attacks on web privacy. Zbl 1268.68036Focardi, Riccardo; Gorrieri, Roberto; Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Martinelli, Fabio; Tini, Simone; Tronci, Enrico 2 2002 Concurrency in timed automata. Zbl 0999.68135Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone 2 2001 Transformations of timed cooperating automata. Zbl 1004.68088Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Peron, Adriano 2 2001 Equational reasonings in wireless network gossip protocols. Zbl 1408.68030Lanotte, Ruggero; Merro, Massimo; Tini, Simone 1 2018 A function elimination method for checking satisfiability of arithmetical logics. Zbl 1403.03048Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone 1 2016 A specification format for rooted branching bisimulation. Zbl 1315.68190Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone 1 2014 A study on shuffle, stopwatches and independently evolving clocks. Zbl 1277.68179Dima, Cătălin; Lanotte, Ruggero 1 2012 Hybrid and first-order complete extensions of CaRet. Zbl 1333.03005Bozzelli, Laura; Lanotte, Ruggero 1 2011 Security policies enforcement using finite edit automata. Zbl 1291.68279Beauquier, Danièle; Cohen, Joëlle; Lanotte, Ruggero 1 2009 A decidable probability logic for timed probabilistic systems. Zbl 1198.68169Lanotte, Ruggero; Beauquier, Danièle 1 2009 Expressive power of hybrid systems with real variables, integer variables and arrays. Zbl 1145.68462Lanotte, Ruggero 1 2007 Expressive power of hybrid systems with variables, parameters and arrays. Zbl 1271.68189Lanotte, Ruggero 1 2004 Structural model checking for communicating hierarchical machines. Zbl 1096.68092Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano 1 2004 Dynamic hierarchical machines. Zbl 1111.68061Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano; Tini, Simone 1 2003 Timed automata with monotonic activities. Zbl 0996.68100Lanotte, Ruggero; Maggiolo-Schettini, Andrea 1 2000 Weak bisimulation metrics in models with nondeterminism and continuous state spaces. Zbl 06983513Lanotte, Ruggero; Tini, Simone 2 2018 A semantic theory of the Internet of things. Zbl 1388.68013Lanotte, Ruggero; Merro, Massimo 2 2018 Equational reasonings in wireless network gossip protocols. Zbl 1408.68030Lanotte, Ruggero; Merro, Massimo; Tini, Simone 1 2018 A calculus of cyber-physical systems. Zbl 06725131Lanotte, Ruggero; Merro, Massimo 2 2017 A function elimination method for checking satisfiability of arithmetical logics. Zbl 1403.03048Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone 1 2016 A specification format for rooted branching bisimulation. Zbl 1315.68190Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone 1 2014 A study on shuffle, stopwatches and independently evolving clocks. Zbl 1277.68179Dima, Cătălin; Lanotte, Ruggero 1 2012 Semantic analysis of gossip protocols for wireless sensor networks. Zbl 1343.68028Lanotte, Ruggero; Merro, Massimo 6 2011 Hybrid and first-order complete extensions of CaRet. Zbl 1333.03005Bozzelli, Laura; Lanotte, Ruggero 1 2011 Weak bisimulation for probabilistic timed automata. Zbl 1208.68160Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo 6 2010 Reachability results for timed automata with unbounded data structures. Zbl 1214.68199Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo 2 2010 Probabilistic bisimulation as a congruence. Zbl 1351.68183Lanotte, Ruggero; Tini, Simone 7 2009 Removing all silent transitions from timed automata. Zbl 1262.68089Dima, Cătălin; Lanotte, Ruggero 2 2009 Security policies enforcement using finite edit automata. Zbl 1291.68279Beauquier, Danièle; Cohen, Joëlle; Lanotte, Ruggero 1 2009 A decidable probability logic for timed probabilistic systems. Zbl 1198.68169Lanotte, Ruggero; Beauquier, Danièle 1 2009 Design and verification of long-running transactions in a timed framework. Zbl 1170.68024Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo 3 2008 Complexity and succinctness issues for linear-time hybrid logics. Zbl 1178.03029Bozzelli, Laura; Lanotte, Ruggero 3 2008 Parametric probabilistic transition systems for system design and analysis. Zbl 1111.68084Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo 8 2007 Distributed time-asynchronous automata. Zbl 1147.68556Dima, Cătălin; Lanotte, Ruggero 4 2007 Taylor approximation for hybrid systems. Zbl 1130.68071Lanotte, Ruggero; Tini, Simone 3 2007 Expressive power of hybrid systems with real variables, integer variables and arrays. Zbl 1145.68462Lanotte, Ruggero 1 2007 Automatic analysis of a non-repudiation protocol. Zbl 1272.68326Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo 7 2005 Probabilistic congruence for semistochastic generative processes. Zbl 1118.68572Lanotte, Ruggero; Tini, Simone 6 2005 Taylor approximation for hybrid systems. Zbl 1078.93044Lanotte, Ruggero; Tini, Simone 2 2005 Expressive power of hybrid systems with variables, parameters and arrays. Zbl 1271.68189Lanotte, Ruggero 1 2004 Structural model checking for communicating hierarchical machines. Zbl 1096.68092Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano 1 2004 Concurrency in timed automata. Zbl 1070.68073Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone 2 2003 Dynamic hierarchical machines. Zbl 1111.68061Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano; Tini, Simone 1 2003 Formal models of timing attacks on web privacy. Zbl 1268.68036Focardi, Riccardo; Gorrieri, Roberto; Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Martinelli, Fabio; Tini, Simone; Tronci, Enrico 2 2002 Concurrency in timed automata. Zbl 0999.68135Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone 2 2001 Transformations of timed cooperating automata. Zbl 1004.68088Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Peron, Adriano 2 2001 Timed cooperating automata. Zbl 0965.68046Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano 4 2000 Timed automata with monotonic activities. Zbl 0996.68100Lanotte, Ruggero; Maggiolo-Schettini, Andrea 1 2000 all cited Publications top 5 cited Publications 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 all top 5 Cited in 21 Serials 11 Theoretical Computer Science 7 Information and Computation 4 Formal Methods in System Design 3 Information Processing Letters 3 Logical Methods in Computer Science 2 Acta Informatica 2 Journal of Computer and System Sciences 2 Computer Science Review 1 ACM Computing Surveys 1 Science of Computer Programming 1 Formal Aspects of Computing 1 Real-Time Systems 1 MSCS. Mathematical Structures in Computer Science 1 Distributed Computing 1 Discrete Dynamics in Nature and Society 1 International Journal of Applied Mathematics and Computer Science 1 The Journal of Logic and Algebraic Programming 1 Journal of Applied Mathematics 1 Journal of Applied Logic 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Journal of Shanghai Jiaotong University (Science) all top 5 Cited in 9 Fields 62 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 3 Probability theory and stochastic processes (60-XX) 3 Biology and other natural sciences (92-XX) 2 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) 2 Information and communication theory, circuits (94-XX) 1 Combinatorics (05-XX) 1 Operator theory (47-XX) Citations by Year