E-LIB Suche - Ergebnisse für: Ballarini, Paolo

1

A Formal Approach for Tuning Stochastic Oscillators:

, In: Computational Methods in Systems Biology; Lecture Notes in Computer Science,

Ballarini, Paolo ; Bentriou, Mahmoud ; Cournède, Paul-Henry - p. 1-17 , 2023

Link: https://doi.org/10.1007/..

2

Cosmos: Evolution of a Statistical Model Checking Platform:

Ballarini, Paolo ; Barbot, Benoît
ACM SIGMETRICS Performance Evaluation Review. 49 (2022) 4 - p. 65-69 , 2022

Link: https://doi.org/10.1145/..

3

Performance Engineering and Stochastic Modeling: 17th Europ..

Programming and Software Engineering, 13104

Ballarini, Paolo ; Castel, Hind ; Dimitriou, Ioannis... - 1st ed. 2021 . , 2021

Link: https://doi.org/10.1007/..

4

Automaton-ABC: A statistical method to estimate the probabi..:

Bentriou, Mahmoud ; Ballarini, Paolo ; Cournède, Paul-Henry
Theoretical Computer Science. 893 (2021) - p. 191-219 , 2021

Link: https://doi.org/10.1016/..

5

Performance Analysis of Production Lines Through Statistica..:

, In: Lecture Notes in Computer Science; Performance Engineering and Stochastic Modeling,

Ballarini, Paolo ; Horváth, András - p. 264-281 , 2021

Link: https://doi.org/10.1007/..

6

Petri Nets Validation of Markovian Models of Emergency Depa..:

, In: Application and Theory of Petri Nets and Concurrency; Lecture Notes in Computer Science,

Ballarini, Paolo ; Duma, Davide ; Horváth, Andras. - p. 219-238 , 2020

Link: https://doi.org/10.1007/..

7

Reachability Design Through Approximate Bayesian Computatio:

, In: Computational Methods in Systems Biology; Lecture Notes in Computer Science,

Bentriou, Mahmoud ; Ballarini, Paolo ; Cournède, Paul-Henry - p. 207-223 , 2019

Link: https://doi.org/10.1007/..

8

Performance modelling of access control mechanisms for loca..:

, In: Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools,

Ballarini, Paolo ; Barbot, Benoît ; Vasselin, Nicolas - p. 111-118 , 2019

Link: https://dl.acm.org/doi/1..

9

Computer Performance Engineering

15th European Workshop, EPEW 2018, Paris, France, October 2... Programming and Software Engineering ; 11178;SpringerLink, Bücher

Bakhshi, Rena ; Ballarini, Paolo ; Barbot, Benoît.. , 2018

Link: https://doi.org/10.1007/..

10

DoS detection in WSNs: Energy‐efficient methods for selecti..:

Monnet, Quentin ; Mokdad, Lynda ; Ballarini, Paolo..
Concurrency and Computation: Practice and Experience. 29 (2017) 23 - p. , 2017

Link: https://doi.org/10.1002/..

11

Bayesian parameter estimation for the Wnt pathway: an infin..:

Koutroumpas, Konstantinos ; Ballarini, Paolo ; Votsi, Irene.
Bioinformatics. 32 (2016) 17 - p. i781-i789 , 2016

Link: https://doi.org/10.1093/..

12

Analysing oscillatory trends of discrete-state stochastic p..:

Ballarini, Paolo
International Journal on Software Tools for Technology Transfer. 17 (2015) 4 - p. 505-526 , 2015

Link: https://doi.org/10.1007/..

13

Applications of an expressive statistical model checking ap..:

Ballarini, Paolo ; Duflot, Marie
Theoretical Computer Science. 599 (2015) - p. 4-33 , 2015

Link: https://doi.org/10.1016/..

14

HASL: A new approach for performance evaluation and model c..:

Ballarini, Paolo ; Barbot, Benoît ; Duflot, Marie..
Performance Evaluation. 90 (2015) - p. 53-77 , 2015

Link: https://doi.org/10.1016/..

15

Quantitative Verification of WiMAX Traffic Shaping Solution:

Ballarini, Paolo ; Ben-Othman, Jalel ; Mokdad, Lynda
Procedia Computer Science. 10 (2012) - p. 1026-1031 , 2012

Link: https://doi.org/10.1016/..