Luca Bortolussi

CoRR, 2024

Intrinsic Dimension Correlation: uncovering nonlinear connections in multimodal representations.

[BibT_eX]

[DOI]

CoRR, 2024

Can you trust your explanations? A robustness test for feature attribution methods.

[BibT_eX]

[DOI]

CoRR, 2024

Deep Learning-Informed Bayesian Model-Based Analysis to Estimate Superspreading Events in Epidemic Outbreaks.

[BibT_eX]

[DOI]

IEEE Access, 2024

Fast ML-driven Analog Circuit Layout using Reinforcement Learning and Steiner Trees.

[BibT_eX]

[DOI]

Davide Basso

Mirjana S. Videnovic-Misic

Husni Habal

Proceedings of the 20th International Conference on Synthesis, 2024

Retrieval-Augmented Mining of Temporal Logic Specifications from Data.

[BibT_eX]

[DOI]

Gaia Saveri

Proceedings of the Machine Learning and Knowledge Discovery in Databases. Research Track, 2024

ECATS: Explainable-by-Design Concept-Based Anomaly Detection for Time Series.

[BibT_eX]

[DOI]

Proceedings of the Neural-Symbolic Learning and Reasoning - 18th International Conference, 2024

Towards a Probabilistic Programming Approach to Analyse Collective Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

Is Machine Learning Model Checking Privacy Preserving?

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024

stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2023

Generative abstraction of Markov population processes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., October, 2023

MoonLight: a lightweight tool for monitoring spatio-temporal properties.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., August, 2023

Conditioning Score-Based Generative Models by Neuro-Symbolic Constraints.

[BibT_eX]

[DOI]

CoRR, 2023

CARSO: Counter-Adversarial Recall of Synthetic Observations.

[BibT_eX]

[DOI]

Emanuele Ballarin

Alessio Ansuini

CoRR, 2023

Relating Implicit Bias and Adversarial Attacks through Intrinsic Dimension.

[BibT_eX]

[DOI]

CoRR, 2023

Data Symmetries and Learning in Fully Connected Neural Networks.

[BibT_eX]

[DOI]

IEEE Access, 2023

Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Model Abstraction and Conditional Sampling with Score-Based Diffusion Models.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Towards Invertible Semantic-Preserving Embeddings of Logical Formulae.

[BibT_eX]

[DOI]

Gaia Saveri

Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, 2023

Machine Learning methods for the Atmosphere, the Ocean, and the Seabed.

[BibT_eX]

[DOI]

Proceedings of the Italia Intelligenza Artificiale, 2023

Data Science and Artificial Intelligence for Life Sciences at the University of Trieste.

[BibT_eX]

[DOI]

Giulia Barbati

Giulio Caravagna

Proceedings of the Italia Intelligenza Artificiale, 2023

Reliable and Explainable AI in Trieste.

[BibT_eX]

[DOI]

Proceedings of the Italia Intelligenza Artificiale, 2023

Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Deep Learning Survival Model to Predict Atrial Fibrillation From ECGs and EHR Data.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2023

2022

A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2022

Efficient extraction of seismic reflection with Deep Learning.

[BibT_eX]

[DOI]

Comput. Geosci., 2022

On the Robustness of Bayesian Neural Networks to Adversarial Attacks.

[BibT_eX]

[DOI]

CoRR, 2022

Stochastic Variational Smoothed Model Checking.

[BibT_eX]

[DOI]

CoRR, 2022

Graph Neural Networks for Propositional Model Counting.

[BibT_eX]

[DOI]

Gaia Saveri

CoRR, 2022

Deep artificial neural network for prediction of atrial fibrillation through the analysis of 12-leads standard ECG.

[BibT_eX]

[DOI]

CoRR, 2022

Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-Scaling.

[BibT_eX]

[DOI]

Francesca Randone

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

Neural Predictive Monitoring for Collective Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks.

[BibT_eX]

[DOI]

Ginevra Carbone

Proceedings of the International Joint Conference on Neural Networks, 2022

Variance Reduction in Stochastic Reaction Networks Using Control Variates.

[BibT_eX]

[DOI]

Proceedings of the Principles of Systems Design, 2022

2021

Neural predictive monitoring and a comparison of frequentist and Bayesian approaches.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2021

Refining Mean-field Approximations by Dynamic State Truncation.

[BibT_eX]

[DOI]

Francesca Randone

Proc. ACM Meas. Anal. Comput. Syst., 2021

MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties.

[BibT_eX]

[DOI]

CoRR, 2021

Analysis of Markov Jump Processes under Terminal Constraints.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Neural Predictive Monitoring Under Partial Observability.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 21st International Conference, 2021

Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

Random Projections for Improved Adversarial Robustness.

[BibT_eX]

[DOI]

Ginevra Carbone

Proceedings of the International Joint Conference on Neural Networks, 2021

Abstraction of Markov Population Dynamics via Generative Adversarial Nets.

[BibT_eX]

[DOI]

Ginevra Carbone

Proceedings of the Computational Methods in Systems Biology, 2021

Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Fluid approximation of broadcasting systems.

[BibT_eX]

[DOI]

Michele Loreti

Theor. Comput. Sci., 2020

Density-embedding layers: a general framework for adaptive receptive fields.

[BibT_eX]

[DOI]

Francesco Cicala

CoRR, 2020

Improved estimations of stochastic chemical kinetics by finite state expansion.

[BibT_eX]

[DOI]

CoRR, 2020

Monitoring Spatio-Temporal Properties (Invited Tutorial).

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 20th International Conference, 2020

Bounding Mean First Passage Times in Population Continuous-Time Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020

A kernel function for Signal Temporal Logic formulae.

[BibT_eX]

[DOI]

Giuseppe Maria Gallo

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

Bayesian Neural Predictive Monitoring.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

Robustness of Bayesian Neural Networks to Gradient-Based Attacks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

2019

Introduction to the Special Issue on Qest 2017.

[BibT_eX]

[DOI]

Nathalie Bertrand

ACM Trans. Model. Comput. Simul., 2019

Central Limit Model Checking.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2019

Size expansions of mean field approximation: Transient and steady-state analysis.

[BibT_eX]

[DOI]

Nicolas Gast

Perform. Evaluation, 2019

Neural Predictive Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 19th International Conference, 2019

Reducing Spreading Processes on Networks to Markov Population Models.

[BibT_eX]

[DOI]

Gerrit Großmann

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Bayesian Abstraction of Markov Population Models.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Automatic Translation of Spatio-Temporal Logics to Streaming-Based Monitoring Applications for IoT-Equipped Autonomous Agents.

[BibT_eX]

[DOI]

Dimitrios Palyvos-Giannas

Vincenzo Gulisano

Eric Medvet

Proceedings of the 6th International Workshop on Middleware and Applications for the Internet of Things, 2019

Rejection-Based Simulation of Non-Markovian Agents on Complex Networks.

[BibT_eX]

[DOI]

Gerrit Großmann

Proceedings of the Complex Networks and Their Applications VIII, 2019

Bounding First Passage Times in Chemical Reaction Networks - Poster Abstract.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2019

Control Variates for Stochastic Simulation of Chemical Reaction Networks.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2019

Conformal Predictions for Hybrid System State Classification.

[BibT_eX]

[DOI]

Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019

2018

Moment-Based Parameter Estimation for Stochastic Reaction Networks in Equilibrium.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2018

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2018

Model checking Markov population models by stochastic approximations.

[BibT_eX]

[DOI]

Inf. Comput., 2018

Intrinsic Geometric Vulnerability of High-Dimensional Artificial Intelligence.

[BibT_eX]

[DOI]

CoRR, 2018

Bayesian Statistical parametric Verification and synthesis by Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the 2018 Winter Simulation Conference, 2018

Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models.

[BibT_eX]

[DOI]

Charalampos Kyriakopoulos

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

A Robust Genetic Algorithm for Learning Temporal Specifications from Data.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Lumping the Approximate Master Equation for Multistate Processes on Complex Networks.

[BibT_eX]

[DOI]

Gerrit Großmann

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Deep Abstractions of Chemical Reaction Networks.

[BibT_eX]

[DOI]

Charalampos Kyriakopoulos

Luca Palmieri

Proceedings of the Computational Methods in Systems Biology, 2018

Signal Convolution Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Policy learning in continuous-time Markov decision processes using Gaussian Processes.

[BibT_eX]

[DOI]

Perform. Evaluation, 2017

Lumping of Degree-Based Mean Field and Pair Approximation Equations for Multi-State Contact Processes.

[BibT_eX]

[DOI]

Gerrit Grossmann

CoRR, 2017

Monitoring mobile and spatially distributed cyber-physical systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

2016

Editorial: Quantitative Aspects of Programming Languages and Systems.

[BibT_eX]

[DOI]

Nathalie Bertrand

Herbert Wiklicky

Theor. Comput. Sci., 2016

Smoothed model checking for uncertain Continuous-Time Markov Chains.

[BibT_eX]

[DOI]

Inf. Comput., 2016

Hybrid behaviour of Markov population models.

[BibT_eX]

[DOI]

Inf. Comput., 2016

Location Aggregation of Spatial Population CTMC Models.

[BibT_eX]

[DOI]

Cheng Feng

Proceedings of the Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, 2016

jSSTL - A Tool to Monitor Spatio-Temporal Properties.

[BibT_eX]

[DOI]

Michele Loreti

Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016

Mean-Field Limits Beyond Ordinary Differential Equations.

[BibT_eX]

[DOI]

Nicolas Gast

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Logic-Based Multi-objective Design of Chemical Reaction Networks.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

Mean Field Approximation of Uncertain Stochastic Models.

[BibT_eX]

[DOI]

Nicolas Gast

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

Matching Models Across Abstraction Levels with Gaussian Processes.

[BibT_eX]

[DOI]

Giulio Caravagna

Proceedings of the Computational Methods in Systems Biology, 2016

Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2016

Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model.

[BibT_eX]

[DOI]

Max Tschaikowski

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2016

2015

System design of stochastic models using robustness of temporal properties.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Model checking single agent behaviours by fluid approximation.

[BibT_eX]

[DOI]

Inf. Comput., 2015

Coding Theory: A General Framework and Two Inverse Problems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2015

Learning and Designing Stochastic Processes from Logical Constraints.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2015

CARMA: Collective Adaptive Resource-sharing Markovian Agents.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Chiara Bodei

Davide Chiarugi

Maria Luisa Guerriero

Alessandro Romanel

Comput. Biol. Chem., 2015

Rule-based modelling and simulation of drug-administration policies.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Modeling and Simulation in Medicine, 2015

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 6th International Conference, 2015

Machine Learning Methods in Statistical Model Checking and System Design - Tutorial.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 6th International Conference, 2015

U-Check: Model Checking and Parameter Synthesis Under Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

Model-Based Whole-Genome Analysis of DNA Methylation Fidelity.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

Fluid Model Checking of Timed Properties.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

Efficient Stochastic Simulation of Systems with Multiple Time Scales via Statistical Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2015

2014

Hybrid Systems and Biology.

[BibT_eX]

[DOI]

Scott A. Smolka

Inf. Comput., 2014

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

[BibT_eX]

[DOI]

ERCIM News, 2014

Fluid Performability Analysis of Nested Automata Models.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014

Smoothed Model Checking for Uncertain Continuous Time Markov Chains.

[BibT_eX]

[DOI]

CoRR, 2014

Stochastic HYPE: Flow-based modelling of stochastic hybrid systems.

[BibT_eX]

[DOI]

CoRR, 2014

Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Mean-Field Approximation and Quasi-Equilibrium Reduction of Markov Population Models.

[BibT_eX]

[DOI]

Rytis Paskauskas

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Data-Driven Statistical Learning of Temporal Logic Properties.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

Stochastic Approximation of Global Reachability Probabilities of Markov Population Models.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 11th European Workshop, 2014

2013

Continuous approximation of collective system behaviour: A tutorial.

[BibT_eX]

[DOI]

Perform. Evaluation, 2013

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

[BibT_eX]

[DOI]

Richard A. Hayden

Perform. Evaluation, 2013

(Hybrid) automata and (stochastic) programs<i>The hybrid automata lattice of a stochastic program</i>.

[BibT_eX]

[DOI]

J. Log. Comput., 2013

HYPE: Hybrid modelling by composition of flows.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2013

Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias.

[BibT_eX]

[DOI]

CoRR, 2013

On the Robustness of Temporal Properties for Stochastic Models.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Second International Workshop on Hybrid Systems and Biology, 2013

Differential analysis of interacting automata with immediate actions.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Dynamical Systems, 2013

Model Checking Markov Population Models by Central Limit Approximation.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Stochastic Process Algebra and Stability Analysis of Collective Systems.

[BibT_eX]

[DOI]

Diego Latella

Mieke Massink

Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2013

2012

