Logotype Mälardalen University

Staff

Cristina Seceleanu   
Cristina Seceleanu, Dr. Tech., Senior Researcher

E-mail:
Room:U3-137A
Phone:+46-21-151764
Research group:Real-Time Systems Modelling and Analysis
Web:Personal homepage
Official university homepage

Research    Publications    Projects    MSc theses    PhD students   

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:

 

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

 

Research projects

 

Supervised Ph D students

 


Supervised BSc and MSc theses

 
Research    Publications    Projects    MSc theses    PhD students   
  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2009.12.14