Cristina Seceleanu

SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing Brno Czech Republic ..., pp.1624-1633, (2020)

Software and Systems Modeling, pp.1-33, (2020)

SAC, pp.2168-2177, (2019)

Sensors (Basel, Switzerland), no. 22 (2019)

ETFA, pp.306-313, (2019)

Proceedings of the 6th Conference on the Engineering of Computer Based Systems, pp.13, (2019)

international conference on evaluation of novel approaches to software engineering, (2019)

international conference on evaluation of novel approaches to software engineering, (2019)

FormaliSE@ICSE, pp.74-83, (2018)

2018 25th Asia-Pacific Software Engineering Conference (APSEC), pp.199-208, (2018)

leveraging applications of formal methods, (2018)

Journal of Ambient Intelligence and Humanized Computing, pp.1-17, (2018)

ACM Sigapp Applied Computing Review, no. 4 (2018): 15-28

COMPSAC, (2018)

ISoLA, pp.457-476, (2018)

2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC), pp.104-114, (2018)

ISoLA, pp.323-326, (2018)

Computing, pp.1-33, (2018)

ISoLA, pp.355-374, (2018)