×

zbMATH — the first resource for mathematics

Bortolussi, Luca

Compute Distance To:
Author ID: bortolussi.luca Recent zbMATH articles by "Bortolussi, Luca"
Published as: Bortolussi, L.; Bortolussi, Luca
External Links: MGP
Documents Indexed: 54 Publications since 2004, including 3 Books

Publications by Year

Citations contained in zbMATH

30 Publications have been cited 154 times in 77 Documents Cited by Year
Modeling biological systems in stochastic concurrent constraint programming. Zbl 1144.92001
Bortolussi, Luca; Policriti, Alberto
25
2008
Stochastic concurrent constraint programming and differential equations. Zbl 1279.92031
Bortolussi, Luca; Policriti, Alberto
16
2007
HYPE applied to the modelling of hybrid biological systems. Zbl 1286.92027
Galpin, Vashti; Hillston, Jane; Bortolussi, Luca
8
2008
System design of stochastic models using robustness of temporal properties. Zbl 1327.68147
Bartocci, Ezio; Bortolussi, Luca; Nenzi, Laura; Sanguinetti, Guido
7
2015
Model checking single agent behaviours by fluid approximation. Zbl 1317.68108
Bortolussi, Luca; Hillston, Jane
7
2015
Fluid model checking. Zbl 1364.68259
Bortolussi, Luca; Hillston, Jane
7
2012
Hybrid dynamics of stochastic programs. Zbl 1198.68175
Bortolussi, Luca; Policriti, Alberto
7
2010
On the approximation of stochastic concurrent constraint programming by master equation. Zbl 1286.68344
Bortolussi, Luca
7
2008
(Hybrid) automata and (stochastic) programs. The hybrid automata lattice of a stochastic program. Zbl 1272.68289
Bortolussi, Luca; Policriti, Alberto
6
2013
Smoothed model checking for uncertain continuous-time Markov chains. Zbl 1336.68162
Bortolussi, Luca; Milios, Dimitrios; Sanguinetti, Guido
5
2016
Data-driven statistical learning of temporal logic properties. Zbl 1448.68371
Bartocci, Ezio; Bortolussi, Luca; Sanguinetti, Guido
5
2014
Dynamical systems and stochastic programming: to ordinary differential equations and back. Zbl 1260.92020
Bortolussi, Luca; Policriti, Alberto
5
2009
Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation. Zbl 1381.92110
Bortolussi, Luca; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
4
2016
Hybrid behaviour of Markov population models. Zbl 1336.68177
Bortolussi, Luca
4
2016
Learning and designing stochastic processes from logical constraints. Zbl 1391.68094
Bortolussi, Luca; Sanguinetti, Guido
4
2015
HYPE: hybrid modelling by composition of flows. Zbl 1298.68191
Galpin, Vashti; Bortolussi, Luca; Hillston, Jane
4
2013
The importance of being (a little bit) discrete. Zbl 1283.92009
Bortolussi, Luca; Policriti, Alberto
4
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
HYPE: a process algebra for compositional flows and emergent behaviour. Zbl 1254.68170
Galpin, Vashti; Bortolussi, Luca; Hillston, Jane
4
2009
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL. Zbl 1448.68313
Nenzi, L.; Bortolussi, L.; Ciancia, V.; Loreti, M.; Massink, M.
3
2018
Checking individual agent behaviours in Markov population models by fluid approximation. Zbl 1380.68269
Bortolussi, Luca; Hillston, Jane
3
2013
A distributed and probabilistic concurrent constraint programming language. Zbl 1165.68325
Bortolussi, Luca; Wiklicky, Herbert
3
2005
Fluid model checking of timed properties. Zbl 06481829
Bortolussi, Luca; Lanciani, Roberta
2
2015
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
1
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
1
2016
Mean-field limits beyond ordinary differential equations. Zbl 1346.68217
Bortolussi, Luca; Gast, Nicolas
1
2016
Spearman permutation distances and Shannon’s distinguishability. Zbl 1264.94088
Bortolussi, Luca; Dinu, Liviu P.; Sgarro, Andrea
1
2012
Hybrid semantics for stochastic \(\pi \)-calculus. Zbl 1171.68563
Bortolussi, Luca; Policriti, Alberto
1
2008
Fuzzy possibilities as upper previsions. Zbl 1108.94009
Vicig, Paolo; Bortolussi, Luca
1
2004
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL. Zbl 1448.68313
Nenzi, L.; Bortolussi, L.; Ciancia, V.; Loreti, M.; Massink, M.
3
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
1
2017
Smoothed model checking for uncertain continuous-time Markov chains. Zbl 1336.68162
Bortolussi, Luca; Milios, Dimitrios; Sanguinetti, Guido
5
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
4
2016
Hybrid behaviour of Markov population models. Zbl 1336.68177
Bortolussi, Luca
4
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
1
2016
Mean-field limits beyond ordinary differential equations. Zbl 1346.68217
Bortolussi, Luca; Gast, Nicolas
1
2016
System design of stochastic models using robustness of temporal properties. Zbl 1327.68147
Bartocci, Ezio; Bortolussi, Luca; Nenzi, Laura; Sanguinetti, Guido
7
2015
Model checking single agent behaviours by fluid approximation. Zbl 1317.68108
Bortolussi, Luca; Hillston, Jane
7
2015
Learning and designing stochastic processes from logical constraints. Zbl 1391.68094
Bortolussi, Luca; Sanguinetti, Guido
4
2015
Fluid model checking of timed properties. Zbl 06481829
Bortolussi, Luca; Lanciani, Roberta
2
2015
Data-driven statistical learning of temporal logic properties. Zbl 1448.68371
Bartocci, Ezio; Bortolussi, Luca; Sanguinetti, Guido
5
2014
(Hybrid) automata and (stochastic) programs. The hybrid automata lattice of a stochastic program. Zbl 1272.68289
Bortolussi, Luca; Policriti, Alberto
6
2013
HYPE: hybrid modelling by composition of flows. Zbl 1298.68191
Galpin, Vashti; Bortolussi, Luca; Hillston, Jane
4
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
7
2012
Spearman permutation distances and Shannon’s distinguishability. Zbl 1264.94088
Bortolussi, Luca; Dinu, Liviu P.; Sgarro, Andrea
1
2012
Hybrid dynamics of stochastic programs. Zbl 1198.68175
Bortolussi, Luca; Policriti, Alberto
7
2010
Dynamical systems and stochastic programming: to ordinary differential equations and back. Zbl 1260.92020
Bortolussi, Luca; Policriti, Alberto
5
2009
The importance of being (a little bit) discrete. Zbl 1283.92009
Bortolussi, Luca; Policriti, Alberto
4
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
HYPE: a process algebra for compositional flows and emergent behaviour. Zbl 1254.68170
Galpin, Vashti; Bortolussi, Luca; Hillston, Jane
4
2009
Modeling biological systems in stochastic concurrent constraint programming. Zbl 1144.92001
Bortolussi, Luca; Policriti, Alberto
25
2008
HYPE applied to the modelling of hybrid biological systems. Zbl 1286.92027
Galpin, Vashti; Hillston, Jane; Bortolussi, Luca
8
2008
On the approximation of stochastic concurrent constraint programming by master equation. Zbl 1286.68344
Bortolussi, Luca
7
2008
Hybrid semantics for stochastic \(\pi \)-calculus. Zbl 1171.68563
Bortolussi, Luca; Policriti, Alberto
1
2008
Stochastic concurrent constraint programming and differential equations. Zbl 1279.92031
Bortolussi, Luca; Policriti, Alberto
16
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 150 Authors

20 Bortolussi, Luca
14 Hillston, Jane
6 Policriti, Alberto
5 Galpin, Vashti
4 Bartocci, Ezio
4 Ciocchetta, Federica
4 Olarte, Carlos
4 Piazza, Carla
3 Bradley, Jeremy T.
3 Brim, Luboš
3 Calder, Muffy
3 Hayden, Richard A.
3 Loreti, Michele
3 Nenzi, Laura
2 Campagna, Dario
2 Cardelli, Luca
2 Češka, Milan
2 Chiarugi, Davide
2 Ciancia, Vincenzo
2 Degasperi, Andrea
2 Falaschi, Moreno
2 Grosu, Radu
2 Kwiatkowska, Marta Z.
2 Massink, Mieke
2 Nickovic, Dejan
2 Rueda, Camilo
2 Šafránek, David
2 Sanguinetti, Guido
2 Seshia, Sanjit Arunkumar
2 Stefanek, Anton
2 Tiwari, Ashish Kumar
2 Tschaikowski, Max
2 Valencia, Frank D.
1 Abate, Alessandro
1 Ahrendt, Wolfgang
1 Antoniotti, Marco
1 Anzilli, Luca
1 Bates, Declan G.
1 Beneš, Nikola
1 Bianculli, Domenico
1 Brown, Daniel R. L.
1 Caravagna, Giulio
1 Casagrande, Alberto
1 Chai, Xinwei
1 Chatzieleftheriou, George
1 Colombo, Christian
1 Coppo, Mario
1 Cubuktepe, Murat
1 Cuijpers, Pieter J. L.
1 Damiani, Ferruccio
1 Dannenberg, Frits
1 Dekker, Rommert
1 Del Tedesco, Filippo
1 Deshmukh, Jyotirmoy V.
1 d’Onofrio, Alberto
1 Donzé, Alexandre
1 Dovier, Agostino
1 Drocco, Maurizio
1 Duijzer, Lotty Evertje
1 Esterle, Lukas
1 Falcone, Yliès
1 Fioretto, Ferdinando
1 Foo, Mathias
1 Francalanza, Adrian
1 Gast, Nicolas
1 Geisweiller, Nil
1 Ghosh, Shromona
1 Gomes Paulino, Nuno Miguel
1 Grassi, Elena
1 Guzmán, Michell
1 Haar, Stefan
1 Haesaert, Sofie
1 Hermith, Diana
1 Hirsch, Christian
1 Inoue, Katsumi
1 Jakšić, Stefan
1 Jansen, Nils
1 Jha, Susmit
1 Jin, Xiaoqing
1 John, Mathias
1 Junges, Sebastian
1 Juniwal, Garvit
1 Katoen, Joost-Pieter
1 Katsaros, Panagiotis
1 Khadim, U.
1 Kim, Jongmin
1 Kloul, Leïla
1 Kolesnichenko, Anna
1 Krstić, Srđan
1 Lanciani, Roberta
1 Lanotte, Ruggero
1 Latella, Diego
1 Lhoussaine, Cédric
1 Longo, Giuseppe O.
1 Lourenço, João M.
1 Lukina, Anna
1 Magnin, Morgan
1 Mauri, Giancarlo
1 Merro, Massimo
1 Milios, Dimitrios
...and 50 more Authors

Citations by Year