ask others

Zeynab Sabahi-Kaviani

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

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

2017
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsen/Sabahi-KavianiG17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsen/Sabahi-KavianiG17
Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, Fateme Bajelan:
Automatic Transition System Model Identification for Network Applications from Packet Traces. FSEN 2017: 212-227
2015
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/eceasst/KhamespanahSMSR15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eceasst/KhamespanahSMSR15
Ehsan Khamespanah, Marjan Sirjani, Mohammad Reza Mousavi, Zeynab Sabahi-Kaviani, Mohamadreza Razzazi:
State Distribution Policy for Distributed Model Checking of Actor Models. ECEASST 72 (2015)
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/KhamespanahSSKI15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/KhamespanahSSKI15
Ehsan Khamespanah, Marjan Sirjani, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Mohammad-Javad Izadi:
Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system. Sci. Comput. Program. 98: 184-204 (2015)
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/Sabahi-KavianiK15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/Sabahi-KavianiK15
Zeynab Sabahi-Kaviani, Ramtin Khosravi, Peter Csaba Ölveczky, Ehsan Khamespanah, Marjan Sirjani:
Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude. Sci. Comput. Program. 113: 85-118 (2015)
2013
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ftscs/Sabahi-KavianiKSOK13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ftscs/Sabahi-KavianiKSOK13
Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Ölveczky, Ehsan Khamespanah:
Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude. FTSCS 2013: 178-194
2012
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/agere/KhamespanahSKSI12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/agere/KhamespanahSKSI12
Ehsan Khamespanah, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Mohammad-Javad Izadi:
Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system. AGERE!@SPLASH 2012: 23-34

Coauthor Index

see FAQ

maintained by

, founded at