Doina Bucur

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
6. The Impact of Topology on Energy Consumption for Collection Tree Protocols: An Experimental Assessment through Evolutionary Computation (D. Bucur, G. Iacca, G. Squillero and A. Tonda), In Applied Soft Computing, volume 16, 2014.

   BibTeX

   
   @article{bucur2014:ASOC, title = {The Impact of Topology on Energy Consumption for Collection Tree Protocols: An Experimental Assessment through Evolutionary Computation}, author = {D. Bucur and G. Iacca and G. Squillero and A. Tonda}, journal = {Applied Soft Computing}, year = {2014}, volume = {16}, number = {0}, pages = {210--222}, issn = {1568-4946}, doi = {http://dx.doi.org/10.1016/j.asoc.2013.12.002}, url = {http://www.sciencedirect.com/science/article/pii/S1568494613004213}, }

   ---

   urldoi
7. The Tradeoffs between Data Delivery Ratio and Energy Costs in Wireless Sensor Networks: A Multi-Objective Evolutionary Framework for Protocol Analysis (D. Bucur, G. Iacca, G. Squillero and A. Tonda), In Genetic and Evolutionary Computation Conferenc, 2014.

   BibTeX

   
   @inproceedings{bucur2014:framework, author = {D. Bucur and G. Iacca and G. Squillero and A. Tonda}, title = {The Tradeoffs between Data Delivery Ratio and Energy Costs in Wireless Sensor Networks: A Multi-Objective Evolutionary Framework for Protocol Analysis}, booktitle = {Genetic and Evolutionary Computation Conferenc}, year = {2014}, pages = {1071--1078}, url = {http://www.cs.rug.nl/~doina/2014-GECCO/GECCO14-Bucur.pdf}, }

   ---

   url
8. A survey of formal business process verification: From soundness to variability (H. Groefsema and D. Bucur), In Proceedings of International Symposium on Business Modeling and Software Design, SciTePress, 2013.

   Abstract

   Formal verification of business process models is of interest to a number of application areas, including checking for basic process correctness, business compliance, and process variability. A large amount of work on these topics exist, while a comprehensive overview of the field and its directions is lacking. We provide an overview and critical reflections on existing approaches.

   
   Keywords: Business Process Management, Verification, Model Checking, Survey

   ---

   BibTeX

   
   @inproceedings{groefsema2013:bmsd, title = "A survey of formal business process verification: From soundness to variability", abstract = "Formal verification of business process models is of interest to a number of application areas, including checking for basic process correctness, business compliance, and process variability. A large amount of work on these topics exist, while a comprehensive overview of the field and its directions is lacking. We provide an overview and critical reflections on existing approaches.", keywords = "Business Process Management, Verification, Model Checking, Survey", author = "H. Groefsema and D. Bucur", year = "2013", month = jul, language = "English", pages = "198–203", booktitle = "Proceedings of International Symposium on Business Modeling and Software Design", publisher = "SciTePress", note = "Third International Symposium on Business Modeling and Software Design (BMSD 2013) ; Conference date: 08-07-2013 Through 10-07-2013", doi = "10.5220/0004775401980203", url = "https://research.rug.nl/en/publications/a-survey-of-formal-business-process-verification-from-soundness-t", pdf = "https://www.cs.rug.nl/ds/uploads/pubs/groefsema-bmsd.pdf", }

   ---

   urlpdfdoi
9. An Evolutionary Framework for Routing Protocol Analysis in Wireless Sensor Networks (D. Bucur, G. Iacca, G. Squillero and A. Tonda), In European Conference on the Applications of Evolutionary and bio-inspired Computation, volume 7835, 2013.

   BibTeX

   
   @inproceedings{bucur2013:framework, author = {D. Bucur and G. Iacca and G. Squillero and A. Tonda}, title = {An Evolutionary Framework for Routing Protocol Analysis in Wireless Sensor Networks}, booktitle = {European Conference on the Applications of Evolutionary and bio-inspired Computation}, year = {2013}, volume = {7835}, pages = {1--11}, url = {http://link.springer.com/chapter/10.1007%2F978-3-642-37192-9_1}, }

   ---

   url
10. Continuous Correctness of Business Processes against Process Interference (N. R. T. P. Van Beest and and D. Bucur), In IEEE International Conference on Service Oriented Computing and Applications, 2013.

    BibTeX

    
    @inproceedings{vanbeest2013t:soca, author = {N. R. T. P. Van Beest and and D. Bucur}, year = {2013}, booktitle = {IEEE International Conference on Service Oriented Computing and Applications}, title = {Continuous Correctness of Business Processes against Process Interference}, pages = {110--117}, url = {http://dx.doi.org/10.1109/SOCA.2013.39}, }

    ---

    url
11. Applying Time Series Analysis and Neighbourhood Voting in a Decentralised Approach for Fault Detection and Classification in WSNs (T. A. Nguyen, D. Bucur, M. Aiello and K. Tei), In International Symposium on Information and Communication Technology, 2013.

    BibTeX

    
    @inproceedings{nguyen2013:soict, title = {Applying Time Series Analysis and Neighbourhood Voting in a Decentralised Approach for Fault Detection and Classification in WSNs}, author = {T. A. Nguyen and D. Bucur and M. Aiello and K. Tei}, booktitle = {International Symposium on Information and Communication Technology}, year = {2013}, url = {http://dl.acm.org/citation.cfm?id=2542080}, pages = {234--241}, }

    ---

    url
12. Towards Context Consistency in a Rule-Based Activity Recognition Architecture (T. A. Nguyen, V. Degeler, R. Contarino, A. Lazovik, D. Bucur and M. Aiello), In International Symposium on Ubiquitous Intelligence and Autonomic Systems, 2013.

    BibTeX

    
    @inproceedings{nguyen2013:consistency, author = {T. A. Nguyen and V. Degeler and R. Contarino and A. Lazovik and D. Bucur and M. Aiello}, title = {Towards Context Consistency in a Rule-Based Activity Recognition Architecture}, booktitle = {International Symposium on Ubiquitous Intelligence and Autonomic Systems}, year = {2013}, url = {http://dx.doi.org/10.1109/UIC-ATC.2013.97}, pages = {625--630}, }

    ---

    url
13. An Automated Analysis Of Process Interference Verified With LTL Checking (N. R. T. P. Van Beest, D. Bucur, J. C. Wortmann and A. Lazovik), Technical report 2013-08-07, University of Groningen, 2013.

    BibTeX

    
    @techreport{vanbeest2013:analysis, title = {An Automated Analysis Of Process Interference Verified With {LTL} Checking}, author = {N. R. T. P. Van Beest and D. Bucur and J. C. Wortmann and A. Lazovik}, institution = {University of Groningen}, number = {2013-08-07}, year = {2013}, type = {Technical Report}, url = {http://www.cs.rug.nl/~doina/TR/TR-2013-08-07.pdf}, }

    ---

    url