Fatemeh Ghassemi

J. Univers. Comput. Sci., 2024

Efficient analysis of belief properties in process algebra.

[BibT_eX]

[DOI]

Zahra Moezkarimi

J. Log. Algebraic Methods Program., 2024

Decentralized deadlock-free enforcement of message orderings in message-based systems.

[BibT_eX]

[DOI]

Mahboubeh Samadi

J. Comput. Syst. Sci., 2024

SpecNLP: A Pre-trained Model Enhanced with Spectrum Profile for Bug Localization.

[BibT_eX]

[DOI]

Mahdi Farzandway

Proceedings of the IEEE International Conference on Artificial Intelligence Testing, 2024

Actors Upgraded for Variability, Adaptability, and Determinism.

[BibT_eX]

[DOI]

Proceedings of the Active Object Languages: Current Research Trends, 2024

2023

Decentralized runtime verification of message sequences in message-based systems.

[BibT_eX]

[DOI]

Mahboubeh Samadi

Acta Informatica, June, 2023

Mobile App Fingerprinting through Automata Learning and Machine Learning.

[BibT_eX]

[DOI]

Fatemeh Marzani

Thijs van Ede

Maarten van Steen

Proceedings of the IFIP Networking Conference, 2023

Transparent Actor Model.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

2022

A policy-aware epistemic framework for social networks.

[BibT_eX]

[DOI]

Zahra Moezkarimi

Mohammad Reza Mousavi

J. Log. Comput., 2022

Specification and Verification of Timing Properties in Interoperable Medical Systems.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2022

2021

An actor-based framework for asynchronous event-based cyber-physical systems.

[BibT_eX]

[DOI]

Iman Jahandideh

Softw. Syst. Model., 2021

2020

Combining Machine and Automata Learning for Network Traffic Classification.

[BibT_eX]

[DOI]

Zahra Alimadadi

Proceedings of the Topics in Theoretical Computer Science, 2020

Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems.

[BibT_eX]

[DOI]

Mahboubeh Samadi

Proceedings of the 24th International Conference on Principles of Distributed Systems, 2020

Formal Modeling and Analysis of Medical Systems.

[BibT_eX]

[DOI]

Mahsa Zarneshan

Proceedings of the Coordination Models and Languages, 2020

2019

Behavioral model identification and classification of multi-component systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2019

Reliable Restricted Process Theory.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2019

Verification of asynchronous systems with an unspecified component.

[BibT_eX]

[DOI]

Rosa Abbasi

Acta Informatica, 2019

Reactive Actors: Isolation for Efficient Analysis of Distributed Systems.

[BibT_eX]

[DOI]

Ehsan Khamespanah

Proceedings of the 23rd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications DS-RT 2019, 2019

2018

ConsiDroid: A Concolic-based Tool for Detecting SQL Injection Vulnerability in Android Apps.

[BibT_eX]

[DOI]

Ehsan Edalat

Babak Sadeghiyan

CoRR, 2018

Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Iman Jahandideh

Proceedings of the Cyber Physical Systems. Model-Based Design - 8th International Workshop, 2018

Reo Connectors and Components as Tagged Signal Models.

[BibT_eX]

[DOI]

Bahman Pourvatan

Proceedings of the It's All About Coordination, 2018

2017

Modeling and efficient verification of wireless ad hoc networks.

[BibT_eX]

[DOI]

Behnaz Yousefi

Formal Aspects Comput., 2017

An Efficient Loop-free Version of ADOVv2.

[BibT_eX]

[DOI]

Behnaz Yousefi

CoRR, 2017

An adaptive sinkhole aware algorithm in wireless sensor networks.

[BibT_eX]

[DOI]

Ghazaleh Jahandoust

Ad Hoc Networks, 2017

Automatic Transition System Model Identification for Network Applications from Packet Traces.

[BibT_eX]

[DOI]

Fateme Bajelan

Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

Purpose-Based Policy Enforcement in Actor-Based Systems.

[BibT_eX]

[DOI]

Shahrzad Riahi

Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

2016

Product line process theory.

[BibT_eX]

[DOI]

Mohammad Reza Mousavi

J. Log. Algebraic Methods Program., 2016

Model checking mobile ad hoc networks.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2016

2015

Modeling and Efficient Verification of Broadcasting Actors.

[BibT_eX]

[DOI]

Behnaz Yousefi

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

Probabilistic Key Pre-Distribution for Heterogeneous Mobile Ad Hoc Networks Using Subjective Logic.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Advanced Information Networking and Applications, 2015

2013

Model Checking MANETs with Arbitrary Mobility.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

2011

Verification of mobile ad hoc networks: An algebraic approach.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Stochastic Restricted Broadcast Process Theory.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering, 2011

2010

Equational Reasoning on Mobile Ad Hoc Networks.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

Towards Performance Evaluation of Mobile Ad Hoc Network Protocols.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009

Equational Reasoning on Ad Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering, 2009

2008

Restricted Broadcast Process Theory.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Modeling Routing Protocols in Adhoc Networks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computer Science and Engineering, 2008

2006

Specification and Implementation of Multi-Agent Organizations.

[BibT_eX]

Proceedings of the WEBIST 2006, 2006

2005

Automated Mapping of Reo Circuits to Constraint Automata.

[BibT_eX]

[DOI]

Samira Tasharofi