Studying cancer-cell populations by programmable models of networks.

[BibT_eX]

[DOI]

Netw. Model. Anal. Health Informatics Bioinform., 2012

Spearman Permutation Distances and Shannon's Distinguishability.

[BibT_eX]

[DOI]

Liviu Petrisor Dinu

Andrea Sgarro

Fundam. Informaticae, 2012

Hybrid performance modelling of opportunistic networks

[BibT_eX]

[DOI]

Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012

Fluid limits of queueing networks with batches.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Benny Van Houdt

Proceedings of the ACM SIGMETRICS/PERFORMANCE Joint International Conference on Measurement and Modeling of Computer Systems, 2012

Fluid Approximation of CTMC with Deterministic Delays.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Alireza Pourranjbar

Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

Fluid Model Checking.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

Programmable models of growth and mutation of cancer-cell populations

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third International Workshop on Computational Models for Cell Processes, 2011

HYPE with stochastic events

[BibT_eX]

[DOI]

Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

Hybrid Limits of Continuous Time Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

How many possible languages are there?

[BibT_eX]

[DOI]

Proceedings of the Biology, Computation and Linguistics - New Interdisciplinary Paradigms, 2011

2010

Hybrid dynamics of stochastic programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

Possibilistic Coding: Error Detection vs. Error Correction.

[BibT_eX]

[DOI]

Andrea Sgarro

Proceedings of the Combining Soft Computing and Statistical Methods in Data Analysis, 2010

Hybrid Semantics for PEPA.

[BibT_eX]

[DOI]

Proceedings of the QEST 2010, 2010

Perspectives on Constraints, Process Algebras, and Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Constraint Based Methods for Bioinformatics, 2010

Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras.

[BibT_eX]

[DOI]

Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2010

2009

Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back.

[BibT_eX]

[DOI]

Trans. Comp. Sys. Biology, 2009

Hybrid Dynamics of Stochastic pi-Calculus.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2009

CoBiC: Context-dependent Bioambient Calculus.

[BibT_eX]

[DOI]

Maria Grazia Vigliotti

Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, 2009

Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration

[BibT_eX]

[DOI]

Proceedings of the Proceedings Second International Workshop on Computational Models for Cell Processes, 2009

HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Stochastic Programs and Hybrid Automata for (Biological) Modeling.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Theory and Computational Practice, 2009

2008

HYPE Applied to the Modelling of Hybrid Biological Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

The Importance of Being (A Little Bit) Discrete.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008

On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation.

[BibT_eX]

[DOI]

Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008

Modeling Biological Systems in Stochastic Concurrent Constraint Programming.

[BibT_eX]

[DOI]

Constraints An Int. J., 2008

Hybrid Systems and Biology.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Computational Systems Biology, 2008

Hybrid Semantics for Stochastic pi-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Biology, Third International Conference, 2008

Computational Systems Biology with Constraints - Stochastic Modeling of Biological Systems with Concurrent Constraint Programming.

[BibT_eX]

VDM, ISBN: 978-3-639-08875-5, 2008

2007

Constraint-based approaches to stochastic dynamics of biological systems.

[BibT_eX]

[DOI]

PhD thesis, 2007

Agent-based protein structure prediction.

[BibT_eX]

[DOI]

Agostino Dovier

Federico Fogolari

Multiagent Grid Syst., 2007

Stochastic Concurrent Constraint Programming and Differential Equations.

[BibT_eX]

[DOI]

Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007

Constraint-Based Simulation of Biological Systems Described by Molecular Interaction Maps.

[BibT_eX]

[DOI]

Simone Fonda

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2007

2006

Stochastic Concurrent Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006

Possibilistic Channels for DNA Word Design.

[BibT_eX]

[DOI]

Andrea Sgarro

Proceedings of the Soft Methods for Integrated Uncertainty Modelling, 2006

BuST-Bundled Suffix Trees.

[BibT_eX]

[DOI]

Francesco Fabris

Proceedings of the Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), 2006

2005

A Distributed and Probabilistic Concurrent Constraint Programming Language.

[BibT_eX]

[DOI]

Herbert Wiklicky

Proceedings of the Logic Programming, 21st International Conference, 2005

Concurrent Methodologies for Global Optimization.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 21st International Conference, 2005

2004

Fuzzy Possibilities As Upper Previsions.

[BibT_eX]

[DOI]

Paolo Vicig