Filter your results
- 15
- 13
- 16
- 10
- 1
- 1
- 26
- 2
- 1
- 1
- 3
- 1
- 4
- 2
- 3
- 3
- 4
- 3
- 3
- 2
- 27
- 1
- 20
- 10
- 8
- 4
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 28
- 5
- 4
- 4
- 3
- 3
- 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
- 1
|
|
sorted by
|
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
|
|||
|
Analysis of Timed Properties Using the Jump-Diffusion ApproximationEuropean Workshop on Performance Engineering, Sep 2017, Berlin, Germany
Conference papers
hal-01817472v1
|
||
|
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
|
||
|
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
|
||
|
An LTL Model Checking Approach for Biological Parameter InferenceInternational Conference on Formal Engineering Methods, Nov 2014, Luxembourg, Luxembourg
Conference papers
hal-01819841v1
|
||
|
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
|
||
|
DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodesConcurrency 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 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
istex
hal-00915026v1
|
|||
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
|
|||
|
Bayesian parameter estimation for the Wnt pathway: an infinite mixture models approachBioinformatics, 2016, 32 (17), pp.i781 - i789. ⟨10.1093/bioinformatics/btw471⟩
Journal articles
hal-01817488v1
|
||
|
Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosaRevue 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 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
|
||
|
Automaton-ABC: A statistical method to estimate the probability of spatio-temporal properties for parametric Markov population modelsTheoretical 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, 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
|
||
|
Bayesian parameter estimation for the Wnt pathway: an infinite mixture models approachBriefings in Bioinformatics, 2016, 32 (17), ⟨10.1093/bioinformatics/btw471⟩
Journal articles
hal-04149023v1
|
||
|
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
|
||
|
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
|
||
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
|
|||
|
Modeling tools for detecting DoS attacks in WSNsSecurity and communication networks, 2013, 6 (4), pp.420-436. ⟨10.1002/sec⟩
Journal articles
hal-01817483v1
|
||
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
|
|||
|
DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodesConcurrency and Computation: Practice and Experience, 2017, 29 (23), ⟨10.1002/cpe.4266⟩
Journal articles
hal-01860370v1
|
||
|
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
|
||
|
Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checkingInternational Journal on Software Tools for Technology Transfer, 2015, ⟨10.1007/s10009-015-0370-5⟩
Journal articles
hal-01852397v1
|
||
|
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
|
||
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
|
|||
|
HASL: A new approach for performance evaluation and model checking from concepts to experimentationPerformance Evaluation, 2015, 90, pp.53-77. ⟨10.1016/j.peva.2015.04.003⟩
Journal articles
hal-01221815v1
|
||
|
Applications of an expressive statistical model checking approach to the analysis of genetic circuitsTheoretical Computer Science, 2015, 599, p.4-33. ⟨10.1016/j.tcs.2015.05.018⟩
Journal articles
hal-01250521v2
|
||
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
|