Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 131 (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 (16)

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 (80)

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)

Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking (Oct 2018)
Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu
8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018)

Formal Verification of an Autonomous Wheel Loader by Model Checking (Jun 2018)
Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist
FORMAL METHODS IN SOFTWARE ENGINEERING (FormaliSE 2018)

An end- user perspective on the CAMI Ambient and Assisted Living Project (Mar 2018)
Imad Alex Awada , Oana Cramariuc , Irina Mocanu , Cristina Seceleanu, Ashalatha Kunnappilly, Adina Magda Florea
12th annual International Technology, Education and Development Conference (INTED 2018)

An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models (Oct 2017)
Raluca Marinescu, Predrag Filipovikj, Eduard Paul Enoiu, Jonatan Larsson , Cristina Seceleanu
29th Nordic Workshop on Programming Theory (NWPT'17)

Customized Real-Time Data Management for Automotive Systems: A Case Study (Oct 2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
43rd Annual Conference of the IEEE Industrial Electronics Society (IECON 2017)

DAGGTAX: A Taxonomy of Data Aggregation Processes (Oct 2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
7th International Conference on Model and Data Engineering (MEDI 2017)

Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic (Aug 2017)
Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz
Software Engineering and Formal Methods (SEFM)

A Novel Integrated Architecture for Ambient Assisted Living Systems (Jul 2017)
Ashalatha Kunnappilly, Alexandru Sorici , Imad Alex Awada , Irina Mocanu , Cristina Seceleanu, Adina Magda Florea
The 41st IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2017)

Design of Cloud Monitoring Systems via DAGGTAX: a Case Study (May 2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson
The 8th International Conference on Ambient Systems, Networks and Technologies (ANT 2017)

Items per page: