research

As a topic of my PhD research I’ve been involved for a long time with studying the behavior of the Proxel-based simulation method that I both formalized and developed. The method is aimed at simulation and analysis of discrete stochastic models in a deterministic manner. In parallel, my research focus was also on the use of modeling and simulation for reliability analysis of stochastic systems and decision support for enhanced project management. I also dedicated time researching new algorithms for bioinformatics. More recently, I’ve shifted my focus to the use of ICT (Information and Communication Technologies) and big data in the energy efficiency domain, or in other words, Energy Informatics. Here is a list of my publications:

2018

Nader Mohamed, Jameela Al-Jaroodi and Sanja Lazarova-Molnar: Energy Cloud: Services for Smart Buildings, Sustainable Cloud and Energy Services: Principles and Practices, Springer, 2018, pp 117-134.

2017

Nader Mohamed, Jameela Al-Jaroodi, Imad Jawhar, Sanja Lazarova-Molnar, and Sara Mahmoud: SmartCityWare: A Service-Oriented Middleware for Cloud and Fog Enabled Smart City Services, IEEE Access, Special Issue on The New Era of Smart Cities: Sensors, Communication Technologies and Applications, 2017.

Sanja Lazarova-Molnar and Nader Mohamed: On the Complexity of Smart Buildings Occupant Behavior: Risks and Opportunities, 8th Balkan Conference in Informatics (BCI 2017), Skopje, Macedonia, September 2017.

Nader Mohamed, Jameela Al-Jaroodi, Sanja Lazarova-Molnar, Imad Jawhar and Sara Mahmoud: A Service-Oriented Middleware for Cloud of Things and Fog Computing Supporting Smart City Applications, 2017 IEEE International Conference on Smart City Innovations (IEEE SCI 2017), East Bay of Silicon Valley, California, USA, August 4-8, 2017.

Nader Mohamed and Sanja Lazarova-Molnar: Towards Service-Oriented Middleware for Cyber Physical Systems, In proc. IEEE Int’l Workshop on Communication, Computing, and Networking in Cyber Physical Systems (CCN-CPS) in association with The 37th IEEE International Conference on Distributed Computing Systems (ICDCS 2017), Atlanta, GA, USA, June 5-8, 2017.

Sanja Lazarova-Molnar: WiP AbstractTowards a Framework for Comprehensive and Systematic Reliability Evaluation of Building Management Systems, In proc. 8th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2017) in conjunction with CPS Week, IEEE, Pittsburgh, PA, USA, April 18-21 2017.

Sanja Lazarova-Molnar, Nader Mohamed and Hamid Reza Shaker: Reliability Modeling of Cyber-Physical Systems: A Holistic Overview and Challenges, In proc. 2017 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES) in conjunction with CPS Week, IEEE, Pittsburgh, PA, USA, April 21 2017.

Sanja Lazarova-Molnar, Halldór Þór Logason, Peter Grønbæk Andersen, Mikkel Baun Kjærgaard: Mobile Crowdsourcing of Occupant Feedback in Smart Buildings, to appear in ACM SIGAPP International Journal of Applied Computing Review (ACR), vol. 17, no. 1, 2017.

Claudio Giovanni Mattera, Sanja Lazarova-Molnar, Hamid Reza Shaker and Bo Nørregaard Jørgensen: A Practical Approach to Validation of Buildings’ Sensor Data: A Commissioning Experience Report, In proc. IEEE International Workshop on Big Data Application Quality Assurance in association with IEEE BigDataService 2017, San Francisco, USA, April 6-10, 2017.

Sanja Lazarova-Molnar and Nader Mohamed: A Framework for Collaborative Cloud-based Fault Detection and Diagnosis in Smart Buildings, In proc. 7th International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO’17), IEEE, Sharjah, UAE, April 4-6, 2017.

Nader Mohamed, Sanja Lazarova-Molnar and Jameela Al-Jaroodi: Cloud of Things: Optimizing Smart City Services, In proc. 7th International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO’17), IEEE, Sharjah, UAE, April 4-6, 2017.

Thomas Heine Rasmussen, Niels Hansen and Sanja Lazarova-Molnar: A Discrete-Event Simulation Tool for Decision Support in Selection of Project Scheduling Strategies, In proc. 7th International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO’17), IEEE, Sharjah, UAE, April 4-6, 2017.

Sanja Lazarova-Molnar and Nader Mohamed: Towards Collaborative Data Analytics for Smart Buildings, in proc. 8th iCatse Conference on Information Science and Applications (ICISA 2017), Springer, Macau, China, March 20-23, 2017.

Hamid Reza Shaker and Sanja Lazarova-Molnar: A New Data-Driven Controllability Measure with Application in Intelligent Buildings, Elsevier Energy and Buildings, March 2017, DOI: 10.1016/j.enbuild.2016.11.027.

2016

Sanja Lazarova-Molnar, Hamid Reza Shaker, and Nader Mohamed: Reliability of Cyber Physical Systems with Focus on Building Management Systems, IEEE Int’l Workshop on Communication, Computing, and Networking in Cyber Physical Systems (CCN-CPS) in association with IEEE Int’l Performance Computing and Communications Conference (IPCCC 2016), Las Vegas, Nevada, USA, December 2016.
Download (PDF)

Nader Mohamed, Jamila Al-Jaroodi, Sanja Lazarova-Molnar and Imad Jawhar: Middleware to Support Cyber-Physical Systems, IEEE Int’l Workshop on Communication, Computing, and Networking in Cyber Physical Systems (CCN-CPS) in association with IEEE Int’l Performance Computing and Communications Conference (IPCCC 2016), Las Vegas, Nevada, USA, December 2016.
Download (PDF)

Sanja Lazarova-Molnar and Hamid Reza Shaker: A Conceptual Framework for Occupant-Centered Building Management Decision Support System, International Workshop on Computational Sustainability, Technologies and Applications (CoSTA’2016) in conj. with the 12th International Conference on Intelligent Environments – IE’16, London, United Kingdom, September 2016.
Download (PDF)

Sanja Lazarova-Molnar, Halldór Þór Logason, Peter Grønbæk Andersen and Mikkel Baun Kjærgaard: Mobile Crowdsourcing of Data for Fault Detection and Diagnosis in Smart Buildings, ACM 2016 Research in Adaptive and Convergent Systems (ACM RACS 2016), Odense, Denmark, October 2016.

Nader Mohamed, Sanja Lazarova-Molnar, and Jameela Al-Jaroodi: SBDaaS: Smart Building Diagnostics as a Service on the Cloud, 2nd Int’l Conference on Intelligent Green Building and Smart Grid (IGBSG 2016), IEEE, Prague, Czech Republic, June 2016.

Jameela Al-Jaroodi, Nader Mohamed, Imad Jawhar and Sanja Lazarova-Molnar, Software Engineering Issues for Cyber-Physical Systems, 1st IEEE Workshop on Smart Service Systems (SmartSys 2016), Co-located with IEEE Int’l Conference on Smart Computing (SMARTCOMP 2016), St. Louis, Missouri, USA, May 2016.

Sanja Lazarova-Molnar, Hamid Reza Shaker, Nader Mohamed and Bo Nørregaard Jørgensen: Fault Detection and Diagnosis for Smart Buildings: State of the Art, Trends and Challenges, IEEE 3rd MEC International Conference on Big Data and Smart City (ICBDSC 2016), Muscat, Oman, March 2016. (Best Paper Award)
Download (PDF)

Nader Mohamed, Sanja Lazarova-Molnar and Jameela Al-Jaroodi: CE-BEMS: A Cloud-Enabled Building Energy Management System, IEEE 3rd MEC International Conference on Big Data and Smart City (ICBDSC 2016), Muscat, Oman, March 2016.
Download (PDF)

Sanja Lazarova-Molnar and Nader Mohamed: Challenges in the Data Collection for Diagnostics of Smart Buildings, The 7th International Conference on Information Science and Applications (ICISA 2016), Springer, Ho Chi Minh City, Vietnam, February 2016.
Download (PDF)

2015

Bo Nørregaard Jørgensen, Mikkel Baun Kjærgaard, Sanja Lazarova-Molnar, Hamid Reza Shaker and Christian Veje: Challenge: Advancing Energy Informatics to enable Assessable Improvements of Energy Performance in Buildings, The 6th International Conference on Future Energy Systems (ACM e-Energy), Bangalore, India, July 2015.
Download (PDF)

Mikkel Baun Kjærgaard, Sanja Lazarova-Molnar and Muhyiddine Jradi: On a Categorization Framework for Occupancy Sensing Systems, The 6th International Conference on Future Energy Systems (ACM e-Energy), Bangalore, India, July 2015.
Download (PDF)

Sanja Lazarova-Molnar, Mikkel Baun Kjærgaard, Hamid Reza Shaker and Bo Nørregaard Jørgensen: Commercial Buildings Energy Performance within Context: Occupants in Spotlight, 4th International Conference on Smart Cities and Green ICT Systems (SMARTGREENS), Lisbon, Portugal, May 2015.
Download (PDF)

Noha Ramadan, Racha Ajami, Nader Mohamed and Sanja Lazarova-Molnar: Modeling and Simulation for Enterprise Decision-Making: Successful Projects and Approaches, 5th International Conference on Industrial Engineering and Operations Management 2015, Dubai, United Arab Emirates, March 2015.
Download (PDF)

Andrzej Olszak, Sanja Lazarova-Molnar and Bo Nørregaard Jørgensen: Evolution of Feature-Oriented Software: How to Stay on Course and Avoid the Cliffs of Modularity Drift, Communications in Computer and Information Science, Springer-Verlag, 2015.

Rabeb Mizouni and Sanja Lazarova-Molnar: Improving Project Schedule Simulation by Incorporating Human Factors’ Uncertainty and Features’ Priority in Task Modeling, Journal of Software, 2015.
Download (PDF)

2014

Eman AbuKhousa, Jameela Al-Jaroodi, Sanja Lazarova-Molnar and Nader Mohamed: Simulation and Modeling Efforts to Support Decision Making in Healthcare Supply Chain Management, The Scientific World Journal, Volume 2014 (2014), Article ID 354246.

Nader Mohamed, Jameela Al-Jaroodi, Imad Jawhar, and Sanja Lazarova-Molnar: A Service-Oriented Middleware for Building Collaborative UAVs, Special Issue – Journal of Intelligent and Robotic Systems, April 2014, DOI: 10.1007/s10846-013-9942-3.

2013

Sanja Lazarova-Molnar: Agent-based Modeling and Simulation Framework for Enhanced Project Schedules, 20th International Congress on Modelling and Simulation MODSIM2013, Adelaide, Australia, December 2013.

Moumena Chaqfeh, Abderrahmane Lakas, and Sanja Lazarova-Molnar: Performance Modeling of Data Dissemination in Vehicular Ad hoc Networks, 16th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, Delft, Netherlands, October 2013.

Nader Mohamed, Jameela Al-Jaroodi, Imad Jawhar, and Sanja Lazarova-Molnar: Failure Impact on Coverage in Linear Wireless Sensor Network, 2013 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Toronto, Canada, July 2013.

Sanja Lazarova-Molnar: Petri Nets Extension to Model State-Varying Failure Rates, Summer Computer Simulation Conference 2013, Toronto, Canada, July 2013.

Sanja Lazarova-Molnar and Rabeb Mizouni: Discrete-Event Simulation for Design of Evolving Project Schedules, Summer Computer Simulation Conference 2013, Toronto, Canada, July 2013.

Nader Mohamed, Jameela Al-Jaroodi, Imad Jawhar, and Sanja Lazarova-Molnar: Middleware Requirements for Collaborative Unmanned Aerial Vehicles, 2013 International Conference on Unmanned Aircraft Systems, Atlanta, GA, USA, May 2013.

Maad Shatnawi, Sanja Lazarova-Molnar and Nazar Zaki: Modeling and Simulation of Epidemic Spread: Recent Advances, Innovations’13, Al Ain, United Arab Emirates, March, 2013.

Maryam Al Yammahi‎, Noura Al Kaabi‎, Noora Al Shehhi and Sanja Lazarova-Molnar: Intelligent Student Advisor: Mobile Application, Student Poster at Innovations’13, Al Ain, United Arab Emirates, March, 2013.

Ahmed Karam and Sanja Lazarova-Molnar: Recent Trends in Solving the Deterministic Resource Constrained Project Scheduling Problem, Innovations’13, Al Ain, United Arab Emirates, March, 2013.

2012

Saiqa Aleem, Sanja Lazarova-Molnar and Nader Mohamed: Collaborative Business Process Modeling Approaches: A Review, IEEE WETICE 2012 (CoMetS’12), Toulouse, France, June 2012
Download (PDF)

Rabeb Mizouni and Sanja Lazarova-Molnar: Simulation-based Feature Selection for Software Requirements Baseline, Special Issue – Journal of Software 2012.

2011

