Luca Bortolussi

According to our database1, Luca Bortolussi authored at least 102 papers between 2004 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Size expansions of mean field approximation: Transient and steady-state analysis.
Perform. Eval., 2019

2018
Moment-Based Parameter Estimation for Stochastic Reaction Networks in Equilibrium.
IEEE/ACM Trans. Comput. Biology Bioinform., 2018

Size Expansions of Mean Field Approximation: Transient and Steady-State Analysis.
SIGMETRICS Performance Evaluation Review, 2018

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL.
Logical Methods in Computer Science, 2018

Model checking Markov population models by stochastic approximations.
Inf. Comput., 2018

Bayesian Statistical parametric Verification and synthesis by Machine Learning.
Proceedings of the 2018 Winter Simulation Conference, 2018

Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

A Robust Genetic Algorithm for Learning Temporal Specifications from Data.
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Lumping the Approximate Master Equation for Multistate Processes on Complex Networks.
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Deep Abstractions of Chemical Reaction Networks.
Proceedings of the Computational Methods in Systems Biology, 2018

Signal Convolution Logic.
Proceedings of the Automated Technology for Verification and Analysis, 2018

2017
Policy learning in continuous-time Markov decision processes using Gaussian Processes.
Perform. Eval., 2017

Monitoring mobile and spatially distributed cyber-physical systems.
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

2016
Editorial: Quantitative Aspects of Programming Languages and Systems.
Theor. Comput. Sci., 2016

Smoothed model checking for uncertain Continuous-Time Markov Chains.
Inf. Comput., 2016

Hybrid behaviour of Markov population models.
Inf. Comput., 2016

Location Aggregation of Spatial Population CTMC Models.
Proceedings of the Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, 2016

jSSTL - A Tool to Monitor Spatio-Temporal Properties.
Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016

Mean-Field Limits Beyond Ordinary Differential Equations.
Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016

Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Logic-Based Multi-objective Design of Chemical Reaction Networks.
Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

Mean Field Approximation of Uncertain Stochastic Models.
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

Matching Models Across Abstraction Levels with Gaussian Processes.
Proceedings of the Computational Methods in Systems Biology, 2016

Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium.
Proceedings of the Computational Methods in Systems Biology, 2016

Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2016

2015
System design of stochastic models using robustness of temporal properties.
Theor. Comput. Sci., 2015

Model checking single agent behaviours by fluid approximation.
Inf. Comput., 2015

Coding Theory: A General Framework and Two Inverse Problems.
Fundam. Inform., 2015

Fluid Performability Analysis of Nested Automata Models.
Electr. Notes Theor. Comput. Sci., 2015

Learning and Designing Stochastic Processes from Logical Constraints.
Logical Methods in Computer Science, 2015

CARMA: Collective Adaptive Resource-sharing Markovian Agents.
Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015

Efficient Checking of Individual Rewards Properties in Markov Population Models.
Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015

On the impact of discreteness and abstractions on modelling noise in gene regulatory networks.
Computational Biology and Chemistry, 2015

Rule-based modelling and simulation of drug-administration policies.
Proceedings of the Symposium on Modeling and Simulation in Medicine, 2015

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties.
Proceedings of the Runtime Verification - 6th International Conference, 2015

Machine Learning Methods in Statistical Model Checking and System Design - Tutorial.
Proceedings of the Runtime Verification - 6th International Conference, 2015

U-Check: Model Checking and Parameter Synthesis Under Uncertainty.
Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

Model-Based Whole-Genome Analysis of DNA Methylation Fidelity.
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic.
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

Fluid Model Checking of Timed Properties.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

Efficient Stochastic Simulation of Systems with Multiple Time Scales via Statistical Abstraction.
Proceedings of the Computational Methods in Systems Biology, 2015

2014
Hybrid Systems and Biology.
Inf. Comput., 2014

A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities.
ERCIM News, 2014

Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic.
Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, 2014

A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systems.
Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Mean-Field Approximation and Quasi-Equilibrium Reduction of Markov Population Models.
Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Data-Driven Statistical Learning of Temporal Logic Properties.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

Stochastic Approximation of Global Reachability Probabilities of Markov Population Models.
Proceedings of the Computer Performance Engineering - 11th European Workshop, 2014

2013
Continuous approximation of collective system behaviour: A tutorial.
Perform. Eval., 2013

Bounds on the deviation of discrete-time Markov chains from their mean-field model.
Perform. Eval., 2013

(Hybrid) automata and (stochastic) programsThe hybrid automata lattice of a stochastic program.
J. Log. Comput., 2013

HYPE: Hybrid modelling by composition of flows.
Formal Asp. Comput., 2013

On the Robustness of Temporal Properties for Stochastic Models.
Proceedings of the Proceedings Second International Workshop on Hybrid Systems and Biology, 2013

Differential analysis of interacting automata with immediate actions.
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation.
Proceedings of the Formal Methods for Dynamical Systems, 2013

Learning and Designing Stochastic Processes from Logical Constraints.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Model Checking Markov Population Models by Central Limit Approximation.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Stochastic Process Algebra and Stability Analysis of Collective Systems.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits.
Proceedings of the Computational Methods in Systems Biology, 2013

2012
Studying cancer-cell populations by programmable models of networks.
NetMAHIB, 2012

Spearman Permutation Distances and Shannon's Distinguishability.
Fundam. Inform., 2012

Hybrid performance modelling of opportunistic networks
Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012

Fluid limits of queueing networks with batches.
Proceedings of the Third Joint WOSP/SIPEW International Conference on Performance Engineering, 2012

Fluid limit of an asynchronous optical packet switch with shared per link full range wavelength conversion.
Proceedings of the ACM SIGMETRICS/PERFORMANCE Joint International Conference on Measurement and Modeling of Computer Systems, 2012

Fluid Approximation of CTMC with Deterministic Delays.
Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

Don't Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation.
Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

Fluid Model Checking.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011
Programmable models of growth and mutation of cancer-cell populations
Proceedings of the Proceedings Third International Workshop on Computational Models for Cell Processes, 2011

HYPE with stochastic events
Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

Hybrid Limits of Continuous Time Markov Chains.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

How many possible languages are there?
Proceedings of the Biology, Computation and Linguistics - New Interdisciplinary Paradigms, 2011

2010
Hybrid dynamics of stochastic programs.
Theor. Comput. Sci., 2010

Possibilistic Coding: Error Detection vs. Error Correction.
Proceedings of the Combining Soft Computing and Statistical Methods in Data Analysis, 2010

Hybrid Semantics for PEPA.
Proceedings of the QEST 2010, 2010

Perspectives on Constraints, Process Algebras, and Hybrid Systems.
Proceedings of the Workshop on Constraint Based Methods for Bioinformatics, 2010

Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2010

2009
Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back.
Trans. Computational Systems Biology, 2009

Hybrid Dynamics of Stochastic pi-Calculus.
Mathematics in Computer Science, 2009

CoBiC: Context-dependent Bioambient Calculus.
Electr. Notes Theor. Comput. Sci., 2009

The Importance of Being (A Little Bit) Discrete.
Electr. Notes Theor. Comput. Sci., 2009

Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration
Proceedings of the Proceedings Second International Workshop on Computational Models for Cell Processes, 2009

HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Stochastic Programs and Hybrid Automata for (Biological) Modeling.
Proceedings of the Mathematical Theory and Computational Practice, 2009

2008
HYPE Applied to the Modelling of Hybrid Biological Systems.
Electr. Notes Theor. Comput. Sci., 2008

On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation.
Electr. Notes Theor. Comput. Sci., 2008

Modeling Biological Systems in Stochastic Concurrent Constraint Programming.
Constraints, 2008

Hybrid Systems and Biology.
Proceedings of the Formal Methods for Computational Systems Biology, 2008

Hybrid Semantics for Stochastic pi-Calculus.
Proceedings of the Algebraic Biology, Third International Conference, 2008

Computational Systems Biology with Constraints - Stochastic Modeling of Biological Systems with Concurrent Constraint Programming.
VDM, ISBN: 978-3-639-08875-5, 2008

2007
Agent-based protein structure prediction.
Multiagent and Grid Systems, 2007

Stochastic Concurrent Constraint Programming and Differential Equations.
Electr. Notes Theor. Comput. Sci., 2007

Constraint-Based Simulation of Biological Systems Described by Molecular Interaction Maps.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2007

2006
Stochastic Concurrent Constraint Programming.
Electr. Notes Theor. Comput. Sci., 2006

Possibilistic Channels for DNA Word Design.
Proceedings of the Soft Methods for Integrated Uncertainty Modelling, 2006

BuST-Bundled Suffix Trees.
Proceedings of the Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), 2006

2005
A Distributed and Probabilistic Concurrent Constraint Programming Language.
Proceedings of the Logic Programming, 21st International Conference, 2005

Concurrent Methodologies for Global Optimization.
Proceedings of the Logic Programming, 21st International Conference, 2005

2004
Fuzzy Possibilities As Upper Previsions.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2004


  Loading...