Cristina Seceleanu is Associate Professor and Docent at MDH, Networked and Embedded Systems (NES) Division. She received a MSc. in Electronics from Polytechnic University of Bucharest, Romania, in 1993, and a Ph.D. in Computer Science from Åbo Akademi and Turku Centre for Computer Science, Åbo/Turku, Finland, in Dec. 2005. Her research focuses on developing formal models and verification techniques for designing predictable real-time embedded systems.
- DVA 241 - Distributed Systems (undergraduate course): 2018, 2017
- DVA 468 - Catching Bugs by Formal Verification (PROMPT course): 2018, 2017
- CDT 316 - Distributed Systems (undergraduate course): 2016, 2015, 2014, 2013
- DVA 442 - Advanced Validation and Verification (graduate, distance course) : 2017, 2016, 2015
- DVA 402 - Advanced Validation and Verification (graduate course): 2012, 2011, 2010
- CDT 505 - Real-Time Systems II (graduate course): 2012, 2011, 2009, 2008
- The Science of Programming (Ph.D. course): 2009
Cristina Seceleanu's research focuses on developing and applying formal methods (especially model checking) for designing and reasoning about component-based, resource-constrained real-time systems, service-oriented systems, adaptive embedded systems, and more recently autonomous systems. The goal is to provide mathematical means of predicting system behaviors at early stages of development.
Cristina is leading the Formal Modeling and Analysis of Embedded Systems research group, at MDH, and has been teacher representative for Embedded Systems, IDT, in the committee for research of the faculty board (Utskottet för forskning), 2015-2016.
Cristina is co-author of the following integrated development environments (IDE) / toolchains that implement the research results obtained together with wonderful collaborators:
- REMES IDE : developed as a cooperation between projects DICES and PROGRESS. It supports the construction and analysis of embedded system behavioral models described in the REMES language. REMES is a hierarchical, dense-time language for modeling function, time and resource usage of embedded components. The REMES IDE consists of a set of tools, as follows: (i) REMES editor, (ii) automated transformations of REMES models into priced timed automata for formal analysis and verification, and (iii) REMES simulator of the timing behavior and resource consumption of embedded components, at design time. Together with Aneta Vulgarakis Feljan, Ericsson Research, Stockholm, and Marin Orliς, Ericsson Nikola Tesla, Zagreb.
- ViTAL toolchain : a verification tool tailored for the architectural language EAST-ADL, in which functional and timing behaviors of function prototypes are expressed as timed automata models that have precise semantics and can be formally verified. The ViTAL tool enables the automatic transformation of EAST-ADL functional models into UPPAAL PORT or UPPAAL, for model checking. Together with Raluca Marinescu, Eduard Paul Enoiu, and Paul Pettersson.
PC Chair and Organizer of:
- UCAmI 2019: 13th International Conference on Ubiquitous Computing and Ambient Intelligence, Toledo, Spain, Dec 2 - 5, 2019: IoT and Sensors Track chair.
- Computer Architecture and Platforms Symposium (CAP 2019)@COMPSAC 2019, Milwaukee, Wisconsin, USA, July 15 - 19, 2019: Symposium chair.
- Computer Architecture and Platforms Symposium (CAP 2018)@COMPSAC2018, Tokyo, Japan, July 23-27, 2018: Symposium chair
- Computer Architecture and Platforms Symposium (CAP2017)@COMPSAC 2017, Turin, Italy, 4th-8th July 2017: Symposium chair.
- FMICS-AVoCS 2017: International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems, Turin, Italy, 18-20 September 2017: PC chair.
- ECPE 2016: COMPSAC Symposium on Embedded and Cyber-Physical Environments, June 10-14 2016, Atlanta, USA: Steering Chair.
- 38th IEEE International Computers, Software, and Applications Conference (COMPSAC 2014), Västerås, Sweden: PC chair, Local organization chair.
- IEEE International Workshop on Component-Based Design of Resource-Constrained Systems: CORCS 2017, 2016, 2014, 2012, 2011, 2009, 2008: PC chair, founder.
- 23rd Nordic Workshop on Programming Theory (NWPT 2011), Västerås, Sweden: PC chair, Local organization chair.
Program Committees (selection):
- SERENE 2019: 11th International Workshop on Software Engineering for resilient Systems, Co-located with the 15th European Dependable Computing Conference (EDCC),Sept 17, 2019, Naples, Italy.
- ASYDE 2019: International Workshop on Automated and verifiable Software sYstem DEvelopment, Co-located with the 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), Sept. 16, 2019, Oslo, Norway.
- SEAA 2019: 45th Euromicro Conference on Software Engineering and Advanced Applications, August 28 - 30, 2019, Kallithea, Chalkidiki, Greece.
- FMICS 2019: 24th International Conference on Formal Methods for Industrial Critical Systems, August 26 - 31, 2019, Amsterdam, NL.
- NFM'2019: 11th NASA Formal Methods Symposium, May 7 - 9, 2019, Houston, Texas, USA.
- PSI 2019: 12th International A.P. Ershov Informatics Conference, July 2 - 5, 2019, Novosibirsk, Russia.
- ICSE 2019: 41st International Conference on Software Engineering (SEET track), May 25 - 31, 2019, Montreal, Canada.
- FSEN 2019: 8th IPM International Conference on Fundamentals of Software Engineering, May 1 - 3, 2019, Tehran, Iran.
- ICSE 2018: 40th International Conference on Software Engineering (SEET track and Posters), May 27 - June 3, 2018 - Gothenburg, Sweden.
- 9th International Workshop on Software Engineering for Resilient Systems (SERENE 2017), Sept. 4-5, 2017 - Geneva, Switzerland.
- 22nd International Conference on Engineering of Complex Computer Systems (ICECCS 2017), November 5-8, 2017 - Fukuoka, Japan.
- 5th European Conference on the Engineering of Computer Based Systems (ECBS 2017), 31 Aug-01 Sept., 2017 - Larnaca, Cyprus.
- 2nd International Conference on Complexity, Future Information Systems and Risk (COMPLEXIS 2017), April 22nd-24th, 2017 - Porto, Portugal.
- 28th Nordic Workshop on Programming Theory (NWPT'16), October 31st - November 2nd, 2016 - Rold Storkro (North Jutland), Denmark.
- 36th IEEE Software Engineering Workshop (SEW-36), September 11 - 14 September, 2016 - Gdansk, Poland.
- 40th IEEE International Computers, Software, and Applications Conference (COMPSAC 2016), June 10 - 14, 2016 - Atlanta, Georgia, US.
- 20th International Symposium on Formal Methods (FM2015), Doctoral Symposium, June 22-26, 2015 - Oslo, Norway.
- 41st International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2015), Jan 24 - 29, 2015 - Czech Republic
- 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2015), October 23-25, 2015 - Telc, Czech Republic.
- 20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015), Dec 9 - 12, 2015 - Gold Coast, Australia.
- 12th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2015), Satellite event of ETAPS, April 12th, 2015 - London, UK.
- 39th IEEE International Computers, Software, and Applications Conference (COMPSAC 2015), July 1 - 5, 2015 - Taichung, Taiwan.
- 19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014), Aug 4 - 7, 2014 - Tianjin, China.
- 11th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2014), Satellite event of ETAPS, April 12th, 2014 - Grenoble, France.
- International Conference on Principles of Distributed Systems (OPODIS 2013), December 16-18th, 2013 - Nice, France.
- 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2013), September 23 – 24, 2013, Madrid, Spain (co-located with SEFM 2013).
- 37th Annual IEEE Computer Software and Applications Conference (COMPSAC 2013), Workshops Chair, July 22-26, 2013 - Kyoto, Japan.
- 6th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2012), July 4-6, 2012 - Beijing, China.
[Show all publications]
[Google Scholar author page] Latest publications:
Combining Model Checking and Reinforcement Learning for Scalable Mission Planning of Autonomous Agents
(May 2020) Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Kristina Lundqvist
DPAC Newsletter Spring 2020
(May 2020) Kristina Lundqvist, Mikael Sjödin, Saad Mubeen, Håkan Forsberg, Mikael Ekström, Cristina Seceleanu, Nandinbaatar Tsog, Jakob Danielsson, Mohammad Loni, Baran Çürüklü, LanAnh Trinh, Afshin Ameri E., Luciana Provenzano, Kaj Hänninen, Susanne Fronnå, Marjan Sirjani, Rong Gu, Masoud Daneshtalab, Sima Sinaei, Joakim Lindén
TAMAA: UPPAAL-based Mission Planning for Autonomous Agents
(Apr 2020) Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu The 35th ACM/SIGAPP Symposium On Applied Computing (SAC2020)
Specification and Automated Verification of Atomic Concurrent Real-Time Transactions: Extended Report
(Apr 2020) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Model Testing of Complex Embedded Systems using EAST-ADL and Energy-Aware Mutations
(Feb 2020) Eduard Paul Enoiu, Cristina Seceleanu MDPI Designs Journal (MDPI Designs)
A Model-Checking-Based Framework For Analyzing Ambient Assisted Living Solutions
(Nov 2019) Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu Sensors Special Issue IoT Sensors in E-Health (Sensors)
MSc theses supervised (or examined):