Cristina Seceleanu

Cited by

	All	Since 2019
Citations	1339	659
h-index	20	13
i10-index	40	22

140

105

200820092010201120122013201420152016201720182019202020212022202320249 32 34 60 53 48 62 38 68 101 134 123 89 125 107 101 112

Public access

View all

35 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Paul PetterssonProfessor of Real-time Systems, Mälardalen UniversityVerified email at mdh.se
Raluca MarinescuMälardalen UniversityVerified email at mdh.se
Eduard Paul EnoiuAssociate Professor, Mälardalen UniversityVerified email at mdh.se
Kristina LundqvistProfessor of Dependable Software Engineering, Mälardalen UniversityVerified email at mdh.se
Aneta Vulgarakis FeljanSenior Research Leader in Artificial Intelligence at Ericsson ABVerified email at ericsson.com
Aida Delic CausevicSenior Lecturer, Docent at Mälardalen University, Program Cyber Secuirty Manager at AlstomVerified email at mdh.se
Jan CarlsonProfessor, Mälardalen University, SwedenVerified email at mdh.se
Alexandre DavidSenior Software Engineer, Google Inc.Verified email at cs.aau.dk
Hans HanssonProfessor of Real-Time Systems, Mälardalen UniversityVerified email at mdh.se
Leo HatvaniMälardalen University (MDU), SwedenVerified email at mdh.se
Petr TůmaDepartment of Distributed and Dependable Systems, Charles UniversityVerified email at d3s.mff.cuni.cz
Frederic MalletUniversité Côte d'Azur, FranceVerified email at inria.fr
Marius MikučionisDepartment of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Alessio Bucaioni, Ph.D.Associate ProfessorVerified email at mdu.se
Mehrdad SaadatmandSenior Researcher at RISE Research Institutes of Sweden (RISE SICS)Verified email at ri.se
Ralph-Johan BackProfessor of Computer Science, Åbo AkademiVerified email at abo.fi
Séverine SentillesResearcher, Mälardalen UniversityVerified email at mdh.se
Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)Verified email at unamur.be
Ivica CrnkovicProfessor in Software Engineering, Chalmers University, SwedenVerified email at chalmers.se
Tiziana MargariaUniversity of Limerick - Lero, The Irish Software Research Centre, - Confirm, Centre for SmartVerified email at ul.ie

Cristina Seceleanu

Professor of Computer Science, Mälardalen University

Verified email at mdu.se - Homepage

Computer Science Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Remes: A resource model for embedded systems C Seceleanu, A Vulgarakis, P Pettersson 2009 14th IEEE International Conference on Engineering of Complex Computer …, 2009	76	2009
Verifying MARTE/CCSL mode behaviors using UPPAAL J Suryadevara, C Seceleanu, F Mallet, P Pettersson Software Engineering and Formal Methods: 11th International Conference, SEFM …, 2013	52	2013
A research overview of tool-supported model-based testing of requirements-based designs R Marinescu, C Seceleanu, H Le Guen, P Pettersson Advances in Computers 98, 89-140, 2015	48	2015
A methodology for formal analysis and verification of EAST-ADL models EY Kang, EP Enoiu, R Marinescu, C Seceleanu, PY Schobbens, ... Reliability Engineering & System Safety 120, 127-138, 2013	47	2013
Analyzing industrial architectural models by simulation and model-checking R Marinescu, H Kaijser, M Mikučionis, C Seceleanu, H Lönn, A David Formal Techniques for Safety-Critical Systems: Third International Workshop …, 2015	46	2015
Simulink to UPPAAL statistical model checker: Analyzing automotive industrial systems P Filipovikj, N Mahmud, R Marinescu, C Seceleanu, O Ljungkrantz, ... FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016	42	2016
Resa tool: Structured requirements specification and sat-based consistency-checking N Mahmud, C Seceleanu, O Ljungkrantz 2016 Federated Conference on Computer Science and Information Systems …, 2016	39	2016
ReSA: An ontology-based requirement specification language tailored to automotive systems N Mahmud, C Seceleanu, O Ljungkrantz 10th IEEE International Symposium on Industrial Embedded Systems (SIES), 1-10, 2015	38	2015
A model-based testing framework for automotive embedded systems R Marinescu, M Saadatmand, A Bucaioni, C Seceleanu, P Pettersson 2014 40th EUROMICRO Conference on Software Engineering and Advanced …, 2014	37	2014
Vital: A verification tool for east-adl models using uppaal port EP Enoiu, R Marinescu, C Seceleanu, P Pettersson 2012 IEEE 17th International Conference on Engineering of Complex Computer …, 2012	37	2012
Formal semantics of the ProCom real-time component model A Vulgarakis, J Suryadevara, J Carlson, C Seceleanu, P Pettersson 2009 35th Euromicro Conference on Software Engineering and Advanced …, 2009	36	2009
Data aggregation processes: a survey, a taxonomy, and design guidelines S Cai, B Gallina, D Nyström, C Seceleanu Computing 101, 1397-1429, 2019	32	2019
Formal verification of an autonomous wheel loader by model checking R Gu, R Marinescu, C Seceleanu, K Lundqvist Proceedings of the 6th Conference on Formal Methods in Software Engineering …, 2018	27	2018
Embedded systems resources: Views on modeling and analysis A Vulgarakis, C Seceleanu 2008 32nd Annual IEEE International Computer Software and Applications …, 2008	27	2008
TAMAA: UPPAAL-based mission planning for autonomous agents R Gu, E Enoiu, C Seceleanu Proceedings of the 35th Annual ACM Symposium on Applied Computing, 1624-1633, 2020	25	2020
Integrating pattern-based formal requirements specification in an industrial tool-chain P Filipovikj, T Jagerfield, M Nyberg, G Rodriguez-Navas, C Seceleanu 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC …, 2016	25	2016
SMT-based consistency analysis of industrial systems requirements P Filipovikj, G Rodriguez-Navas, M Nyberg, C Seceleanu Proceedings of the Symposium on Applied Computing, 1272-1279, 2017	23	2017
Towards a two-layer framework for verifying autonomous vehicles R Gu, R Marinescu, C Seceleanu, K Lundqvist NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX …, 2019	22	2019
Remes tool-chain: A set of integrated tools for behavioral modeling and analysis of embedded systems D Ivanov, M Orlić, C Seceleanu, A Vulgarakis Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010	22	2010
Analyzing a wind turbine system: From simulation to formal verification C Seceleanu, M Johansson, J Suryadevara, G Sapienza, T Seceleanu, ... Science of Computer Programming 133, 216-242, 2017	20	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors