• Browsing: »
  • Home
  • »Bahare Salmani

Bahare Salmani

slmn-photo
Email
salmani at cs.rwth-aachen.de
Address
Room 4207
Ahornstraße 55
D-52074 Aachen
Phone
+49 241 80 21202

I’m a Ph.D. student in the chair “Software Modeling and Verification (moves)” headed by Prof. Joost-Pieter Katoen. My research interests include probabilistic programs, probabilistic model checking, and formal methods in a broader sense.

Projects

During my Ph.D. in the “moves” group, I’ve been a member of the FRAPPANT project with a focus on analyzing Bayesian networks. More concretely, I’ve been investigating how the techniques from probabilistic model checking can be carried over to (a) probabilistic inference and (b) parameter synthesis on (parametric) Bayesian networks. Our latest results have been recently accepted for publication in the Journal of Artificial Intelligence (JAIR) and at the International Joint Conference in Artificial Intelligence (IJCAI-23). 

Past Projects:

Before I join the moves group, I was a member of the RoboRebeca project headed by Marjan Sirjani. We developed a framework to generate safe codes for robotic applications.

Supervision

Here is the list of thesis projects that I’m currently supervising or have supervised so far.

  • Beyza Akyüz, Analysing Sum-Product Networks, Ongoing Bachelor Thesis,
  • Anike Heikrodt, Monotonicity Analysis of Parametric Bayesian Networks, Ongoing Bachelor Thesis (co-supervision with Jip Spel).
  • Markus Milliats, Semantics and Analysis of Recursive Bayesian Networks, Master Thesis, 2023.
  • Alexandra Ivanova, Model Repair on Markov Chains and Tuning the Parameters in Bayesian Networks, Bachelor Theis, 2022.
  • Xu Yiefi, Analysing Bayesian Network Classifiers by Probabilistic Model Checking, Bachelor Thesis, 2022.
  • Hans Vrapi, Probabilistic Inference on Dynamic Bayesian Networks, Bachelor Thesis, 2021.
  • Robin Drahovsky, Parameter Synthesis on Bayesian Networks, Master Thesis, 2020.

I am always looking forward to working with students. If you are looking for a bachelor/master thesis in the context of probabilistic graphical models and their connection to probabilistic model checking / probabilistic programming, do not hesitate to contact me.

Teaching

I am currently involved in the following teaching responsibilities:

Past teaching activities at RWTH:

Past teaching activities at SUT:

Publications

2023
DOI fulltext PDF [bibtex]
@article{AFRPBN2023,
title = {Automatically Finding the Right Probabilities in Bayesian Networks},
author = {Bahare Salmani Barzoki and Joost-Pieter Katoen},
publisher = {AI Access Found.},
journal = {Journal of artificial intelligence research},
volume = {77},
pages = {pages 1637-1696},
type = {Journal Article},
year = {2023},
doi = {10.1613/jair.1.14044},
url = { https://publications.rwth-aachen.de/record/969130},
}×
[issue] 		Bahare Salmani Barzoki, Joost-Pieter Katoen. Automatically Finding the Right Probabilities in Bayesian Networks, Journal of artificial intelligence research 77, pages 1637-1696, AI Access Found., 2023.
2021
DOI fulltext PDF [bibtex]
@conference{FTOBN2021,
title = {Fine-Tuning the Odds in Bayesian Networks},
author = {Bahare Salmani Barzoki and Joost-Pieter Katoen},
publisher = {Springer},
booktitle = {LNCS},
volume = {12897},
pages = {268-283},
type = {Conference Paper},
year = {2021},
doi = {10.1007/978-3-030-86772-0_20},
url = { https://publications.rwth-aachen.de/record/828686},
}×
[issue] 		Bahare Salmani Barzoki, Joost-Pieter Katoen. Fine-Tuning the Odds in Bayesian Networks, European Conference on Symbolic and Quantitative Approaches with Uncertainty (ECSQARU), Volume 12897 of LNCS, 268-283, Springer, 2021.
2020
DOI fulltext PDF [bibtex]
@conference{BISMC2020,
title = {Bayesian Inference by Symbolic Model Checking},
author = {Bahare Salmani Barzoki and Joost-Pieter Katoen},
publisher = {Springer},
booktitle = {LNCS},
volume = {12289},
pages = {115-133},
type = {Conference Paper},
year = {2020},
doi = {10.1007/978-3-030-59854-9_9},
url = { https://publications.rwth-aachen.de/record/814595},
}×
[issue] 		Bahare Salmani Barzoki, Joost-Pieter Katoen. Bayesian Inference by Symbolic Model Checking, 17. International Conference on Quantitative Evaluation of SysTems (QEST 2020), Volume 12289 of LNCS, 115-133, Springer, 2020.
2019
DOI fulltext PDF [bibtex]
@conference{TAADVRRPR2019,
title = {Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca},
author = {Saeid Dehnavi and Ali Sedaghatbaf and Bahare Salmani Barzoki and Marjan Sirjani and Mehdi Kargahi and Ehsan Khamespanah},
publisher = {Elsevier},
booktitle = {Procedia computer science},
volume = {155},
pages = {59-68},
type = {Conference Paper},
year = {2019},
doi = {10.1016/j.procs.2019.08.012},
url = { https://publications.rwth-aachen.de/record/807203},
}×
[issue] 		Saeid Dehnavi, Ali Sedaghatbaf, Bahare Salmani Barzoki, Marjan Sirjani, Mehdi Kargahi, Ehsan Khamespanah. Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca, 16. International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2019), Volume 155 of Procedia computer science, 59-68, Elsevier, 2019.