Doina Bucur
Cited by
Cited by
Causal discovery with attention-based convolutional neural networks
M Nauta, D Bucur, C Seifert
Machine Learning and Knowledge Extraction 1 (1), 19, 2019
Influence maximization in social networks with genetic algorithms
D Bucur, G Iacca
European conference on the applications of evolutionary computation, 379-392, 2016
On software verification for sensor nodes
D Bucur, M Kwiatkowska
Journal of Systems and Software 84 (10), 1693–1707, 2011
A survey of formal business process verification
H Groefsema, D Bucur
Proc. Int. Sym. Business Modeling and Software Design. Noordwijkerhout, The†…, 2013
Teaching Teaching & Understanding Understanding
C Brabrand, J Andersen, D Bucur, R Thorbek
Applying time series analysis and neighbourhood voting in a decentralised approach for fault detection and classification in WSNs
TA Nguyen, D Bucur, M Aiello, K Tei
Proceedings of the Fourth Symposium on Information and Communication†…, 2013
Software verification for TinyOS
D Bucur, MZ Kwiatkowska
Proceedings of the 9th ACM/IEEE International Conference on Information†…, 2010
LIFT: learning fault trees from observational data
M Nauta, D Bucur, M Stoelinga
International Conference on Quantitative Evaluation of Systems, 306-322, 2018
Multi-objective evolutionary algorithms for influence maximization in social networks
D Bucur, G Iacca, A Marcelli, G Squillero, A Tonda
European conference on the applications of evolutionary computation, 221-233, 2017
Temporal monitors for TinyOS
D Bucur
International Conference on Runtime Verification, 96-109, 2012
Secure data flow in a calculus for context awareness
D Bucur, M Nielsen
Concurrency, Graphs and Models, 439-456, 2008
Resource Discovery in Activity-Based Sensor Networks
D Bucur, JE Bardram
Mobile Networks and Applications, 2007, 2007
Benchmark Datasets for Fault Detection and Classification in Sensor Data.
B de Bruijn, TA Nguyen, D Bucur, K Tei
SENSORNETS, 185-195, 2016
The impact of topology on energy consumption for collection tree protocols: An experimental assessment through evolutionary computation
D Bucur, G Iacca, G Squillero, A Tonda
Applied Soft Computing 16, 210-222, 2014
Optimizing groups of colluding strong attackers in mobile urban communication networks with evolutionary algorithms
D Bucur, G Iacca, M Gaudesi, G Squillero, A Tonda
Applied Soft Computing 40, 416-426, 2016
Improving multi-objective evolutionary influence maximization in social networks
D Bucur, G Iacca, A Marcelli, G Squillero, A Tonda
International Conference on the Applications of Evolutionary Computation†…, 2018
Fault trees from data: Efficient learning with an evolutionary algorithm
A Linard, D Bucur, M Stoelinga
International Symposium on Dependable Software Engineering: Theories, Tools†…, 2019
FFORT: a benchmark suite for fault tree analysis
E Ruijters, CE Budde, MC Nakhaee, MIA Stoelinga, D Bucur, D Hiemstra, ...
Singapore: Research Publishing, 2019
Gender homophily in online book networks
D Bucur
Information sciences 481, 229-243, 2019
Bug-free sensors: The automatic verification of context-aware TinyOS applications
D Bucur, M Kwiatkowska
European Conference on Ambient Intelligence, 101-105, 2009
The system can't perform the operation now. Try again later.
Articles 1–20