Paolo Ballarini
Présentation
Publications
Publications
|
|
Approximating Heavy-Tailed Distributions with a Mixture of Bernstein Phase-Type and Hyperexponential Models21nd European Performance Engineering Workshop (EPEW 2025), Jun 2025, Catania (IT), Italy |
|
|
Statistical Bayesian Inference for Stochastic Process DiscoveryInternational Conference on Quantitative Evaluation of SysTems (QEST), Aug 2025, Aarhus (Danemark), Denmark |
A framework for optimisation based stochastic process discoveryProceedings of the International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, Sep 2024, Calgary (Alberta), Canada. ⟨10.1007/978-3-031-68416-6_3⟩ |
|
|
|
Probabilistic Process Discovery with Stochastic Process TreesEAI VALUESTOOLS 2024, Dec 2024, Milan, Italy |
|
|
A Formal Approach for Tuning Stochastic OscillatorsComputational Methods in Systems Biology, Sep 2023, Luxembourg, Luxembourg. pp.1-17, ⟨10.1007/978-3-031-42697-1_1⟩ |
|
|
Formal analysis of production line systems by probabilistic model checking tools2021 IEEE 26th International Conference on Emerging Technologies and Factory Automation (ETFA), Sep 2021, Vasteras, Sweden. pp.01-08, ⟨10.1109/ETFA45728.2021.9613494⟩ |
Performance Analysis of Production Lines Through Statistical Model CheckingEuropean Workshop on Performance Engineering International Conference on Analytical and Stochastic Modeling Techniques and Applications, Dec 2021, Tsukuba, Japan. pp.264-281, ⟨10.1007/978-3-030-91825-5_16⟩ |
|
|
|
Petri Nets Validation of Markovian Models of Emergency Department ArrivalsApplication and Theory of Petri Nets and Concurrenc, Jun 2020, Paris, France. pp.219-238, ⟨10.1007/978-3-030-51831-8_11⟩ |
|
|
Performance modelling of access control mechanisms for local and vehicular wireless networks12th EAI International Conference on Pervasive Computing Technologies for Healthcare, Mar 2019, Palma, Spain. pp.111-118 |
Analysis of business process specifications with OpenAltarica2018 IEEE International Systems Engineering Symposium (ISSE), Oct 2018, Rome, Italy. ⟨10.1109/syseng.2018.8544458⟩ |
|
|
|
Analysis of Timed Properties Using the Jump-Diffusion ApproximationEuropean Workshop on Performance Engineering, Sep 2017, Berlin, Germany |
Stochastic models for IEEE 802.11pIEEE Symposium on Computers and Communications (ISCC'16), Jun 2016, Messina, Italy. ⟨10.1109/ISCC.2016.7543717⟩ |
|
|
|
Formal analysis of the Wnt/β-catenin pathway through statistical model checkingInternational Symposium On Leveraging Applications of Formal Methods, Verification and Validation , Oct 2014, Corfu, Greece |
Formal Analysis of the Wnt/β-catenin through Statistical Model Checking6th International Symposium, ISoLA 2014, Tiziana Margaria, Bernhard Steffen, Oct 2014, Corfu, Greece |
|
|
|
An LTL Model Checking Approach for Biological Parameter InferenceInternational Conference on Formal Engineering Methods, Nov 2014, Luxembourg, Luxembourg |
|
|
Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State ClassesQEST - 10th International Conference on Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. pp.355-371, ⟨10.1007/978-3-642-40196-1_30⟩ |
|
|
Expressing and Computing Passage Time Measures of GSPN Models with HASLApplication and Theory of Petri Nets and Concurrency, Jun 2013, Milan, Italy. ⟨10.1007/978-3-642-38697-8_7⟩ |
|
|
Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes10th International Conference on Quantitative Evaluation of Systems (QUEST 2013), Aug 2013, Buenos Aires, Argentina. pp.355-371, ⟨10.1007/978-3-642-40196-1_30⟩ |
|
|
Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic DynamicsComputational Methods in Systems Biology, Oct 2012, United Kingdom. pp.29-48 |
|
|
Quantitative Verification of WiMAX Traffic Shaping Solutions7th international symposium on Intelligent Systems Techniques for Ad hoc and Wireless Sensor Networks, Aug 2012, Niagara Falls, Canada. pp.1026-1031, ⟨10.1016/j.procs.2012.06.142⟩ |
HASL: An Expressive Language for Statistical Verification of Stochastic ModelsVALUETOOLS’11, 2011, Cachan, France |
|
|
Computer performance engineering : 15th European workshop, EPEW 2018, Paris, France, October 29-30, 2018, proceedingsSpringer, pp.265, 2018, Part of the Lecture Notes in Computer Science book series (LNCS, volume 11178), Part of the Lecture Notes in Computer Science book series (LNCS, volume 11178), 978-3-030-02226-6. ⟨10.1007/978-3-030-02227-3⟩ |
Reachability Design Through Approximate Bayesian ComputationComputational Methods in Systems Biology, pp.207-223, 2019, ⟨10.1007/978-3-030-31304-3_11⟩ |
|
|
Statistical process discovery2025 |
|
|
Contributions to formal modelling and analysis of stochastic models Mémoire d'habilitation à diriger des recherchesComputer Science [cs]. CentraleSupélec, Université Paris-Saclay, 2023 |