Aneta Vulgarakis

PhD Thesis: A Resource-Aware Framework for Designing Predictable Component-Based Embedded Systems

Main advisor:	Prof. Ivica Crnkovic
Co-advisors:	Prof. Paul Pettersson, Dr. Cristina Seceleanu
The opponent:	Prof. Elisabetta di Nitto, Politecnico di Milano, Italy
Grading Committee	Prof. Tiziana Margaria-Steffen, Potsdam University, Germany Dr. Bernhard K. Aichernig, Assistant Professor, TU Graz, Austria Prof. Jörgen Hansson, Chalmers University, Sweden
Defense	Mälardalen Univeristy, Västerås, Sweden 2012-06-15 14:00

Documentation	Comment
The Thesis Final Version	2012-05-23
The Thesis Version 1.0	2012-05-07 - The complete version
The Thesis Version 0.9	2012-04-27 - Full draft
The Thesis Version 0.1	2011-12-14 - Preliminary draft
Papers on which the thesis is based on.	Resource-Oriented Modeling and Formal Analysis of Embedded Systems Behavior. Marin Orli´c, Aneta Vulgarakis, Cristina Seceleanu, and Paul Pettersson (to be submitted) A Classification Framework for Component Models. Ivica Crnkovic, Severine Sentilles, Aneta Vulgarakis, and Michel Chaudron.,IEEE Transactions on Software Engineering. October, 2011. Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator. Aneta Vulgarakis, Cristina Seceleanu, Paul Pettersson, Ivan Skuliber and Darko Huljenic. 11th International Conference on Quality Software (QSIC 2011), IEEE, Madrid, Spain, July, 2011. Integrating Behavioral Descriptions into a Component Model for Embedded Systems. Aneta Vulgarakis, Severine Sentilles, Jan Carlson, and Cristina Seceleanu. 36th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2010), IEEE, Lille, France, September, 2010. Remes Tool-chain - A Set of Integrated Tools for Behavioral Modeling and Analysis of Embedded Systems. Dinko Ivanov, Marin Orlic, Cristina Seceleanu and Aneta Vulgarakis. 25th IEEE/ACMInternational Conference on Automated Software Engineering (ASE 2010), Antwerp, Belgium, September, 2010. Formal Semantics of the ProCom Real-Time Component Model. Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlson, Cristina Seceleanu, and Paul Pettersson. 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2009), IEEE, Patras, Greece, August, 2009. Remes: A Resource Model for Embedded Systems. Cristina Seceleanu, Aneta Vulgarakis, and Paul Pettersson. 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009), IEEE, Potsdam, Germany, June, 2009. A Component Model for Control-Intensive Distributed Embedded Systems. Severine Sentilles, Aneta Vulgarakis, Tom´as Bures, Jan Carlson, and Ivica Crnkovic. 11th International Symposium on Component Based Software Engineering (CBSE 2008), Karlsruhe, Germany, October 2008. Embedded Systems Resources: Views on Modeling and Analysis. Aneta Vulgarakis and Cristina Seceleanu. 1st IEEE International Workshop On Component-Based Design Of Resource Constrained Systems (CORCS 2008), IEEE, Turku, Finland, July, 2008.

Licentiate thesis: A Resource-Aware Component Model for Embedded Systems

Photos

Main advisor:	Prof. Ivica Crnkovic
Co-advisors:	Prof. Paul Pettersson, Dr. Cristina Seceleanu
The opponent:	Prof. Tiziana Margaria-Steffen. Potsdam University, Germany
Examiner	Prof. Björn Lisper
Defense	2009-09-16 14:15, MDH, Zeta (The defense procedure)

Documentation	Comment
The Thesis - Final Version	2009-09-10
The Theses -Version Draft v2	2009-09-01 - Almost completed version
The Thesis, Version Draft v1	2009-08-28
Papers	Paper A: Ivica Crnkovic, Séverine Sentilles, Aneta Vulgarakis, and Michel Chaudron. A Classification Framework for Component Models. Accepted to IEEE Transactions on Software Engineering (in the process of revision). Paper B: Séverine Sentilles, Aneta Vulgarakis, Tom´aˇs Bureˇs, Jan Carlson, and Ivica Crnkovic. A Component Model for Control-Intensive Distributed Embedded Systems. In Proceedings of the 11th International Symposium on Component Based Software Engineering (CBSE), Karlsruhe, Germany, October 2008. Paper C: Aneta Vulgarakis and Cristina Seceleanu. Embedded Systems Resources: Views on Modeling and Analysis. In Proceedings of the 1st IEEE International Workshop On Component-Based Design Of Resource- Constrained Systems (CORCS 2008), IEEE CS, Turku, Finland, July, 2008. Paper D: Cristina Seceleanu, Aneta Vulgarakis, and Paul Pettersson. REMES: A Resource Model for Embedded Systems. In Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009), IEEE CS, Potsdam, Germany, June, 2009. Paper E: Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlson, Cristina Seceleanu, and Paul Pettersson. Formal Semantics of the ProCom Real-Time Component Model. In Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Patras, Greece, August, 2009.
Lic PROPOSAL	December 15, 2008
Study Plan

RTP Slot Gacor: Rahasia Kemenangan Lebih Cepat

Bermain dengan RTP live Slot Gacor bisa jadi cara terbaik untuk menang lebih cepat. Pemain yang pilih Slot RTP Tertinggi akan lebih mudah mendapatkan kemenangan besar, karena peluangnya yang lebih tinggi. RTP Slot Online juga semakin populer karena memberikan pengalaman bermain yang menyenangkan tanpa harus menunggu lama. Dengan RTP Slot Gacor, kemenangan sering datang bertubi-tubi, membuat permainan semakin seru.

Tidak perlu khawatir soal budget saat bermain slot online karena kini tersedia fitur Deposit 5k. Dengan deposit minimal ini, pemain tetap bisa menikmati game berkualitas dan merasakan sensasi menang jackpot. Solusi ini ideal bagi Anda yang ingin bermain dengan biaya hemat.