Dr. Doina Bucur

• e-mail: doina.bucur [at] gmail.com
• personal website: Doina Bucur

Research

• Embedded system software analysis and verification
• Software-based methods for behavioural fault detection and recovery
• Methods for the development of correct and intelligible context-aware embedded software
• Correct-by-design code synthesis for sensor platforms
• Network protocol design and analysis

Recent publications

1. Optimizing groups of colluding strong attackers in mobile urban communication networks with evolutionary algorithms (D. Bucur, G. Iacca, M. Gaudesi, G. Squillero and A. Tonda), In Applied Soft Computing, Elsevier, volume 40, 2016.

   BibTeX

   
   @article{bucur2016:urbannetworks, author = {D. Bucur and G. Iacca and M. Gaudesi and G. Squillero and A. Tonda}, title = {Optimizing groups of colluding strong attackers in mobile urban communication networks with evolutionary algorithms}, journal = {Applied Soft Computing}, year = {2016}, publisher = {Elsevier}, url = {http://dx.doi.org/10.1016/j.asoc.2015.11.024}, volume = {40}, number = {}, pages = {416-426}, }

   ---

   url
2. Benchmark Datasets for Fault Detection and Classification in Sensor Data (B. de Bruijn, T. A. Nguyen, D. Bucur and K. Tei), In International Conference on Sensor Networks, 2016.

   BibTeX

   
   @inproceedings{bruijn2016:benchmark, title = {Benchmark Datasets for Fault Detection and Classification in Sensor Data}, author = {B. de Bruijn and T. A. Nguyen and D. Bucur and K. Tei}, year = {2016}, booktitle = {International Conference on Sensor Networks}, url = {http://dx.doi.org/10.5220/0005637901850195}, pages = {185--195}, }

   ---

   url
3. Influence Maximization in Social Networks with Genetic Algorithms (D. Bucur and G. Iacca), In European Conference on the Applications of Evolutionary and Bio-inspired Computation (Evo* EvoApplications), track EvoComplex: Evolutionary Algorithms and Complex Systems, 2016.

   BibTeX

   
   @inproceedings{bucur2016:influence, title = {Influence Maximization in Social Networks with Genetic Algorithms}, author = {D. Bucur and G. Iacca}, year = {2016}, booktitle = {European Conference on the Applications of Evolutionary and Bio-inspired Computation (Evo* EvoApplications), track EvoComplex: Evolutionary Algorithms and Complex Systems}, pages = {379--392}, url = {https://www.dropbox.com/s/z4ylz5njruamon3/man.pdf?dl=0}, }

   ---

   url
4. Characterizing topological bottlenecks for data delivery in CTP using simulation-based stress testing with natural selection (D. Bucur, G. Iacca and P. de Boer), In Ad Hoc Networks, Elsevier, volume 30, 2015.

   BibTeX

   
   @article{bucur2015:bottlenecks, author = {D. Bucur and G. Iacca and P. de Boer}, title = {Characterizing topological bottlenecks for data delivery in CTP using simulation-based stress testing with natural selection}, journal = {Ad Hoc Networks}, year = {2015}, publisher = {Elsevier}, url = {http://dx.doi.org/10.1016/j.adhoc.2015.02.005}, pages = {22-45}, volume = {30}, number = {}, }

   ---

   url
5. Black Holes and Revelations: Using Evolutionary Algorithms to Uncover Vulnerabilities in Disruption-Tolerant Networks (D. Bucur, G. Iacca, G. Squillero and A. Tonda), In European Conference on the Applications of Evolutionary and Bio-inspired Computation, track EvoComNet: Application of Nature-inspired Techniques for Communication Networks and other Parallel and Distributed Systems, 2015.

   BibTeX

   
   @inproceedings{bucur2015:revelations, title = {Black Holes and Revelations: Using Evolutionary Algorithms to Uncover Vulnerabilities in Disruption-Tolerant Networks}, author = {D. Bucur and G. Iacca and G. Squillero and A. Tonda}, year = {2015}, booktitle = {European Conference on the Applications of Evolutionary and Bio-inspired Computation, track EvoComNet: Application of Nature-inspired Techniques for Communication Networks and other Parallel and Distributed Systems}, pages = {29--41}, url = {http://dx.doi.org/10.1007/978-3-319-16549-3_3}, }

   ---

   url

(For more publications go to Doina's publication page)