Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 24

Doctoral Thesis (1)

Formal Approaches for Behavioral Modeling and Analysis of Design-time Services and Service Negotiations (Dec 2013)
Aida Causevic

Licentiate Thesis (1)

Formal Approaches to Service-oriented Design: From Behavioral Modeling to Service Analysis (Jun 2011)
Aida Causevic

Book chapter (1)

Survey on Data Security and Privacy in Wireless Sensor Systems for Health (Nov 2017)
Aida Causevic, Hossein Fotouhi, Kristina Lundqvist
Security and Privacy in Cyber-Physical Systems: Foundations, Principles and Applications (Wiley)

Journal article (1)

Applying REMES Behavioral Modeling to PLC Systems (Dec 2009)
Aneta Vulgarakis Feljan, Aida Causevic
Mechatronic Systems

Conference/Workshop Paper (16)

Clock Synchronization Considerations in Security Informed Safety Assurance of Autonomous Systems of Systems (Oct 2017)
Elena Lisova, Aida Causevic, Elisabeth Uhlemann, Mats Björkman
43rd Annual Conference of the IEEE Industrial Electronics Society (IECON 2017)

A Risk and Threat Assessment Approaches Overview in Autonomous Systems of Systems (Oct 2017)
Aida Causevic
The 26th International Conference on Information, Communication and Automation Technologies (ICAT2017)

Enabling Safe, Secure and Reliable Data Communication in IoT AAL Healthcare Applications (Oct 2017)
Aida Causevic, Maryam Vahabi, Hossein Fotouhi
Medicinteknikdagarna 2017 (MTD 2017)

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)

A Design Tool for Service-oriented Systems (May 2013)
Eduard Paul Enoiu, Raluca Marinescu, Aida Causevic, Cristina Seceleanu
Proceedings of the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2012)

An Analyzable Model of Automated Service Negotiation (Mar 2013)
Aida Causevic, Cristina Seceleanu, Paul Pettersson
IEEE SOSE 2013: 7th International Symposium on Service Oriented System Engineering

Checking Correctness of Services Modeled as Priced Timed Automata (Oct 2012)
Aida Causevic, Cristina Seceleanu, Paul Pettersson
Proceedings of 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

Modeling and Reasoning about Service Behaviors and their Compositions (Oct 2010)
Aida Causevic, Cristina Seceleanu, Paul Pettersson
Proceedings of 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2010), Formal Methods in Model-Driven Development for Service-Oriented and Cloud Computing track

Applying REMES behavioral modeling to PLC systems (Oct 2009)
Aneta Vulgarakis Feljan, Aida Causevic
22nd International Symposium on Information, Communication and Automation Technologies - ICAT 2009

Behavioral Modeling and Refinement of Services (Oct 2009)
Aida Causevic, Cristina Seceleanu, Paul Pettersson
Prodceedings of 21st Nordic Workshop on Programming Theory, NWPT 09

Towards a Unified Behavioral Model for Component-Based and Service-Oriented Systems (Jul 2009)
Aida Causevic, Aneta Vulgarakis Feljan
2nd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS 2009)

Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability (Dec 2008)
Aida Causevic, Paul Pettersson, Cristina Seceleanu
Proceedings of International Conference on Innovation in Software Engineering - ISE08

Code Evaluation Using Fuzzy Logic (May 2008)
Zikrija Avdagic , Dusanka Boskovic , Aida Causevic
WSEAS Conference FUZZY 2008 in Sofia, Bulgaria

Report - MRTC (3)

Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions (Oct 2013)
Aida Causevic, Cristina Seceleanu, Paul Pettersson

Algorithmic Computation of Strongest Postconditions of Services as Priced Timed Automata (Apr 2012)
Aida Causevic, Cristina Seceleanu, Paul Pettersson

Formal reasoning of resource-aware services (Jun 2010)
Aida Causevic, Cristina Seceleanu, Paul Pettersson

Report (1)

Risk Assessment in Autonomous System of Systems - A Review (Oct 2016)
Aida Causevic

Items per page: