Cristina Seceleanu is Associate Professor and Docent at MDU, Networked and Embedded Systems (NES) Division, and research leader of the Computer and Data Science (CDS) research direction. 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, adaptive and autonomous systems.
- DVA 468 - Catching Bugs by Formal Verification (PROMPT course): 2023, 2022, 2021, 2020, 2019, 2018, 2017
- DVA 241 - Distributed Systems (undergraduate 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 and variants) for designing and reasoning about component-based, resource-constrained real-time systems, service-oriented systems, adaptive embedded systems, and 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 MDU, and is also the research leader of the Computer and Data Science (CDS) research direction. She has also 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.
- ReSA: a requirements specification language based on constrained natural language, which uses domain knowledge to limit the syntax as well as the semantics, thus reducing ambiguity and improving consistency of specifications. Its tool support consists of an editor and a consistency checker via SMT solving in Z3. The method and tool have been developed by Cristina's ex-Ph.D. student Nesredin Mahmud, currently at QRTECH, Sweden.
PC Chair and Organizer of:
- Tests and Proofs Conference (TAP 2023), 23, co-located with STAF 2023: PC chair.
- Workshop on Advances in Model-Based Testing (A-MOST 2023), co-located with ICST 2023, April 16 - 20, 2023, Dublin, Ireland: PC chair
- Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Verification and Validation of Concurrent and Distributed Heterogeneous Systems, Rhodes, Greece, Oct. 22-30, 2022: Track chair
- 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):
- NASA Formal Methods Symposium (NFM 2023), May 16-18 2023, Houston, Texas, USA.
- FM 2023: 25th International Symposium on Formal Methods, March 7-9, 2023, Lubeck, Germany.
- FSEN 2023: 10th IPM International Conference on Fundamentals of Software Engineering, May 3-5, 2023, Tehran, Iran.
- 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:
PyLC: A Framework for Transforming and Validating PLC Software using Python and Pynguin Test Generator
(Apr 2023) Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu SAC2023, The 38th ACM/SIGAPP Symposium On Applied Computing (SAC 2023)
Correctness-Guaranteed Strategy Synthesis and Compression for Multi-Agent Autonomous Systems
(Sep 2022) Rong Gu, Peter Jensen
, Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist Science of Computer Programming (SCICO-223)
Choosing a Test Automation Framework for Programmable Logic Controllers in CODESYS Development Environment
(May 2022) Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu NEXTA 2022 - 5th International Workshop on the Next Level of Test Automation (NEXTA)
Strategy Synthesis and Compression for Multi-Agent Autonomous Systems: A Correctness-Guaranteed Approach
(Apr 2022) Rong Gu, Peter Jensen
, Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist
Mission Planning for Multiple Autonomous Agents under Complex Road Conditions: Model-Checking-Based Synthesis and Verification
(Apr 2022) Rong Gu, Eduard Baranov
, Afshin Ameri E., Eduard Paul Enoiu, Baran Çürüklü, Cristina Seceleanu, Axel Legay
, Kristina Lundqvist
Verifiable Strategy Synthesis for Multiple Autonomous Agents: A Scalable Approach
(Feb 2022) Rong Gu, Peter Jensen
, Danny Poulsen
, Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist International Journal on Software Tools for Technology Transfer (STTT)
MSc theses supervised (or examined):