Fatemeh Ghassemi

According to our database1, Fatemeh Ghassemi authored at least 22 papers between 2006 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Reo Connectors and Components as Tagged Signal Models.
Proceedings of the It's All About Coordination, 2018

2017
Modeling and efficient verification of wireless ad hoc networks.
Formal Asp. Comput., 2017

Verification of Asynchronous Systems with an Unspecified Component.
CoRR, 2017

An Efficient Loop-free Version of ADOVv2.
CoRR, 2017

Reliable Restricted Process Theory.
CoRR, 2017

An adaptive sinkhole aware algorithm in wireless sensor networks.
Ad Hoc Networks, 2017

Automatic Transition System Model Identification for Network Applications from Packet Traces.
Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

Purpose-Based Policy Enforcement in Actor-Based Systems.
Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

2016
Product line process theory.
J. Log. Algebr. Meth. Program., 2016

Model checking mobile ad hoc networks.
Formal Methods in System Design, 2016

Modeling and Efficient Verification of Wireless Ad hoc Networks.
CoRR, 2016

2015
Modeling and Efficient Verification of Broadcasting Actors.
Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

Probabilistic Key Pre-Distribution for Heterogeneous Mobile Ad Hoc Networks Using Subjective Logic.
Proceedings of the 29th IEEE International Conference on Advanced Information Networking and Applications, 2015

2013
Model Checking MANETs with Arbitrary Mobility.
Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

2011
Verification of mobile ad hoc networks: An algebraic approach.
Theor. Comput. Sci., 2011

Stochastic Restricted Broadcast Process Theory.
Proceedings of the Computer Performance Engineering, 2011

2010
Equational Reasoning on Mobile Ad Hoc Networks.
Fundam. Inform., 2010

Towards Performance Evaluation of Mobile Ad Hoc Network Protocols.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009
Equational Reasoning on Ad Hoc Networks.
Proceedings of the Fundamentals of Software Engineering, 2009

2008
Restricted Broadcast Process Theory.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

2006
Automated Mapping of Reo Circuits to Constraint Automata.
Electr. Notes Theor. Comput. Sci., 2006

Specification and Implementation of Multi-Agent Organizations.
Proceedings of the WEBIST 2006, 2006


  Loading...