| 2026 | FM | Efficient Multi-level Mine Dewatering Using Uppaal Stratego. | Muhammad Naeem, Cristina Seceleanu, Alf J. Isaksson, Tiberiu Seceleanu |
| 2025 | COMPSAC | A Conformal Prediction-Based Framework for CPU Load Forecasting: A Black-Box Approach. | Edin Jelacic, Cristina Seceleanu, Peter Backeman, Ning Xiong, Tiberiu Seceleanu, Axel Jantsch |
| 2025 | COMPSAC | PyLC+: A Scalable Python Framework for Automated Translation and Testing of Industrial PLC Programs. | Mikael Ebrahimi Salari, Eduard Paul Enoiu, Alessio Bucaioni, Wasif Afzal, Cristina Seceleanu |
| 2025 | ICECCS | Contract-Based Verification of Digital Twins. | Muhammad Naeem, Cristina Seceleanu |
| 2024 | FedCSIS | Smart Assistants for Enhancing System Security and Resilience. | Andrey Sadovykh, Dragos Truscan, Martin A. Schneider, Wissam Mallouli, Ana R. Cavalli, Cristina Seceleanu, Tanwir Ahmad |
| 2024 | FMICS | UPPAAL-Based Modeling and Verification of ROS 2 Multi-threaded Execution and Operating System Reservations. | Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekstrm, Saad Mubeen |
| 2024 | ISoLA | SIMPPAAL: A Framework for Statistical Model Checking of Industrial Simulink Models. | Predrag Filipovikj, Nesredin Mahmud, Cristina Seceleanu, Guillermo Rodrguez-Navas, Oscar Ljungkrantz, Henrik Lnn |
| 2024 | ISoLA | Railway Switch Control Modeling in European Train Control System Level 3. | Francesco Flammini, Stefano Marrone, Roberto Nardone, Usman Sanwal, Cristina Seceleanu, Laura Verde, Valeria Vittorini |
| 2024 | ISoLA | Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary). | Marieke Huisman, Stephan Merz, Cristina Seceleanu |
| 2024 | TASE | Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal Stratego. | Muhammad Naeem, Rong Gu, Cristina Seceleanu, Kim Guldstrand Larsen, Brian Nielsen, Michele Albano |
| 2023 | APSEC | Automating Test Generation of Industrial Control Software Through a PLC-to-Python Translation Framework and Pynguin. | Mikael Ebrahimi Salari, Eduard Paul Enoiu, Cristina Seceleanu, Wasif Afzal, Filip Sebek |
| 2023 | ETFA | Experimental Evaluation of Callback Behavior in ROS 2 Executors. | Lukas Johannes Dust, Emil Persson, Mikael Ekstrm, Saad Mubeen, Cristina Seceleanu, Rong Gu |
| 2023 | FMICS | Pattern-Based Verification of ROS 2 Nodes Using UPPAAL. | Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekstrm, Saad Mubeen |
| 2023 | ICST | An Experiment in Requirements Engineering and Testing using EARS Notation for PLC Systems. | Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu |
| 2023 | SAC | PyLC: A Framework for Transforming and Validating PLC Software using Python and Pynguin Test Generator. | Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu |
| 2022 | ICST | Choosing a Test Automation Framework for Programmable Logic Controllers in CODESYS Development Environment. | Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu |
| 2022 | ISoLA | Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary). | Marieke Huisman, Cristina Seceleanu |
| 2021 | COMPSAC | Control as a Service - Intelligent Networking. | Tiberiu Seceleanu, Ning Xiong, Cristina Seceleanu |
| 2021 | FM | Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles. | Rong Gu, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist |
| 2021 | RE | Security Requirements as Code: Example from VeriDevOps Project. | Khaled Ismaeel, Alexandr Naumchev, Andrey Sadovykh, Dragos Truscan, Eduard Paul Enoiu, Cristina Seceleanu |
| 2020 | APSEC | UML-based Modeling and Analysis of 5G Service Orchestration. | Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu |
| 2020 | FMICS | Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents. | Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist |
| 2020 | ISoLA | Probabilistic Mission Planning and Analysis for Multi-agent Systems. | Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist |
| 2020 | ISoLA | Verification and Validation of Concurrent and Distributed Systems (Track Summary). | Marieke Huisman, Cristina Seceleanu |
| 2020 | SAC | TAMAA: UPPAAL-based mission planning for autonomous agents. | Rong Gu, Eduard Enoiu, Cristina Seceleanu |
| 2019 | ENASE | Specifying Industrial System Requirements using Specification Patterns: A Case Study of Evaluation with Practitioners. | Predrag Filipovikj, Cristina Seceleanu |
| 2019 | ENASE | Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems. | Ashalatha Kunnappilly, Simin Cai, Raluca Marinescu, Cristina Seceleanu |
| 2019 | ETFA | Statistical Model Checking for Real-Time Database Management Systems: A Case Study. | Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu |
| 2019 | SAC | Bounded invariance checking of simulink models. | Predrag Filipovikj, Guillermo Rodrguez-Navas, Cristina Seceleanu |
| 2018 | APSEC | Power-Aware Allocation of Fault-Tolerant Multirate AUTOSAR Applications. | Nesredin Mahmud, Guillermo Rodrguez-Navas, Hamid Faragardix, Saad Mubeen, Cristina Seceleanu |
| 2018 | COMPSAC | Message from the CAP Organizing Committee. | Cristina Seceleanu, Keiji Kimura |
| 2018 | ICSE | Formal verification of an autonomous wheel loader by model checking. | Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist |
| 2018 | ISoLA | Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems. | Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu |
| 2018 | ISoLA | Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking. | Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu |
| 2018 | ISoLA | ISoLA 2018 - Verification and Validation of Distributed Systems: Track Introduction. | Cristina Seceleanu |
| 2018 | PRDC | Specification and Formal Verification of Atomic Concurrent Real-Time Transactions. | Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu |
| 2017 | ANT | Design of Cloud Monitoring Systems via DAGGTAX: a Case Study. | Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu, Alf Larsson |
| 2017 | COMPSAC | A Novel Integrated Architecture for Ambient Assisted Living Systems. | Ashalatha Kunnappilly, Alexandru Sorici, Imad Alex Awada, Irina Mocanu, Cristina Seceleanu, Adina Magda Florea |
| 2017 | COMPSAC | Message from the CAP 2017 Organizing Committee. | Cristina Seceleanu, Hironori Kasahara, Tiberiu Seceleanu |
| 2017 | COMPSAC | Message from CORCS-IEESD 2017 Workshop Chairs. | Cristina Seceleanu, Detlef Streitferdt, Tiberiu Seceleanu, Philipp Nenninger |
| 2017 | ICST | Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL. | Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu, Daniel Sundmark |
| 2017 | IECON | Customized real-time data management for automotive systems: A case study. | Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu |
| 2017 | MEDI | DAGGTAX: A Taxonomy of Data Aggregation Processes. | Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu |
| 2017 | SAC | SMT-based consistency analysis of industrial systems requirements. | Predrag Filipovikj, Guillermo Rodrguez-Navas, Mattias Nyberg, Cristina Seceleanu |
| 2017 | SEFM | Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic. | Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz |
| 2016 | COMPSAC | Messge from the ECPE Organizing Committee. | Tiberiu Seceleanu, Tiziana Margaria, Rajesh Subramanyan, Michele Bugliesi, Cristina Seceleanu, Bruce M. McMillin |
| 2016 | FedCSIS | ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking. | Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz |
| 2016 | FM | Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems. | Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz, Henrik Lnn |
| 2016 | RTNS | A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation. | Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu |
| 2015 | COMPSAC | Cyber-physical Systems: Interoperability and Distributed Intelligence. | Cristina Seceleanu |
| 2015 | COMPSAC | Message from ECpE Symposium Organizing Committee. | Tiberiu Seceleanu, Rajesh Subramanyan, Cristina Seceleanu, Bruce M. McMillin |
| 2010 | MODELS | An integrated tool for trade-off analysis of quality-of-service attributes. | Leo Hatvani, Anton Jansen, Cristina Seceleanu, Paul Pettersson |