Symbolic Simulation of Hybrid Systems. - Ralph-Johan Back; Cristina Cerschi Seceleanu; Jan Westerholm (APSEC, 2002)

Modular Design of Reactive Systems. - Cristina Cerschi Seceleanu; Tiberiu Seceleanu (COMPSAC, 2004)

Contracts and Games in Controller Synthesis for Discrete Systems. - Ralph-Johan Back; Cristina Cerschi Seceleanu (ECBS, 2004)

Synchronization Can Improve Reactive Systems Control and Modularity. - Cristina Cerschi Seceleanu; Tiberiu Seceleanu (J. Univers. Comput. Sci., 2004)

Designing Controllers for Reachability. - Cristina Cerschi Seceleanu (COMPSAC (1), 2005)

Formal Development of Real-Time Priority-Based Schedulers. - Cristina Cerschi Seceleanu (ECBS, 2005)

Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability. - Aida Causevic; Paul Pettersson; Cristina Cerschi Seceleanu (CIMCA/IAWTIC/ISE, 2008)

Panel Description: 40 Years of Software Engineering. - Fevzi Belli; Cristina Cerschi Seceleanu (COMPSAC, 2008)

Message from the CORCS 2008 Workshop Organizers. - Cristina Cerschi Seceleanu; Paul Pettersson; Hans Hansson (COMPSAC, 2008)

CORCS 2008 Workshop Organization. - Cristina Cerschi Seceleanu; Paul Pettersson; Hans Hansson (COMPSAC, 2008)

Embedded Systems Resources: Views on Modeling and Analysis. - Aneta Vulgarakis; Cristina Cerschi Seceleanu (COMPSAC, 2008)

Scheduling Timed Modules for Correct Resource Sharing. - Cristina Cerschi Seceleanu; Paul Pettersson; Hans Hansson (ICST, 2008)

Transaction Level Control for Application Execution on the SegBus Platform. - Tiberiu Seceleanu; Ivica Crnkovic; Cristina Cerschi Seceleanu (COMPSAC (1), 2009)

Formal Semantics of the ProCom Real-Time Component Model. - Aneta Vulgarakis; Jagadish Suryadevara; Jan Carlson; Cristina Cerschi Seceleanu; Paul Pettersson (EUROMICRO-SEAA, 2009)

REMES: A Resource Model for Embedded Systems. - Cristina Cerschi Seceleanu; Aneta Vulgarakis; Paul Pettersson (ICECCS, 2009)

Analyzing a Pattern-Based Model of a Real-Time Turntable System. - Davor Slutej; John Håkansson; Jagadish Suryadevara; Cristina Cerschi Seceleanu; Paul Pettersson (FESCA@ETAPS, 2009)

Bridging the Semantic Gap between Abstract Models of Embedded Systems. - Jagadish Suryadevara; Eun-Young Kang 001; Cristina Cerschi Seceleanu; Paul Pettersson (CBSE, 2010)

Integrating Behavioral Descriptions into a Component Model for Embedded Systems. - Aneta Vulgarakis; Séverine Sentilles; Jan Carlson; Cristina Cerschi Seceleanu (EUROMICRO-SEAA, 2010)

Resource-aware task allocation and scheduling for segbus platform. - Khalid Latif 002; Tiberiu Seceleanu; Cristina Cerschi Seceleanu; Hannu Tenhunen (ICECS, 2010)

Modeling and Reasoning about Service Behaviors and Their Compositions. - Aida Causevic; Cristina Cerschi Seceleanu; Paul Pettersson (ISoLA (2), 2010)

REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems. - Dinko Ivanov; Marin Orlic; Cristina Cerschi Seceleanu; Aneta Vulgarakis (ASE, 2010)

An integrated tool for trade-off analysis of quality-of-service attributes. - Leo Hatvani; Anton Jansen; Cristina Seceleanu; Paul Pettersson (QUASOSS@MoDELS, 2010)

Panel II Formal Methods Applied in Industry: Success Stories, Limitations, Perspectives - Panel Introduction. - Cristina Cerschi Seceleanu (COMPSAC, 2011)

Pattern-Driven Support for Designing Component-Based Architectural Models. - Jagadish Suryadevara; Cristina Cerschi Seceleanu; Paul Pettersson (ECBS, 2011)

ABV - A Verifier for the Architecture Analysis and Design Language (AADL). - Stefan Björnander; Cristina Cerschi Seceleanu; Kristina Lundqvist; Paul Pettersson (ICECCS, 2011)

Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator. - Aneta Vulgarakis; Cristina Cerschi Seceleanu; Paul Pettersson; Ivan Skuliber; Darko Huljenic (QSIC, 2011)

Service based communication for MPSoC platform-SegBus. - Khalid Latif 002; Tiberiu Seceleanu; Cristina Cerschi Seceleanu; Hannu Tenhunen (Microprocess. Microsystems, 2011)

Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems. - Leo Hatvani; Paul Pettersson; Cristina Cerschi Seceleanu (FASE, 2012)

ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT. - Eduard Paul Enoiu; Raluca Marinescu; Cristina Cerschi Seceleanu; Paul Pettersson (ICECCS, 2012)

Checking Correctness of Services Modeled as Priced Timed Automata. - Aida Causevic; Cristina Cerschi Seceleanu; Paul Pettersson (ISoLA (2), 2012)

A Design Tool for Service-oriented Systems. - Eduard Paul Enoiu; Raluca Marinescu; Aida Causevic; Cristina Cerschi Seceleanu (FESCA, 2012)

Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification. - Jagadish Suryadevara; Gaetana Sapienza; Cristina Cerschi Seceleanu; Tiberiu Seceleanu; Stein Erik Ellevseth; Paul Pettersson (FTSCS, 2013)

Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. - Jagadish Suryadevara; Cristina Cerschi Seceleanu; Frédéric Mallet; Paul Pettersson (SEFM, 2013)

An Analyzable Model of Automated Service Negotiation. - Aida Causevic; Cristina Cerschi Seceleanu; Paul Pettersson (SOSE, 2013)

Component Models for Reasoning. - Cristina Cerschi Seceleanu; Ivica Crnkovic (Computer, 2013)

A methodology for formal analysis and verification of EAST-ADL models. - Eun-Young Kang 001; Eduard Paul Enoiu; Raluca Marinescu; Cristina Cerschi Seceleanu; Pierre-Yves Schobbens; Paul Pettersson (Reliab. Eng. Syst. Saf., 2013)

Modeling and analysis of adaptive embedded systems using adaptive task automata. - Leo Hatvani; Cristina Cerschi Seceleanu; Paul Pettersson (SIGBED Rev., 2013)

Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach. - Guillermo Rodríguez-Navas; Cristina Cerschi Seceleanu; Hans Hansson; Mattias Nyberg; Oscar Ljungkrantz; Henrik Lönn (DAC, 2014)

A Model-Based Testing Framework for Automotive Embedded Systems. - Raluca Marinescu; Mehrdad Saadatmand; Alessio Bucaioni; Cristina Cerschi Seceleanu; Paul Pettersson (EUROMICRO-SEAA, 2014)

Analyzing Industrial Architectural Models by Simulation and Model-Checking. - Raluca Marinescu; Henrik Kaijser; Marius Mikucionis; Cristina Seceleanu; Henrik Lönn; Alexandre David (FTSCS, 2014)

Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions. - Aida Causevic; Cristina Cerschi Seceleanu; Paul Pettersson (ISoLA (2), 2014)

Adaptive Task Automata with Earliest-Deadline-First Scheduling. - Leo Hatvani; Alexandre David; Cristina Cerschi Seceleanu; Paul Pettersson (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Cyber-physical Systems: Interoperability and Distributed Intelligence. - Cristina Seceleanu (COMPSAC, 2015)

Message from ECpE Symposium Organizing Committee. - Tiberiu Seceleanu; Rajesh Subramanyan; Cristina Seceleanu; Bruce M. McMillin (COMPSAC, 2015)

Statistical Analysis of Resource Usage of Embedded Systems Modeled in EAST-ADL. - Raluca Marinescu; Eduard Paul Enoiu; Cristina Seceleanu (ISVLSI, 2015)

ReSA: An ontology-based requirement specification language tailored to automotive systems. - Nesredin Mahmud; Cristina Seceleanu; Oscar Ljungkrantz (SIES, 2015)

Chapter Three - A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs. - Raluca Marinescu; Cristina Seceleanu; Hélène Le Guen; Paul Pettersson (Adv. Comput., 2015)

Foreword. - Cristina Cerschi Seceleanu; Paul Pettersson (J. Log. Algebraic Methods Program., 2015)

Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain. - Predrag Filipovikj; Trevor Jagerfield; Mattias Nyberg; Guillermo Rodríguez-Navas; Cristina Cerschi Seceleanu (COMPSAC Workshops, 2016)

Messge from the ECPE Organizing Committee. - Tiberiu Seceleanu; Tiziana Margaria; Rajesh Subramanyan; Michele Bugliesi; Cristina Seceleanu; Bruce M. McMillin (COMPSAC, 2016)

Towards the verification of temporal data consistency in Real-Time Data Management. - Simin Cai; Barbara Gallina; Dag Nyström; Cristina Seceleanu (CPS Data, 2016)

Pruning Architectural Models of Automotive Embedded Systems via Dependency Analysis. - Raluca Marinescu; Saad Mubeen; Cristina Seceleanu (SEAA, 2016)

ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking. - Nesredin Mahmud; Cristina Seceleanu; Oscar Ljungkrantz (FedCSIS, 2016)

Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems. - Predrag Filipovikj; Nesredin Mahmud; Raluca Marinescu; Cristina Seceleanu; Oscar Ljungkrantz; Henrik Lönn (FM, 2016)

CAMI - An Integrated Architecture Solution for Improving Quality of Life of the Elderly. - Alexandru Sorici; Imad Alex Awada; Ashalatha Kunnappilly; Irina Mocanu; Oana Cramariuc; L. Malicki; Cristina Seceleanu; Adina Florea (HealthyIoT, 2016)

A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation. - Simin Cai; Barbara Gallina; Dag Nyström; Cristina Seceleanu (RTNS, 2016)

Do We Need an Integrated Framework for Ambient Assisted Living? - Ashalatha Kunnappilly; Cristina Seceleanu; Maria Lindén (UCAmI (2), 2016)

Guest editorial foreword. - Cristina Seceleanu; Kenichi Yoshida (J. Syst. Softw., 2016)

Design of Cloud Monitoring Systems via DAGGTAX: a Case Study. - Simin Cai; Barbara Gallina; Dag Nyström; Cristina Seceleanu; Alf Larsson (ANT/SEIT, 2017)

A Novel Integrated Architecture for Ambient Assisted Living Systems. - Ashalatha Kunnappilly; Alexandru Sorici; Imad Alex Awada; Irina Mocanu; Cristina Seceleanu; Adina Magda Florea (COMPSAC (1), 2017)

Message from the CAP 2017 Organizing Committee. - Cristina Seceleanu; Hironori Kasahara; Tiberiu Seceleanu (COMPSAC (1), 2017)

Message from CORCS-IEESD 2017 Workshop Chairs. - Cristina Seceleanu; Detlef Streitferdt; Tiberiu Seceleanu; Philipp Nenninger (COMPSAC (2), 2017)

Analyzing ambient assisted living solutions: A research perspective. - Ashalatha Kunnappilly; Axel Legay; Tiziana Margaria; Cristina Cerschi Seceleanu; Bernhard Steffen; Louis-Marie Traonouez (DTIS, 2017)

Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL. - Raluca Marinescu; Eduard Paul Enoiu; Cristina Seceleanu; Daniel Sundmark (ICST Workshops, 2017)

Customized real-time data management for automotive systems: A case study. - Simin Cai; Barbara Gallina; Dag Nyström; Cristina Seceleanu (IECON, 2017)

DAGGTAX: A Taxonomy of Data Aggregation Processes. - Simin Cai; Barbara Gallina; Dag Nyström; Cristina Seceleanu (MEDI, 2017)

SMT-based consistency analysis of industrial systems requirements. - Predrag Filipovikj; Guillermo Rodríguez-Navas; Mattias Nyberg; Cristina Seceleanu (SAC, 2017)

Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic. - Nesredin Mahmud; Cristina Seceleanu; Oscar Ljungkrantz (SEFM, 2017)

Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience. - Predrag Filipovikj; Guillermo Rodríguez-Navas; Cristina Seceleanu (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2017)

Analyzing a wind turbine system: From simulation to formal verification. - Cristina Seceleanu; Morgan E. Johansson; Jagadish Suryadevara; Gaetana Sapienza; Tiberiu Seceleanu; Stein Erik Ellevseth; Paul Pettersson (Sci. Comput. Program., 2017)

Power-Aware Allocation of Fault-Tolerant Multirate AUTOSAR Applications. - Nesredin Mahmud; Guillermo Rodríguez-Navas; Hamid Faragardix; Saad Mubeen; Cristina Seceleanu (APSEC, 2018)

Message from the CAP Organizing Committee. - Cristina Seceleanu; Keiji Kimura (COMPSAC (1), 2018)

Formal verification of an autonomous wheel loader by model checking. - Rong Gu; Raluca Marinescu; Cristina Seceleanu; Kristina Lundqvist (FormaliSE@ICSE, 2018)

Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems. - Simin Cai; Barbara Gallina; Dag Nyström; Cristina Seceleanu (ISoLA (3), 2018)

Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking. - Ashalatha Kunnappilly; Raluca Marinescu; Cristina Seceleanu (ISoLA (2), 2018)

ISoLA 2018 - Verification and Validation of Distributed Systems: Track Introduction. - Cristina Seceleanu (ISoLA (3), 2018)

Specification and Formal Verification of Atomic Concurrent Real-Time Transactions. - Simin Cai; Barbara Gallina; Dag Nyström; Cristina Seceleanu (PRDC, 2018)

An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models. - Raluca Marinescu; Predrag Filipovikj; Eduard Paul Enoiu; Jonatan Larsson; Cristina Seceleanu (CoRR, 2018)

Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments. - Maghsood Salimi; Amin Majd; Mohammad Loni; Tiberiu Seceleanu; Cristina Seceleanu; Marjan Sirjani; Masoud Daneshtalab; Elena Troubitsyna (ECBS, 2019)

Specifying Industrial System Requirements using Specification Patterns: A Case Study of Evaluation with Practitioners. - Predrag Filipovikj; Cristina Seceleanu (ENASE, 2019)

Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems. - Ashalatha Kunnappilly; Simin Cai; Raluca Marinescu; Cristina Seceleanu (ENASE, 2019)

Statistical Model Checking for Real-Time Database Management Systems: A Case Study. - Simin Cai; Barbara Gallina; Dag Nyström; Cristina Seceleanu (ETFA, 2019)

Towards a Two-Layer Framework for Verifying Autonomous Vehicles. - Rong Gu; Raluca Marinescu; Cristina Seceleanu; Kristina Lundqvist (NFM, 2019)

Bounded invariance checking of simulink models. - Predrag Filipovikj; Guillermo Rodríguez-Navas; Cristina Seceleanu (SAC, 2019)

Statistical Model Checking of Complex Robotic Systems. - Mohammed Foughali; Félix Ingrand; Cristina Seceleanu (SPIN, 2019)

Data aggregation processes: a survey, a taxonomy, and design guidelines. - Simin Cai; Barbara Gallina; Dag Nyström; Cristina Seceleanu (Computing, 2019)

Tool-supported design of data aggregation processes in cloud monitoring systems. - Simin Cai; Barbara Gallina; Dag Nyström; Cristina Seceleanu; Alf Larsson (J. Ambient Intell. Humaniz. Comput., 2019)

A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions. - Ashalatha Kunnappilly; Raluca Marinescu; Cristina Seceleanu (Sensors, 2019)

UML-based Modeling and Analysis of 5G Service Orchestration. - Ashalatha Kunnappilly; Peter Backeman; Cristina Seceleanu (APSEC, 2020)

Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents. - Rong Gu; Eduard Enoiu; Cristina Seceleanu; Kristina Lundqvist (FMICS, 2020)

Probabilistic Mission Planning and Analysis for Multi-agent Systems. - Rong Gu; Eduard Enoiu; Cristina Seceleanu; Kristina Lundqvist (ISoLA (1), 2020)

Verification and Validation of Concurrent and Distributed Systems (Track Summary). - Marieke Huisman; Cristina Seceleanu (ISoLA (1), 2020)

TAMAA: UPPAAL-based mission planning for autonomous agents. - Rong Gu; Eduard Enoiu; Cristina Seceleanu (SAC, 2020)

Control as a Service - Intelligent Networking. - Tiberiu Seceleanu; Ning Xiong 001; Cristina Seceleanu (COMPSAC, 2021)

From UML Modeling to UPPAAL Model checking of 5G Dynamic Service Orchestration. - Ashalatha Kunnappilly; Peter Backeman; Cristina Seceleanu (ECBS, 2021)

Assured Cloud Platforms for Industrial Cyber-Physical Systems: The ACICS Approach. - Cristina Seceleanu; Eduard Paul Enoiu; Jan Carlson; Kristina Lundqvist; Séverine Sentilles; Moris Behnam; Gabriele Capannini (ECBS, 2021)

Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles. - Rong Gu; Cristina Seceleanu; Eduard Enoiu; Kristina Lundqvist (FM, 2021)

Security Requirements as Code: Example from VeriDevOps Project. - Khaled Ismaeel; Alexandr Naumchev; Andrey Sadovykh; Dragos Truscan; Eduard Paul Enoiu; Cristina Seceleanu (RE Workshops, 2021)

Specification and automated verification of atomic concurrent real-time transactions. - Simin Cai; Barbara Gallina; Dag Nyström; Cristina Seceleanu (Softw. Syst. Model., 2021)

Choosing a Test Automation Framework for Programmable Logic Controllers in CODESYS Development Environment. - Mikael Ebrahimi Salari; Eduard Paul Enoiu; Wasif Afzal; Cristina Seceleanu (ICST Workshops, 2022)

Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary). - Marieke Huisman; Cristina Seceleanu (ISoLA (1), 2022)

Special issue on Ambient Intelligence in the IoT: Convergence Trends and Challenges (AmIIoT). - Iván González 001; José Gabriel Urzaiz Lares; Cristina Seceleanu (J. Ambient Intell. Humaniz. Comput., 2022)

Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems. - Rong Gu; Peter Gjøl Jensen; Cristina Seceleanu; Eduard Enoiu; Kristina Lundqvist (Sci. Comput. Program., 2022)

Verifiable strategy synthesis for multiple autonomous agents: a scalable approach. - Rong Gu; Peter Gjøl Jensen; Danny Bøgsted Poulsen; Cristina Seceleanu; Eduard Enoiu; Kristina Lundqvist (Int. J. Softw. Tools Technol. Transf., 2022)

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 (APSEC, 2023)

Building a Digital Twin Framework for Dynamic and Robust Distributed Systems. - Tiberiu Seceleanu; Ning Xiong 001; Eduard Paul Enoiu; Cristina Seceleanu (ECBS, 2023)

Experimental Evaluation of Callback Behavior in ROS 2 Executors. - Lukas Johannes Dust; Emil Persson; Mikael Ekström; Saad Mubeen; Cristina Seceleanu; Rong Gu (ETFA, 2023)

Pattern-Based Verification of ROS 2 Nodes Using UPPAAL. - Lukas Johannes Dust; Rong Gu; Cristina Seceleanu; Mikael Ekström; Saad Mubeen (FMICS, 2023)

An Experiment in Requirements Engineering and Testing using EARS Notation for PLC Systems. - Mikael Ebrahimi Salari; Eduard Paul Enoiu; Wasif Afzal; Cristina Seceleanu (ICSTW, 2023)

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 (SAC, 2023)

Supporting 5G service orchestration with formal verification. - Peter Backeman; Ashalatha Kunnappilly; Cristina Seceleanu (Comput. Sci. Inf. Syst., 2023)

Smart Assistants for Enhancing System Security and Resilience. - Andrey Sadovykh; Dragos Truscan; Martin A. Schneider; Wissam Mallouli; Ana R. Cavalli; Cristina Seceleanu; Tanwir Ahmad (FedCSIS (Communication Papers), 2024)

UPPAAL-Based Modeling and Verification of ROS 2 Multi-threaded Execution and Operating System Reservations. - Lukas Johannes Dust; Rong Gu; Cristina Seceleanu; Mikael Ekström; Saad Mubeen (FMICS, 2024)

SIMPPAAL: A Framework for Statistical Model Checking of Industrial Simulink Models. - Predrag Filipovikj; Nesredin Mahmud; Cristina Seceleanu; Guillermo Rodríguez-Navas; Oscar Ljungkrantz; Henrik Lönn (ISoLA (3), 2024)

Railway Switch Control Modeling in European Train Control System Level 3. - Francesco Flammini; Stefano Marrone 001; Roberto Nardone; Usman Sanwal; Cristina Seceleanu; Laura Verde; Valeria Vittorini (ISoLA (5), 2024)

Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary). - Marieke Huisman; Stephan Merz; Cristina Seceleanu (ISoLA (3), 2024)

A Model-Based Methodology for Automated Verification of ROS 2 Systems. - Lukas Johannes Dust; Mikael Ekström; Rong Gu; Saad Mubeen; Cristina Seceleanu (RoSE, 2024)

Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal Stratego. - Muhammad Naeem 011; Rong Gu; Cristina Seceleanu; Kim Guldstrand Larsen; Brian Nielsen; Michele Albano (TASE, 2024)

Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions. - Rong Gu; Eduard Baranov; Afshin Ameri; Cristina Seceleanu; Eduard Paul Enoiu; Baran Çürüklü; Axel Legay; Kristina Lundqvist (ACM Trans. Softw. Eng. Methodol., 2024)

Verifying ROS-Based Applications Using Timed and Stochastic Timed Automata. - Peter Backeman; Cristina Seceleanu (Rebeca for Actor Analysis in Action, 2025)

Wang at MDU in a Nutshell. - Hans Hansson; Christer Norström; Cristina Seceleanu (Real Time and Such, 2025)

A Quantum-Like Intellect: Celebrating the Profound Impact of Tiziana Margaria, Professor and Friend. - Cristina Seceleanu (The Combined Power of Research, Education, and Dissemination, 2025)

A Conformal Prediction-Based Framework for CPU Load Forecasting: A Black-Box Approach. - Edin Jelacic; Cristina Seceleanu; Peter Backeman; Ning Xiong 001; Tiberiu Seceleanu; Axel Jantsch (COMPSAC, 2025)

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 (COMPSAC, 2025)

Formal Methods in Industry. - 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 001; Cristina Seceleanu; et al. (Formal Aspects Comput., 2025)

A model-based approach to automation of formal verification of ROS 2-based systems. - Lukas Johannes Dust; Rong Gu; Saad Mubeen; Mikael Ekström; Cristina Seceleanu (Frontiers Robotics AI, 2025)

Machine learning-based cache miss prediction. - Edin Jelacic; Cristina Seceleanu; Ning Xiong 001; Peter Backeman; Sharifeh Yaghoobi; Tiberiu Seceleanu (Int. J. Softw. Tools Technol. Transf., 2025)

Preface to the special issue on engineering of computer-based systems. - Jan Kofron; Tiziana Margaria; Cristina Seceleanu (Int. J. Softw. Tools Technol. Transf., 2025)

An Empirical Investigation of Requirements Engineering and Testing Utilizing EARS Notation in PLC Programs. - Mikael Ebrahimi Salari; Eduard Paul Enoiu; Wasif Afzal; Cristina Seceleanu (SN Comput. Sci., 2025)

Contract-based Verification of Digital Twins. - Muhammad Naeem; Cristina Seceleanu (CoRR, 2025)

Pattern-based verification of ROS 2 applications using UPPAAL. - Lukas Johannes Dust; Rong Gu; Cristina Seceleanu; Mikael Ekström; Saad Mubeen (Int. J. Softw. Tools Technol. Transf., 2025)