default search action

combined dblp search
author search
venue search
publication search

ask others

Cristina Cerschi Seceleanu

Cristina Seceleanu

> Home > Persons

Person information

affiliation: Mälardalen University, Västeras, Sweden

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BeekCCGGHKLLR0S25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BeekCCGGHKLLR0S25
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:
Formal Methods in Industry. Formal Aspects Comput. 37(1): 7:1-7:38 (2025)
[j25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/firai/DustGMES25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/firai/DustGMES25
Lukas Johannes Dust, Rong Gu, Saad Mubeen, Mikael Ekström, Cristina Seceleanu:
A model-based approach to automation of formal verification of ROS 2-based systems. Frontiers Robotics AI 12 (2025)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/sncs/SalariEAS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sncs/SalariEAS25
Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu:
An Empirical Investigation of Requirements Engineering and Testing Utilizing EARS Notation in PLC Programs. SN Comput. Sci. 6(4): 314 (2025)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/KofronMS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/KofronMS25
Jan Kofron, Tiziana Margaria, Cristina Seceleanu:
Preface to the special issue on engineering of computer-based systems. Int. J. Softw. Tools Technol. Transf. 27(1): 1-3 (2025)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/JelacicSXBYS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/JelacicSXBYS25
Edin Jelacic, Cristina Seceleanu, Ning Xiong, Peter Backeman, Sharifeh Yaghoobi, Tiberiu Seceleanu:
Machine learning-based cache miss prediction. Int. J. Softw. Tools Technol. Transf. 27(1): 53-80 (2025)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/DustGSEM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/DustGSEM25
Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen:
Pattern-based verification of ROS 2 applications using UPPAAL. Int. J. Softw. Tools Technol. Transf. 27(3): 313-332 (2025)
2024
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/GuBASECLL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/GuBASECLL24
Rong Gu, Eduard Baranov, Afshin Ameri, Cristina Seceleanu, Eduard Paul Enoiu, Baran Çürüklü, Axel Legay, Kristina Lundqvist:
Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions. ACM Trans. Softw. Eng. Methodol. 33(7): 173:1-173:46 (2024)
2023
[j19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/comsis/BackemanKS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comsis/BackemanKS23
Peter Backeman, Ashalatha Kunnappilly, Cristina Seceleanu:
Supporting 5G service orchestration with formal verification. Comput. Sci. Inf. Syst. 20(1): 329-357 (2023)
2022
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/jaihc/GonzalezLS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jaihc/GonzalezLS22
Iván González, José Gabriel Urzaiz Lares, Cristina Seceleanu:
Special issue on Ambient Intelligence in the IoT: Convergence Trends and Challenges (AmIIoT). J. Ambient Intell. Humaniz. Comput. 13(11): 5279-5281 (2022)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/GuJSEL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GuJSEL22
Rong Gu, Peter Gjøl Jensen, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist:
Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems. Sci. Comput. Program. 224: 102894 (2022)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/GuJPSEL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/GuJPSEL22
Rong Gu, Peter Gjøl Jensen, Danny Bøgsted Poulsen, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist:
Verifiable strategy synthesis for multiple autonomous agents: a scalable approach. Int. J. Softw. Tools Technol. Transf. 24(3): 395-414 (2022)
2021
[j15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sosym/CaiGNS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/CaiGNS21
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
Specification and automated verification of atomic concurrent real-time transactions. Softw. Syst. Model. 20(2): 557-589 (2021)
2019
[j14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/computing/CaiGNS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computing/CaiGNS19
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
Data aggregation processes: a survey, a taxonomy, and design guidelines. Computing 101(10): 1397-1429 (2019)
[j13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jaihc/CaiGNSL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jaihc/CaiGNSL19
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson:
Tool-supported design of data aggregation processes in cloud monitoring systems. J. Ambient Intell. Humaniz. Comput. 10(7): 2519-2535 (2019)
[j12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/KunnappillyMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/KunnappillyMS19
Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu:
A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions. Sensors 19(22): 5057 (2019)
2017
[j11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/FilipovikjRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/FilipovikjRS17
Predrag Filipovikj, Guillermo Rodríguez-Navas, Cristina Seceleanu:
Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 75 (2017)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/SeceleanuJSSSEP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SeceleanuJSSSEP17
Cristina Seceleanu, Morgan E. Johansson, Jagadish Suryadevara, Gaetana Sapienza, Tiberiu Seceleanu, Stein Erik Ellevseth, Paul Pettersson:
Analyzing a wind turbine system: From simulation to formal verification. Sci. Comput. Program. 133: 216-242 (2017)
2016
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/SeceleanuY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/SeceleanuY16
Cristina Seceleanu, Kenichi Yoshida:
Guest editorial foreword. J. Syst. Softw. 121: 125 (2016)
2015
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/ac/MarinescuSGP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ac/MarinescuSGP15
Raluca Marinescu, Cristina Seceleanu, Hélène Le Guen, Paul Pettersson:
Chapter Three - A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs. Adv. Comput. 98: 89-140 (2015)
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/SeceleanuP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/SeceleanuP15
Cristina Cerschi Seceleanu, Paul Pettersson:
Foreword. J. Log. Algebraic Methods Program. 84(1): 1 (2015)
2014
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/HatvaniDSP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/HatvaniDSP14
Leo Hatvani, Alexandre David, Cristina Cerschi Seceleanu, Paul Pettersson:
Adaptive Task Automata with Earliest-Deadline-First Scheduling. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
2013
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/SeceleanuC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/SeceleanuC13
Cristina Cerschi Seceleanu, Ivica Crnkovic:
Component Models for Reasoning. Computer 46(11): 40-47 (2013)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/KangEMSSP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/KangEMSSP13
Eun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Pierre-Yves Schobbens, Paul Pettersson:
A methodology for formal analysis and verification of EAST-ADL models. Reliab. Eng. Syst. Saf. 120: 127-138 (2013)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sigbed/HatvaniSP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigbed/HatvaniSP13
Leo Hatvani, Cristina Cerschi Seceleanu, Paul Pettersson:
Modeling and analysis of adaptive embedded systems using adaptive task automata. SIGBED Rev. 10(1): 43-47 (2013)
2011
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/mam/LatifSST11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mam/LatifSST11
Khalid Latif, Tiberiu Seceleanu, Cristina Cerschi Seceleanu, Hannu Tenhunen:
Service based communication for MPSoC platform-SegBus. Microprocess. Microsystems 35(7): 643-655 (2011)
2004
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/SeceleanuS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/SeceleanuS04
Cristina Cerschi Seceleanu, Tiberiu Seceleanu:
Synchronization Can Improve Reactive Systems Control and Modularity. J. Univers. Comput. Sci. 10(10): 1429-1468 (2004)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2025
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/HanssonNS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/HanssonNS25
Hans Hansson, Christer Norström, Cristina Seceleanu:
Wang at MDU in a Nutshell. Real Time and Such 2025: 8-11
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Seceleanu25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Seceleanu25
Cristina Seceleanu:
A Quantum-Like Intellect: Celebrating the Profound Impact of Tiziana Margaria, Professor and Friend. The Combined Power of Research, Education, and Dissemination 2025: 50-54
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BackemanS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BackemanS25
Peter Backeman, Cristina Seceleanu:
Verifying ROS-Based Applications Using Timed and Stochastic Timed Automata. Rebeca for Actor Analysis in Action 2025: 295-325
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/JelacicSBXSJ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/JelacicSBXSJ25
Edin Jelacic, Cristina Seceleanu, Peter Backeman, Ning Xiong, Tiberiu Seceleanu, Axel Jantsch:
A Conformal Prediction-Based Framework for CPU Load Forecasting: A Black-Box Approach. COMPSAC 2025: 361-370
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/SalariEBAS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/SalariEBAS25
Mikael Ebrahimi Salari, Eduard Paul Enoiu, Alessio Bucaioni, Wasif Afzal, Cristina Seceleanu:
PyLC+: A Scalable Python Framework for Automated Translation and Testing of Industrial PLC Programs. COMPSAC 2025: 628-639
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/NaeemS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/NaeemS25
Muhammad Naeem, Cristina Seceleanu:
Contract-Based Verification of Digital Twins. ICECCS 2025: 338-357
2024
[c98]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fedcsis/SadovykhTSMCSA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fedcsis/SadovykhTSMCSA24
Andrey Sadovykh, Dragos Truscan, Martin A. Schneider, Wissam Mallouli, Ana R. Cavalli, Cristina Seceleanu, Tanwir Ahmad:
Smart Assistants for Enhancing System Security and Resilience. FedCSIS (Communication Papers) 2024: 151-158
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/DustGSEM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/DustGSEM24
Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen:
UPPAAL-Based Modeling and Verification of ROS 2 Multi-threaded Execution and Operating System Reservations. FMICS 2024: 40-59
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FlamminiMNSSVV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FlamminiMNSSVV24
Francesco Flammini, Stefano Marrone, Roberto Nardone, Usman Sanwal, Cristina Seceleanu, Laura Verde, Valeria Vittorini:
Railway Switch Control Modeling in European Train Control System Level 3. ISoLA (5) 2024: 174-189
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FilipovikjMSRLL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FilipovikjMSRLL24
Predrag Filipovikj, Nesredin Mahmud, Cristina Seceleanu, Guillermo Rodríguez-Navas, Oscar Ljungkrantz, Henrik Lönn:
SIMPPAAL: A Framework for Statistical Model Checking of Industrial Simulink Models. ISoLA (3) 2024: 220-246
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/HuismanMS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HuismanMS24
Marieke Huisman, Stephan Merz, Cristina Seceleanu:
Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary). ISoLA (3) 2024: 269-273
[c93]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/rose-ws/DustEGMS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rose-ws/DustEGMS24
Lukas Johannes Dust, Mikael Ekström, Rong Gu, Saad Mubeen, Cristina Seceleanu:
A Model-Based Methodology for Automated Verification of ROS 2 Systems. RoSE 2024: 35-42
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/NaeemGSLNA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/NaeemGSLNA24
Muhammad Naeem, Rong Gu, Cristina Seceleanu, Kim Guldstrand Larsen, Brian Nielsen, Michele Albano:
Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal Stratego. TASE 2024: 356-373
2023
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/SalariESAS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/SalariESAS23
Mikael Ebrahimi Salari, Eduard Paul Enoiu, Cristina Seceleanu, Wasif Afzal, Filip Sebek:
Automating Test Generation of Industrial Control Software Through a PLC-to-Python Translation Framework and Pynguin. APSEC 2023: 431-440
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbseerc/SeceleanuXES23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbseerc/SeceleanuXES23
Tiberiu Seceleanu, Ning Xiong, Eduard Paul Enoiu, Cristina Seceleanu:
Building a Digital Twin Framework for Dynamic and Robust Distributed Systems. ECBS 2023: 254-258
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/DustPEMSG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/DustPEMSG23
Lukas Johannes Dust, Emil Persson, Mikael Ekström, Saad Mubeen, Cristina Seceleanu, Rong Gu:
Experimental Evaluation of Callback Behavior in ROS 2 Executors. ETFA 2023: 1-8
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/DustGSEM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/DustGSEM23
Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen:
Pattern-Based Verification of ROS 2 Nodes Using UPPAAL. FMICS 2023: 57-75
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/SalariEAS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/SalariEAS23
Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu:
An Experiment in Requirements Engineering and Testing using EARS Notation for PLC Systems. ICSTW 2023: 10-17
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/SalariEAS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/SalariEAS23
Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu:
PyLC: A Framework for Transforming and Validating PLC Software using Python and Pynguin Test Generator. SAC 2023: 1476-1485
2022
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/SalariEAS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/SalariEAS22
Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu:
Choosing a Test Automation Framework for Programmable Logic Controllers in CODESYS Development Environment. ICST Workshops 2022: 277-284
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/HuismanS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HuismanS22
Marieke Huisman, Cristina Seceleanu:
Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary). ISoLA (1) 2022: 417-421
2021
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/SeceleanuXS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/SeceleanuXS21
Tiberiu Seceleanu, Ning Xiong, Cristina Seceleanu:
Control as a Service - Intelligent Networking. COMPSAC 2021: 1887-1892
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbseerc/KunnappillyBS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbseerc/KunnappillyBS21
Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu:
From UML Modeling to UPPAAL Model checking of 5G Dynamic Service Orchestration. ECBS 2021: 11:1-11:10
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbseerc/SeceleanuECLSBC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbseerc/SeceleanuECLSBC21
Cristina Seceleanu, Eduard Paul Enoiu, Jan Carlson, Kristina Lundqvist, Séverine Sentilles, Moris Behnam, Gabriele Capannini:
Assured Cloud Platforms for Industrial Cyber-Physical Systems: The ACICS Approach. ECBS 2021: 24:1-24:2
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/GuSEL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/GuSEL21
Rong Gu, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist:
Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles. FM 2021: 676-694
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/re/IsmaeelNSTES21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/IsmaeelNSTES21
Khaled Ismaeel, Alexandr Naumchev, Andrey Sadovykh, Dragos Truscan, Eduard Paul Enoiu, Cristina Seceleanu:
Security Requirements as Code: Example from VeriDevOps Project. RE Workshops 2021: 357-363
2020
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/KunnappillyBS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/KunnappillyBS20
Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu:
UML-based Modeling and Analysis of 5G Service Orchestration. APSEC 2020: 129-138
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/GuESL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/GuESL20
Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist:
Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents. FMICS 2020: 73-92
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/GuESL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/GuESL20
Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist:
Probabilistic Mission Planning and Analysis for Multi-agent Systems. ISoLA (1) 2020: 350-367
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/HuismanS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HuismanS20
Marieke Huisman, Cristina Seceleanu:
Verification and Validation of Concurrent and Distributed Systems (Track Summary). ISoLA (1) 2020: 421-425
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/GuES20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/GuES20
Rong Gu, Eduard Enoiu, Cristina Seceleanu:
TAMAA: UPPAAL-based mission planning for autonomous agents. SAC 2020: 1624-1633
2019
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbseerc/SalimiMLSSSDT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbseerc/SalimiMLSSSDT19
Maghsood Salimi, Amin Majd, Mohammad Loni, Tiberiu Seceleanu, Cristina Seceleanu, Marjan Sirjani, Masoud Daneshtalab, Elena Troubitsyna:
Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments. ECBS 2019: 13:1-13:9
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/FilipovikjS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/FilipovikjS19
Predrag Filipovikj, Cristina Seceleanu:
Specifying Industrial System Requirements using Specification Patterns: A Case Study of Evaluation with Practitioners. ENASE 2019: 92-103
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/KunnappillyCMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/KunnappillyCMS19
Ashalatha Kunnappilly, Simin Cai, Raluca Marinescu, Cristina Seceleanu:
Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems. ENASE 2019: 114-126
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/CaiGNS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/CaiGNS19
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
Statistical Model Checking for Real-Time Database Management Systems: A Case Study. ETFA 2019: 306-313
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/GuMSL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/GuMSL19
Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist:
Towards a Two-Layer Framework for Verifying Autonomous Vehicles. NFM 2019: 186-203
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/FilipovikjRS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/FilipovikjRS19
Predrag Filipovikj, Guillermo Rodríguez-Navas, Cristina Seceleanu:
Bounded invariance checking of simulink models. SAC 2019: 2168-2177
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/FoughaliIS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/FoughaliIS19
Mohammed Foughali, Félix Ingrand, Cristina Seceleanu:
Statistical Model Checking of Complex Robotic Systems. SPIN 2019: 114-134
2018
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/MahmudRFMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/MahmudRFMS18
Nesredin Mahmud, Guillermo Rodríguez-Navas, Hamid Faragardix, Saad Mubeen, Cristina Seceleanu:
Power-Aware Allocation of Fault-Tolerant Multirate AUTOSAR Applications. APSEC 2018: 199-208
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/SeceleanuK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/SeceleanuK18
Cristina Seceleanu, Keiji Kimura:
Message from the CAP Organizing Committee. COMPSAC (1) 2018: 667
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GuMSL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GuMSL18
Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist:
Formal verification of an autonomous wheel loader by model checking. FormaliSE@ICSE 2018: 74-83
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Seceleanu18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Seceleanu18
Cristina Seceleanu:
ISoLA 2018 - Verification and Validation of Distributed Systems: Track Introduction. ISoLA (3) 2018: 323-326
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/CaiGNS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/CaiGNS18
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems. ISoLA (3) 2018: 355-374
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/KunnappillyMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/KunnappillyMS18
Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu:
Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking. ISoLA (2) 2018: 457-476
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/CaiGNS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/CaiGNS18
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
Specification and Formal Verification of Atomic Concurrent Real-Time Transactions. PRDC 2018: 104-114
2017
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/ant/CaiGNSL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ant/CaiGNSL17
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson:
Design of Cloud Monitoring Systems via DAGGTAX: a Case Study. ANT/SEIT 2017: 424-431
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/SeceleanuKS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/SeceleanuKS17
Cristina Seceleanu, Hironori Kasahara, Tiberiu Seceleanu:
Message from the CAP 2017 Organizing Committee. COMPSAC (1) 2017: 458
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/KunnappillySAMS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/KunnappillySAMS17
Ashalatha Kunnappilly, Alexandru Sorici, Imad Alex Awada, Irina Mocanu, Cristina Seceleanu, Adina Magda Florea:
A Novel Integrated Architecture for Ambient Assisted Living Systems. COMPSAC (1) 2017: 465-472
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/SeceleanuSSN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/SeceleanuSSN17
Cristina Seceleanu, Detlef Streitferdt, Tiberiu Seceleanu, Philipp Nenninger:
Message from CORCS-IEESD 2017 Workshop Chairs. COMPSAC (2) 2017: 596
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/dtis/KunnappillyLMSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dtis/KunnappillyLMSS17
Ashalatha Kunnappilly, Axel Legay, Tiziana Margaria, Cristina Cerschi Seceleanu, Bernhard Steffen, Louis-Marie Traonouez:
Analyzing ambient assisted living solutions: A research perspective. DTIS 2017: 1-7
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/MarinescuESS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/MarinescuESS17
Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu, Daniel Sundmark:
Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL. ICST Workshops 2017: 69-76
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/CaiGNS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/CaiGNS17
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
Customized real-time data management for automotive systems: A case study. IECON 2017: 8397-8404
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/medi/CaiGNS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/medi/CaiGNS17
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
DAGGTAX: A Taxonomy of Data Aggregation Processes. MEDI 2017: 324-339
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/FilipovikjRNS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/FilipovikjRNS17
Predrag Filipovikj, Guillermo Rodríguez-Navas, Mattias Nyberg, Cristina Seceleanu:
SMT-based consistency analysis of industrial systems requirements. SAC 2017: 1272-1279
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/MahmudSL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/MahmudSL17
Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz:
Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic. SEFM 2017: 332-348
2016
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/FilipovikjJNRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/FilipovikjJNRS16
Predrag Filipovikj, Trevor Jagerfield, Mattias Nyberg, Guillermo Rodríguez-Navas, Cristina Cerschi Seceleanu:
Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain. COMPSAC Workshops 2016: 167-173
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/SeceleanuMSBSM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/SeceleanuMSBSM16
Tiberiu Seceleanu, Tiziana Margaria, Rajesh Subramanyan, Michele Bugliesi, Cristina Seceleanu, Bruce M. McMillin:
Messge from the ECPE Organizing Committee. COMPSAC 2016: 281
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/cspdata/CaiGNS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cspdata/CaiGNS16
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
Towards the verification of temporal data consistency in Real-Time Data Management. CPS Data 2016: 1-6
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/MarinescuMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/MarinescuMS16
Raluca Marinescu, Saad Mubeen, Cristina Seceleanu:
Pruning Architectural Models of Automotive Embedded Systems via Dependency Analysis. SEAA 2016: 293-302
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/fedcsis/MahmudSL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fedcsis/MahmudSL16
Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz:
ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking. FedCSIS 2016: 1737-1746
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/FilipovikjMMSLL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/FilipovikjMMSLL16
Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz, Henrik Lönn:
Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems. FM 2016: 748-756
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/healthyIoT/SoriciAKMCMSF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/healthyIoT/SoriciAKMCMSF16
Alexandru Sorici, Imad Alex Awada, Ashalatha Kunnappilly, Irina Mocanu, Oana Cramariuc, L. Malicki, Cristina Seceleanu, Adina Florea:
CAMI - An Integrated Architecture Solution for Improving Quality of Life of the Elderly. HealthyIoT 2016: 141-144
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/rtns/CaiGNS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtns/CaiGNS16
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation. RTNS 2016: 3-12
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/ucami/KunnappillySL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ucami/KunnappillySL16
Ashalatha Kunnappilly, Cristina Seceleanu, Maria Lindén:
Do We Need an Integrated Framework for Ambient Assisted Living? UCAmI (2) 2016: 52-63
2015
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/SeceleanuSSM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/SeceleanuSSM15
Tiberiu Seceleanu, Rajesh Subramanyan, Cristina Seceleanu, Bruce M. McMillin:
Message from ECpE Symposium Organizing Committee. COMPSAC 2015: 4
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/Seceleanu15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/Seceleanu15
Cristina Seceleanu:
Cyber-physical Systems: Interoperability and Distributed Intelligence. COMPSAC 2015: 45
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/isvlsi/MarinescuES15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/MarinescuES15
Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu:
Statistical Analysis of Resource Usage of Embedded Systems Modeled in EAST-ADL. ISVLSI 2015: 380-385
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/MahmudSL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/MahmudSL15
Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz:
ReSA: An ontology-based requirement specification language tailored to automotive systems. SIES 2015: 1-10
2014
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/Rodriguez-NavasSHNLL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/Rodriguez-NavasSHNLL14
Guillermo Rodríguez-Navas, Cristina Cerschi Seceleanu, Hans Hansson, Mattias Nyberg, Oscar Ljungkrantz, Henrik Lönn:
Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach. DAC 2014: 95:1-95:4
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/MarinescuSBSP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/MarinescuSBSP14
Raluca Marinescu, Mehrdad Saadatmand, Alessio Bucaioni, Cristina Cerschi Seceleanu, Paul Pettersson:
A Model-Based Testing Framework for Automotive Embedded Systems. EUROMICRO-SEAA 2014: 38-47
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/MarinescuKMSLD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/MarinescuKMSLD14
Raluca Marinescu, Henrik Kaijser, Marius Mikucionis, Cristina Seceleanu, Henrik Lönn, Alexandre David:
Analyzing Industrial Architectural Models by Simulation and Model-Checking. FTSCS 2014: 189-205
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/CausevicSP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/CausevicSP14
Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson:
Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions. ISoLA (2) 2014: 74-87
2013
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/SuryadevaraSSSEP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/SuryadevaraSSSEP13
Jagadish Suryadevara, Gaetana Sapienza, Cristina Cerschi Seceleanu, Tiberiu Seceleanu, Stein Erik Ellevseth, Paul Pettersson:
Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification. FTSCS 2013: 229-245
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/SuryadevaraSMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/SuryadevaraSMP13
Jagadish Suryadevara, Cristina Cerschi Seceleanu, Frédéric Mallet, Paul Pettersson:
Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. SEFM 2013: 1-15
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/sose/CausevicSP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sose/CausevicSP13
Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson:
An Analyzable Model of Automated Service Negotiation. SOSE 2013: 125-136
2012
[c29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/HatvaniPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/HatvaniPS12
Leo Hatvani, Paul Pettersson, Cristina Cerschi Seceleanu:
Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems. FASE 2012: 115-129
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/EnoiuMSP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/EnoiuMSP12
Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Paul Pettersson:
ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT. ICECCS 2012: 328-337
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/CausevicSP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/CausevicSP12
Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson:
Checking Correctness of Services Modeled as Priced Timed Automata. ISoLA (2) 2012: 308-322
[c26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/EnoiuMCS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/EnoiuMCS13
Eduard Paul Enoiu, Raluca Marinescu, Aida Causevic, Cristina Cerschi Seceleanu:
A Design Tool for Service-oriented Systems. FESCA 2012: 95-100
2011
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/Seceleanu11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/Seceleanu11
Cristina Cerschi Seceleanu:
Panel II Formal Methods Applied in Industry: Success Stories, Limitations, Perspectives - Panel Introduction. COMPSAC 2011: 448-449
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbs/SuryadevaraSP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbs/SuryadevaraSP11
Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson:
Pattern-Driven Support for Designing Component-Based Architectural Models. ECBS 2011: 187-196
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/BjornanderSLP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/BjornanderSLP11
Stefan Björnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson:
ABV - A Verifier for the Architecture Analysis and Design Language (AADL). ICECCS 2011: 355-360
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/VulgarakisSPSH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/VulgarakisSPSH11
Aneta Vulgarakis, Cristina Cerschi Seceleanu, Paul Pettersson, Ivan Skuliber, Darko Huljenic:
Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator. QSIC 2011: 156-165
2010
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/cbse/SuryadevaraKSP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbse/SuryadevaraKSP10
Jagadish Suryadevara, Eun-Young Kang, Cristina Cerschi Seceleanu, Paul Pettersson:
Bridging the Semantic Gap between Abstract Models of Embedded Systems. CBSE 2010: 55-73
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/VulgarakisSCS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/VulgarakisSCS10
Aneta Vulgarakis, Séverine Sentilles, Jan Carlson, Cristina Cerschi Seceleanu:
Integrating Behavioral Descriptions into a Component Model for Embedded Systems. EUROMICRO-SEAA 2010: 113-118
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/icecsys/LatifSST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icecsys/LatifSST10
Khalid Latif, Tiberiu Seceleanu, Cristina Cerschi Seceleanu, Hannu Tenhunen:
Resource-aware task allocation and scheduling for segbus platform. ICECS 2010: 523-526
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/CausevicSP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/CausevicSP10
Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson:
Modeling and Reasoning about Service Behaviors and Their Compositions. ISoLA (2) 2010: 82-96
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/IvanovOSV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/IvanovOSV10
Dinko Ivanov, Marin Orlic, Cristina Cerschi Seceleanu, Aneta Vulgarakis:
REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems. ASE 2010: 361-362
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/models/HatvaniJSP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/HatvaniJSP10
Leo Hatvani, Anton Jansen, Cristina Seceleanu, Paul Pettersson:
An integrated tool for trade-off analysis of quality-of-service attributes. QUASOSS@MoDELS 2010: 2:1-2:6
2009
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/SeceleanuCS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/SeceleanuCS09
Tiberiu Seceleanu, Ivica Crnkovic, Cristina Cerschi Seceleanu:
Transaction Level Control for Application Execution on the SegBus Platform. COMPSAC (1) 2009: 537-542
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/VulgarakisSCSP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/VulgarakisSCSP09
Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlson, Cristina Cerschi Seceleanu, Paul Pettersson:
Formal Semantics of the ProCom Real-Time Component Model. EUROMICRO-SEAA 2009: 478-485
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/SeceleanuVP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/SeceleanuVP09
Cristina Cerschi Seceleanu, Aneta Vulgarakis, Paul Pettersson:
REMES: A Resource Model for Embedded Systems. ICECCS 2009: 84-94
[c12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SlutejHSSP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SlutejHSSP09
Davor Slutej, John Håkansson, Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson:
Analyzing a Pattern-Based Model of a Real-Time Turntable System. FESCA@ETAPS 2009: 161-178
2008
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/cimca/CausevicPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cimca/CausevicPS08
Aida Causevic, Paul Pettersson, Cristina Cerschi Seceleanu:
Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability. CIMCA/IAWTIC/ISE 2008: 302-308
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/BelliS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/BelliS08
Fevzi Belli, Cristina Cerschi Seceleanu:
Panel Description: 40 Years of Software Engineering. COMPSAC 2008: 7
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/SeceleanuPH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/SeceleanuPH08
Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson:
Message from the CORCS 2008 Workshop Organizers. COMPSAC 2008: 1295
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/SeceleanuPH08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/SeceleanuPH08a
Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson:
CORCS 2008 Workshop Organization. COMPSAC 2008: 1296
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/VulgarakisS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/VulgarakisS08
Aneta Vulgarakis, Cristina Cerschi Seceleanu:
Embedded Systems Resources: Views on Modeling and Analysis. COMPSAC 2008: 1321-1328
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/SeceleanuPH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/SeceleanuPH08
Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson:
Scheduling Timed Modules for Correct Resource Sharing. ICST 2008: 102-111
2005
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/Seceleanu05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/Seceleanu05
Cristina Cerschi Seceleanu:
Designing Controllers for Reachability. COMPSAC (1) 2005: 196-203
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbs/Seceleanu05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbs/Seceleanu05
Cristina Cerschi Seceleanu:
Formal Development of Real-Time Priority-Based Schedulers. ECBS 2005: 263-270
2004
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/SeceleanuS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/SeceleanuS04
Cristina Cerschi Seceleanu, Tiberiu Seceleanu:
Modular Design of Reactive Systems. COMPSAC 2004: 265-271
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbs/BackS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbs/BackS04
Ralph-Johan Back, Cristina Cerschi Seceleanu:
Contracts and Games in Controller Synthesis for Discrete Systems. ECBS 2004: 307-315
2002
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/BackSW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/BackSW02
Ralph-Johan Back, Cristina Cerschi Seceleanu, Jan Westerholm:
Symbolic Simulation of Hybrid Systems. APSEC 2002: 147-

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2024
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbseerc/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbseerc/2023
Jan Kofron, Tiziana Margaria, Cristina Seceleanu:
Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings. Lecture Notes in Computer Science 14390, Springer 2024, ISBN 978-3-031-49251-8 [contents]
2023
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/2023
Virgile Prevosto, Cristina Seceleanu:
Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings. Lecture Notes in Computer Science 14066, Springer 2023, ISBN 978-3-031-38827-9 [contents]
2017
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/2017
Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti:
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. Lecture Notes in Computer Science 10471, Springer 2017, ISBN 978-3-319-67112-3 [contents]
2012
[e2]
- view
- export record
  dblp key:
  - conf/compsac/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/2012
Xiaoying Bai, Fevzi Belli, Elisa Bertino, Carl K. Chang, Atilla Elçi, Cristina Cerschi Seceleanu, Haihua Xie, Mohammad Zulkernine:
36th Annual IEEE Computer Software and Applications Conference, COMPSAC 2012, Izmir, Turkey, July 16-20, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-1990-4 [contents]
[e1]
- view
- export record
  dblp key:
  - conf/compsac/2012w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/2012w
Xiaoying Bai, Fevzi Belli, Elisa Bertino, Carl K. Chang, Atilla Elçi, Cristina Cerschi Seceleanu, Haihua Xie, Mohammad Zulkernine:
36th Annual IEEE Computer Software and Applications Conference Workshops, COMPSAC 2012, Izmir, Turkey, July 16-20, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-2714-5 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2025
[i2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2506-10993
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2506-10993
Muhammad Naeem, Cristina Seceleanu:
Contract-based Verification of Digital Twins. CoRR abs/2506.10993 (2025)
2018
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1802-01089
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-01089
Raluca Marinescu, Predrag Filipovikj, Eduard Paul Enoiu, Jonatan Larsson, Cristina Seceleanu:
An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models. CoRR abs/1802.01089 (2018)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.