BORTOLUSSI, LUCA
BORTOLUSSI, LUCA
Dipartimento di Matematica e Geoscienze
Settore INF/01 - Informatica
Docenti di ruolo di Ia fascia
A Criterion for the Stochasticity of Matrices with Specified Order Relations
2008-01-01 Bortolussi, Luca; Sgarro, Andrea
A Distributed and Probabilistic Concurrent Constraint Programming Language
2005-01-01 Bortolussi, Luca; Wiklicky, H.
A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical SystemsQuantitative Evaluation of Systems
2014-01-01 Bortolussi, Luca; Guido, Sanguinetti
A statistical empirical energy function for proteins
2006-01-01 Fogolari, F; Pieri, L; Bortolussi, Luca; Dovier, A.
A temporal logic approach to modular design of synthetic biological circuits
2013-01-01 Bartocci, E.; Bortolussi, Luca; Nenzi, L.
A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits
2013-01-01 Ezio, Bartocci; Bortolussi, Luca; Nenzi, Laura
Abstraction of Markov Population Dynamics via Generative Adversarial Nets
2021-01-01 Cairoli, F.; Carbone, G.; Bortolussi, L.
Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models
2021-01-01 Backenkohler, M.; Bortolussi, L.; Grossmann, G.; Wolf, V.
An active learning approach to the falsification of black box cyber-physical systems
2017-01-01 Silvetti, Simone; Policriti, Alberto; Bortolussi, Luca
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems
2021-01-01 Bortolussi, Luca; Cairoli, Francesca; Carbone, Ginevra; Franchina, Francesco; Regolin, Enrico
Agent-based Protein Folding Simulation
2005-01-01 Bortolussi, Luca; A., DAL PAL; A., Dovier; F., Fogolari
Analysis of Markov Jump Processes under Terminal Constraints
2021-01-01 Backenköhler, Michael; Bortolussi, Luca; Großmann, Gerrit; Wolf, Verena
Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation
2016-01-01 Bortolussi, Luca; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
At the boundaries of syntactic prehistory
2021-01-01 Ceolin, Andrea; Guardiano, Cristina; Longobardi, Giuseppe; Irimia, Monica Alexandrina; Bortolussi, Luca; Sgarro, Andrea
Automatic Translation of Spatio-Temporal Logics to Streaming-Based Monitoring Applications for IoT-Equipped Autonomous Agents
2019-01-01 Bortolussi, Luca; Gulisano, Vincenzo; Medvet, Eric; Palyvos-Giannas, Dimitrios
Bayesian Abstraction of Markov Population Models
2019-01-01 Bortolussi, Luca; Cairoli, Francesca
Bayesian statistical parameter synthesis for linear temporal properties of stochastic models
2018-01-01 Bortolussi, Luca; Silvetti, Simone
Bayesian statistical parametric verification and synthesis by machine learning
2019-01-01 Bortolussi, Luca; Sanguinetti, Guido; Silvetti, Simone
Bounding First Passage Times in Chemical Reaction Networks
2019-01-01 Backenköhler, Michael; Bortolussi, Luca; Wolf, Verena
Bounding Mean First Passage Times in Population Continuous-Time Markov Chains
2020-01-01 Backenkohler, M.; Bortolussi, L.; Wolf, V.