Doina Bucur

Assistant Professor,
Computer Science, University of Twente, NL

PhD, Computer Science, University of Aarhus, DK (Dec 2008).
Postdoc in the Verification group at the Computing Laboratory, University of Oxford, UK (2008-2010).
Researcher in systems at INCAS3, NL (2010-2012).
Assistant Professor, Computer Science, University of Groningen, NL (2012-2016).





Likes to mine, stress-test, and analyse complex systems.

  • computational intelligence for hard problems
  • networks: social, communication

Main Publications | Software and Datasets | Teaching

Main Publications

Various conference presentations.

  1. thumb Conference proceedings, in print LIFT: Learning Fault Trees from Observational Data [pdf]
    Meike Nauta, Doina Bucur, Marielle Stoelinga
    International Conference on Quantitative Evaluation of SysTems (QEST 2018). Springer, 2018.
    show abstract
  2. thumb Conference proceedings, in print Evaluating Surrogate Models for Multi-Objective Influence Maximization in Social Networks [pdf]
    Doina Bucur, Giovanni Iacca, Andrea Marcelli, Giovanni Squillero, Alberto Tonda
    GECCO ’18 Companion. ACM, 2018.
    show abstract
  3. thumb Conference proceedings Improving Multi-Objective Evolutionary Influence Maximization in Social Networks [pdf] [Springer]
    Doina Bucur, Giovanni Iacca, Andrea Marcelli, Giovanni Squillero, Alberto Tonda
    European Conference on the Applications of Evolutionary and Bio-inspired Computation (EvoApplications), track EvoComNet: Application of Nature-inspired Techniques for Communication Networks and other Parallel and Distributed Systems. Springer, 2018.
    show abstract
  4. thumb Conference proceedings On the gender of books: author gender mixing in book communities [pdf] [Springer]
    Doina Bucur
    International Conference on Complex Networks and Their Applications. Springer Studies in Computational Intelligence Series, 2017.
    show abstract
  5. thumb Article A stochastic De Novo assembly algorithm for viral-sized genomes obtains correct genomes and builds consensus [pdf] [ScienceDirect]
    Doina Bucur
    Information Sciences. Elsevier, 2017.
    show abstract
  6. thumb Conference proceedings Towards accurate De Novo assembly for genomes with repeats [paper, pdf] [poster, pdf] [IEEE Xplore]
    Doina Bucur
    International Conference on Computational Intelligence in Bioinformatics and Computational Biology. IEEE, 2017.
    show abstract
  7. thumb Article Improved search methods for assessing Delay-Tolerant Networks vulnerability to colluding strong heterogeneous attacks [pdf] [ScienceDirect]
    Doina Bucur, Giovanni Iacca
    Expert Systems With Applications. Elsevier, 2017.
    show abstract
  8. thumb Conference proceedings Multi-Objective Evolutionary Algorithms for Influence Maximization in Social Networks [pdf] [Springer]
    Doina Bucur, Giovanni Iacca, Andrea Marcelli, Giovanni Squillero, Alberto Tonda
    European Conference on the Applications of Evolutionary and Bio-inspired Computation (EvoApplications), track EvoComNet: Application of Nature-inspired Techniques for Communication Networks and other Parallel and Distributed Systems. Springer, 2017. (Best paper award)
    show abstract
  9. thumb Conference proceedings De Novo DNA Assembly with a Genetic Algorithm Finds Accurate Genomes Even with Suboptimal Fitness [pdf] [Springer]
    Doina Bucur
    European Conference on the Applications of Evolutionary and Bio-inspired Computation (EvoApplications), track EvoBio: Evolutionary Computation, Machine Learning and Data Mining for Biology and Medicine. Springer, 2017.
    show abstract
  10. thumb Conference proceedings Influence Maximization in Social Networks with Genetic Algorithms [pdf] [Springer]
    Doina Bucur, Giovanni Iacca
    European Conference on the Applications of Evolutionary and Bio-inspired Computation (Evo* EvoApplications), track EvoComplex: Evolutionary Algorithms and Complex Systems. Springer, 2016.
    show abstract
  11. thumb Conference proceedings Benchmark Datasets for Fault Detection and Classification in Sensor Data [pdf] [SciTePress]
    Bas de Bruijn, Tuan Anh Nguyen, Doina Bucur, Kenji Tei
    International Conference on Sensor Networks (SensorNets). SciTePress, 2016.
    show abstract
  12. thumb Article Optimizing groups of colluding strong attackers in mobile urban communication networks with evolutionary algorithms [pdf] [Elsevier]
    Doina Bucur, Giovanni Iacca, Marco Gaudesi, Giovanni Squillero, Alberto Tonda
    Applied Soft Computing (ASOC). Elsevier, Volume 40, March 2016, Pages 416–426.
    show abstract
  13. thumb Article Characterizing Topological Bottlenecks for Data Delivery in CTP using Simulation-Based Stress Testing with Natural Selection [pdf] [Elsevier]
    Doina Bucur, Giovanni Iacca, Pieter-Tjerk de Boer
    Ad Hoc Networks. Elsevier, Volume 30, July 2015, Pages 22–45.
    show abstract
  14. thumb Conference Proceedings Black Holes and Revelations: Using Evolutionary Algorithms to Uncover Vulnerabilities in Disruption-Tolerant Networks [pdf] [Springer]
    Doina Bucur, Giovanni Iacca, Giovanni Squillero, Alberto Tonda
    European Conference on the Applications of Evolutionary and Bio-inspired Computation (Evo* EvoApplications), track EvoComNet: Application of Nature-inspired Techniques for Communication Networks and other Parallel and Distributed Systems. Springer, 2015.
    show abstract
  15. thumb Conference proceedings The Tradeoffs between Data Delivery Ratio and Energy Costs in Wireless Sensor Networks: A Multi-Objective Evolutionary Framework for Protocol Analysis [pdf] [ACM]
    Doina Bucur, Giovanni Iacca, Giovanni Squillero, Alberto Tonda
    Genetic and Evolutionary Computation Conference (GECCO). Sheridan/ACM, 2014.
    show abstract
  16. thumb Article The Impact of Topology on Energy Consumption for Collection Tree Protocols: an Experimental Assessment through Evolutionary Computation [pdf] [ScienceDirect]
    Doina Bucur, Giovanni Iacca, Giovanni Squillero, Alberto Tonda
    Applied Soft Computing (ASOC). Elsevier, Volume 16, March 2014, Pages 210-222.
    show abstract
  17. thumb Conference Proceedings Applying Time Series Analysis and Neighbourhood Voting in a Decentralised Approach for Fault Detection and Classification in WSNs [pdf] [ACM]
    Tuan Anh Nguyen, Doina Bucur, Marco Aiello, Kenji Tei
    Symposium on Information and Communication Technology (SoICT). pages 234-241, ACM, 2013.
    show abstract
  18. thumb Conference Proceedings Towards Context Consistency in a Rule-Based Activity Recognition Architecture [pdf] [IEEE]
    Tuan Anh Nguyen, Viktoriya Degeler, Rosario Contarino, Alexander Lazovik, Doina Bucur, and Marco Aiello
    International Symposium on Ubiquitous Intelligence and Autonomic Systems (UIAS), in conjunction with UIC'13: IEEE International Conference on Ubiquitous Intelligence and Computing. IEEE Computer Society Press, 2013.
    show abstract
  19. thumb Conference Proceedings Continuous Correctness of Business Processes against Process Interference [pdf] [IEEE]
    Nick Van Beest and Doina Bucur
    IEEE International Conference on Service Oriented Computing and Applications (SOCA). Pages 110-117, IEEE, 2013.
    show abstract
  20. thumb Conference Proceedings An Evolutionary Framework for Routing Protocol Analysis in Wireless Sensor Networks [pdf] [Springer]
    Doina Bucur, Giovanni Iacca, Giovanni Squillero, Alberto Tonda
    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. Springer Lecture Notes in Computer Science Volume 7835, pages 1-11, 2013.
    show abstract
  21. thumb Conference Proceedings A Survey of Formal Business Process Verification: From Soundness to Variability [pdf]
    Heerko Groefsema and Doina Bucur
    International Symposium on Business Modeling and Software Design (BMSD). SciTePress, 2013.
    show abstract
  22. thumb Conference Proceedings Temporal Monitors for TinyOS [pdf] [Springer]
    Doina Bucur
    International Conference on Runtime Verification (RV). Springer Lecture Notes in Computer Science (LNCS), Volume 7687, pages 96-109, 2013.
    show abstract
  23. thumb Conference Proceedings Intelligible TinyOS Sensor Systems: Explanations for Embedded Software [pdf] [Springer]
    Doina Bucur
    International and Interdisciplinary Conference on Modeling and Using Context. Springer Lecture Notes in Computer Science (LNCS), Volume 6967, pages 54-66, 2011.
    show abstract
  24. thumb Article On Software Verification for Sensor Nodes [pdf] [ScienceDirect]
    Doina Bucur and Marta Kwiatkowska
    Journal of Software and Systems (JSS). Elsevier, Volume 84, Issue 10, pages 1693-1707, 2011.
    show abstract
  25. thumb Conference Proceedings Software Verification for TinyOS [pdf] [ACM]
    Doina Bucur and Marta Kwiatkowska
    ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN). ACM, pages 400-401, 2010.
    show abstract
  26. thumb Conference Proceedings Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications [pdf] [Springer]
    Doina Bucur and Marta Kwiatkowska
    European Conference on Ambient Intelligence (AmI). Springer Lecture Notes in Computer Science (LNCS), Volume 5859, pages 101-105, 2009.
    show abstract
  27. thumb Conference Proceedings GammaSense: Infrastructureless Positioning using Background Radioactivity [pdf] [Springer]
    Doina Bucur and Mikkel Baun Kjaergaard
    IEEE European Conference on Smart Sensing and Context (EuroSSC). Springer Lecture Notes in Computer Science (LNCS), Volume 5279, pages 69-82, 2008.
    show abstract
  28. thumb Book chapter Secure Data Flow in a Calculus for Context Awareness [pdf] [Springer]
    Doina Bucur and Mogens Nielsen
    Concurrency, Graphs and Models. Springer Lecture Notes in Computer Science (LNCS), Volume 5065, pages 439-456, 2008.
    show abstract
  29. thumb Article Resource Discovery in Activity-Based Sensor Networks [pdf] [Springer]
    Doina Bucur and Jakob E. Bardram
    Special Issue on Pervasive Healthcare. Springer Mobile Networks and Applications (MONET), Volume 12, Numbers 2-3, pages 129-142, 2007.
    show abstract

Software and Datasets

Teaching

Various teaching materials.

Extensive teaching experience.
Was nominated as best teacher in the faculty at the University of Groningen, NL.
Was a lecturer / instructor / demonstrator / etc. for the following courses, in four countries: