Staff

Biography

Cristina Seceleanu is a senior lecturer and Tech.Dr. at MdH, Embedded Systems Division. She received a MSc. in Electronics from Polytechnic University of Bucharest, Romania, in 1993, and a Ph.D. in Computer Science from Abo Akademi and Turku Centre for Computer Science, Abo/Turku, Finland, in 2005. Her research focuses on developing formal models and verification techniques for constructing predictable real-time embedded systems.

Teaching:

• Distributed Systems (CDT 316, undergraduate level): winter '13.
• Advanced Validation and Verification (DVA402, master level): spring '12 , spring '11, and spring '10.
• Advanced Real-time Systems (CDT505, master level): spring '12 (course co-organizer), spring '11 (course co-organizer), spring '10 (course co-organizer, lecturer), and spring '09 (lecturer).
• The Science of Programming (Ph.D. study level): fall '09.

Editorial Boards:

• International Journal of Embedded and Real-Time Communication Systems (IJERTCS), IGI-Global.
• International Journal of Electrical and Computer Engineering Systems (IJECES) , University of Osijek, Croatia.

2013 Program Committees:

• International Conference on Principles of Distributed Systems (OPODIS 2013), December 16-18th, 2013 - Nice, France.
• Fifth International Conference on Advances in System Testing and Validation Lifecycle (VALID 2013), PC member and Advisory Chair, October 27 - November 1, 2013 - Venice, Italy.
• 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2013), September 23 – 24, 2013, Madrid, Spain (co-located with SEFM 2013).
• 3rd Eastern European Regional Conference on the Engineering of Computer Based Systems (ECBS-EERC 2013), August 29th-30th 2013 - Budapest, Hungary.
• 11th International Conference on Software Engineering Research, Management and Applications (SERA 2013), August 7, 2013 - Prague, Czech Republic.
• 37th Annual IEEE Computer Software and Applications Conference (COMPSAC 2013), Workshops Chair, July 22-26, 2013 - Kyoto, Japan.
• 5th International IEEE Workshop on Industrial Experience in Embedded Systems Design (IEESD 2013) ), in conjunction with COMPSAC, July 26, 2013 - Japan.
• 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2013), July 17-19, 2013 – Singapore.
• 1st IFIP/IEEE International Workshop on Formal Approaches to Managing Evolving Systems (FAMES 2013), May 31, 2013 - Ghent, Belgium.
• Fifth International Conference on Future Computational Technologies and Applications (FUTURE COMPUTING 2013), May 27 - June 1, 2013 - Valencia, Spain.
• Fifth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO 2013), March 24 - 29, 2013 - Lisbon, Portugal.
• 10th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2013) , March 23th, 2013 - Rome, Italy, Satellite event of ETAPS 2013.

2012 Program Committees:

• The 35th Annual IEEE Software Engineering Workshop(SEW 2012), October 12-13, 2012 - Heraklion, Crete, Greece.
• The Fourth International Conference on Future Computational Technologies and Applications (FUTURE COMPUTING 2012), July 22-27, 2012 - Nice, France.
• 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012), July 18 – 20, 2012 – Paris, France.
• The 36th Annual IEEE Computer Software and Applications Conference (COMPSAC 2012), Workshops Chair, July 16-20, 2012 - Izmir, Turkey.
• The 4th IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS 2012), Program Co-chair, July 16th, 2012 - co-located with COMPSAC 2012, Izmir, Turkey.
• The Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE 2012), 4-6 July 2012, Beijing, China.
• 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2012) , 31st March 2012, Tallinn, Estonia, Satellite event of ETAPS 2012.
• The Fourth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO 2012), March 25-29, 2012 - St. Maarten, Netherlands Antilles.

2011 Program Committees:

• The 23th Nordic Workshop on Programming Theory (NWPT'11), Co-Chair, October 26-28, 2011, Västerås, Sweden.
• The Third International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011), Advisory Chair, October 23-28, 2011 - Barcelona, Spain.
• The Third International Conference on Future Computational Technologies and Applications (FUTURE COMPUTING 2011), Advisory Chair, September 25-30, 2011 - Rome, Italy.
• The 2nd Eastern European Regional Conference on the Engineering of Computer Based Systems (ECBS-EERC 2011), September 5–6, 2011 - Bratislava, Slovakia.
• The 35th Annual IEEE Computer Software and Applications Conference (COMPSAC 2011), Formal Methods Track Co-chair, July 18-21, 2011 - Munich, Germany.
• The 3rd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS 2011), Program Co-chair, July 18th, 2011 - joint workshop with The 3rd IEEE International Workshop on Industrial Experience in Embedded System Design (IEESD 2011), co-located with COMPSAC 2011, Munich, Germany.
• 34th Annual IEEE Software Engineering Workshop (SEW 2011), 20-21 June 2011, Limerick, Ireland.
• 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2011), 27-29 April, 2011, Las Vegas, USA.
• 8th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2011) , Satellite event of ETAPS, 2nd April, 2011, Saarbrücken, Germany .
• 5th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2011), June 27-29, 2011, Jeju Island, Korea.
• The Third International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO 2011), Advisory Chair, May 22-27, 2011 - Venice, Italy.

Latest publications [ Show all publications ]

Research projects

On-going:
• ARROWS - Design Techniques for Adaptive Embedded Systems
• MBAT - Combined Model-based Analysis and Testing (Artemis/Vinnova)
• VeriSpec – Structured Specifications and Automated Verification for Automotive Functional Safety


Finished:
• Embedded Systems Verification using Timed Automata Technology (VR)
• PG-CBD-CVer – Component Verification
• PROGRESS
• Q-ImPreSS - Quality Impact Prediction for Evolving Service-oriented Software

Supervised Ph D students

• Aida Causevic  (assistant supervisor)
• Leo Hatvani  (assistant supervisor)
• Raluca Marinescu  (assistant supervisor)
• Jagadish Suryadevara  (assistant supervisor)
• Aneta Vulgarakis  (finished)  (assistant supervisor)

• Connecting a Design Framework for Service-oriented Systems with UPPAAL model-checker
• Implementing OSLC adaptors for ViTAL
• A Design Framework for Service-oriented Systems
• GUI for component behavior based on REMES
• Implementing data analysis and visualization into a SOA based architecture for AddTrack Enterprise 4G
• Integrating formal analysis techniques into the Progress-IDE
• Performance Modeling of ASP.Net Web Service Applications: an industrial case study