Sledovat
Cristina Seceleanu
Cristina Seceleanu
Professor of Computer Science, Mälardalen University
E-mailová adresa ověřena na: mdu.se - Domovská stránka
Název
Citace
Citace
Rok
Remes: A resource model for embedded systems
C Seceleanu, A Vulgarakis, P Pettersson
2009 14th IEEE International Conference on Engineering of Complex Computer …, 2009
772009
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
532013
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
502015
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
482016
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
462014
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
462013
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
422016
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
392014
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
392012
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
382015
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
362009
Data aggregation processes: a survey, a taxonomy, and design guidelines
S Cai, B Gallina, D Nyström, C Seceleanu
Computing 101, 1397-1429, 2019
352019
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
272020
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
272018
Embedded systems resources: Views on modeling and analysis
A Vulgarakis, C Seceleanu
2008 32nd Annual IEEE International Computer Software and Applications …, 2008
272008
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
252019
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
252016
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
232017
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
232010
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
222017
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20