Publications
Number of publications matching the search criterion: 143 (showing 1 - 50)
Deliverable (1)
Automated Protection and Prevention to Meet Security Requirements in DevOps Environments D1.3 (Mar 2021) Gunnar Widforss, Olga Hendel, Eduard Paul Enoiu, Dragos Truscan , Andrey Sadovykh , Alessandra Bagnato , Rosa Iglesias , Cristina Seceleanu, Damir Bilic
Book (4)
Journal of Systems and Software: COMPSAC Special Issue (Nov 2016) Cristina Seceleanu, Kenichi Yoshida
Journal of Logical and Algebraic Methods in Programming: NWPT 2011 Special Issue (Jan 2015) Cristina Seceleanu, Paul Pettersson Special Issue: The 23rd Nordic Workshop on Programming Theory (NWPT 2011) (JLAP-NWPT)
Real-Time Systems (Feb 2010) Hans Hansson, Jan Carlson, Damir Isovic, Kristina Lundqvist, Thomas Nolte, Martin Ouimet , Paul Pettersson, Sasikumar Punnekkat, Cristina Seceleanu
A Methodology for Constructing Correct Reactive Systems (Jan 2005) Cristina Seceleanu
Book chapter (1)
A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs (Jul 2015) Raluca Marinescu, Cristina Seceleanu, Helene Le Guen , Paul Pettersson Advances in Computers, vol.98 (AC)
Journal article (19)
Supporting 5G Service Orchestration with Formal Verification (Mar 2023) Peter Backeman, Ashalatha Kunnappilly, Cristina Seceleanu Computer Science and Information Systems (ComSIS,10(1))
Correctness-Guaranteed Strategy Synthesis and Compression for Multi-Agent Autonomous Systems (Sep 2022) Rong Gu, Peter Jensen , Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist Science of Computer Programming (SCICO-223)
Verifiable Strategy Synthesis for Multiple Autonomous Agents: A Scalable Approach (Jun 2022) Rong Gu, Peter Jensen , Danny Poulsen , Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist International Journal on Software Tools for Technology Transfer (STTT)
Specification and Automated Verification of Atomic Concurrent Real-time Transactions (Jul 2020) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu Software and Systems Modeling (SoSym)
Model Testing of Complex Embedded Systems using EAST-ADL and Energy-Aware Mutations (Feb 2020) Eduard Paul Enoiu, Cristina Seceleanu MDPI Designs Journal (MDPI Designs)
A Model-Checking-Based Framework For Analyzing Ambient Assisted Living Solutions (Nov 2019) Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu Sensors Special Issue IoT Sensors in E-Health (Sensors)
Data Aggregation Processes: A Survey, A Taxonomy, and Design Guidelines (Nov 2018) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu Computing (Computing.)
Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience (Oct 2018) Predrag Filipovikj, Guillermo Rodriguez-Navas, Cristina Seceleanu Electronic Communications of the EASST Vol. 75 (ECEASST)
Tool-Supported Design of Data Aggregation Processes in Cloud Monitoring Systems (Jan 2018) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson Journal of Ambient Intelligence and Humanized Computing (JAIHC)
Automated SMT-based Consistency Checking of Industrial Critical Requirements (Jan 2018) Predrag Filipovikj, Guillermo Rodriguez-Navas, Mattias Nyberg , Cristina Seceleanu Applied Computing Review (ACR)
Analyzing a wind turbine system: From simulation to formal verification (Oct 2016) Cristina Seceleanu, Morgan Johansson , Jagadish Suryadevara, Gaetana Sapienza, Tiberiu Seceleanu, Stein-Erik Ellevseth , Paul Pettersson Science of Computer Programming, Elsevier (SCICO)
Adaptive Task Automata with Earliest-Deadline-First Scheduling (Nov 2014) Leo Hatvani, Alexandre David , Cristina Seceleanu, Paul Pettersson Electronic Communications of the EASST Volume 70: Automated Verification of Critical Systems (EASST'14)
Component Models for Reasoning (Nov 2013) Cristina Seceleanu, Ivica Crnkovic The Computer Journal (Comput. J.)
A methodology for formal analysis and verification of EAST-ADL models (Jul 2013) Eun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Pierre Yves Schnobbens , Paul Pettersson Reliability Engineering & System Safety, vol. 120 (RE&SSvol120)
A Design Tool for Service-oriented Systems (May 2013) Eduard Paul Enoiu, Raluca Marinescu, Aida Causevic, Cristina Seceleanu International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2012)
Modeling and Analysis of Adaptive Embedded Systems using Adaptive Task Automata (Feb 2013) Leo Hatvani, Cristina Seceleanu, Paul Pettersson Special Issue on the 4th Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2012) (SIGBEDRevV10N1)
A Formal Analysis Framework for AADL (Nov 2011) Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson The Journal of Science and Technology
Service based communication for MPSoC platform-SegBus (Nov 2011) Khalid Latif , Tiberiu Seceleanu, Cristina Seceleanu, Hannu Tenhunen Microprocessors and Microsystems
Synchronization Can Improve Reactive Systems Control and Modularity (Oct 2004) Cristina Seceleanu, Tiberiu Seceleanu Journal of Universal Computer Science (JUCS)
Conference/Workshop Paper (86)
Automating Test Generation of Industrial Control Software through a PLC-to-Python Translation Framework and Pynguin (Feb 2024) Mikael Ebrahimi Salari, Eduard Paul Enoiu, Cristina Seceleanu, Wasif Afzal 30th Asia-Pacific Software Engineering Conference (APSEC2023)
Pattern-Based Verification of ROS 2 Nodes using UPPAAL (Sep 2023) Lukas Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen FMICS 2023 - International Conference on Formal Methods for Industrial Critical Systems (FMICS 2023)
Experimental Evaluation of Callback Behavior in ROS 2 Executors (Sep 2023) Lukas Dust, Emil Persson, Mikael Ekström, Saad Mubeen, Cristina Seceleanu, Rong Gu 28th International Conference on Emerging Technologies and Factory Automation (ETFA 2023)
An Experiment in Requirements Engineering and Testing using EARS Notation for PLC Systems (May 2023) Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu 19th Workshop on Advances in Model Based Testing (A-MOST 2023)
PyLC: A Framework for Transforming and Validating PLC Software using Python and Pynguin Test Generator (Apr 2023) Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu SAC2023, The 38th ACM/SIGAPP Symposium On Applied Computing (SAC 2023)
Choosing a Test Automation Framework for Programmable Logic Controllers in CODESYS Development Environment (May 2022) Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu NEXTA 2022 - 5th International Workshop on the Next Level of Test Automation (NEXTA)
Model Checking Collision Avoidance of Nonlinear Autonomous Vehicle Models (Nov 2021) Rong Gu, Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist Formal Methods 2021 (FM'21)
From UML Modeling to UPPAAL Model checking of 5G Dynamic Service Orchestration (May 2021) Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu 7th international Conference on the Engineering of Computer Based Systems (ECBS 2021)
Assured Cloud Platforms for Industrial Cyber-Physical Systems: The ACICS Approach (Apr 2021) Cristina Seceleanu, Eduard Paul Enoiu, Moris Behnam, Gabriele Capannini, Jan Carlson, Kristina Lundqvist, Séverine Sentilles 7th international Conference on the Engineering of Computer Based Systems (ECBS 2021)
UML-based Modeling and Analysis of 5G Service Orchestration (Nov 2020) Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu THE 27TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2020)
Specification and Automated Verification of Atomic Concurrent Real-time Transactions (Oct 2020) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS '20)
Verification and Validation of Concurrent and Distributed Systems (Track Summary) (Oct 2020) Marieke Huisman , Cristina Seceleanu 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020)
Probabilistic Mission Planning and Analysis for Multi-agent Systems (Oct 2020) Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Kristina Lundqvist 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020)
Verifiable and Scalable Mission-Plan Synthesis for Multiple Autonomous Agents (Sep 2020) -- Best Paper Award-- Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Kristina Lundqvist 25TH INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS)
TAMAA: UPPAAL-based Mission Planning for Autonomous Agents (Apr 2020) Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu The 35th ACM/SIGAPP Symposium On Applied Computing (SAC2020)
Statistical Model Checking of Complex Robotic Systems (Oct 2019) Mohammed Foughali , Félix Ingrand , Cristina Seceleanu 26th International Symposium on Model Checking of Software (SPIN 2019)
Statistical Model Checking for Real-Time Database Management Systems: A Case Study (Sep 2019) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu The 24th IEEE Conference on Emerging Technologies and Factory Automation (ETFA2019)
Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments (Sep 2019) -- Best Paper Award-- Maghsood Salimi, Amin Majd , Mohammad Loni, Tiberiu Seceleanu, Cristina Seceleanu, Marjan Sirjani, Masoud Daneshtalab, Elena Troubitsyna 6th Conference on the Engineering of Computer Based Systems (ECBS 2019)
Towards a Two-layer Framework for Verifying Autonomous Vehicles (May 2019) Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist 11th Annual NASA Formal Methods Symposium (NFM 2019)
Specifying Industrial System Requirements using Specification Patterns: A Case Study of Evaluation with Practitioners (May 2019) Predrag Filipovikj, Cristina Seceleanu 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019)
Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems (May 2019) Ashalatha Kunnappilly, Simin Cai, Cristina Seceleanu, Raluca Marinescu 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019)
Bounded Invariance Checking of Simulink Models (Apr 2019) Predrag Filipovikj, Guillermo Rodriguez-Navas, Cristina Seceleanu The 34th ACM/SIGAPP Symposium On Applied Computing (SAC'19)
Specification and Formal Verification of Atomic Concurrent Real-Time Transactions (Dec 2018) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu The 23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2018)
Power-aware Allocation of Fault-tolerant Multi-rate AUTOSAR Applications (Dec 2018) Nesredin Mahmud, Guillermo Rodriguez-Navas, Hamid Reza Faragardi, Saad Mubeen, Cristina Seceleanu 25th Asia-Pacific Software Engineering Conference (APSEC'18)
Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems (Nov 2018) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018)
