- 11
- 10
- 2
- 2
- 1
- 1
- 1
- 1
- 1
Paolo Ballarini
30
Documents
Researcher identifiers
paolo-ballarini
-
0000-0003-2026-2107
- IdRef : 19916794X
Presentation
I am an assitant professor at Lab. MICS of CentraleSupélec am an assistant professor (maître de conférence) at the Laboratory [MAS](http://www.mas.ecp.fr/) (Applied Mathematics
and Systems) of CentraleSupeléc (formerly Ecole Centrale Paris). My principle research interests are in the area of formal methods for modelling and verification of systems characterised by stochasticity, concurrency and parallelism
Publications
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 4
- 2
- 4
- 3
- 4
- 3
- 3
- 2
- 1
- 20
- 8
- 1
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⟩
Conference papers
hal-04148897v1
|
|
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⟩
Conference papers
hal-04148904v1
|
|
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⟩
Conference papers
hal-04148920v1
|
|
Reachability Design Through Approximate Bayesian ComputationInternational Conference on Computational Methods in Systems Biology, Sep 2019, Trieste (Italy), Italy. pp.207-223, ⟨10.1007/978-3-030-31304-3_11⟩
Conference papers
hal-04148941v1
|
|
|
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
Conference papers
hal-02131725v1
|
Performance modelling of access control mechanisms for local and vehicular wireless networksVALUETOOLS 2019: 12th EAI International Conference on Performance Evaluation Methodologies and Tools, Mar 2019, Palma Spain, Spain. pp.111-118, ⟨10.1145/3306309.3306326⟩
Conference papers
hal-04148946v1
|
|
Analysis of business process specifications with OpenAltarica2018 IEEE International Systems Engineering Symposium (ISSE), Oct 2018, Rome, Italy. ⟨10.1109/syseng.2018.8544458⟩
Conference papers
hal-02194937v1
|
|
|
Analysis of Timed Properties Using the Jump-Diffusion ApproximationEuropean Workshop on Performance Engineering, Sep 2017, Berlin, Germany
Conference papers
hal-01817472v1
|
Stochastic models for IEEE 802.11pIEEE Symposium on Computers and Communications (ISCC'16), Jun 2016, Messina, Italy. ⟨10.1109/ISCC.2016.7543717⟩
Conference papers
hal-01724310v1
|
|
|
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
Conference papers
hal-01819866v1
|
|
An LTL Model Checking Approach for Biological Parameter InferenceInternational Conference on Formal Engineering Methods, Nov 2014, Luxembourg, Luxembourg
Conference papers
hal-01819841v1
|
Formal Analysis of the Wnt/β-catenin through Statistical Model Checking6th International Symposium, ISoLA 2014, Tiziana Margaria, Bernhard Steffen, Oct 2014, Corfu, Greece
Conference papers
hal-01110747v1
|
|
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⟩
Conference papers
hal-00915026v1
|
|
|
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⟩
Conference papers
hal-00848708v1
|
|
Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic DynamicsComputational Methods in Systems Biology, Oct 2012, United Kingdom. pp.29-48
Conference papers
hal-00832096v1
|
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⟩
Conference papers
hal-04041506v1
|
|
HASL: An Expressive Language for Statistical Verification of Stochastic ModelsVALUETOOLS’11, 2011, Cachan, France
Conference papers
hal-01113442v1
|
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⟩
Books
hal-02014749v1
|
Reachability Design Through Approximate Bayesian ComputationComputational Methods in Systems Biology, pp.207-223, 2019, ⟨10.1007/978-3-030-31304-3_11⟩
Book sections
hal-02317539v1
|