Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Cristina Cerschi Seceleanu

◀ ▶ joint publications with Nesredin Mahmud

> Home > Persons > Cristina Cerschi Seceleanu

Publications

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
2017
[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
[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
2015
[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

a service of

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.