Concepedia

Luca Bortolussi

LB

44

Publications

1.3K

Citations

19

H-Index

2006

Active since

Affiliations

University of Trieste(Current)

University of Edinburgh

University of Udine

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

Saarland University

Luca Bortolussi is an author at University of Trieste specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringAutomated ReasoningFormal MethodsFormal VerificationProbabilityStochastic ProcessesStatisticsVerification

Publications per year

2006–2023

44

Publications

44

Continuous approximation of collective system behaviour: A tutorial

Luca Bortolussi, Jane Hillston, Diego Latella et al. · Performance Evaluation · 2013 · 165 citations · Full text

Continuous Approximation, Interacting Particle System, Collective Motion +2

System design of stochastic models using robustness of temporal properties

Ezio Bartocci, Luca Bortolussi, Laura Nenzi et al. · Theoretical Computer Science · 2015 · 89 citations · Full text

Stochastic Hybrid System, Uncertainty Quantification, Stochastic System +6

Monitoring mobile and spatially distributed cyber-physical systems

Ezio Bartocci, Luca Bortolussi, Michele Loreti et al. · 2017 · 76 citations · Full text

Smoothed model checking for uncertain Continuous-Time Markov Chains

Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti · Information and Computation · 2016 · 74 citations · Full text

Stochastic Hybrid System, Engineering, Uncertainty Quantification +5

Modeling Biological Systems in Stochastic Concurrent Constraint Programming

Luca Bortolussi, Alberto Policriti · Constraints · 2008 · 64 citations

Mathematical Programming, Constraint Solving, Engineering +5

Rows per page

1–5 of 44