Biography Cristina Seceleanu is a senior researcher 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. 2010 Program Committees:
- 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2010),
March 22-26, Oxford, UK.
- 7th International Workshop on Formal Engineering Approaches to Software Components and Architectures (FESCA 2010),
satellite event of ETAPS, March 27, 2010, Paphos, Cyprus.
- 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2009),
June 9-11, 2010, Singapore.
- 34th Annual International Computer Software and Applications Conference (COMPSAC 2010),
Verification, Testing, and Formal Methods Track Co-Chair, July 19-23, 2010, Seoul, South Korea.
- 2nd International Conference on Advances in System Testing and Validation Lifecycle(VALID 2010),
August 22-27, 2010, Nice, France.
- 2nd International Conference on Advances in Biotechnologies (BIOTECHNO 2010), March 7-13, 2010,Cancun, Mexico.
2009 Program Committees:
- Formal Methods for Aerospace (FMA2009) ,
satellite workshop of the 16th International Symposium on Formal Methods (FM2009), Eindhoven, the Netherlands, November 2 - November 6, 2009.
- 1st International Workshop on Run-time mOdels for Self-managing Systems and Applications (ROSSA 2009),
in conjunction with VALUETOOLS 2009, October 20-22, 2009 - Pisa, Italy.
- 1st International Conference on Advances in System Testing and Validation Lifecycle (VALID 2009),
September 2009, Porto, Portugal.
- 1st International Workshop on the Quality of Service-Oriented Software Systems (QUASOSS 2009),
satellite event of ESEC/FSE 2009, August 24-28 2009, Amsterdam, The Netherlands.
- 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2009),
July 2009, Shanghai, China.
- 33rd Annual International Computer Software and Applications Conference (COMPSAC 2009),
Formal Methods Track Co-Chair, July 2009, Seattle, Washington, USA.
- 2nd IEEE International Workshop on Component-based Design Of Resource-Constrained Systems (CORCS 2009),
Program Chair, in conjunction with COMPSAC 2009, July, USA.
- 2nd IEEE International Workshop on Industrial Experience in Embedded Systems Design (IEESD 2009),
in conjunction with COMPSAC 2009, USA.
- 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009),
June 2009, Potsdam, Germany.
- 6th International Workshop on Formal Engineering Approaches to Software Components and Architectures (FESCA 2009),
satellite event of ETAPS, March 2009, York, UK.
|
Latest publications
[ Show all publications ]
| | Modeling and Reasoning about Service Behaviors and their Compositions, 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, Springer LNCS, Amirandes, Heraclion, Crete, October, 2010 |
| | An Integrated Tool for Trade-off Analysis of Quality-of-Service Attributes, Leo Hatvani, Anton Jansen, Cristina Seceleanu, Paul Pettersson, Proceedings of The 2nd International Workshop on the Quality of Service-Oriented Software Systems, Oslo, Norway, October, 2010 |
| | Integrating Behavioral Descriptions into a Component Model for Embedded Systems, Aneta Vulgarakis, Séverine Sentilles, Jan Carlson, Cristina Seceleanu, 36th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), IEEE, Lille, France, September, 2010 |
|