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. Current 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 ]
| | Real-Time Systems, Hans Hansson, Jan Carlson, Damir Isovic, Kristina Lundqvist, Thomas Nolte, Martin Ouimet (MIT), Paul Pettersson, Sasikumar Punnekkat, Cristina Seceleanu, Fraunhofer IESE, February, 2010 |
| | Validating the Design Model of an Autonomous Truck System, Jagadish Suryadevara, Paul Pettersson, Cristina Seceleanu, Mälardalen University Software Enginnering Workshop (MUSE'09), Mälardalen University, Västerås, Sweden, November, 2009 |
| | Behavioral Modeling and Refinement of Services , Aida Causevic, Cristina Seceleanu, Paul Pettersson, Prodceedings of 21st Nordic Workshop on Programming Theory, NWPT '09 , Lyngby, Denmark, October, 2009 |
|
