Staff profile
Affiliation | Telephone |
---|---|
Associate Professor in the Department of Computer Science | +44 (0) 191 33 42713 |
Associate Fellow in the Institute of Advanced Study | |
Fellow of the Wolfson Research Institute for Health and Wellbeing |
Biography
Looking for a PhD ?
Potential new PhD students: having good PhD students can be super rewarding! I am always interested in receiving new good PhD Students. Contact me to talk about your research proposals, academic visits or scholarships.PhD Funding Opportunities:
---> There are always funding opportunities offered (in Durham and other sources. <--- It is about being ready for when they appear). Therefore, a good step is to apply for a PhD as soon as possible. Contact me if you want to get the instructions to start your application.
If you bring your own research funding, we can chat (contact me if interested)
Research and Biography
Publications: Google Scholar citations DBLP Scopus Social Media: Twitter @nellybencomo
I exploit the interdisciplinary aspects of software engineering, comprising both technical and human concerns while developing techniques for intelligent, autonomous and highly distributed systems.
I am an Associate Professor in the CS Department at Durham University. Earlier, I was a Senior Lecturer (equiv. Associate Professor) in the Computer Science Department at Aston University. From September 2020 I am the PI of the EPSRC Twenty20Insight research project. In 2019 I was granted the Leverhulme Fellowship "QuantUn: quantification of uncertainty using Bayesian surprises." Before, I was a Marie Curie Fellow at INRIA Paris - Roquencourt. The Marie Curie project is called Requirements-aware Systems (nickname: Requirements@run.time). Before, that I was a Senior Research Associate at Lancaster University (UK) where I also got my PhD.
Research Projects:
Current and Recent Projects
- Durham's Strategic Research Fund (SRF) JusTN0W: Just Transitions to a Net Zero World (2024 - Dec 2028) Principal Investigators (PIs): Professor Petra Minnerop (PI, Law), Professor Laura Marsiliani (PI, Bussiness School), Dr John Bothwell (PI, Bioenergy), Dr Nelly Bencomo (PI, Computer Science Department) ~£5 Million
- UArctic network Project DART (Digital Arctic Twin) (start end of 2024 ) is a networking project in the context of JusTN0W. Our DART (Digital ARktisk Tvilling, Digital Arctic Twin) project will develop digital twins to study transitions to net zero under the aegis of the UArctic ‘Climate Justice’ thematic network. Partners: Oslo University (Norway), Durham University (UK), IT University and Aarhus University (Denmark), Glasgow Caledonian (UK), University of Washington, USA.
- EPSRC IAA: weDecide: Clinical Tool for Shared Decision-Making for Treatment of Menopause Symptoms, Principal Investigator (PI) Nelly Bencomo, £120 K (Feb 2024 - Jan 2025)
- EPSRC Research Twenty20Insight (EPSRC link) (2020-2024) Principal Investigator (PI) Nelly Bencomo, £892,384 (total Value to Aston and then Durham £587 K) website Twenty20Insight
- ALTS: AI-enabled Legal Technologies and their Consequences on Society (PI N Bencomo, Co-PIs W Lucy and M Hardey)(2023-24). Partially funded by the Institute of Advance Studies and the EPSRC.
– iDecide: Quantifying Uncertainty in Models using Artificial Intelligence for Personalised and Shared Decision-Making in Digital Health. (Jun- Aug 2023)
– ERiMA: Envisioning Risk Models for Assessment of AI-based applications (Sept-Nov 2023)
Past Research Projects
- Research Fellowship by Leverhulme Trust “QuantUn: Quantification of Uncertainty using Bayesian Surprises” (2019-2020)
– ReqModAI Requirements Models for Artificial Intelligence: Framework and Casestudy (Jul- Nov 2022)
- Marie Curie Action Intra-European Fellowship requirements@runtime: Requirements-aware Systems, €222.547, Inria, France, (2011-2013)
- 2 VC international PhD scholarships, Aston University, (2018)
- Faculty PhD scholarship, Aston University (2015)
- Visiting Scholar Funding 2015, Aston University
- M@TURE Models @ run Time for self-adaptive pervasive systems: enabling User-in-the-loop, REquirement-awareness, and interoperability in ad hoc settings, 24-month, Inria-funded international collaboration grant (Brazil-France). We also won a second version (2014-2016)
Awards / Rewards / Recognitions:
- I am on the list of Women for Innovation in Health Science in the North of England by the Northern Health Science Alliance (NHSA) and @N8research (just 3 Women from CS are part of the list) (8th March 2024) https://www.thenhsa.co.uk/2024/03/northinnovationwomen-2024-list-revealed/
- 10 year Most Influential Paper Award 2019, "RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems", by Jon Whittle, Pete Sawyer, Nelly Bencomo, Betty H.C. Cheng, Jean-Michel Bruel, Proceedings of 17th IEEE International Requirements Engineering Conference (RE09), pp. 7988, September 2009, Atlanta, Georgia.
- 10 year Most Influential Paper Award 2019, "A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty" by Betty H.C. Cheng, Pete Sawyer, Nelly Bencomo, Jon Whittle, in the Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009), pp. 468483, Denver, Colorado, 2009.
- Best Paper Award REFSQ 2013: "Supporting Decision-making for Self-adaptive Systems: From Goal Models to Dynamic Decision Networks" by N. Bencomo, A. Belaggoun
Books
Models@run.time: Foundations, Applications, and Roadmaps - Programming and Software Engineering (2014) Editors: Nelly Bencomo (editor), Robert B. France (editor), Betty H.C. Cheng (editor), Uwe Aßmann (editor)
https://link.springer.com/book/10.1007/978-3-319-08915-7
https://www.amazon.com/Models-run-time-Foundations-Applications-Roadmaps/dp/3319089145
Miscellaneous
in other words, what is really important!
In Durham, I am planning to enjoy Durham County, Scotland and the Lake District among other beautiful places in the North and East of the UK :)
During my time in Birmingham, I was not working I liked walking on the hills (the Malvern Hills, Snowdonia) or running, or perhaps dancing or taking pictures or hanging around with my family and friends and of course Talisker my dog. I enjoy running by the canal in Birmingham. I wish I could have more time for these activities.
During my time in Paris, I used to go to Museums & Cafes :) if my daughter did not decide something else. I also did some exercise with my dog running near Inria and by the river Seine in Paris. Happy days!
I love eating good food and I am MAD about sushi. I LOVE chocolate, BTW dark and bitter chocolate, if it is not at least 75% Cocoa that is not chocolate :). If chocolate is from Venezuela even better!
Previous PhD Students
- Owen Reynold, since January 2019 (co-supervision with Antonio Garcia)
- Huma Samin, since April 2019 (co-supervision with Pete Sawyer). Graduated Nov 2022. Now a Post Doc at Durham University
- Juan Marcelo Parra, since October 2018 (co-supervision with Antonio Garcia). Graduated, December 2022. Now a Post Doc at Bristol University
- Luis Hernan Garcia Paucar, PhD, Graduated, March 2020. Now working at Aston University
- Amel Belaggoun, Master Universite de Versailles Saint-Quentin-en-Yvelines and TELECOM SudParis and Inria, France, Graduated 2013
- Ross Edwards, 2018
Research interests
- AI/ML
- Software Engineering
- Software Engineering for Autonomous and Self-adaptive Systems
- Software Engineering for AI/ML Systems
- autonomous systems
- decision making under uncertainty
- runtime models
Esteem Indicators
- 2022: PC Co-Chair MODELS 2022:
- 2022: 2022: Member of the IEEE TCSE (22-24): I was elected again to be part of the IEEE TCSE Executive Committee
- 2020: Member of the IEEE TCSE: Member of the IEEE TCSE (Technical Council on Software Engineering) members-at-large (TCSE Elected Officers 2020- )
- 2019: Associate Editor of IEEE TSE: Associate Editor of IEEE Transactions on Software Engineering (TSE) (2019-Present)
- 2019: Member of Editor Board of SoSym: Member of Editor Board of Software and Systems Modeling (2019- )
- 2018: Member of Editor Board of JSERD: Member of Editor Board of Journal of Software Engineering Research and Development JSERD (2018 - )
Publications
Conference Paper
- Bencomo, N., Kamburjan, E., Tapia Tarifa, S. L., & Broch-Johnsen, E. (2024, September). Declarative Lifecycle Management in Digital Twins. Presented at 1st International Conference on Engineering Digital Twins (EDTconf 2024), Austria
- North, M., Atapour-Abarghouei, A., & Bencomo, N. (2024, June). Code Gradients: Towards Automated Traceability of LLM-Generated Code. Presented at 2024 IEEE 32nd International Requirements Engineering Conference (RE), Reykjavik, Iceland
- Camara, J., Hahner, S., Perez-Palacin, D., Vallecillo, A., Acosta, M., Bencomo, N., Calinescu, R., & Gerasimou, S. (2024, April). Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems. Presented at 2024 IEEE/ACM 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems, Lisbon, Portugal
- Götz, S., Samin, H., & Bencomo, N. (2024, April). Latency-aware RDMSim: Enabling the Investigation of Latency in Self-Adaptation for the Case of Remote Data Mirroring. Presented at SEAMS '24: 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems, Lisbon, Portugal
- James Reynolds, O., García-Domínguez, A., & Bencomo, N. (2023, October). Automated Provenance Collection at Runtime as a Cross-Cutting Concern. Presented at 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Västerås, Sweden
- Parra-Ullauri, J., Garcia-Dominguez, A., Bencomo, N., & Garcia Paucar, L. (2022, October). History-aware explanations: towards enabling human-in-the-loop in self-adaptive systems. Presented at MODELS '22: 25th International Conference on Model Driven Engineering Languages and Systems, Montreal, Canada
- Sutcliffe, A., Sawyer, P., & Bencomo, N. (2022, August). The Implications of ‘Soft’ Requirements. Presented at IEEE International Requirements Engineering Conference (RE), Melbourne, Australia
- Garcia-Paucar, L., Bencomo, N., Sutcliffe, A., & Sawyer, P. (2022, April). A Bayesian Network-based model to understand the role of soft requirements in technology acceptance: the Case of the NHS COVID-19 Test and Trace App in England and Wales. Presented at 37th Annual ACM Symposium on Applied Computing (ACM SAC'2022), Brno, Czech Republic
- Bencomo, N. (2021, December). Modeling Autonomic Systems in the time of ML, DevOps and Microservices. Presented at ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS 2021 Companion, Fukuoka, Japan, October 10-15, 2021
- Bencomo, N., Harrison, R., & Rodríguez, D. (2021, December). Eigth International Workshop on Artificial Intelligence and Requirements Engineering (AIRE'21). Presented at 29th IEEE International Requirements Engineering Conference Workshops, RE 2021 Workshops, Notre Dame, IN, USA, September 20-24, 2021
- Ullauri, J. M. P., García-Domínguez, A., & Bencomo, N. (2021, December). From a Series of (Un)fortunate Events to Global Explainability of Runtime Model-Based Self-Adaptive Systems. Presented at ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS 2021 Companion, Fukuoka, Japan, October 10-15, 2021
- Samin, H., Paucar, L. H. G., Bencomo, N., Hurtado, C. M. C., & Fredericks, E. M. (2021, December). RDMSim: An Exemplar for Evaluation and Comparison of Decision-Making Techniques for Self-Adaptation. Presented at 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2021, Madrid, Spain, May 18-24, 2021
- Samin, H., Bencomo, N., & Sawyer, P. (2021, December). Pri-AwaRE: Tool Support for priority-aware decision-making under uncertainty. Presented at 29th IEEE International Requirements Engineering Conference, RE 2021, Notre Dame, IN, USA, September 20-24, 2021
- Bucchiarone, A., Cicchetti, A., Bencomo, N., Loria, E., & Marconi, A. (2021, December). Gamified and Self-Adaptive Applications for the Common Good: Research Challenges Ahead. Presented at 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2021, Madrid, Spain, May 18-24, 2021
- Ullauri, J. M. P., García-Domínguez, A., Boubeta-Puig, J., Bencomo, N., & Ortiz, G. (2021, December). Towards an architecture integrating complex event processing and temporal graphs for service monitoring. Presented at SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021
- Paucar, L. H. G., Bencomo, N., Sutcliffe, A. G., Yue, T., & Mirakhorli, M. (2021, December). Towards Technology Acceptance: a Bayesian Network of soft requirements, the case of the NHS COVID-19 Test and Trace App. Presented at 29th IEEE International Requirements Engineering Conference Workshops, RE 2021 Workshops, Notre Dame, IN, USA, September 20-24, 2021
- Samin, H., Paucar, L. H. G., Bencomo, N., & Sawyer, P. (2021, December). Towards priority-awareness in autonomous intelligent systems. Presented at SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021
- Sutcliffe, A. G., Sawyer, P., Liu, W., & Bencomo, N. (2021, December). Investigating the Potential Impact of Values on Requirements and Software Engineering. Presented at 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Society, ICSE (SEIS) 2021, Madrid, Spain, May 25-28, 2021
- Bucchiarone, A., Bencomo, N., Loria, E., Marconi, A., & Cicchetti, A. (2020, December). Run-time and Collective Adaptation of Gameful Systems. Presented at 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2020, Companion Volume, Washington, DC, USA, August 17-21, 2020
- Ullauri, J. M. P., García-Domínguez, A., Paucar, L. H. G., & Bencomo, N. (2020, October). Temporal Models for History-Aware Explainability. Presented at SAM '20: 12th System Analysis and Modelling Conference, (Online) Canada
- Mussbacher, G., Combemale, B., Abrahão, S., Bencomo, N., Burgueño, L., Engels, G., Kienzle, J., Kühn, T., Mosser, S., Sahraoui, H. A., Weyssow, M., Guerra, E., & Iovino, L. (2020, December). Towards an assessment grid for intelligent modeling assistance. Presented at MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, Companion Proceedings
- Bencomo, N. (2020, December). Next steps in variability management due to autonomous behaviour and runtime learning. Presented at VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020
- Reynolds, O., García-Domínguez, A., & Bencomo, N. (2020, December). Automated provenance graphs for models@run.time. Presented at MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, Companion Proceedings
- Paucar, L. H. G., Bencomo, N., & Yuen, K. K. F. (2019, December). ARRoW: automatic runtime reappraisal of weights for self-adaptation. Presented at Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, SAC 2019, Limassol, Cyprus, April 8-12, 2019
- Paucar, L. H. G., & Bencomo, N. (2019, December). Knowledge Base K Models to Support Trade-Offs for Self-Adaptation using Markov Processes. Presented at 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2019, Umea, Sweden, June 16-20, 2019
- Bencomo, N., & Paucar, L. H. G. (2019, September). RaM: Causally-Connected and Requirements-Aware Runtime Models using Bayesian Learning. Presented at 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, Munich, Germany
- García-Domínguez, A., Bencomo, N., Ullauri, J. M. P., & Paucar, L. H. G. (2019, December). Towards History-Aware Self-Adaptation with Explanation Capabilities. Presented at IEEE 4th International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2019, Umea, Sweden, June 16-20, 2019
- García-Domínguez, A., Bencomo, N., Ullauri, J. M. P., & Paucar, L. H. G. (2019, December). Querying and Annotating Model Histories with Time-Aware Patterns. Presented at 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, Munich, Germany, September 15-20, 2019
- Jiménez, M. A., Rivera, L. F., Villegas, N. M., Tamura, G., Müller, H. A., & Bencomo, N. (2019, December). An architectural framework for quality-driven adaptive continuous experimentation. Presented at Proceedings of the Joint 4th International Workshop on Rapid Continuous Software Engineering and 1st International Workshop on Data-Driven Decisions, Experimentation and Evolution, RCoSE-DDrEE@ICSE 2019, Montreal, QC, Canada, May 27, 2019
- Bencomo, N., Mussbacher, G., Moreira, A., Araújo, J., & Sánchez, P. (2019, December). Preface to 9th International Workshop on Model-Driven Requirements Engineering. Presented at 27th IEEE International Requirements Engineering Conference Workshops, RE 2019 Workshops, Jeju Island, Korea (South), September 23-27, 2019
- Bencomo, N., Belaggoun, A., & Issarny, V. (2013, May). Dynamic decision networks for decision-making in self-adaptive systems: a case study. Presented at Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2013, San Francisco, CA, USA, May 20-21, 2013, San Francisco, CA
- Bencomo, N., Belaggoun, A., & Issarny, V. (2013, December). Bayesian artificial intelligence for tackling uncertainty in self-adaptive systems: The case of dynamic decision networks. Presented at 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2013, San Francisco, CA, USA, May 25-26, 2013
- Lemos, R. D., Garlan, D., Ghezzi, C., Giese, H., Andersson, J., Litoiu, M., Schmerl, B. R., Weyns, D., Baresi, L., Bencomo, N., Brun, Y., Cámara, J., Calinescu, R., Cohen, M. B., Gorla, A., Grassi, V., Grunske, L., Inverardi, P., Jézéquel, J.-M., Malek, S., …Zambonelli, F. (2013, December). Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Presented at Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
- Bencomo, N., & Belaggoun, A. (2013, April). Supporting Decision-Making for Self-Adaptive Systems: From Goal Models to Dynamic Decision Networks. Presented at Requirements Engineering: Foundation for Software Quality - 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings, Essen, Germany
- Torres, R., Bencomo, N., & Astudillo, H. (2013, December). Addressing the QoS drift in specification models of self-adaptive service-based systems. Presented at 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, RAISE 2013, San Francisco, CA, USA, May 25-26, 2013
Journal Article
- Garcia, L., Samin, H., & Bencomo, N. (2024). Decision Making for Self-adaptation based on Partially Observable Satisfaction of Non-Functional Requirements. ACM Transactions on Autonomous and Adaptive Systems, 19(2), 1-44. https://doi.org/10.1145/3643889
- Sutcliffe, A., Bencomo, N., Darby, A., Paucar, L. H., & Sawyer, P. (2023). To download or not to download the Covid-19 Track and Trace App? What is more influential in users’ minds?. International Journal of Human-Computer Studies, 180, Article 103140. https://doi.org/10.1016/j.ijhcs.2023.103140
- Samin, H., Bencomo, N., & Sawyer, P. (2022). Decision-Making under Uncertainty: Be Aware of your Priorities. Software and Systems Modeling, 21(6), 2213-2242. https://doi.org/10.1007/s10270-021-00956-0
- Camara, J., Troya1, J., Vallecillo, A., Bencomo, N., Calinescu, R., Cheng, B., Garlan, D., & Schmerl, B. (2022). The Uncertainty Interaction Problem in Self-Adaptive Systems. Software and Systems Modeling, 21(4), 1277-1294. https://doi.org/10.1007/s10270-022-01037-6
- Parra-Ullauri, J. M., Garcıa-Domınguez, A., Bencomo, N., Zheng, C., Zhen, C., Boubeta-Puig, J., Ortiz, G., & Yang, S. (2022). Event-driven Temporal Models for Explanations - ETeMoX: Explaining Reinforcement Learning. Software and Systems Modeling, 21(3), 1091-1113. https://doi.org/10.1007/s10270-021-00952-4
- Bencomo, N., Guo, J., Harrison, R., Heyn, H.-M., & Menzies, T. (2022). The Secret to Better AI and Better Software (Is Requirements Engineering). IEEE Software, 39(1), 105-110. https://doi.org/10.1109/ms.2021.3118099
- Reynolds, O., García-Domínguez, A., & Bencomo, N. (2022). Cronista: a multi-database automated provenance collection system for runtime models. Information and Software Technology, 141, Article 106694. https://doi.org/10.1016/j.infsof.2021.106694
- Combemale, B., Kienzle, J., Mussbacher, G., Ali, H., Amyot, D., Bagherzadeh, M., Batot, E., Bencomo, N., Benni, B., Bruel, J.-M., Cabot, J., Cheng, B. H., Collet, P., Engels, G., Heinrich, R., Jézéquel, J.-M., Koziolek, A., Mosser, S., Reussner, R. H., Sahraoui, H. A., …Wimmer, M. (2021). A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems. https://doi.org/10.1109/ms.2020.2995125
- Zheng, C., Yang, S., Ullauri, J. M. P., García-Domínguez, A., & Bencomo, N. (2021). Reward-Reinforced Reinforcement Learning for Multi-agent Systems
- Bucchiarone, A., Sanctis, M. D., & Bencomo, N. (2021). Agent-Based Framework for Self-Organization of Collective and Autonomous Shuttle Fleets. https://doi.org/10.1109/tits.2020.3021592
- Mussbacher, G., Combemale, B., Kienzle, J., Abrahão, S., Ali, H., Bencomo, N., Búr, M., Burgueño, L., Engels, G., Jeanjean, P., Jézéquel, J.-M., Kühn, T., Mosser, S., Sahraoui, H. A., Syriani, E., Varró, D., & Weyssow, M. (2020). Opportunities in intelligent modeling assistance. https://doi.org/10.1007/s10270-020-00814-5
- Kienzle, J., Mussbacher, G., Combemale, B., Bastin, L., Bencomo, N., Bruel, J.-M., Becker, C., Betz, S., Chitchyan, R., Cheng, B. H., Klingert, S., Paige, R. F., Penzenstadler, B., Seyff, N., Syriani, E., & Venters, C. C. (2020). Toward model-driven sustainability evaluation. https://doi.org/10.1145/3371906
- Bencomo, N., Götz, S., & Song, H. (2019). Models@run.time: a guided tour of the state of the art and research challenges. https://doi.org/10.1007/s10270-018-00712-x
- Weyns, D., Bencomo, N., Calinescu, R., Cámara, J., Ghezzi, C., Grassi, V., Grunske, L., Inverardi, P., Jézéquel, J.-M., Malek, S., Mirandola, R., Mori, M., & Tamburrelli, G. (2019). Perpetual Assurances for Self-Adaptive Systems
- Bencomo, N., Bennaceur, A., Grace, P., Blair, G., & Issarny, V. (2013). The role of models@run.time in supporting on-the-fly interoperability. Computing, 95(3), 167-190. https://doi.org/10.1007/s00607-012-0224-x
Report