Sanja Lazarova-Molnar and Rabeb Mizouni: A Simulation-Based Approach to Enhancing Project Schedules by the Inclusion of Remedial Action Scenarios, WSC 2011, Phoenix, Arizona, USA, December 2011.

Sanja Lazarova-Molnar, Rabeb Mizouni and Nader Kesserwan: A Framework for Enhanced Project Schedule Design to Aid Project Manager’s Decision Making Processes, EMSS 2011, Rome, Italy, September 2011.

Sanja Lazarova-Molnar: A Novel Approach to Realistic Modeling and Simulation of State-Varying Failure Rates, EMSS 2011, Rome, Italy, September 2011.

Nazar Zaki, Salah Bouktif and Sanja Lazarova-Molnar: A Combination of Compositional Index and Genetic Algorithm for Predicting Transmembrane Helical Segments, PLoS ONE 6(7): e21821, 2011.

Nazar Zaki, Salah Bouktif and Sanja Lazarova-Molnar: A Genetic Algorithm to Enhance Transmembrane Helices Topology Prediction Using Compositional Index, 2011 Genetic and Evolutionary Computation Conference (GECCO2011), Dublin, Ireland, July 12-16. Preprint, 2011. (Best Paper Award)

2010

Sanja Lazarova-Molnar and Rabeb Mizouni: Modeling Human Decision Behaviors for Accurate Prediction of Project Schedule Duration, EOMAS 2010 (in conj. with CAiSE 2010), Hammamet, Tunisia, June 2010.
Download (PDF)

Sanja Lazarova-Molnar and Rabeb Mizouni: Floating Task: Introducing and Simulating a Higher Degree of Uncertainty in Project Schedules, IEEE WETICE 2010 (CoMetS’10), Larissa, Greece, June 2010.
Download (PDF)

Sanja Lazarova-Molnar: Proxel-Based Performability Analysis of Non-Markovian Phased-Mission Systems, Asia Modeling Symposium 2010, May 2010.
Download (PDF)

2009

Sanja Lazarova-Molnar: True State-Space Complexity Prediction:  By the Proxel-Based Simulation Method, Innovations’09, December, 2009.
Download (PDF)

Nazar Zaki, Sanja Lazarova-Molnar, Wassim El-Hajj, and Piers Campbell: Protein-protein interaction based on pairwise similarity. BMC Bioinformatics 10: (2009).
Download(open access)

2008

Klaithem Nuaimi, Ghaneya Darei, Aysha Shanqeeti, Nouf Zarouni, Sanja Lazarova-Molnar: Idea Factory: A Brainstorming Support Tool, Innovations’08, December, 2008.

Sanja Lazarova-Molnar: The Importance of Involvement of New Thinking Techniques in the Classroom, Proc. ICEE 2008, Budapes/Pecs, Hungary, July, 2008.

Sanja Lazarova-Molnar and Valeriu Beiu: Reliability Modeling of Circuits with Multi-State Aging Gates, Proc. SCSC 2008, Edinburgh, UK, June, 2008, pp. 43 – 47.
Download(PDF)

Sanja Lazarova-Molnar: State-Dependent Transitions in Discrete Stochastic Models: Deterministic Simulation Approach, Proc. SCSC 2008, Edinburgh, UK, June, 2008, pp. 85 – 90.
Download (PDF)

Sanja Lazarova-Molnar and Valeriu Beiu: Mapping the Proxel-based Method to Reliability Analysis of Nano-architectures, Proceedings of the UAEU 9th Annual Research Conference ARC-9, Al Ain, UAE, April 21-23, 2008.

2007

Walid Ibrahim, Valeriu Beiu, and Sanja Lazarova-Molnar: Accurate Nano-Circuits Reliability Evaluations Based on Numerical Simulations Combined with Monte Carlo, Proc. IDT 2007, Cairo, Egypt, December 2007.

Sanja Lazarova-Molnar, Valeriu Beiu, and Walid Ibrahim: Proxels for Reliability Assessment of Future Nano-Architectures, Proc. Proc. IDT 2007, Cairo, Egypt, December 2007.
Download (PDF)

Sanja Lazarova-Molnar, Valeriu Beiu, and Walid Ibrahim: Reliability – The Fourth Optimization Pillar of Nanoelectronics, Proc. ICSPC 2007, Dubai, UAE, November 2007.
Download (PDF)

Walid Ibrahim, Valeriu Beiu, and Sanja Lazarova-Molnar: Why Nano-DSP Will Be Fan-in Constrained, Proc. ICSPC 2007, Dubai, UAE, November 2007.

