Cristina Seceleanu

93 papers B 14C 13Misc 6Journal 21Unranked 37

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	A Conformal Prediction-Based Framework for CPU Load Forecasting: A Black-Box Approach. COMPSAC Edin Jelacic, Cristina Seceleanu, Peter Backeman, Ning Xiong, Tiberiu Seceleanu, Axel Jantsch
2025	—	`conf`	A Quantum-Like Intellect: Celebrating the Profound Impact of Tiziana Margaria, Professor and Friend. The Combined Power of Research, Education, and Dissemination Cristina Seceleanu
2025	B	`conf`	A Self-Adaptation Framework for Supporting Distributed Computing Based on Industry-Scale Digital Twins. IEEE Big Data Alfredo Cuzzocrea, Cristina Seceleanu, Tiberiu Seceleanu
2025	J	`jnl`	A model-based approach to automation of formal verification of ROS 2-based systems. Frontiers Robotics AI Lukas Johannes Dust, Rong Gu, Saad Mubeen, Mikael Ekström, Cristina Seceleanu
2025	J	`jnl`	An Empirical Investigation of Requirements Engineering and Testing Utilizing EARS Notation in PLC Programs. SN Comput. Sci. Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu
2025	B	`conf`	Contract-Based Verification of Digital Twins. ICECCS Muhammad Naeem, Cristina Seceleanu
2025	J	`jnl`	Contract-based Verification of Digital Twins. CoRR Muhammad Naeem, Cristina Seceleanu
2025	J	`jnl`	Formal Methods in Industry. Formal Aspects Comput. Maurice H. ter Beek, Rod Chapman, Rance Cleaveland, Hubert Garavel, Rong Gu, Ivo ter Horst, Jeroen J. A. Keiren, Thierry Lecomte, Michael Leuschel, Kristin Yvonne Rozier, Augusto Sampaio, Cristina Seceleanu, Martyn Thomas, Tim A. C. Willemse, Lijun Zhang
2025	J	`jnl`	Machine learning-based cache miss prediction. Int. J. Softw. Tools Technol. Transf. Edin Jelacic, Cristina Seceleanu, Ning Xiong, Peter Backeman, Sharifeh Yaghoobi, Tiberiu Seceleanu
2025	J	`jnl`	Pattern-based verification of ROS 2 applications using UPPAAL. Int. J. Softw. Tools Technol. Transf. Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen
2025	J	`jnl`	Preface to the special issue on engineering of computer-based systems. Int. J. Softw. Tools Technol. Transf. Jan Kofron, Tiziana Margaria, Cristina Seceleanu
2025	B	`conf`	PyLC+: A Scalable Python Framework for Automated Translation and Testing of Industrial PLC Programs. COMPSAC Mikael Ebrahimi Salari, Eduard Paul Enoiu, Alessio Bucaioni, Wasif Afzal, Cristina Seceleanu
2025	—	`conf`	Verifying ROS-Based Applications Using Timed and Stochastic Timed Automata. Rebeca for Actor Analysis in Action Peter Backeman, Cristina Seceleanu
2025	—	`conf`	Wang at MDU in a Nutshell. Real Time and Such Hans Hansson, Christer Norström, Cristina Seceleanu
2024	—	`conf`	A Model-Based Methodology for Automated Verification of ROS 2 Systems. RoSE Lukas Johannes Dust, Mikael Ekström, Rong Gu, Saad Mubeen, Cristina Seceleanu
2024	Misc	`conf`	Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal Stratego. TASE Muhammad Naeem, Rong Gu, Cristina Seceleanu, Kim Guldstrand Larsen, Brian Nielsen, Michele Albano
2024	—	`ed.`	Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings ECBS Jan Kofron, Tiziana Margaria, Cristina Seceleanu
2024	—	`conf`	Railway Switch Control Modeling in European Train Control System Level 3. ISoLA (5) Francesco Flammini, Stefano Marrone, Roberto Nardone, Usman Sanwal, Cristina Seceleanu, Laura Verde, Valeria Vittorini
2024	—	`conf`	SIMPPAAL: A Framework for Statistical Model Checking of Industrial Simulink Models. ISoLA (3) Predrag Filipovikj, Nesredin Mahmud, Cristina Seceleanu, Guillermo Rodríguez-Navas, Oscar Ljungkrantz, Henrik Lönn
2024	—	`conf`	Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary). ISoLA (3) Marieke Huisman, Stephan Merz, Cristina Seceleanu
2024	—	`conf`	Smart Assistants for Enhancing System Security and Resilience. FedCSIS (Communication Papers) Andrey Sadovykh, Dragos Truscan, Martin A. Schneider, Wissam Mallouli, Ana R. Cavalli, Cristina Seceleanu, Tanwir Ahmad
2024	J	`jnl`	Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions. ACM Trans. Softw. Eng. Methodol. Rong Gu, Eduard Baranov, Afshin Ameri, Cristina Seceleanu, Eduard Paul Enoiu, Baran Çürüklü, Axel Legay, Kristina Lundqvist
2024	C	`conf`	UPPAAL-Based Modeling and Verification of ROS 2 Multi-threaded Execution and Operating System Reservations. FMICS Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen
2023	—	`conf`	An Experiment in Requirements Engineering and Testing using EARS Notation for PLC Systems. ICSTW Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu
2023	C	`conf`	Automating Test Generation of Industrial Control Software Through a PLC-to-Python Translation Framework and Pynguin. APSEC Mikael Ebrahimi Salari, Eduard Paul Enoiu, Cristina Seceleanu, Wasif Afzal, Filip Sebek
2023	—	`conf`	Building a Digital Twin Framework for Dynamic and Robust Distributed Systems. ECBS Tiberiu Seceleanu, Ning Xiong, Eduard Paul Enoiu, Cristina Seceleanu
2023	C	`conf`	Experimental Evaluation of Callback Behavior in ROS 2 Executors. ETFA Lukas Johannes Dust, Emil Persson, Mikael Ekström, Saad Mubeen, Cristina Seceleanu, Rong Gu
2023	C	`conf`	Pattern-Based Verification of ROS 2 Nodes Using UPPAAL. FMICS Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen
2023	Misc	`conf`	PyLC: A Framework for Transforming and Validating PLC Software using Python and Pynguin Test Generator. SAC Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu
2023	J	`jnl`	Supporting 5G service orchestration with formal verification. Comput. Sci. Inf. Syst. Peter Backeman, Ashalatha Kunnappilly, Cristina Seceleanu
2023	C	`ed.`	Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings TAP Virgile Prevosto, Cristina Seceleanu
2022	—	`conf`	Choosing a Test Automation Framework for Programmable Logic Controllers in CODESYS Development Environment. ICST Workshops Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu
2022	J	`jnl`	Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems. Sci. Comput. Program. Rong Gu, Peter Gjøl Jensen, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist
2022	J	`jnl`	Special issue on Ambient Intelligence in the IoT: Convergence Trends and Challenges (AmIIoT). J. Ambient Intell. Humaniz. Comput. Iván González, José Gabriel Urzaiz Lares, Cristina Seceleanu
2022	J	`jnl`	Verifiable strategy synthesis for multiple autonomous agents: a scalable approach. Int. J. Softw. Tools Technol. Transf. Rong Gu, Peter Gjøl Jensen, Danny Bøgsted Poulsen, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist
2022	—	`conf`	Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary). ISoLA (1) Marieke Huisman, Cristina Seceleanu
2021	—	`conf`	Assured Cloud Platforms for Industrial Cyber-Physical Systems: The ACICS Approach. ECBS Cristina Seceleanu, Eduard Paul Enoiu, Jan Carlson, Kristina Lundqvist, Séverine Sentilles, Moris Behnam, Gabriele Capannini
2021	B	`conf`	Control as a Service - Intelligent Networking. COMPSAC Tiberiu Seceleanu, Ning Xiong, Cristina Seceleanu
2021	—	`conf`	From UML Modeling to UPPAAL Model checking of 5G Dynamic Service Orchestration. ECBS Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu
2021	B	`conf`	Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles. FM Rong Gu, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist
2021	—	`conf`	Security Requirements as Code: Example from VeriDevOps Project. RE Workshops Khaled Ismaeel, Alexandr Naumchev, Andrey Sadovykh, Dragos Truscan, Eduard Paul Enoiu, Cristina Seceleanu
2021	J	`jnl`	Specification and automated verification of atomic concurrent real-time transactions. Softw. Syst. Model. Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
2020	—	`conf`	Probabilistic Mission Planning and Analysis for Multi-agent Systems. ISoLA (1) Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist
2020	Misc	`conf`	TAMAA: UPPAAL-based mission planning for autonomous agents. SAC Rong Gu, Eduard Enoiu, Cristina Seceleanu
2020	C	`conf`	UML-based Modeling and Analysis of 5G Service Orchestration. APSEC Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu
2020	C	`conf`	Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents. FMICS Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist
2020	—	`conf`	Verification and Validation of Concurrent and Distributed Systems (Track Summary). ISoLA (1) Marieke Huisman, Cristina Seceleanu
2019	J	`jnl`	A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions. Sensors Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu
2019	B	`conf`	Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems. ENASE Ashalatha Kunnappilly, Simin Cai, Raluca Marinescu, Cristina Seceleanu
2019	Misc	`conf`	Bounded invariance checking of simulink models. SAC Predrag Filipovikj, Guillermo Rodríguez-Navas, Cristina Seceleanu
2019	J	`jnl`	Data aggregation processes: a survey, a taxonomy, and design guidelines. Computing Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
2019	—	`conf`	Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments. ECBS Maghsood Salimi, Amin Majd, Mohammad Loni, Tiberiu Seceleanu, Cristina Seceleanu, Marjan Sirjani, Masoud Daneshtalab, Elena Troubitsyna
2019	B	`conf`	Specifying Industrial System Requirements using Specification Patterns: A Case Study of Evaluation with Practitioners. ENASE Predrag Filipovikj, Cristina Seceleanu
2019	C	`conf`	Statistical Model Checking for Real-Time Database Management Systems: A Case Study. ETFA Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
2019	—	`conf`	Statistical Model Checking of Complex Robotic Systems. SPIN Mohammed Foughali, Félix Ingrand, Cristina Seceleanu
2019	J	`jnl`	Tool-supported design of data aggregation processes in cloud monitoring systems. J. Ambient Intell. Humaniz. Comput. Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson
2019	—	`conf`	Towards a Two-Layer Framework for Verifying Autonomous Vehicles. NFM Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist
2018	J	`jnl`	An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models. CoRR Raluca Marinescu, Predrag Filipovikj, Eduard Paul Enoiu, Jonatan Larsson, Cristina Seceleanu
2018	—	`conf`	Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking. ISoLA (2) Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu
2018	—	`conf`	Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems. ISoLA (3) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
2018	—	`conf`	Formal verification of an autonomous wheel loader by model checking. FormaliSE@ICSE Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist
2018	—	`conf`	ISoLA 2018 - Verification and Validation of Distributed Systems: Track Introduction. ISoLA (3) Cristina Seceleanu
2018	—	`conf`	Message from the CAP Organizing Committee. COMPSAC (1) Cristina Seceleanu, Keiji Kimura
2018	C	`conf`	Power-Aware Allocation of Fault-Tolerant Multirate AUTOSAR Applications. APSEC Nesredin Mahmud, Guillermo Rodríguez-Navas, Hamid Faragardix, Saad Mubeen, Cristina Seceleanu
2018	C	`conf`	Specification and Formal Verification of Atomic Concurrent Real-Time Transactions. PRDC Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
2017	—	`conf`	A Novel Integrated Architecture for Ambient Assisted Living Systems. COMPSAC (1) Ashalatha Kunnappilly, Alexandru Sorici, Imad Alex Awada, Irina Mocanu, Cristina Seceleanu, Adina Magda Florea
2017	J	`jnl`	Analyzing a wind turbine system: From simulation to formal verification. Sci. Comput. Program. Cristina Seceleanu, Morgan E. Johansson, Jagadish Suryadevara, Gaetana Sapienza, Tiberiu Seceleanu, Stein Erik Ellevseth, Paul Pettersson
2017	—	`conf`	Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL. ICST Workshops Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu, Daniel Sundmark
2017	—	`ed.`	Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and - 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings FMICS-AVoCS Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
2017	C	`conf`	Customized real-time data management for automotive systems: A case study. IECON Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
2017	C	`conf`	DAGGTAX: A Taxonomy of Data Aggregation Processes. MEDI Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
2017	—	`conf`	Design of Cloud Monitoring Systems via DAGGTAX: a Case Study. ANT/SEIT Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson
2017	—	`conf`	Message from CORCS-IEESD 2017 Workshop Chairs. COMPSAC (2) Cristina Seceleanu, Detlef Streitferdt, Tiberiu Seceleanu, Philipp Nenninger
2017	—	`conf`	Message from the CAP 2017 Organizing Committee. COMPSAC (1) Cristina Seceleanu, Hironori Kasahara, Tiberiu Seceleanu
2017	J	`jnl`	Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Predrag Filipovikj, Guillermo Rodríguez-Navas, Cristina Seceleanu
2017	Misc	`conf`	SMT-based consistency analysis of industrial systems requirements. SAC Predrag Filipovikj, Guillermo Rodríguez-Navas, Mattias Nyberg, Cristina Seceleanu
2017	B	`conf`	Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic. SEFM Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz
2016	Misc	`conf`	A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation. RTNS Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
2016	—	`conf`	CAMI - An Integrated Architecture Solution for Improving Quality of Life of the Elderly. HealthyIoT Alexandru Sorici, Imad Alex Awada, Ashalatha Kunnappilly, Irina Mocanu, Oana Cramariuc, L. Malicki, Cristina Seceleanu, Adina Florea
2016	—	`conf`	Do We Need an Integrated Framework for Ambient Assisted Living? UCAmI (2) Ashalatha Kunnappilly, Cristina Seceleanu, Maria Lindén
2016	J	`jnl`	Guest editorial foreword. J. Syst. Softw. Cristina Seceleanu, Kenichi Yoshida
2016	B	`conf`	Messge from the ECPE Organizing Committee. COMPSAC Tiberiu Seceleanu, Tiziana Margaria, Rajesh Subramanyan, Michele Bugliesi, Cristina Seceleanu, Bruce M. McMillin
2016	B	`conf`	Pruning Architectural Models of Automotive Embedded Systems via Dependency Analysis. SEAA Raluca Marinescu, Saad Mubeen, Cristina Seceleanu
2016	C	`conf`	ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking. FedCSIS Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz
2016	B	`conf`	Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems. FM Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz, Henrik Lönn
2016	—	`conf`	Towards the verification of temporal data consistency in Real-Time Data Management. CPS Data Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
2015	J	`jnl`	Chapter Three - A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs. Adv. Comput. Raluca Marinescu, Cristina Seceleanu, Hélène Le Guen, Paul Pettersson
2015	B	`conf`	Cyber-physical Systems: Interoperability and Distributed Intelligence. COMPSAC Cristina Seceleanu
2015	B	`conf`	Message from ECpE Symposium Organizing Committee. COMPSAC Tiberiu Seceleanu, Rajesh Subramanyan, Cristina Seceleanu, Bruce M. McMillin
2015	—	`conf`	ReSA: An ontology-based requirement specification language tailored to automotive systems. SIES Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz
2015	—	`conf`	Statistical Analysis of Resource Usage of Embedded Systems Modeled in EAST-ADL. ISVLSI Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu
2014	—	`conf`	Analyzing Industrial Architectural Models by Simulation and Model-Checking. FTSCS Raluca Marinescu, Henrik Kaijser, Marius Mikucionis, Cristina Seceleanu, Henrik Lönn, Alexandre David
2010	—	`conf`	An integrated tool for trade-off analysis of quality-of-service attributes. QUASOSS@MoDELS Leo Hatvani, Anton Jansen, Cristina Seceleanu, Paul Pettersson