BORTOLUSSI, LUCA
BORTOLUSSI, LUCA
Dipartimento di Matematica e Geoscienze
Settore INF/01 - Informatica
Docenti di ruolo di Ia fascia
(Hybrid) Automata and (Stochastic) Programs. The hybrid automata lattice of a stochastic program
2013-01-01 Bortolussi, Luca; Policriti, P.
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 Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems
2022-01-01 Nenzi, L.; Bartocci, E.; Bortolussi, L.; Loreti, M.
A robust genetic algorithm for learning temporal specifications from data
2018-01-01 Nenzi, Laura; Silvetti, Simone; Bartocci, Ezio; Bortolussi, Luca
A Rough guide to Hybrid Limits of Continuous Time Markov Chains
2011-01-01 Bortolussi, Luca
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.
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
An active learning approach to the falsification of black box cyber-physical systems
2017-01-01 Silvetti, Simone; Policriti, Alberto; Bortolussi, Luca
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