loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)
Timed Automata with Data Structures for Distributed Systems Design and Analysis
Koblenz, Germany
September 07-September 09
ISBN: 0-7695-2435-4
ASCII Text
x 
 
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina, "Timed Automata with Data Structures for Distributed Systems Design and Analysis," Software Engineering and Formal Methods, International Conference on, pp. 44-53, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/SEFM.2005.49,
author = {Ruggero Lanotte and Andrea Maggiolo-Schettini and Angelo Troina},
title = {Timed Automata with Data Structures for Distributed Systems Design and Analysis},
journal ={Software Engineering and Formal Methods, International Conference on},
volume = {0},
year = {2005},
isbn = {0-7695-2435-4},
pages = {44-53},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.49},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering and Formal Methods, International Conference on
TI - Timed Automata with Data Structures for Distributed Systems Design and Analysis
SN - 0-7695-2435-4
SP44
EP53
A1 - Ruggero Lanotte,
A1 - Andrea Maggiolo-Schettini,
A1 - Angelo Troina,
PY - 2005
KW - null
VL - 0
JA - Software Engineering and Formal Methods, International Conference on
ER -
 
Ruggero Lanotte, Universita dell Insubria
Andrea Maggiolo-Schettini, Universita di Pisa
Angelo Troina, Universita di Pisa
Systems of Data Management Timed Automata (SDMTAs) are networks of communicating timed automata with structures to store messages and functions to manipulate them. We prove the decidability of reachability. As an application, we model and analyze a cryptographic protocol.
Citation:
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina, "Timed Automata with Data Structures for Distributed Systems Design and Analysis," sefm, pp.44-53, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.