![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Luca Bortolussi
Person information
- affiliation: University of Trieste, Italy
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j38]Francesca Randone
, Luca Bortolussi
, Emilio Incerto
, Mirco Tribastone
:
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures. Proc. ACM Program. Lang. 8(POPL): 1882-1912 (2024) - [i55]Irene Ferfoglia, Gaia Saveri, Laura Nenzi, Luca Bortolussi:
ECATS: Explainable-by-design concept-based anomaly detection for time series. CoRR abs/2405.10608 (2024) - [i54]Gaia Saveri, Luca Bortolussi:
Retrieval-Augmented Mining of Temporal Logic Specifications from Data. CoRR abs/2405.14355 (2024) - [i53]Gaia Saveri, Laura Nenzi, Luca Bortolussi, Jan Kretínský:
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic. CoRR abs/2405.14389 (2024) - [i52]Davide Basso, Luca Bortolussi, Mirjana S. Videnovic-Misic, Husni Habal:
Fast ML-driven Analog Circuit Layout using Reinforcement Learning and Steiner Trees. CoRR abs/2405.16951 (2024) - [i51]Ilaria Vascotto, Alex Rodriguez, Alessandro Bonaita, Luca Bortolussi:
Can you trust your explanations? A robustness test for feature attribution methods. CoRR abs/2406.14349 (2024) - [i50]Lorenzo Basile, Santiago Acevedo, Luca Bortolussi, Fabio Anselmi, Alex Rodriguez:
Intrinsic Dimension Correlation: uncovering nonlinear connections in multimodal representations. CoRR abs/2406.15812 (2024) - 2023
- [j37]Fabio Anselmi
, Luca Manzoni
, Alberto d'Onofrio, Alex Rodriguez, Giulio Caravagna
, Luca Bortolussi
, Francesca Cairoli:
Data Symmetries and Learning in Fully Connected Neural Networks. IEEE Access 11: 47282-47290 (2023) - [j36]Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, Michele Loreti:
MoonLight: a lightweight tool for monitoring spatio-temporal properties. Int. J. Softw. Tools Technol. Transf. 25(4): 503-517 (2023) - [j35]Francesca Cairoli
, Fabio Anselmi, Alberto d'Onofrio, Luca Bortolussi:
Generative abstraction of Markov population processes. Theor. Comput. Sci. 977: 114169 (2023) - [c109]Giovanni Baj, Arjuna Scagnetto, Luca Bortolussi, Giulia Barbati:
Deep Learning Survival Model to Predict Atrial Fibrillation From ECGs and EHR Data. EPIA (2) 2023: 222-233 - [c108]Francesca Cairoli
, Nicola Paoletti
, Luca Bortolussi
:
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. HSCC 2023: 1:1-1:11 - [c107]Giulia Barbati, Luca Bortolussi, Giulio Caravagna:
Data Science and Artificial Intelligence for Life Sciences at the University of Trieste. Ital-IA 2023: 124-127 - [c106]Emanuele Ballarin, Luca Bortolussi, Francesca Cairoli, Chiara Gallese, Laura Nenzi, Gaia Saveri:
Reliable and Explainable AI in Trieste. Ital-IA 2023: 394-396 - [c105]Valentina Blasone, Umberto Di Laudo, Gloria Pietropolli, Luca Bortolussi, Silvia Ceramicola, Gianpiero Cossarini, Luca Manzoni:
Machine Learning methods for the Atmosphere, the Ocean, and the Seabed. Ital-IA 2023: 595-598 - [c104]Gaia Saveri, Luca Bortolussi:
Towards Invertible Semantic-Preserving Embeddings of Logical Formulae. NeSy 2023: 174-194 - [c103]Luca Bortolussi, Francesca Cairoli, Julia Klein, Tatjana Petrov:
Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders. QEST 2023: 143-147 - [c102]Luca Bortolussi, Francesca Cairoli, Francesco Giacomarra, Davide Scassola:
Model Abstraction and Conditional Sampling with Score-Based Diffusion Models. QEST 2023: 307-310 - [c101]Luca Bortolussi
, Francesca Cairoli
, Ginevra Carbone, Paolo Pulcini:
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking. RV 2023: 45-65 - [c100]Francesca Cairoli
, Luca Bortolussi
, Nicola Paoletti
:
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. RV 2023: 461-487 - [i49]Gaia Saveri, Luca Bortolussi:
Towards Invertible Semantic-Preserving Embeddings of Logical Formulae. CoRR abs/2305.03143 (2023) - [i48]Lorenzo Basile, Nikos Karantzas, Alberto d'Onofrio, Luca Bortolussi, Alex Rodriguez, Fabio Anselmi:
Relating Implicit Bias and Adversarial Attacks through Intrinsic Dimension. CoRR abs/2305.15203 (2023) - [i47]Emanuele Ballarin, Alessio Ansuini, Luca Bortolussi:
CARSO: Counter-Adversarial Recall of Synthetic Observations. CoRR abs/2306.06081 (2023) - [i46]Davide Scassola, Sebastiano Saccani, Ginevra Carbone, Luca Bortolussi:
Conditioning Score-Based Generative Models by Neuro-Symbolic Constraints. CoRR abs/2308.16534 (2023) - [i45]Francesca Randone, Luca Bortolussi, Emilio Incerto, Mirco Tribastone:
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures. CoRR abs/2311.08235 (2023) - [i44]Francesca Cairoli, Luca Bortolussi, Nicola Paoletti:
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. CoRR abs/2312.01959 (2023) - 2022
- [j34]Giacomo Roncoroni
, Emanuele Forte, Luca Bortolussi
, Michele Pipan
:
Efficient extraction of seismic reflection with Deep Learning. Comput. Geosci. 166: 105190 (2022) - [j33]Laura Nenzi, Ezio Bartocci
, Luca Bortolussi, Michele Loreti:
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. Log. Methods Comput. Sci. 18(1) (2022) - [c99]Michael Backenköhler, Luca Bortolussi, Verena Wolf:
Variance Reduction in Stochastic Reaction Networks Using Control Variates. Principles of Systems Design 2022: 456-474 - [c98]Ginevra Carbone, Luca Bortolussi, Guido Sanguinetti
:
Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks. IJCNN 2022: 1-8 - [c97]Francesca Cairoli, Nicola Paoletti
, Luca Bortolussi:
Neural Predictive Monitoring for Collective Adaptive Systems. ISoLA (3) 2022: 30-46 - [c96]Francesca Randone
, Luca Bortolussi
, Mirco Tribastone
:
Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-Scaling. QEST 2022: 150-170 - [c95]Luca Bortolussi
, Giuseppe Maria Gallo, Jan Kretínský
, Laura Nenzi
:
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes. TACAS (1) 2022: 281-300 - [i43]Luca Bortolussi, Giuseppe Maria Gallo, Jan Kretínský, Laura Nenzi:
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes. CoRR abs/2201.09928 (2022) - [i42]Arjuna Scagnetto, Giulia Barbati, Ilaria Gandin, C. Cappelletto, Giovanni Baj, Alberto Cazzaniga, Francesca Cuturello, Alessio Ansuini, Luca Bortolussi, A. Di Lenarda:
Deep artificial neural network for prediction of atrial fibrillation through the analysis of 12-leads standard ECG. CoRR abs/2202.05676 (2022) - [i41]Gaia Saveri, Luca Bortolussi:
Graph Neural Networks for Propositional Model Counting. CoRR abs/2205.04423 (2022) - [i40]Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini:
Stochastic Variational Smoothed Model Checking. CoRR abs/2205.05398 (2022) - [i39]Luca Bortolussi, Ginevra Carbone, Luca Laurenti, Andrea Patane, Guido Sanguinetti
, Matthew Wicker:
On the Robustness of Bayesian Neural Networks to Adversarial Attacks. CoRR abs/2207.06154 (2022) - [i38]Francesca Cairoli, Nicola Paoletti, Luca Bortolussi:
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. CoRR abs/2211.02375 (2022) - 2021
- [j32]Francesca Randone
, Luca Bortolussi, Mirco Tribastone:
Refining Mean-field Approximations by Dynamic State Truncation. Proc. ACM Meas. Anal. Comput. Syst. 5(2): 25:1-25:30 (2021) - [j31]Luca Bortolussi, Francesca Cairoli, Nicola Paoletti
, Scott A. Smolka
, Scott D. Stoller:
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches. Int. J. Softw. Tools Technol. Transf. 23(4): 615-640 (2021) - [c94]Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina, Enrico Regolin:
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. ADHS 2021: 223-228 - [c93]Francesca Cairoli, Ginevra Carbone, Luca Bortolussi:
Abstraction of Markov Population Dynamics via Generative Adversarial Nets. CMSB 2021: 19-35 - [c92]Ginevra Carbone, Guido Sanguinetti
, Luca Bortolussi:
Random Projections for Improved Adversarial Robustness. IJCNN 2021: 1-7 - [c91]Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf:
Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models. QEST 2021: 351-371 - [c90]Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
:
Neural Predictive Monitoring Under Partial Observability. RV 2021: 121-141 - [c89]Francesca Randone, Luca Bortolussi, Mirco Tribastone:
Refining Mean-field Approximations by Dynamic State Truncation. SIGMETRICS (Abstracts) 2021: 31-32 - [c88]Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf:
Analysis of Markov Jump Processes under Terminal Constraints. TACAS (1) 2021: 210-229 - [i37]Ginevra Carbone, Guido Sanguinetti, Luca Bortolussi:
Random Projections for Improved Adversarial Robustness. CoRR abs/2102.09230 (2021) - [i36]Ginevra Carbone, Guido Sanguinetti, Luca Bortolussi:
Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks. CoRR abs/2102.11010 (2021) - [i35]Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Simone Silvetti:
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. CoRR abs/2104.14333 (2021) - [i34]Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf:
Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models. CoRR abs/2105.01536 (2021) - [i33]Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Michele Loreti:
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. CoRR abs/2105.11400 (2021) - [i32]Francesca Cairoli, Ginevra Carbone, Luca Bortolussi:
Abstraction of Markov Population Dynamics via Generative Adversarial Nets. CoRR abs/2106.12981 (2021) - [i31]Francesca Cairoli, Luca Bortolussi, Nicola Paoletti:
Neural Predictive Monitoring under Partial Observability. CoRR abs/2108.07134 (2021) - [i30]Michael Backenköhler, Luca Bortolussi, Verena Wolf:
Variance Reduction in Stochastic Reaction Networks using Control Variates. CoRR abs/2110.09143 (2021) - 2020
- [j30]Luca Bortolussi
, Jane Hillston, Michele Loreti:
Fluid approximation of broadcasting systems. Theor. Comput. Sci. 816: 221-248 (2020) - [c87]Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patané, Luca Bortolussi, Guido Sanguinetti:
Robustness of Bayesian Neural Networks to Gradient-Based Attacks. NeurIPS 2020 - [c86]Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi:
A kernel function for Signal Temporal Logic formulae. OVERLAY 2020: 29-34 - [c85]Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina:
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. OVERLAY 2020: 77-81 - [c84]Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller:
Bayesian Neural Predictive Monitoring. OVERLAY 2020: 95-100 - [c83]Michael Backenköhler, Luca Bortolussi
, Verena Wolf:
Bounding Mean First Passage Times in Population Continuous-Time Markov Chains. QEST 2020: 155-174 - [c82]Laura Nenzi, Ezio Bartocci
, Luca Bortolussi
, Michele Loreti, Ennio Visconti
:
Monitoring Spatio-Temporal Properties (Invited Tutorial). RV 2020: 21-46 - [c81]Ezio Bartocci
, Luca Bortolussi
, Michele Loreti, Laura Nenzi, Simone Silvetti:
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. RV 2020: 417-428 - [i29]Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patane, Luca Bortolussi, Guido Sanguinetti:
Robustness of Bayesian Neural Networks to Gradient-Based Attacks. CoRR abs/2002.04359 (2020) - [i28]Tabea Waizmann, Luca Bortolussi, Andrea Vandin, Mirco Tribastone:
Improved estimations of stochastic chemical kinetics by finite state expansion. CoRR abs/2006.06987 (2020) - [i27]Francesco Cicala, Luca Bortolussi:
Density-embedding layers: a general framework for adaptive receptive fields. CoRR abs/2006.12779 (2020) - [i26]Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina:
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. CoRR abs/2009.02019 (2020) - [i25]Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi:
A kernel function for Signal Temporal Logic formulae. CoRR abs/2009.05484 (2020) - [i24]Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf:
Analysis of Markov Jump Processes under Terminal Constraints. CoRR abs/2010.10096 (2020)
2010 – 2019
- 2019
- [j29]Nicolas Gast, Luca Bortolussi
, Mirco Tribastone
:
Size expansions of mean field approximation: Transient and steady-state analysis. Perform. Evaluation 129: 60-80 (2019) - [j28]Luca Bortolussi
, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
Central Limit Model Checking. ACM Trans. Comput. Log. 20(4): 19:1-19:35 (2019) - [j27]Luca Bortolussi
, Nathalie Bertrand:
Introduction to the Special Issue on Qest 2017. ACM Trans. Model. Comput. Simul. 29(4): 19:1-19:2 (2019) - [c80]Luca Bortolussi
, Francesca Cairoli, Nicola Paoletti
, Scott D. Stoller:
Conformal Predictions for Hybrid System State Classification. From Reactive Systems to Cyber-Physical Systems 2019: 225-241 - [c79]Michael Backenköhler, Luca Bortolussi
, Verena Wolf:
Control Variates for Stochastic Simulation of Chemical Reaction Networks. CMSB 2019: 42-59 - [c78]Michael Backenköhler, Luca Bortolussi
, Verena Wolf:
Bounding First Passage Times in Chemical Reaction Networks - Poster Abstract. CMSB 2019: 379-382 - [c77]Gerrit Großmann, Luca Bortolussi
, Verena Wolf:
Rejection-Based Simulation of Non-Markovian Agents on Complex Networks. COMPLEX NETWORKS (1) 2019: 349-361 - [c76]Luca Bortolussi
, Vincenzo Gulisano
, Eric Medvet, Dimitrios Palyvos-Giannas:
Automatic Translation of Spatio-Temporal Logics to Streaming-Based Monitoring Applications for IoT-Equipped Autonomous Agents. M4IoT@Middleware 2019: 7-12 - [c75]Luca Bortolussi
, Francesca Cairoli:
Bayesian Abstraction of Markov Population Models. QEST 2019: 259-276 - [c74]Gerrit Großmann
, Luca Bortolussi
:
Reducing Spreading Processes on Networks to Markov Population Models. QEST 2019: 292-309 - [c73]Luca Bortolussi
, Francesca Cairoli, Nicola Paoletti
, Scott A. Smolka, Scott D. Stoller:
Neural Predictive Monitoring. RV 2019: 129-147 - [e6]Luca Bortolussi, Guido Sanguinetti:
Computational Methods in Systems Biology - 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings. Lecture Notes in Computer Science 11773, Springer 2019, ISBN 978-3-030-31303-6 [contents] - [i23]Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi:
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems. CoRR abs/1904.08847 (2019) - [i22]Gerrit Großmann, Luca Bortolussi:
Reducing Spreading Processes on Networks to Markov Population Models. CoRR abs/1906.11508 (2019) - [i21]Gerrit Großmann, Luca Bortolussi, Verena Wolf:
Rejection-Based Simulation of Non-Markovian Agents on Complex Networks. CoRR abs/1910.03964 (2019) - [i20]Michael Backenköhler, Luca Bortolussi, Verena Wolf:
Bounding Mean First Passage Times in Population Continuous-Time Markov Chains. CoRR abs/1910.12562 (2019) - 2018
- [j26]Luca Bortolussi
, Roberta Lanciani, Laura Nenzi
:
Model checking Markov population models by stochastic approximations. Inf. Comput. 262: 189-220 (2018) - [j25]Laura Nenzi
, Luca Bortolussi
, Vincenzo Ciancia, Michele Loreti, Mieke Massink
:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. Log. Methods Comput. Sci. 14(4) (2018) - [j24]Nicolas Gast, Luca Bortolussi
, Mirco Tribastone:
Size Expansions of Mean Field Approximation: Transient and Steady-State Analysis. SIGMETRICS Perform. Evaluation Rev. 46(3): 25-26 (2018) - [j23]Michael Backenköhler
, Luca Bortolussi
, Verena Wolf:
Moment-Based Parameter Estimation for Stochastic Reaction Networks in Equilibrium. IEEE ACM Trans. Comput. Biol. Bioinform. 15(4): 1180-1192 (2018) - [c72]Simone Silvetti, Laura Nenzi
, Ezio Bartocci
, Luca Bortolussi
:
Signal Convolution Logic. ATVA 2018: 267-283 - [c71]Luca Bortolussi
, Luca Palmieri:
Deep Abstractions of Chemical Reaction Networks. CMSB 2018: 21-38 - [c70]Gerrit Großmann, Charalampos Kyriakopoulos, Luca Bortolussi
, Verena Wolf:
Lumping the Approximate Master Equation for Multistate Processes on Complex Networks. QEST 2018: 157-172 - [c69]Laura Nenzi
, Simone Silvetti, Ezio Bartocci
, Luca Bortolussi
:
A Robust Genetic Algorithm for Learning Temporal Specifications from Data. QEST 2018: 323-338 - [c68]Luca Bortolussi
, Simone Silvetti
:
Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models. TACAS (2) 2018: 396-413 - [c67]Luca Bortolussi
, Guido Sanguinetti
, Simone Silvetti:
Bayesian Statistical parametric Verification and synthesis by Machine Learning. WSC 2018: 381-394 - [i19]Gerrit Großmann, Charalampos Kyriakopoulos, Luca Bortolussi, Verena Wolf:
Lumping the Approximate Master Equation for Multistate Processes on Complex Networks. CoRR abs/1804.02981 (2018) - [i18]Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
Central Limit Model Checking. CoRR abs/1804.08744 (2018) - [i17]Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi:
Signal Convolution Logic. CoRR abs/1806.00238 (2018) - [i16]Luca Bortolussi, Guido Sanguinetti:
Intrinsic Geometric Vulnerability of High-Dimensional Artificial Intelligence. CoRR abs/1811.03571 (2018) - 2017
- [j22]Ezio Bartocci
, Luca Bortolussi
, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti
:
Policy learning in continuous-time Markov decision processes using Gaussian Processes. Perform. Evaluation 116: 84-100 (2017) - [c66]Luca Laurenti, Alessandro Abate, Luca Bortolussi, Luca Cardelli, Milan Ceska, Marta Z. Kwiatkowska:
Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision. HSCC 2017: 55-64 - [c65]Simone Silvetti, Alberto Policriti
, Luca Bortolussi
:
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. IFM 2017: 3-17 - [c64]Ezio Bartocci
, Luca Bortolussi
, Michele Loreti
, Laura Nenzi
:
Monitoring mobile and spatially distributed cyber-physical systems. MEMOCODE 2017: 146-155 - [e5]Nathalie Bertrand
, Luca Bortolussi:
Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Lecture Notes in Computer Science 10503, Springer 2017, ISBN 978-3-319-66334-0 [contents] - [i15]Simone Silvetti, Alberto Policriti, Luca Bortolussi:
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. CoRR abs/1705.01879 (2017) - [i14]Charalampos Kyriakopoulos, Gerrit Grossmann, Verena Wolf, Luca Bortolussi:
Lumping of Degree-Based Mean Field and Pair Approximation Equations for Multi-State Contact Processes. CoRR abs/1706.06964 (2017) - [i13]Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. CoRR abs/1706.09334 (2017) - [i12]Luca Bortolussi, Roberta Lanciani, Laura Nenzi:
Model Checking Markov Population Models by Stochastic Approximations. CoRR abs/1711.03826 (2017) - [i11]Simone Silvetti, Laura Nenzi, Luca Bortolussi, Ezio Bartocci:
A Robust Genetic Algorithm for Learning Temporal Specifications from Data. CoRR abs/1711.06202 (2017) - 2016
- [j21]Luca Bortolussi
:
Hybrid behaviour of Markov population models. Inf. Comput. 247: 37-86 (2016) - [j20]Luca Bortolussi
, Dimitrios Milios, Guido Sanguinetti
:
Smoothed model checking for uncertain Continuous-Time Markov Chains. Inf. Comput. 247: 235-253 (2016) - [j19]Nathalie Bertrand
, Luca Bortolussi
, Herbert Wiklicky:
Editorial: Quantitative Aspects of Programming Languages and Systems. Theor. Comput. Sci. 655: 91 (2016) - [c63]Luca Bortolussi
, Max Tschaikowski
:
Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model. ASMTA 2016: 92-106 - [c62]Michael Backenköhler, Luca Bortolussi
, Verena Wolf:
Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium. CMSB 2016: 15-29 - [c61]Giulio Caravagna
, Luca Bortolussi
, Guido Sanguinetti
:
Matching Models Across Abstraction Levels with Gaussian Processes. CMSB 2016: 49-66 - [c60]Luca Bortolussi
, Nicolas Gast:
Mean Field Approximation of Uncertain Stochastic Models. DSN 2016: 287-298 - [c59]Luca Bortolussi
, Alberto Policriti
, Simone Silvetti:
Logic-Based Multi-objective Design of Chemical Reaction Networks. HSB 2016: 164-178 - [c58]Luca Bortolussi
, Luca Cardelli
, Marta Kwiatkowska, Luca Laurenti:
Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation. QEST 2016: 72-88 - [c57]Ezio Bartocci
, Luca Bortolussi
, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti
:
Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent. QEST 2016: 244-259 - [c56]Luca Bortolussi
, Nicolas Gast:
Mean-Field Limits Beyond Ordinary Differential Equations. SFM 2016: 61-82 - [c55]Laura Nenzi
, Luca Bortolussi
, Michele Loreti
:
jSSTL - A Tool to Monitor Spatio-Temporal Properties. VALUETOOLS 2016 - [c54]Luca Bortolussi
, Cheng Feng:
Location Aggregation of Spatial Population CTMC Models. QAPL 2016: 30-43 - [i10]Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti:
Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent. CoRR abs/1605.09703 (2016) - 2015
- [j18]Chiara Bodei
, Luca Bortolussi
, Davide Chiarugi
, Maria Luisa Guerriero, Alberto Policriti
, Alessandro Romanel
:
On the impact of discreteness and abstractions on modelling noise in gene regulatory networks. Comput. Biol. Chem. 56: 98-108 (2015) - [j17]Luca Bortolussi
, Guido Sanguinetti
:
Learning and Designing Stochastic Processes from Logical Constraints. Log. Methods Comput. Sci. 11(2) (2015) - [j16]Luca Bortolussi
, Liviu P. Dinu, Laura Franzoi
, Andrea Sgarro:
Coding Theory: A General Framework and Two Inverse Problems. Fundam. Informaticae 141(4): 297-310 (2015) - [j15]Luca Bortolussi
, Jane Hillston:
Model checking single agent behaviours by fluid approximation. Inf. Comput. 242: 183-226 (2015) - [j14]Ezio Bartocci
, Luca Bortolussi
, Laura Nenzi
, Guido Sanguinetti
:
System design of stochastic models using robustness of temporal properties. Theor. Comput. Sci. 587: 3-25 (2015) - [c53]Luca Bortolussi
, Dimitrios Milios, Guido Sanguinetti
:
Efficient Stochastic Simulation of Systems with Multiple Time Scales via Statistical Abstraction. CMSB 2015: 40-51 - [c52]Luca Bortolussi
, Roberta Lanciani:
Fluid Model Checking of Timed Properties. FORMATS 2015: 172-188 - [c51]Christoph Bock
, Luca Bortolussi
, Thilo Krüger, Linar Mikeev, Verena Wolf:
Model-Based Whole-Genome Analysis of DNA Methylation Fidelity. HSB 2015: 141-155 - [c50]Ezio Bartocci
, Luca Bortolussi
, Dimitrios Milios, Laura Nenzi
, Guido Sanguinetti
:
Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic. HSB 2015: 156-172 - [c49]Luca Bortolussi
, Dimitrios Milios, Guido Sanguinetti
:
U-Check: Model Checking and Parameter Synthesis Under Uncertainty. QEST 2015: 89-104 - [c48]Laura Nenzi
, Luca Bortolussi
, Vincenzo Ciancia
, Michele Loreti
, Mieke Massink
:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. RV 2015: 21-37 - [c47]Luca Bortolussi
, Dimitrios Milios, Guido Sanguinetti
:
Machine Learning Methods in Statistical Model Checking and System Design - Tutorial. RV 2015: 323-341 - [c46]Luca Bortolussi, Thilo Krüger, Thorsten Lehr, Verena Wolf:
Rule-based modelling and simulation of drug-administration policies. SpringSim (MSM) 2015: 53-60 - [c45]Luca Bortolussi
, Rocco De Nicola
, Vashti Galpin
, Stephen Gilmore, Jane Hillston, Diego Latella
, Michele Loreti
, Mieke Massink
:
CARMA: Collective Adaptive Resource-sharing Markovian Agents. QAPL 2015: 16-31 - [c44]Luca Bortolussi
, Jane Hillston:
Efficient Checking of Individual Rewards Properties in Markov Population Models. QAPL 2015: 32-47 - [i9]Luca Bortolussi, Roberta Lanciani:
Fluid Model Checking of Timed Properties. CoRR abs/1506.05909 (2015) - 2014
- [j13]Ezio Bartocci
, Luca Bortolussi
, Scott A. Smolka:
Hybrid Systems and Biology. Inf. Comput. 236: 1-2 (2014) - [c43]Luca Bortolussi
, Roberta Lanciani:
Stochastic Approximation of Global Reachability Probabilities of Markov Population Models. EPEW 2014: 224-239 - [c42]Ezio Bartocci
, Luca Bortolussi
, Guido Sanguinetti
:
Data-Driven Statistical Learning of Temporal Logic Properties. FORMATS 2014: 23-37 - [c41]Sara Bufo, Ezio Bartocci, Guido Sanguinetti
, Massimo Borelli, Umberto Lucangelo, Luca Bortolussi
:
Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients. ISoLA (2) 2014: 391-403 - [c40]Luca Bortolussi
, Guido Sanguinetti
:
A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systems. QEST 2014: 41-56 - [c39]Luca Bortolussi
, Rytis Paskauskas:
Mean-Field Approximation and Quasi-Equilibrium Reduction of Markov Population Models. QEST 2014: 106-121 - [c38]Laura Nenzi
, Luca Bortolussi
:
Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic. VALUETOOLS 2014 - [c37]Luca Bortolussi
, Jane Hillston, Mirco Tribastone
:
Fluid Performability Analysis of Nested Automata Models. PASM 2014: 27-47 - [e4]Nathalie Bertrand
, Luca Bortolussi
:
Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014. EPTCS 154, 2014 [contents] - [i8]Luca Bortolussi, Guido Sanguinetti:
Smoothed Model Checking for Uncertain Continuous Time Markov Chains. CoRR abs/1402.1450 (2014) - [i7]Luca Bortolussi, Rytis Paskauskas:
Mean-Field approximation and Quasi-Equilibrium reduction of Markov Population Models. CoRR abs/1405.4200 (2014) - [i6]Luca Bortolussi, Vashti Galpin, Jane Hillston:
Stochastic HYPE: Flow-based modelling of stochastic hybrid systems. CoRR abs/1411.4433 (2014) - [i5]Maurice H. ter Beek, Luca Bortolussi, Vincenzo Ciancia, Stefania Gnesi, Jane Hillston, Diego Latella, Mieke Massink:
A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities. ERCIM News 2014(98) (2014) - 2013
- [j12]Vashti Galpin
, Luca Bortolussi
, Jane Hillston:
HYPE: Hybrid modelling by composition of flows. Formal Aspects Comput. 25(4): 503-541 (2013) - [j11]Luca Bortolussi
, Alberto Policriti
:
(Hybrid) automata and (stochastic) programsThe hybrid automata lattice of a stochastic program. J. Log. Comput. 23(4): 761-798 (2013) - [j10]Luca Bortolussi
, Jane Hillston, Diego Latella
, Mieke Massink
:
Continuous approximation of collective system behaviour: A tutorial. Perform. Evaluation 70(5): 317-349 (2013) - [j9]Luca Bortolussi
, Richard A. Hayden:
Bounds on the deviation of discrete-time Markov chains from their mean-field model. Perform. Evaluation 70(10): 736-749 (2013) - [c36]Ezio Bartocci
, Luca Bortolussi
, Laura Nenzi
:
A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits. CMSB 2013: 164-177 - [c35]Luca Bortolussi
, Diego Latella
, Mieke Massink
:
Stochastic Process Algebra and Stability Analysis of Collective Systems. COORDINATION 2013: 1-15 - [c34]Luca Bortolussi
, Guido Sanguinetti
:
Learning and Designing Stochastic Processes from Logical Constraints. QEST 2013: 89-105 - [c33]Luca Bortolussi
, Roberta Lanciani:
Model Checking Markov Population Models by Central Limit Approximation. QEST 2013: 123-138 - [c32]Luca Bortolussi, Jane Hillston:
Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation. SFM 2013: 113-149 - [c31]Luca Bortolussi, Mirco Tribastone:
Differential analysis of interacting automata with immediate actions. VALUETOOLS 2013: 49-58 - [c30]Ezio Bartocci
, Luca Bortolussi
, Laura Nenzi
, Guido Sanguinetti
:
On the Robustness of Temporal Properties for Stochastic Models. HSB 2013: 3-19 - [e3]Luca Bortolussi
, Herbert Wiklicky:
Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013. EPTCS 117, 2013 [contents] - [e2]Luca Bortolussi
, Manuela-Luminita Bujorianu, Giordano Pola:
Proceedings Third International Workshop on Hybrid Autonomous Systems, HAS 2013, Rome, Italy, 17th March 2013. EPTCS 124, 2013 [contents] - [i4]Ezio Bartocci, Luca Bortolussi, Laura Nenzi:
A temporal logic approach to modular design of synthetic biological circuits. CoRR abs/1306.4493 (2013) - [i3]Ezio Bartocci, Luca Bortolussi, Guido Sanguinetti:
Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias. CoRR abs/1312.7523 (2013) - 2012
- [j8]Luca Bortolussi
, Liviu Petrisor Dinu, Andrea Sgarro:
Spearman Permutation Distances and Shannon's Distinguishability. Fundam. Informaticae 118(3): 245-252 (2012) - [j7]Luca Bortolussi
, Alberto Policriti
:
Studying cancer-cell populations by programmable models of networks. Netw. Model. Anal. Health Informatics Bioinform. 1(3): 117-133 (2012) - [c29]Luca Bortolussi
, Jane Hillston:
Fluid Model Checking. CONCUR 2012: 333-347 - [c28]Alireza Pourranjbar, Jane Hillston, Luca Bortolussi
:
Don't Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation. EPEW/UKPEW 2012: 156-171 - [c27]Luca Bortolussi
, Jane Hillston:
Fluid Approximation of CTMC with Deterministic Delays. QEST 2012: 53-62 - [c26]Benny Van Houdt, Luca Bortolussi
:
Fluid limit of an asynchronous optical packet switch with shared per link full range wavelength conversion. SIGMETRICS 2012: 113-124 - [c25]Luca Bortolussi
, Mirco Tribastone
:
Fluid limits of queueing networks with batches. ICPE 2012: 45-56 - [c24]Luca Bortolussi
, Vashti Galpin
, Jane Hillston:
Hybrid performance modelling of opportunistic networks. QAPL 2012: 106-121 - [e1]Ezio Bartocci
, Luca Bortolussi:
Proceedings First International Workshop on Hybrid Systems and Biology, HSB 2012, Newcastle Upon Tyne, UK, 3rd September 2012. EPTCS 92, 2012 [contents] - [i2]Luca Bortolussi, Jane Hillston:
Fluid Model Checking. CoRR abs/1203.0920 (2012) - [i1]Luca Bortolussi:
Hybrid Behaviour of Markov Population Models. CoRR abs/1211.1643 (2012) - 2011
- [c23]Luca Bortolussi
:
Hybrid Limits of Continuous Time Markov Chains. QEST 2011: 3-12 - [c22]Luca Bortolussi
, Alberto Policriti
:
Programmable models of growth and mutation of cancer-cell populations. CompMod 2011: 19-33 - [c21]Luca Bortolussi, Vashti Galpin
, Jane Hillston:
HYPE with stochastic events. QAPL 2011: 120-133 - [p1]Luca Bortolussi
, Andrea Sgarro, Giuseppe Longobardi, Cristina Guardiano
:
How many possible languages are there? Biology, Computation and Linguistics 2011: 168-179 - 2010
- [j6]Luca Bortolussi
, Alberto Policriti
:
Hybrid dynamics of stochastic programs. Theor. Comput. Sci. 411(20): 2052-2077 (2010) - [c20]Luca Bortolussi
:
Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras. ASMTA 2010: 367-381 - [c19]Luca Bortolussi, Alberto Policriti:
Perspectives on Constraints, Process Algebras, and Hybrid Systems. WCB@ICLP 2010: 59-66 - [c18]Luca Bortolussi
, Vashti Galpin
, Jane Hillston, Mirco Tribastone
:
Hybrid Semantics for PEPA. QEST 2010: 181-190 - [c17]Luca Bortolussi, Andrea Sgarro:
Possibilistic Coding: Error Detection vs. Error Correction. SMPS 2010: 41-48
2000 – 2009
- 2009
- [j5]Luca Bortolussi
, Alberto Policriti
:
Hybrid Dynamics of Stochastic pi-Calculus. Math. Comput. Sci. 2(3): 465-491 (2009) - [j4]Luca Bortolussi
, Alberto Policriti
:
Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back. Trans. Comp. Sys. Biology 11: 216-267 (2009) - [c16]Luca Bortolussi
, Alberto Policriti
:
Stochastic Programs and Hybrid Automata for (Biological) Modeling. CiE 2009: 37-48 - [c15]Vashti Galpin
, Luca Bortolussi
, Jane Hillston:
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour. CONCUR 2009: 305-320 - [c14]Luca Bortolussi
, Alberto Policriti
:
Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration. COMPMOD 2009: 63-76 - [c13]Luca Bortolussi
, Maria Grazia Vigliotti:
CoBiC: Context-dependent Bioambient Calculus. QAPL 2009: 187-201 - 2008
- [b2]Luca Bortolussi:
Computational Systems Biology with Constraints - Stochastic Modeling of Biological Systems with Concurrent Constraint Programming. VDM 2008, ISBN 978-3-639-08875-5, pp. 1-240 - [j3]Luca Bortolussi
, Alberto Policriti
:
Modeling Biological Systems in Stochastic Concurrent Constraint Programming. Constraints An Int. J. 13(1-2): 66-90 (2008) - [c12]Luca Bortolussi
, Alberto Policriti
:
Hybrid Semantics for Stochastic pi-Calculus. AB 2008: 40-55 - [c11]Luca Bortolussi
, Alberto Policriti
:
Hybrid Systems and Biology. SFM 2008: 424-448 - [c10]Vashti Galpin
, Jane Hillston, Luca Bortolussi
:
HYPE Applied to the Modelling of Hybrid Biological Systems. MFPS 2008: 33-51 - [c9]Luca Bortolussi
, Alberto Policriti
:
The Importance of Being (A Little Bit) Discrete. FBTC@ICALP 2008: 75-92 - [c8]Luca Bortolussi
:
On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation. QAPL 2008: 163-180 - 2007
- [b1]Luca Bortolussi:
Constraint-based approaches to stochastic dynamics of biological systems. University of Udine, Italy, 2007 - [j2]Luca Bortolussi
, Agostino Dovier
, Federico Fogolari
:
Agent-based protein structure prediction. Multiagent Grid Syst. 3(2): 183-197 (2007) - [c7]Luca Bortolussi, Simone Fonda, Alberto Policriti:
Constraint-Based Simulation of Biological Systems Described by Molecular Interaction Maps. BIBM 2007: 288-293 - [c6]Luca Bortolussi
, Alberto Policriti
:
Stochastic Concurrent Constraint Programming and Differential Equations. QAPL 2007: 27-42 - 2006
- [c5]Luca Bortolussi
, Francesco Fabris
, Alberto Policriti
:
BuST-Bundled Suffix Trees. IFIP TCS 2006: 91-102 - [c4]Luca Bortolussi
, Andrea Sgarro:
Possibilistic Channels for DNA Word Design. SMPS 2006: 327-335 - [c3]Luca Bortolussi
:
Stochastic Concurrent Constraint Programming. QAPL 2006: 65-80 - 2005
- [c2]Luca Bortolussi
, Herbert Wiklicky:
A Distributed and Probabilistic Concurrent Constraint Programming Language. ICLP 2005: 143-158 - [c1]Luca Bortolussi
:
Concurrent Methodologies for Global Optimization. ICLP 2005: 441-443 - 2004
- [j1]Paolo Vicig
, Luca Bortolussi
:
Fuzzy Possibilities As Upper Previsions. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 12(5): 559-574 (2004)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint