Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

11 results
Page :
sorted by
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
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

Improving the Performance of Actor-Based Programs Using a New Actor to Thread Association Technique

 Fahimeh Rahemi , Ehsan Khamespanah , Ramtin Khosravi
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.122-136, ⟨10.1007/978-3-319-93767-0_9⟩
Conference papers hal-01824630v1
Image document

Collecting Users Profiles for Web Applications

 Amin Rasooli , Peter Forbrig , Fattaneh Tagivareh
4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.275-282, ⟨10.1007/978-3-642-34347-6_18⟩
Conference papers hal-01556822v1
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

Model Checking MANETs with Arbitrary Mobility

 Fatemeh Ghassemi , Saeide Ahmadi , Wan Fokkink , Ali Movaghar
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.217-232, ⟨10.1007/978-3-642-40213-5_14⟩
Conference papers hal-01514658v1
Image document

Finite Interval-Time Transition System for Real-Time Actors

 Shaghayegh Tavassoli , Ramtin Khosravi , Ehsan Khamespanah
3rd International Conference on Topics in Theoretical Computer Science (TTCS), Jul 2020, Tehran, Iran. pp.85-100, ⟨10.1007/978-3-030-57852-7_7⟩
Conference papers hal-03165386v1
Image document

Delta Modeling and Model Checking of Product Families

 Hamideh Sabouri , Ramtin Khosravi
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.51-65, ⟨10.1007/978-3-642-40213-5_4⟩
Conference papers hal-01514656v1
Image document

Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications

 Arvin Zakeriyan , Ramtin Khosravi , Hadi Safari , Ehsan Khamespanah
9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.199-214, ⟨10.1007/978-3-030-89247-0_14⟩
Conference papers hal-04074508v1
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
Page :