Cristina Seceleanu
Cristina Seceleanu
Associate Professor, Mälardalen University
Verified email at mdh.se - Homepage
TitleCited byYear
Remes: A resource model for embedded systems
C Seceleanu, A Vulgarakis, P Pettersson
2009 14th IEEE International Conference on Engineering of Complex Computer …, 2009
632009
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
402014
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
392013
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
372013
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
322009
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
282012
Embedded systems resources: Views on modeling and analysis
A Vulgarakis, C Seceleanu
2008 32nd Annual IEEE International Computer Software and Applications …, 2008
232008
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
212014
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
192015
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
192010
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
162016
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
152011
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
152010
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
152009
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
132016
Symbolic simulation of hybrid systems
RJ Back, CC Seceleanu, J Westerholm
Ninth Asia-Pacific Software Engineering Conference, 2002., 147-155, 2002
122002
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
112015
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
102016
Integrating behavioral descriptions into a component model for embedded systems
A Vulgarakis, S Sentilles, J Carlson, C Seceleanu
2010 36th EUROMICRO Conference on Software Engineering and Advanced …, 2010
102010
Component models for reasoning
C Seceleanu, I Crnkovic
Computer 46 (11), 40-47, 2013
92013
The system can't perform the operation now. Try again later.
Articles 1–20