Search - CentraleSupélec Access content directly

Filter your results

28 Results
authIdHal_s : paolo-ballarini

Reachability Design Through Approximate Bayesian Computation

Mahmoud Bentriou , Paolo Ballarini , Paul-Henry Cournède
Computational Methods in Systems Biology, pp.207-223, 2019, ⟨10.1007/978-3-030-31304-3_11⟩
Book sections hal-02317539v1
Image document

Analysis of Timed Properties Using the Jump-Diffusion Approximation

Paolo Ballarini , Marco Beccuti , Enrico Bibbona , Andras Horvath , Roberta Sirovich , et al.
European Workshop on Performance Engineering, Sep 2017, Berlin, Germany
Conference papers hal-01817472v1
Image document

Formal analysis of the Wnt/β-catenin pathway through statistical model checking

Paolo Ballarini , Emmanuelle Gallet , Pascale Le Gall , Matthieu Manceny
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation , Oct 2014, Corfu, Greece
Conference papers hal-01819866v1
Image document

Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics

Paolo Ballarini , Jarno Makela , Andre Ribeiro
Computational Methods in Systems Biology, Oct 2012, United Kingdom. pp.29-48
Conference papers hal-00832096v1
Image document

An LTL Model Checking Approach for Biological Parameter Inference

E Gallet , M Manceny , P Le Gall , Paolo Ballarini
International Conference on Formal Engineering Methods, Nov 2014, Luxembourg, Luxembourg
Conference papers hal-01819841v1

Petri Nets Validation of Markovian Models of Emergency Department Arrivals

Paolo Ballarini , Davide Duma , Andras Horváth , Roberto Aringhieri
Application 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

DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes

Quentin Monnet , Lynda Mokdad , Paolo Ballarini , Youcef Hammal , Jalel Ben-Othman
Concurrency and Computation: Practice and Experience, 2017, 29 (23), pp.e4266. ⟨10.1002/cpe.4266⟩
Journal articles hal-04148964v1

Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes

Paolo Ballarini , Nathalie Bertrand , Andras Horvath , Marco Paolieri , Enrico Vicario
QEST - 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 istex hal-00915026v1

Formal Analysis of the Wnt/β-catenin through Statistical Model Checking

Paolo Ballarini , Emmanuelle Gallet , Pascale Le Gall , Matthieu Manceny
6th International Symposium, ISoLA 2014, Tiziana Margaria, Bernhard Steffen, Oct 2014, Corfu, Greece
Conference papers hal-01110747v1
Image document

Bayesian parameter estimation for the Wnt pathway: an infinite mixture models approach

Konstantinos Koutroumpas , Paolo Ballarini , Irene Votsi , Paul-Henry Cournède
Bioinformatics, 2016, 32 (17), pp.i781 - i789. ⟨10.1093/bioinformatics/btw471⟩
Journal articles hal-01817488v1
Image document

Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa

Emmanuelle Gallet , Matthieu Manceny , Pascale Le Gall , Paolo Ballarini
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34 (5), pp.575 - 600. ⟨10.3166/TSI.34.575-600⟩
Journal articles hal-01819818v1

Performance modelling of access control mechanisms for local and vehicular wireless networks

Paolo Ballarini , Benoît Barbot , Nicolas Vasselin
VALUETOOLS 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

Automaton-ABC: A statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models

Mahmoud Bentriou , Paolo Ballarini , Paul-Henry Cournède
Theoretical Computer Science, 2021, 893, pp.191-219. ⟨10.1016/j.tcs.2021.09.039⟩
Journal articles hal-04148855v1

Computer performance engineering : 15th European workshop, EPEW 2018, Paris, France, October 29-30, 2018, proceedings

Rena Bakshi , Paolo Ballarini , Benoit Barbot , Hind Castel-Taleb , Anne Remke
Springer, 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

Bayesian parameter estimation for the Wnt pathway: an infinite mixture models approach

Konstantinos Koutroumpas , Paolo Ballarini , Irene Votsi , Paul-Henry P.-H. Cournède
Briefings in Bioinformatics, 2016, 32 (17), ⟨10.1093/bioinformatics/btw471⟩
Journal articles hal-04149023v1

Formal analysis of production line systems by probabilistic model checking tools

Paolo Ballarini , Andras Horvath
2021 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
Image document

Expressing and Computing Passage Time Measures of GSPN Models with HASL

Elvio Amparore , Paolo Ballarini , Marco Beccuti , Susanna Donatelli , Giuliana Franceschinis
Application and Theory of Petri Nets and Concurrency, Jun 2013, Milan, Italy. ⟨10.1007/978-3-642-38697-8_7⟩
Conference papers hal-00848708v1

Stochastic models for IEEE 802.11p

Lynda Mokdad , Jalel Ben-Othman , Paolo Ballarini
IEEE Symposium on Computers and Communications (ISCC'16), Jun 2016, Messina, Italy. ⟨10.1109/ISCC.2016.7543717⟩
Conference papers hal-01724310v1
Image document

Modeling tools for detecting DoS attacks in WSNs

Paolo Ballarini , Lynda Mokdad , Quentin Monnet
Security and communication networks, 2013, 6 (4), pp.420-436. ⟨10.1002/sec⟩
Journal articles hal-01817483v1

Reachability Design Through Approximate Bayesian Computation

Mahmoud Bentriou , Paolo Ballarini , Paul-Henry P.-H. Cournède
International 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
Image document

DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes

Quentin Monnet , Lynda Mokdad , Paolo Ballarini , Youcef Hammal , Jalel Ben-Othman
Concurrency and Computation: Practice and Experience, 2017, 29 (23), ⟨10.1002/cpe.4266⟩
Journal articles hal-01860370v1
Image document

Performance modelling of access control mechanisms for local and vehicular wireless networks

Paolo Ballarini , Benoît Barbot , Nicolas Vasselin
12th EAI International Conference on Pervasive Computing Technologies for Healthcare, Mar 2019, Palma, Spain. pp.111-118
Conference papers hal-02131725v1
Image document

Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking

Paolo Ballarini
International Journal on Software Tools for Technology Transfer, 2015, ⟨10.1007/s10009-015-0370-5⟩
Journal articles hal-01852397v1

Quantitative Verification of WiMAX Traffic Shaping Solutions

Paolo Ballarini , Jalel Ben-Othman , Lynda Mokdad
7th 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

Performance Analysis of Production Lines Through Statistical Model Checking

Paolo Ballarini , András Horváth
European 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
Image document

HASL: A new approach for performance evaluation and model checking from concepts to experimentation

Paolo Ballarini , Benoît Barbot , Marie Duflot , Serge Haddad , Nihal Pekergin
Performance Evaluation, 2015, 90, pp.53-77. ⟨10.1016/j.peva.2015.04.003⟩
Journal articles hal-01221815v1
Image document

Applications of an expressive statistical model checking approach to the analysis of genetic circuits

Paolo Ballarini , Marie Duflot
Theoretical Computer Science, 2015, 599, p.4-33. ⟨10.1016/j.tcs.2015.05.018⟩
Journal articles hal-01250521v2

Analysis of business process specifications with OpenAltarica

Paolo Ballarini , Michel Batteux , Leo Chartier , Antoine Rauzy
2018 IEEE International Systems Engineering Symposium (ISSE), Oct 2018, Rome, Italy. ⟨10.1109/syseng.2018.8544458⟩
Conference papers hal-02194937v1