Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches

Antonella Santone; Gigliola Vaglini

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches

Topics: Model Analysis and Checking

In Proceedings of the 7th International Conference on Software Paradigm Trends ICSOFT - Volume 1, 336-339, 2012 , Rome, Italy

Authors: Antonella Santone ¹ and Gigliola Vaglini ²

Affiliations: ¹ University of Sannio, Italy ; ² University of Pisa, Italy

Keyword(s): Social Networks, Formal Methods, Heuristic Searches.

Related Ontology Subjects/Areas/Topics: Model Analysis and Checking ; Models ; Paradigm Trends ; Software Engineering

Abstract: The paper presents a process algebraic approach to formal specification and verification of social networks. They are described using the Calculus of Communicating Systems and we reason and verify such formal systems by using directed model checking, which uses AI-inspired heuristic search strategies in order to improve model checking techniques.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 18.191.9.192

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

Santone, A. and Vaglini, G. (2012). Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches. In Proceedings of the 7th International Conference on Software Paradigm Trends - ICSOFT; ISBN 978-989-8565-19-8; ISSN 2184-2833, SciTePress, pages 336-339. DOI: 10.5220/0004068903360339

@conference{icsoft12,
author={Antonella Santone and Gigliola Vaglini},
title={Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches},
booktitle={Proceedings of the 7th International Conference on Software Paradigm Trends - ICSOFT},
year={2012},
pages={336-339},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004068903360339},
isbn={978-989-8565-19-8},
issn={2184-2833},
}

TY - CONF

JO - Proceedings of the 7th International Conference on Software Paradigm Trends - ICSOFT
TI - Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches
SN - 978-989-8565-19-8
IS - 2184-2833
AU - Santone, A.
AU - Vaglini, G.
PY - 2012
SP - 336
EP - 339
DO - 10.5220/0004068903360339
PB - SciTePress