Cristina Seceleanu

Cited by

	All	Since 2016
Citations	942	563
h-index	15	12
i10-index	27	17

140

105

20032004200520062007200820092010201120122013201420152016201720182019202020215 4 2 3 9 31 34 60 54 52 58 37 70 97 128 121 82 65

Public access

View all

18 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Paul PetterssonProfessor of Real-time Systems, Mälardalen University, SwedenVerified email at mdh.se
Raluca MarinescuMälardalen UniversityVerified email at mdh.se
Aneta Vulgarakis FeljanResearch Leader in Artificial Intelligence at Ericsson ABVerified email at ericsson.com
Eduard Paul EnoiuSenior Lecturer, Mälardalen UniversityVerified email at mdh.se
Kristina LundqvistProfessor of Dependable Software Engineering, Mälardalen UniversityVerified email at mdh.se
Aida Delic CausevicSenior Lecturer, Docent at Mälardalen University, Control Safety Engineer Bombardier TransportationVerified 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 (MDH), SwedenVerified email at mdh.se
Petr TůmaDepartment of Distributed and Dependable Systems, Charles UniversityVerified email at d3s.mff.cuni.cz
Ivica CrnkovicProfessor in Software Engineering, Chalmers University, SwedenVerified email at chalmers.se
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.Assistant ProfessorVerified email at mdh.se
Mehrdad SaadatmandSenior Researcher at RISE Research Institutes of Sweden (RISE SICS)Verified email at ri.se
Séverine SentillesResearcher, Mälardalen UniversityVerified email at mdh.se
Ralph-Johan BackProfessor of Computer Science, Åbo AkademiVerified email at abo.fi
Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)Verified email at unamur.be
Tiziana MargariaUniversity of Limerick - Lero, The Irish Software Research Centre, - Confirm, Centre for SmartVerified email at ul.ie

Cristina Seceleanu

Associate Professor, Mälardalen University

Verified email at mdh.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	73	2009
Verifying MARTE/CCSL mode behaviors using UPPAAL J Suryadevara, C Seceleanu, F Mallet, P Pettersson International Conference on Software Engineering and Formal Methods, 1-15, 2013	46	2013
Analyzing industrial architectural models by simulation and model-checking R Marinescu, H Kaijser, M Mikučionis, C Seceleanu, H Lönn, A David International Workshop on Formal Techniques for Safety-Critical Systems, 189-205, 2014	43	2014
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	41	2013
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	35	2009
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	34	2012
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	30	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	28	2014
Embedded systems resources: Views on modeling and analysis A Vulgarakis, C Seceleanu 2008 32nd Annual IEEE International Computer Software and Applications …, 2008	26	2008
Simulink to UPPAAL statistical model checker: Analyzing automotive industrial systems P Filipovikj, N Mahmud, R Marinescu, C Seceleanu, O Ljungkrantz, ... International Symposium on Formal Methods, 748-756, 2016	23	2016
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 IEEE/ACM international conference on Automated software …, 2010	23	2010
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	20	2016
Modeling and reasoning about service behaviors and their compositions A Čaušević, C Seceleanu, P Pettersson International Symposium On Leveraging Applications of Formal Methods …, 2010	18	2010
Abv-a verifier for the architecture analysis and design language (aadl) S Björnander, C Seceleanu, K Lundqvist, P Pettersson 2011 16th IEEE International Conference on Engineering of Complex Computer …, 2011	17	2011
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	16	2015
Analyzing a pattern-based model of a real-time turntable system D Slutej, J Håkansson, J Suryadevara, C Seceleanu, P Pettersson Electronic Notes in Theoretical Computer Science 253 (1), 161-178, 2009	15	2009
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	14	2018
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	13	2016
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	12	2017
Component models for reasoning C Seceleanu, I Crnkovic Computer 46 (11), 40-47, 2013	12	2013

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 this author

Cited by

Co-authors