|
| 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 | ||
| A. Troina, A. Maggiolo-Schettini, R. Lanotte, "Timed automata with data structures for distributed systems design and analysis," Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), pp. 44,45,46,47,48,49,50,51,52,53, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 2005. | |||
| BibTex | x | ||
| @article{ 10.1109/SEFM.2005.49, author = {A. Troina and A. Maggiolo-Schettini and R. Lanotte}, title = {Timed automata with data structures for distributed systems design and analysis}, journal ={Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)}, volume = {0}, year = {2005}, isbn = {0-7695-2435-4}, pages = {44,45,46,47,48,49,50,51,52,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 - Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) TI - Timed automata with data structures for distributed systems design and analysis SN - 0-7695-2435-4 SP EP A1 - A. Troina, A1 - A. Maggiolo-Schettini, A1 - R. Lanotte, PY - 2005 KW - formal specification KW - automata theory KW - data structures KW - decidability KW - reachability analysis KW - distributed processing KW - cryptographic protocol KW - timed automata KW - data structure KW - distributed systems design KW - system analysis KW - data management KW - decidability KW - reachability KW - Automata KW - Data structures KW - System analysis and design KW - State-space methods KW - Cryptographic protocols KW - Real time systems KW - Data communication KW - Synchronization KW - Timing KW - Data security VL - 0 JA - Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.49
Systems of data management timed automata (SDM-TAs) 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.
Index Terms:
formal specification,automata theory,data structures,decidability,reachability analysis,distributed processing,cryptographic protocol,timed automata,data structure,distributed systems design,system analysis,data management,decidability,reachability,Automata,Data structures,System analysis and design,State-space methods,Cryptographic protocols,Real time systems,Data communication,Synchronization,Timing,Data security
Citation:
A. Troina, A. Maggiolo-Schettini, R. Lanotte, "Timed automata with data structures for distributed systems design and analysis," sefm, pp.44,45,46,47,48,49,50,51,52,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.