Sanja Lazarova-Molnar: A Framework for an Expressive Automated Homework Grading System, Proc. IADIS Inter. Conference e-Learning 2007, Lisbon, Portugal, 2007.

Sanja Lazarova-Molnar, Valeriu Beiu, and Walid Ibrahim: A strategy for reliability assessment of future nano-circuits, Proc. 11th WSEAS International Conference on Circuits 2007, Crete Island, Greece, 2007.

Valeriu Beiu, Walid Ibrahim, and Sanja Lazarova-Molnar: A Fresh Look at Majority Multiplexing – When Devices Get into the Picture, Proc. 7th Inter. Conference on Nanotechnology, IEEE-NANO 2007, Hong Kong, SAR, 2007.

Valeriu Beiu, Walid Ibrahim, and Sanja Lazarova-Molnar: What von Neumann Did Not Say About Multiplexing, Beyond Gate Failures — The Gory Details, Proc. 9th Inter. Work-Conference on Artificial Neural Networks, IWANN’2007, June 2007, San Sebastián, Spain, June 2007.

2006

Fabian Wickborn, Claudia Isensee, Thomas Simon, Sanja Lazarova-Molnar, Graham Horton: A New Approach for Computing Conditional Probabilities of General Stochastic Processes. 39th Annual Simulation Symposium 2006, Huntsville, AL, USA April 2006.
Download (PDF)

2005

Sanja Lazarova-Molnar: The Proxel-Based Method: Formalisation, Analysis and Applications. PhD Thesis, Otto-von-Guericke University of Magdeburg, Germany. November 2005.
Download (PDF)

Sanja Lazarova-Molnar, Claudia Isensee, Graham Horton: Phases or Proxels: The Decision Factors. 2nd Balkan Conference in Informatics (BCI), 17-19 November 2005, Ohrid, Institute of Informatics, Faculty of Natural Sciences and Mathematics, Skopje, Macedonia. November 2005.

Sanja Lazarova-Molnar, Graham Horton: Proxels Practically: The Meaning of the Lifetime Factor. 18th Symposium Simulationstechnik (ASIM 2005), SCS European Publishing House, Erlangen, Germany. September 2005.
Download (PDF)

Sanja Lazarova-Molnar, Graham Horton: Description Framework for Proxel-Based Simulation of a General Class of Stochastic Models. Summer Computer Simulation Conference 2005, Philadelphia, USA July 2005.
Download (PDF)

Sanja Lazarova-Molnar and Graham Horton: A Framework for Performability Modelling Using Proxels. ICMSAO’05, American University of Sharjah, UAE 2005.

Claudia Isensee, Sanja Lazarova-Molnar, and Graham Horton: Combining Proxels and Discrete Phases. ICMSAO’05, American University of Sharjah, UAE 2005.

2004

Sanja Lazarova-Molnar, Graham Horton: Proxel-Based Simulation of Stochastic Petri Nets. Simulation und Visualisierung 2004. SCS European Publishing House 2004.
Download (PDF)

Sanja Lazarova-Molnar, Graham Horton: Proxel-Based Simulation of a Warranty Model. European Simulation multiconference 2004. SCS European Publishing House 2004.
Download (PDF)

2003

Sanja Lazarova-Molnar, Graham Horton: Proxel-Based Simulation. Fourth International Conference for Informatics and Information Technology 2003, Bitola, Macedonia 2003.

Sanja Lazarova-Molnar, Graham Horton: Proxel-Based Simulation for Fault Tree Analysis. 17. Symposium Simulationstechnik (ASIM 2003), SCS European Publishing House 2003.
Download (PDF)

Sanja Lazarova-Molnar, Graham Horton: Proxel-Based Simulation of Stochastic Petri Nets Containing Immediate Transitions. On-Site Proceedings of the Satellite Workshop of ICALP 2003 in Eindhoven, Netherlands. Forschungsbericht Universität Dortmund. Dortmund 2003.
Download (PDF)

Sanja Lazarova-Molnar, Graham Horton: An Experimental Study of the Behaviour of the Proxel-Based Simulation Algorithm. Simulation und Visualisierung 2003. SCS European Publishing House 2003.
Download (PDF)

Keywords which describe my research interests: proxels, simulation, stochastic models, modelling, performance, performability, formal systems, energy performance, buildings, decision support systems, etc.