Cristina Seceleanu

צוטט על ידי

	הכל	מאז 2019
ציטוטים ביבליוגרפיים	1393	703
H-index	21	13
i10-index	42	25

160

120

200820092010201120122013201420152016201720182019202020212022202320249 32 34 60 53 48 62 38 69 101 134 125 89 125 101 103 156

גישה ציבורית

הצג הכל

36 מאמרים

0 מאמרים

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

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

עקוב אחר

Cristina Seceleanu

Professor of Computer Science, Mälardalen University

כתובת אימייל מאומתת בדומיין mdu.se - דף הבית

Computer Science Formal Methods


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
Remes: A resource model for embedded systems‏ C Seceleanu, A Vulgarakis, P Pettersson‏ 2009 14th IEEE International Conference on Engineering of Complex Computer …, 2009‏	78	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
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‏	48	2016
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
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‏	47	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
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‏	38	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‏	34	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‏	26	2020
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‏	25	2017
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
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‏	24	2010
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
Specification and semantic analysis of embedded systems requirements: From description logic to temporal logic‏ N Mahmud, C Seceleanu, O Ljungkrantz‏ Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017‏	21	2017

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים