Edit Profile (opens in new tab) Bortolussi, Luca Compute Distance To: Compute Author ID: bortolussi.luca Published as: Bortolussi, Luca; Bortolussi, L. External Links: MGP Documents Indexed: 56 Publications since 2004 4 Contributions as Editor Co-Authors: 38 Co-Authors with 58 Joint Publications 659 Co-Co-Authors all top 5 Co-Authors 2 single-authored 10 Policriti, Alberto 9 Hillston, Jane 8 Sanguinetti, Guido 7 Sgarro, Andrea 6 Wolf, Verena 5 Backenköhler, Michael 5 Bartocci, Ezio 5 Galpin, Vashti 5 Nenzi, Laura 3 Cardelli, Luca 3 Kwiatkowska, Marta Z. 3 Laurenti, Luca 3 Loreti, Michele 3 Milios, Dimitrios 3 Wiklicky, Herbert 2 Bertrand, Nathalie 2 Dinu, Liviu Petrişor 2 Großmann, Gerrit 2 Lanciani, Roberta 2 Silvetti, Simone 1 Abate, Alessandro 1 Bock, Christoph 1 Brázdil, Tomáš 1 Cairoli, Francesca 1 Caravagna, Giulio 1 Carbone, Ginevra 1 Češka, Milan 1 Ciancia, Vincenzo 1 Dovier, Agostino 1 Fogolari, Federico 1 Franzoi, Laura 1 Gast, Nicolas 1 Krüger, Thilo 1 Massink, Mieke 1 Mikeev, Linar 1 Palmieri, Luca 1 Tschaikowski, Max 1 Vicig, Paolo all top 5 Serials 4 Theoretical Computer Science 4 Information and Computation 3 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 3 Logical Methods in Computer Science 2 Fundamenta Informaticae 2 Lecture Notes in Computer Science 1 Formal Aspects of Computing 1 Journal of Logic and Computation 1 Constraints 1 Journal of Discrete Mathematical Sciences & Cryptography 1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 ACM Transactions on Computational Logic 1 Multiagent and Grid Systems 1 Mathematics in Computer Science 1 Electronic Proceedings in Theoretical Computer Science (EPTCS) all top 5 Fields 41 Computer science (68-XX) 28 Biology and other natural sciences (92-XX) 18 Probability theory and stochastic processes (60-XX) 7 Mathematical logic and foundations (03-XX) 7 Systems theory; control (93-XX) 5 Ordinary differential equations (34-XX) 4 General and overarching topics; collections (00-XX) 4 Operations research, mathematical programming (90-XX) 4 Information and communication theory, circuits (94-XX) 2 Statistics (62-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Numerical analysis (65-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 37 Publications have been cited 185 times in 99 Documents Cited by ▼ Year ▼ Modeling biological systems in stochastic concurrent constraint programming. Zbl 1144.92001Bortolussi, Luca; Policriti, Alberto 32 2008 Stochastic concurrent constraint programming and differential equations. Zbl 1279.92031Bortolussi, Luca; Policriti, Alberto 17 2007 Data-driven statistical learning of temporal logic properties. Zbl 1448.68371Bartocci, Ezio; Bortolussi, Luca; Sanguinetti, Guido 10 2014 HYPE applied to the modelling of hybrid biological systems. Zbl 1286.92027Galpin, Vashti; Hillston, Jane; Bortolussi, Luca 9 2008 Fluid model checking. Zbl 1364.68259Bortolussi, Luca; Hillston, Jane 8 2012 Hybrid dynamics of stochastic programs. Zbl 1198.68175Bortolussi, Luca; Policriti, Alberto 8 2010 System design of stochastic models using robustness of temporal properties. Zbl 1327.68147Bartocci, Ezio; Bortolussi, Luca; Nenzi, Laura; Sanguinetti, Guido 8 2015 Smoothed model checking for uncertain continuous-time Markov chains. Zbl 1336.68162Bortolussi, Luca; Milios, Dimitrios; Sanguinetti, Guido 7 2016 Model checking single agent behaviours by fluid approximation. Zbl 1317.68108Bortolussi, Luca; Hillston, Jane 7 2015 On the approximation of stochastic concurrent constraint programming by master equation. Zbl 1286.68344Bortolussi, Luca 6 2008 HYPE: hybrid modelling by composition of flows. Zbl 1298.68191Galpin, Vashti; Bortolussi, Luca; Hillston, Jane 6 2013 The importance of being (a little bit) discrete. Zbl 1283.92009Bortolussi, Luca; Policriti, Alberto 5 2009 Dynamical systems and stochastic programming: to ordinary differential equations and back. Zbl 1260.92020Bortolussi, Luca; Policriti, Alberto 5 2009 (Hybrid) automata and (stochastic) programs. The hybrid automata lattice of a stochastic program. Zbl 1272.68289Bortolussi, Luca; Policriti, Alberto 5 2013 Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation. Zbl 1381.92110Bortolussi, Luca; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca 5 2016 Stochastic programs and hybrid automata for (biological) modeling. Zbl 1268.68059Bortolussi, Luca; Policriti, Alberto 4 2009 Bayesian statistical parameter synthesis for linear temporal properties of stochastic models. Zbl 1423.68322Bortolussi, Luca; Silvetti, Simone 4 2018 Qualitative and quantitative monitoring of spatio-temporal properties with SSTL. Zbl 1448.68313Nenzi, L.; Bortolussi, L.; Ciancia, V.; Loreti, M.; Massink, M. 4 2018 Hybrid dynamics of stochastic \(\pi \)-calculus. Zbl 1205.68238Bortolussi, Luca; Policriti, Alberto 4 2009 HYPE: a process algebra for compositional flows and emergent behaviour. Zbl 1254.68170Galpin, Vashti; Bortolussi, Luca; Hillston, Jane 4 2009 A distributed and probabilistic concurrent constraint programming language. Zbl 1165.68325Bortolussi, Luca; Wiklicky, Herbert 3 2005 Checking individual agent behaviours in Markov population models by fluid approximation. Zbl 1380.68269Bortolussi, Luca; Hillston, Jane 3 2013 Hybrid behaviour of Markov population models. Zbl 1336.68177Bortolussi, Luca 2 2016 Model checking Markov population models by stochastic approximations. Zbl 1400.68120Bortolussi, Luca; Lanciani, Roberta; Nenzi, Laura 2 2018 Fluid model checking of timed properties. Zbl 1465.68171Bortolussi, Luca; Lanciani, Roberta 2 2015 Deep abstractions of chemical reaction networks. Zbl 1397.92272Bortolussi, Luca; Palmieri, Luca 2 2018 Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent. Zbl 1380.65024Bartocci, Ezio; Bortolussi, Luca; Brázdil, Tomǎš; Milios, Dimitrios; Sanguinetti, Guido 2 2016 Mean-field limits beyond ordinary differential equations. Zbl 1346.68217Bortolussi, Luca; Gast, Nicolas 2 2016 Analysis of Markov jump processes under terminal constraints. Zbl 1472.60140Backenköhler, Michael; Bortolussi, Luca; Großmann, Gerrit; Wolf, Verena 1 2021 Generalized method of moments for stochastic reaction networks in equilibrium. Zbl 1382.92268Backenköhler, Michael; Bortolussi, Luca; Wolf, Verena 1 2016 Spearman permutation distances and Shannon’s distinguishability. Zbl 1264.94088Bortolussi, Luca; Dinu, Liviu P.; Sgarro, Andrea 1 2012 Reachability computation for switching diffusions, finite abstractions with certifiable and tuneable precision. Zbl 1369.93728Laurenti, Luca; Abate, Alessandro; Bortolussi, Luca; Cardelli, Luca; Ceska, Milan; Kwiatkowska, Marta 1 2017 Fuzzy possibilities as upper previsions. Zbl 1108.94009Vicig, Paolo; Bortolussi, Luca 1 2004 Control variates for stochastic simulation of chemical reaction networks. Zbl 1422.92041Backenköhler, Michael; Bortolussi, Luca; Wolf, Verena 1 2019 Learning and designing stochastic processes from logical constraints. Zbl 1391.68094Bortolussi, Luca; Sanguinetti, Guido 1 2015 Abstraction-guided truncations for stationary distributions of Markov population models. Zbl 1500.92085Backenköhler, Michael; Bortolussi, Luca; Großmann, Gerrit; Wolf, Verena 1 2021 Abstraction of Markov population dynamics via generative adversarial nets. Zbl 1491.92090Cairoli, Francesca; Carbone, Ginevra; Bortolussi, Luca 1 2021 Analysis of Markov jump processes under terminal constraints. Zbl 1472.60140Backenköhler, Michael; Bortolussi, Luca; Großmann, Gerrit; Wolf, Verena 1 2021 Abstraction-guided truncations for stationary distributions of Markov population models. Zbl 1500.92085Backenköhler, Michael; Bortolussi, Luca; Großmann, Gerrit; Wolf, Verena 1 2021 Abstraction of Markov population dynamics via generative adversarial nets. Zbl 1491.92090Cairoli, Francesca; Carbone, Ginevra; Bortolussi, Luca 1 2021 Control variates for stochastic simulation of chemical reaction networks. Zbl 1422.92041Backenköhler, Michael; Bortolussi, Luca; Wolf, Verena 1 2019 Bayesian statistical parameter synthesis for linear temporal properties of stochastic models. Zbl 1423.68322Bortolussi, Luca; Silvetti, Simone 4 2018 Qualitative and quantitative monitoring of spatio-temporal properties with SSTL. Zbl 1448.68313Nenzi, L.; Bortolussi, L.; Ciancia, V.; Loreti, M.; Massink, M. 4 2018 Model checking Markov population models by stochastic approximations. Zbl 1400.68120Bortolussi, Luca; Lanciani, Roberta; Nenzi, Laura 2 2018 Deep abstractions of chemical reaction networks. Zbl 1397.92272Bortolussi, Luca; Palmieri, Luca 2 2018 Reachability computation for switching diffusions, finite abstractions with certifiable and tuneable precision. Zbl 1369.93728Laurenti, Luca; Abate, Alessandro; Bortolussi, Luca; Cardelli, Luca; Ceska, Milan; Kwiatkowska, Marta 1 2017 Smoothed model checking for uncertain continuous-time Markov chains. Zbl 1336.68162Bortolussi, Luca; Milios, Dimitrios; Sanguinetti, Guido 7 2016 Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation. Zbl 1381.92110Bortolussi, Luca; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca 5 2016 Hybrid behaviour of Markov population models. Zbl 1336.68177Bortolussi, Luca 2 2016 Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent. Zbl 1380.65024Bartocci, Ezio; Bortolussi, Luca; Brázdil, Tomǎš; Milios, Dimitrios; Sanguinetti, Guido 2 2016 Mean-field limits beyond ordinary differential equations. Zbl 1346.68217Bortolussi, Luca; Gast, Nicolas 2 2016 Generalized method of moments for stochastic reaction networks in equilibrium. Zbl 1382.92268Backenköhler, Michael; Bortolussi, Luca; Wolf, Verena 1 2016 System design of stochastic models using robustness of temporal properties. Zbl 1327.68147Bartocci, Ezio; Bortolussi, Luca; Nenzi, Laura; Sanguinetti, Guido 8 2015 Model checking single agent behaviours by fluid approximation. Zbl 1317.68108Bortolussi, Luca; Hillston, Jane 7 2015 Fluid model checking of timed properties. Zbl 1465.68171Bortolussi, Luca; Lanciani, Roberta 2 2015 Learning and designing stochastic processes from logical constraints. Zbl 1391.68094Bortolussi, Luca; Sanguinetti, Guido 1 2015 Data-driven statistical learning of temporal logic properties. Zbl 1448.68371Bartocci, Ezio; Bortolussi, Luca; Sanguinetti, Guido 10 2014 HYPE: hybrid modelling by composition of flows. Zbl 1298.68191Galpin, Vashti; Bortolussi, Luca; Hillston, Jane 6 2013 (Hybrid) automata and (stochastic) programs. The hybrid automata lattice of a stochastic program. Zbl 1272.68289Bortolussi, Luca; Policriti, Alberto 5 2013 Checking individual agent behaviours in Markov population models by fluid approximation. Zbl 1380.68269Bortolussi, Luca; Hillston, Jane 3 2013 Fluid model checking. Zbl 1364.68259Bortolussi, Luca; Hillston, Jane 8 2012 Spearman permutation distances and Shannon’s distinguishability. Zbl 1264.94088Bortolussi, Luca; Dinu, Liviu P.; Sgarro, Andrea 1 2012 Hybrid dynamics of stochastic programs. Zbl 1198.68175Bortolussi, Luca; Policriti, Alberto 8 2010 The importance of being (a little bit) discrete. Zbl 1283.92009Bortolussi, Luca; Policriti, Alberto 5 2009 Dynamical systems and stochastic programming: to ordinary differential equations and back. Zbl 1260.92020Bortolussi, Luca; Policriti, Alberto 5 2009 Stochastic programs and hybrid automata for (biological) modeling. Zbl 1268.68059Bortolussi, Luca; Policriti, Alberto 4 2009 Hybrid dynamics of stochastic \(\pi \)-calculus. Zbl 1205.68238Bortolussi, Luca; Policriti, Alberto 4 2009 HYPE: a process algebra for compositional flows and emergent behaviour. Zbl 1254.68170Galpin, Vashti; Bortolussi, Luca; Hillston, Jane 4 2009 Modeling biological systems in stochastic concurrent constraint programming. Zbl 1144.92001Bortolussi, Luca; Policriti, Alberto 32 2008 HYPE applied to the modelling of hybrid biological systems. Zbl 1286.92027Galpin, Vashti; Hillston, Jane; Bortolussi, Luca 9 2008 On the approximation of stochastic concurrent constraint programming by master equation. Zbl 1286.68344Bortolussi, Luca 6 2008 Stochastic concurrent constraint programming and differential equations. Zbl 1279.92031Bortolussi, Luca; Policriti, Alberto 17 2007 A distributed and probabilistic concurrent constraint programming language. Zbl 1165.68325Bortolussi, Luca; Wiklicky, Herbert 3 2005 Fuzzy possibilities as upper previsions. Zbl 1108.94009Vicig, Paolo; Bortolussi, Luca 1 2004 all cited Publications top 5 cited Publications all top 5 Cited by 198 Authors 23 Bortolussi, Luca 15 Hillston, Jane 6 Bartocci, Ezio 6 Policriti, Alberto 5 Galpin, Vashti 5 Olarte, Carlos 4 Ciocchetta, Federica 4 Nenzi, Laura 4 Nickovic, Dejan 3 Bradley, Jeremy T. 3 Brim, Luboš 3 Calder, Muffy 3 Češka, Milan 3 Deshmukh, Jyotirmoy V. 3 Falaschi, Moreno 3 Hayden, Richard A. 3 Junges, Sebastian 3 Katoen, Joost-Pieter 3 Loreti, Michele 3 Piazza, Carla 3 Sanguinetti, Guido 2 Backenköhler, Michael 2 Campagna, Dario 2 Cardelli, Luca 2 Chiarugi, Davide 2 Ciancia, Vincenzo 2 Degasperi, Andrea 2 Großmann, Gerrit 2 Grosu, Radu 2 Kwiatkowska, Marta Z. 2 Lanotte, Ruggero 2 Massink, Mieke 2 Merro, Massimo 2 Palamidessi, Catuscia 2 Pérez, Guillermo A. 2 Rueda, Camilo 2 Šafránek, David 2 Seshia, Sanjit Arunkumar 2 Soudjani, Sadegh 2 Stefanek, Anton 2 Tiwari, Ashish Kumar 2 Tschaikowski, Max 2 Valencia, Frank D. 2 Winkler, Tobias 2 Wolf, Verena 2 Zamani, Majid 1 Ahrendt, Wolfgang 1 Antoniotti, Marco 1 Anzilli, Luca 1 Aréchiga, Nikos 1 Atangana, Jacques 1 Ballarini, Paolo 1 Bates, Declan G. 1 Beneš, Nikola 1 Bentriou, Mahmoud 1 Bianculli, Domenico 1 Bloem, Roderick 1 Cairoli, Francesca 1 Caravagna, Giulio 1 Carbone, Ginevra 1 Chai, Xinwei 1 Chatzieleftheriou, George 1 Colombo, Christian 1 Coppo, Mario 1 Cournède, Paul-Henry 1 Cubuktepe, Murat 1 Cuijpers, Pieter J. L. 1 Damiani, Ferruccio 1 Dannenberg, Frits 1 De Caro, Angelo 1 DeCastro, Jonathan A. 1 Dedzo, Mireille Mbou 1 Degond, Pierre 1 Dekker, Rommert 1 Del Tedesco, Filippo 1 Deli, Vandi 1 Diez, Antoine 1 d’Onofrio, Alberto 1 Donzé, Alexandre 1 Doty, David 1 Dovier, Agostino 1 Drocco, Maurizio 1 Duijzer, Lotty Evertje 1 Edima, Hélène Carole 1 Esterle, Lukas 1 Falcone, Yliès 1 Fioretto, Ferdinando 1 Foo, Mathias 1 Francalanza, Adrian 1 Gabbrielli, Maurizio 1 Gast, Nicolas 1 Geisweiller, Nil 1 Ghosh, Shromona 1 Gninzanlong, Carlos Lawrence 1 Gomes Paulino, Nuno Miguel 1 Grassi, Elena 1 Guo, Xiaojun 1 Guzmán, Michell 1 Haar, Stefan 1 Helfrich, Martin ...and 98 more Authors all top 5 Cited in 24 Serials 15 Theoretical Computer Science 10 Information and Computation 4 Formal Methods in System Design 2 Automatica 2 Formal Aspects of Computing 2 Constraints 2 Nonlinear Analysis. Hybrid Systems 2 Journal of Logical and Algebraic Methods in Programming 1 Acta Informatica 1 Journal of Mathematical Biology 1 Chaos, Solitons and Fractals 1 Journal of Computer and System Sciences 1 Annals of Operations Research 1 European Journal of Operational Research 1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 1 ACM Transactions on Modeling and Computer Simulation 1 European Journal of Control 1 Fundamenta Informaticae 1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 SIAM Journal on Applied Dynamical Systems 1 Logical Methods in Computer Science 1 Mathematical Modelling of Natural Phenomena 1 Journal of Mathematics 1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences all top 5 Cited in 18 Fields 70 Computer science (68-XX) 42 Biology and other natural sciences (92-XX) 15 Probability theory and stochastic processes (60-XX) 10 Mathematical logic and foundations (03-XX) 10 Systems theory; control (93-XX) 8 Operations research, mathematical programming (90-XX) 4 Ordinary differential equations (34-XX) 4 Statistics (62-XX) 4 Information and communication theory, circuits (94-XX) 2 Partial differential equations (35-XX) 2 Numerical analysis (65-XX) 1 Combinatorics (05-XX) 1 Category theory; homological algebra (18-XX) 1 Topological groups, Lie groups (22-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 General topology (54-XX) 1 Mechanics of particles and systems (70-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year