Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Parameterized verification of time-sensitive models of ad hoc network protocols
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
Univ Genoa, I-16126 Genoa, Italy..
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik. Uppsala Univ, Uppsala, Sweden..
Univ Paris Diderot, CNRS, LIAFA, Paris, France..
Visa övriga samt affilieringar
2016 (Engelska)Ingår i: Theoretical Computer Science, ISSN 0304-3975, E-ISSN 1879-2294, Vol. 612, 1-22 s.Artikel i tidskrift (Refereegranskat) Published
Resurstyp
Text
Abstract [en]

We study decidability and undecidability results for parameterized verification of a formal model of timed Ad Hoc network protocols. The communication topology is defined by an undirected graph and the behaviour of each node is defined by a timed automaton communicating with its neighbours via broadcast messages. We consider parameterized verification problems formulated in terms of reachability. In particular we are interested in searching for an initial configuration from which an individual node can reach an error state. We study the problem for dense and discrete time and compare the results with those obtained for (fully connected) networks of timed automata.

Ort, förlag, år, upplaga, sidor
2016. Vol. 612, 1-22 s.
Nyckelord [en]
Parameterized verification, Timed automata, Ad hoc networks, Graphs, Decidability, Well structured transition systems
Nationell ämneskategori
Datorteknik
Identifikatorer
URN: urn:nbn:se:uu:diva-279630DOI: 10.1016/j.tcs.2015.07.048ISI: 000369211200001OAI: oai:DiVA.org:uu-279630DiVA: diva2:909999
Tillgänglig från: 2016-03-08 Skapad: 2016-03-02 Senast uppdaterad: 2016-03-08Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas

Övriga länkar

Förlagets fulltext

Sök vidare i DiVA

Av författaren/redaktören
Abdulla, Parosh AzizRezine, Othmane
Av organisationen
Datorteknik
I samma tidskrift
Theoretical Computer Science
Datorteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar

Altmetricpoäng

Totalt: 293 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf