Search - IFIP Open Digital Library Access content directly

Filter your results

5 results
Author: personID (integer) : 999433
Image document

Automatic Transition System Model Identification for Network Applications from Packet Traces

Zeynab Sabahi-Kaviani , Fatemeh Ghassemi , Fateme Bajelan
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.212-227, ⟨10.1007/978-3-319-68972-2_14⟩
Conference papers hal-01760863v1
Image document

Modeling and Efficient Verification of Broadcasting Actors

Behnaz Yousefi , Fatemeh Ghassemi , Ramtin Khosravi
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.69-83, ⟨10.1007/978-3-319-24644-4_5⟩
Conference papers hal-01446611v1
Image document

Formal Modeling and Analysis of Medical Systems

Mahsa Zarneshan , Fatemeh Ghassemi , Marjan Sirjani
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.386-402, ⟨10.1007/978-3-030-50029-0_24⟩
Conference papers hal-03273989v1
Image document

Combining Machine and Automata Learning for Network Traffic Classification

Zeynab Sabahi-Kaviani , Fatemeh Ghassemi , Zahra Alimadadi
3rd International Conference on Topics in Theoretical Computer Science (TTCS), Jul 2020, Tehran, Iran. pp.17-31, ⟨10.1007/978-3-030-57852-7_2⟩
Conference papers hal-03165385v1
Image document

Purpose-Based Policy Enforcement in Actor-Based Systems

Shahrzad Riahi , Ramtin Khosravi , Fatemeh Ghassemi
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.196-211, ⟨10.1007/978-3-319-68972-2_13⟩
Conference papers hal-01760856v1