×
Author ID: bortolussi.luca Recent zbMATH articles by "Bortolussi, Luca"
Published as: Bortolussi, Luca; Bortolussi, L.
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

46 Publications have been cited 248 times in 132 Documents Cited by Year
Modeling biological systems in stochastic concurrent constraint programming. Zbl 1144.92001
Bortolussi, Luca; Policriti, Alberto
37
2008
Stochastic concurrent constraint programming and differential equations. Zbl 1279.92031
Bortolussi, Luca; Policriti, Alberto
18
2007
System design of stochastic models using robustness of temporal properties. Zbl 1327.68147
Bartocci, Ezio; Bortolussi, Luca; Nenzi, Laura; Sanguinetti, Guido
13
2015
Data-driven statistical learning of temporal logic properties. Zbl 1448.68371
Bartocci, Ezio; Bortolussi, Luca; Sanguinetti, Guido
12
2014
Smoothed model checking for uncertain continuous-time Markov chains. Zbl 1336.68162
Bortolussi, Luca; Milios, Dimitrios; Sanguinetti, Guido
12
2016
Model checking single agent behaviours by fluid approximation. Zbl 1317.68108
Bortolussi, Luca; Hillston, Jane
10
2015
Fluid model checking. Zbl 1364.68259
Bortolussi, Luca; Hillston, Jane
10
2012
HYPE applied to the modelling of hybrid biological systems. Zbl 1286.92027
Galpin, Vashti; Hillston, Jane; Bortolussi, Luca
9
2008
Hybrid dynamics of stochastic programs. Zbl 1198.68175
Bortolussi, Luca; Policriti, Alberto
8
2010
Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation. Zbl 1381.92110
Bortolussi, Luca; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
8
2016
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL. Zbl 1448.68313
Nenzi, L.; Bortolussi, L.; Ciancia, V.; Loreti, M.; Massink, M.
8
2018
Bayesian statistical parameter synthesis for linear temporal properties of stochastic models. Zbl 1423.68322
Bortolussi, Luca; Silvetti, Simone
7
2018
On the approximation of stochastic concurrent constraint programming by master equation. Zbl 1286.68344
Bortolussi, Luca
7
2008
HYPE: hybrid modelling by composition of flows. Zbl 1298.68191
Galpin, Vashti; Bortolussi, Luca; Hillston, Jane
6
2013
HYPE: a process algebra for compositional flows and emergent behaviour. Zbl 1254.68170
Galpin, Vashti; Bortolussi, Luca; Hillston, Jane
5
2009
The importance of being (a little bit) discrete. Zbl 1283.92009
Bortolussi, Luca; Policriti, Alberto
5
2009
Dynamical systems and stochastic programming: to ordinary differential equations and back. Zbl 1260.92020
Bortolussi, Luca; Policriti, Alberto
5
2009
(Hybrid) automata and (stochastic) programs. The hybrid automata lattice of a stochastic program. Zbl 1272.68289
Bortolussi, Luca; Policriti, Alberto
5
2013
Hybrid dynamics of stochastic \(\pi \)-calculus. Zbl 1205.68238
Bortolussi, Luca; Policriti, Alberto
4
2009
Stochastic programs and hybrid automata for (biological) modeling. Zbl 1268.68059
Bortolussi, Luca; Policriti, Alberto
4
2009
Hybrid behaviour of Markov population models. Zbl 1336.68177
Bortolussi, Luca
4
2016
HYPE with stochastic events. Zbl 1457.68179
Bortolussi, Luca; Galpin, Vashti; Hillston, Jane
4
2011
A distributed and probabilistic concurrent constraint programming language. Zbl 1165.68325
Bortolussi, Luca; Wiklicky, Herbert
3
2005
Model checking Markov population models by stochastic approximations. Zbl 1400.68120
Bortolussi, Luca; Lanciani, Roberta; Nenzi, Laura
3
2018
Mean-field limits beyond ordinary differential equations. Zbl 1346.68217
Bortolussi, Luca; Gast, Nicolas
3
2016
Fluid model checking of timed properties. Zbl 1465.68171
Bortolussi, Luca; Lanciani, Roberta
3
2015
Checking individual agent behaviours in Markov population models by fluid approximation. Zbl 1380.68269
Bortolussi, Luca; Hillston, Jane
3
2013
Abstraction-guided truncations for stationary distributions of Markov population models. Zbl 1500.92085
Backenköhler, Michael; Bortolussi, Luca; Großmann, Gerrit; Wolf, Verena
3
2021
Hybrid performance modelling of opportunistic networks. Zbl 1458.68026
Bortolussi, Luca; Galpin, Vashti; Hillston, Jane
3
2012
Abstraction of Markov population dynamics via generative adversarial nets. Zbl 1491.92090
Cairoli, Francesca; Carbone, Ginevra; Bortolussi, Luca
3
2021
Deep abstractions of chemical reaction networks. Zbl 1397.92272
Bortolussi, Luca; Palmieri, Luca
3
2018
A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems. Zbl 07471693
Nenzi, Laura; Bartocci, Ezio; Bortolussi, Luca; Loreti, Michele
2
2022
Reachability computation for switching diffusions, finite abstractions with certifiable and tuneable precision. Zbl 1369.93728
Laurenti, Luca; Abate, Alessandro; Bortolussi, Luca; Cardelli, Luca; Ceska, Milan; Kwiatkowska, Marta
2
2017
Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent. Zbl 1380.65024
Bartocci, Ezio; Bortolussi, Luca; Brázdil, Tomǎš; Milios, Dimitrios; Sanguinetti, Guido
2
2016
Control variates for stochastic simulation of chemical reaction networks. Zbl 1422.92041
Backenköhler, Michael; Bortolussi, Luca; Wolf, Verena
2
2019
Lumping the approximate master equation for multistate processes on complex networks. Zbl 1514.90042
Großmann, Gerrit; Kyriakopoulos, Charalampos; Bortolussi, Luca; Wolf, Verena
2
2018
Fuzzy possibilities as upper previsions. Zbl 1108.94009
Vicig, Paolo; Bortolussi, Luca
1
2004
Generalized method of moments for stochastic reaction networks in equilibrium. Zbl 1382.92268
Backenköhler, Michael; Bortolussi, Luca; Wolf, Verena
1
2016
Learning and designing stochastic processes from logical constraints. Zbl 1391.68094
Bortolussi, Luca; Sanguinetti, Guido
1
2015
Bounding mean first passage times in population continuous-time Markov chains. Zbl 1486.60093
Backenköhler, Michael; Bortolussi, Luca; Wolf, Verena
1
2020
Spearman permutation distances and Shannon’s distinguishability. Zbl 1264.94088
Bortolussi, Luca; Dinu, Liviu P.; Sgarro, Andrea
1
2012
Central limit model checking. Zbl 1433.68209
Bortolussi, Luca; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
1
2019
Logic-based multi-objective design of chemical reaction networks. Zbl 1428.92035
Bortolussi, Luca; Policriti, Alberto; Silvetti, Simone
1
2016
Fluid approximation of broadcasting systems. Zbl 1432.68020
Bortolussi, Luca; Hillston, Jane; Loreti, Michele
1
2020
Analysis of Markov jump processes under terminal constraints. Zbl 1472.60140
Backenköhler, Michael; Bortolussi, Luca; Großmann, Gerrit; Wolf, Verena
1
2021
Signal convolution logic. Zbl 1517.68253
Silvetti, Simone; Nenzi, Laura; Bartocci, Ezio; Bortolussi, Luca
1
2018
A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems. Zbl 07471693
Nenzi, Laura; Bartocci, Ezio; Bortolussi, Luca; Loreti, Michele
2
2022
Abstraction-guided truncations for stationary distributions of Markov population models. Zbl 1500.92085
Backenköhler, Michael; Bortolussi, Luca; Großmann, Gerrit; Wolf, Verena
3
2021
Abstraction of Markov population dynamics via generative adversarial nets. Zbl 1491.92090
Cairoli, Francesca; Carbone, Ginevra; Bortolussi, Luca
3
2021
Analysis of Markov jump processes under terminal constraints. Zbl 1472.60140
Backenköhler, Michael; Bortolussi, Luca; Großmann, Gerrit; Wolf, Verena
1
2021
Bounding mean first passage times in population continuous-time Markov chains. Zbl 1486.60093
Backenköhler, Michael; Bortolussi, Luca; Wolf, Verena
1
2020
Fluid approximation of broadcasting systems. Zbl 1432.68020
Bortolussi, Luca; Hillston, Jane; Loreti, Michele
1
2020
Control variates for stochastic simulation of chemical reaction networks. Zbl 1422.92041
Backenköhler, Michael; Bortolussi, Luca; Wolf, Verena
2
2019
Central limit model checking. Zbl 1433.68209
Bortolussi, Luca; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
1
2019
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL. Zbl 1448.68313
Nenzi, L.; Bortolussi, L.; Ciancia, V.; Loreti, M.; Massink, M.
8
2018
Bayesian statistical parameter synthesis for linear temporal properties of stochastic models. Zbl 1423.68322
Bortolussi, Luca; Silvetti, Simone
7
2018
Model checking Markov population models by stochastic approximations. Zbl 1400.68120
Bortolussi, Luca; Lanciani, Roberta; Nenzi, Laura
3
2018
Deep abstractions of chemical reaction networks. Zbl 1397.92272
Bortolussi, Luca; Palmieri, Luca
3
2018
Lumping the approximate master equation for multistate processes on complex networks. Zbl 1514.90042
Großmann, Gerrit; Kyriakopoulos, Charalampos; Bortolussi, Luca; Wolf, Verena
2
2018
Signal convolution logic. Zbl 1517.68253
Silvetti, Simone; Nenzi, Laura; Bartocci, Ezio; Bortolussi, Luca
1
2018
Reachability computation for switching diffusions, finite abstractions with certifiable and tuneable precision. Zbl 1369.93728
Laurenti, Luca; Abate, Alessandro; Bortolussi, Luca; Cardelli, Luca; Ceska, Milan; Kwiatkowska, Marta
2
2017
Smoothed model checking for uncertain continuous-time Markov chains. Zbl 1336.68162
Bortolussi, Luca; Milios, Dimitrios; Sanguinetti, Guido
12
2016
Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation. Zbl 1381.92110
Bortolussi, Luca; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
8
2016
Hybrid behaviour of Markov population models. Zbl 1336.68177
Bortolussi, Luca
4
2016
Mean-field limits beyond ordinary differential equations. Zbl 1346.68217
Bortolussi, Luca; Gast, Nicolas
3
2016
Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent. Zbl 1380.65024
Bartocci, Ezio; Bortolussi, Luca; Brázdil, Tomǎš; Milios, Dimitrios; Sanguinetti, Guido
2
2016
Generalized method of moments for stochastic reaction networks in equilibrium. Zbl 1382.92268
Backenköhler, Michael; Bortolussi, Luca; Wolf, Verena
1
2016
Logic-based multi-objective design of chemical reaction networks. Zbl 1428.92035
Bortolussi, Luca; Policriti, Alberto; Silvetti, Simone
1
2016
System design of stochastic models using robustness of temporal properties. Zbl 1327.68147
Bartocci, Ezio; Bortolussi, Luca; Nenzi, Laura; Sanguinetti, Guido
13
2015
Model checking single agent behaviours by fluid approximation. Zbl 1317.68108
Bortolussi, Luca; Hillston, Jane
10
2015
Fluid model checking of timed properties. Zbl 1465.68171
Bortolussi, Luca; Lanciani, Roberta
3
2015
Learning and designing stochastic processes from logical constraints. Zbl 1391.68094
Bortolussi, Luca; Sanguinetti, Guido
1
2015
Data-driven statistical learning of temporal logic properties. Zbl 1448.68371
Bartocci, Ezio; Bortolussi, Luca; Sanguinetti, Guido
12
2014
HYPE: hybrid modelling by composition of flows. Zbl 1298.68191
Galpin, Vashti; Bortolussi, Luca; Hillston, Jane
6
2013
(Hybrid) automata and (stochastic) programs. The hybrid automata lattice of a stochastic program. Zbl 1272.68289
Bortolussi, Luca; Policriti, Alberto
5
2013
Checking individual agent behaviours in Markov population models by fluid approximation. Zbl 1380.68269
Bortolussi, Luca; Hillston, Jane
3
2013
Fluid model checking. Zbl 1364.68259
Bortolussi, Luca; Hillston, Jane
10
2012
Hybrid performance modelling of opportunistic networks. Zbl 1458.68026
Bortolussi, Luca; Galpin, Vashti; Hillston, Jane
3
2012
Spearman permutation distances and Shannon’s distinguishability. Zbl 1264.94088
Bortolussi, Luca; Dinu, Liviu P.; Sgarro, Andrea
1
2012
HYPE with stochastic events. Zbl 1457.68179
Bortolussi, Luca; Galpin, Vashti; Hillston, Jane
4
2011
Hybrid dynamics of stochastic programs. Zbl 1198.68175
Bortolussi, Luca; Policriti, Alberto
8
2010
HYPE: a process algebra for compositional flows and emergent behaviour. Zbl 1254.68170
Galpin, Vashti; Bortolussi, Luca; Hillston, Jane
5
2009
The importance of being (a little bit) discrete. Zbl 1283.92009
Bortolussi, Luca; Policriti, Alberto
5
2009
Dynamical systems and stochastic programming: to ordinary differential equations and back. Zbl 1260.92020
Bortolussi, Luca; Policriti, Alberto
5
2009
Hybrid dynamics of stochastic \(\pi \)-calculus. Zbl 1205.68238
Bortolussi, Luca; Policriti, Alberto
4
2009
Stochastic programs and hybrid automata for (biological) modeling. Zbl 1268.68059
Bortolussi, Luca; Policriti, Alberto
4
2009
Modeling biological systems in stochastic concurrent constraint programming. Zbl 1144.92001
Bortolussi, Luca; Policriti, Alberto
37
2008
HYPE applied to the modelling of hybrid biological systems. Zbl 1286.92027
Galpin, Vashti; Hillston, Jane; Bortolussi, Luca
9
2008
On the approximation of stochastic concurrent constraint programming by master equation. Zbl 1286.68344
Bortolussi, Luca
7
2008
Stochastic concurrent constraint programming and differential equations. Zbl 1279.92031
Bortolussi, Luca; Policriti, Alberto
18
2007
A distributed and probabilistic concurrent constraint programming language. Zbl 1165.68325
Bortolussi, Luca; Wiklicky, Herbert
3
2005
Fuzzy possibilities as upper previsions. Zbl 1108.94009
Vicig, Paolo; Bortolussi, Luca
1
2004
all top 5

Cited by 257 Authors

28 Bortolussi, Luca
16 Hillston, Jane
7 Policriti, Alberto
6 Bartocci, Ezio
6 Junges, Sebastian
5 Ciancia, Vincenzo
5 Galpin, Vashti
5 Katoen, Joost-Pieter
5 Loreti, Michele
5 Massink, Mieke
5 Olarte, Carlos
4 Cardelli, Luca
4 Ciocchetta, Federica
4 Falaschi, Moreno
4 Jansen, Nils
4 Kwiatkowska, Marta Z.
4 Latella, Diego
4 Nenzi, Laura
4 Nickovic, Dejan
4 Piazza, Carla
4 Sanguinetti, Guido
4 Tschaikowski, Max
3 Backenköhler, Michael
3 Bradley, Jeremy T.
3 Brim, Luboš
3 Cairoli, Francesca
3 Calder, Muffy
3 Češka, Milan
3 Deshmukh, Jyotirmoy V.
3 Hayden, Richard A.
3 Soudjani, Sadegh
3 Wolf, Verena
3 Zamani, Majid
2 Ballarini, Paolo
2 Bentriou, Mahmoud
2 Campagna, Dario
2 Chiarugi, Davide
2 Cournède, Paul-Henry
2 Cubuktepe, Murat
2 de Vink, Erik P.
2 Degasperi, Andrea
2 d’Onofrio, Alberto
2 Großmann, Gerrit
2 Grosu, Radu
2 Hermith, Diana
2 Lanciani, Roberta
2 Lanotte, Ruggero
2 Lindemann, Lars
2 Merro, Massimo
2 Milios, Dimitrios
2 Palamidessi, Catuscia
2 Paoletti, Nicola
2 Pappas, George J.
2 Pérez, Guillermo A.
2 Piho, Paul
2 Rueda, Camilo
2 Šafránek, David
2 Seshia, Sanjit Arunkumar
2 Stefanek, Anton
2 Tiwari, Ashish Kumar
2 Topcu, Ufuk
2 Tribastone, Mirco
2 Valencia, Frank D.
2 Vandin, Andrea
2 Whitby, Max
2 Winkler, Tobias
1 Abate, Alessandro
1 Ahrendt, Wolfgang
1 Anselmi, Fabio
1 Antoniotti, Marco
1 Anzilli, Luca
1 Aréchiga, Nikos
1 Atangana, Jacques
1 Badings, Thom S.
1 Bates, Declan G.
1 Beneš, Nikola
1 Bernini, Andrea
1 Bezhanishvili, Nick
1 Bianculli, Domenico
1 Bloem, Roderick
1 Bokes, Pavol
1 Brodo, Linda
1 Caravagna, Giulio
1 Carbone, Ginevra
1 Chai, Xinwei
1 Chatzieleftheriou, George
1 Cleaveland, Matthew
1 Colombo, Christian
1 Conradie, Willem
1 Coppo, Mario
1 Cuijpers, Pieter J. L.
1 Damiani, Ferruccio
1 Dang, Thao
1 Dannenberg, Frits
1 De Caro, Angelo
1 DeCastro, Jonathan A.
1 Dedzo, Mireille Mbou
1 Degano, Pierpaolo
1 Degond, Pierre
1 Dekker, Rommert
...and 157 more Authors

Citations by Year