Aida Causevic is a postdoctoral researcher in Safety-Critical Engineering group and a member of ESS-H profile. She received her PhD title at the Mälardalen University in January 2014 defending her thesis entitled: "Formal Approaches for Behavioral Modeling and Analysis of Design-time Services and Service Negotiations" (LINK).
She has defended her licentiate thesis with the title "Formal Approaches to Service-oriented Design: From Behavioral Modeling to Service Analysis", in June 2011 (LINK).
Aida obtained her master degree from University of Sarajevo and Faculty of Electrical Engineering in 2007. The thesis entitled as "Program Evaluation Using Fuzzy Logic with Bad Smells as Inputs" has been done under DAAD-BiHSP scholarship program and in cooperation of University Sarajevo (B&H) and University Paderborn (GER). Link to the conference paper publication that resulted from the theis.
Her current research is defined within ESS-H profile (LINK) with focus on security verification of wireless sensor networks for health.
During her PhD studies Aida has been working on developing adequate methods and tools for specification, modeling, and formal analysis of services and service compositions in Service-Oriented Systems (SOS). First part of the doctoral studies has been conducted under FP7 "Quality Impact Prediction for Evolving Service-Oriented Software" project, with aim at bringing service orientation to critical software systems, such as industrial production control, telecommunication, and critical enterprise applications.
The second part of her PhD studies has been carried out within the "Contract-Based Components for Embedded Software - CONTESSE" project. The aim of the project has been to advance state of the art in component- and model-based software development by improving prerequisites for efficient reuse of components via well defined contracts.
Communication and Security in Health Monitoring Systems - A Review (Jun 2016) Hossein Fotouhi, Aida Causevic, Kristina Lundqvist, Mats Björkman COMPSAC 2016: The 40th IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC'16)
Interoperability in heterogeneous low-power wireless networks for health monitoring systems (May 2016) Hossein Fotouhi, Aida Causevic, Maryam Vahabi, Mats Björkman Workshop on Convergent Internet of Things (C-IoT'16)
An Overview on the Internet of Things for Health Monitoring Systems (Oct 2015) Mobyen Uddin Ahmed, Mats Björkman, Aida Causevic, Hossein Fotouhi, Maria Lindén 2nd EAI International Conference on IoT Technologies for HealthCare (HealthyIoT2015)
Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions (Nov 2014) Aida Causevic, Cristina Seceleanu, Paul Pettersson 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA)
|Closing the safety-security gap in software intensive systems||active|
|ESS-H - Embedded Sensor Systems for Health Research Profile||active|
|Q-ImPreSS - Quality Impact Prediction for Evolving Service-oriented Software||finished|
|SafeCOP - Safe Cooperating Cyber-Physical Systems using Wireless Communication||active|
|A Design Framework for Service-oriented Systems||finished|
|Connecting a Design Framework for Service-oriented Systems with UPPAAL model-checker||finished|
|Implementing data analysis and visualization into a SOA based architecture for AddTrack Enterprise 4G||finished|