An approach to handle Real Time and Probabilistic behaviors in e-commerce: Validating the SET Protocol

G. Diaz; Kim Guldstrand Larsen; J. Pardo; V. Valero

An approach to handle Real Time and Probabilistic behaviors in e-commerce: Validating the SET Protocol

G. Diaz, Kim Guldstrand Larsen, J. Pardo, V. Valero

Department of Computer Science

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Abstract

In this work we describe an approach to deal with systems having at the same time probabilistic and real-time behav- iors. The main goal in the paper is to show the automatic translation from a real time model based on UPPAAL tool, which makes automatic verification of Real Time Systems, to the RAPTURE tool, which makes verification of proba- bilistic systems.

Original language	English
Title of host publication	Proceedings of The 20th Annual ACM Symposium on Applied Computing, E-Coomerce Track
Publisher	New Mexico Institute of Mining and Technology, Socorro, NM
Publication date	2005
Publication status	Published - 2005
Event	The 20th Annual ACM Symposium on Applied Computing - Santa Fe, New Mexico, Mexico Duration: 13 Mar 2005 → 17 Mar 2005

Conference

Conference	The 20th Annual ACM Symposium on Applied Computing
Country/Territory	Mexico
City	Santa Fe, New Mexico
Period	13/03/2005 → 17/03/2005

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{234318709c2e11db8ed6000ea68e967b,

title = "An approach to handle Real Time and Probabilistic behaviors in e-commerce: Validating the SET Protocol",

abstract = "In this work we describe an approach to deal with systems having at the same time probabilistic and real-time behav- iors. The main goal in the paper is to show the automatic translation from a real time model based on UPPAAL tool, which makes automatic verification of Real Time Systems, to the RAPTURE tool, which makes verification of proba- bilistic systems.",

author = "G. Diaz and Larsen, {Kim Guldstrand} and J. Pardo and V. Valero",

year = "2005",

language = "English",

booktitle = "Proceedings of The 20th Annual ACM Symposium on Applied Computing, E-Coomerce Track",

publisher = "New Mexico Institute of Mining and Technology, Socorro, NM",

note = "The 20th Annual ACM Symposium on Applied Computing ; Conference date: 13-03-2005 Through 17-03-2005",

}

Diaz, G, Larsen, KG, Pardo, J & Valero, V 2005, An approach to handle Real Time and Probabilistic behaviors in e-commerce: Validating the SET Protocol. in Proceedings of The 20th Annual ACM Symposium on Applied Computing, E-Coomerce Track. New Mexico Institute of Mining and Technology, Socorro, NM, The 20th Annual ACM Symposium on Applied Computing, Santa Fe, New Mexico, Mexico, 13/03/2005.

An approach to handle Real Time and Probabilistic behaviors in e-commerce: Validating the SET Protocol. / Diaz, G.; Larsen, Kim Guldstrand; Pardo, J. et al.
Proceedings of The 20th Annual ACM Symposium on Applied Computing, E-Coomerce Track. New Mexico Institute of Mining and Technology, Socorro, NM, 2005.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - An approach to handle Real Time and Probabilistic behaviors in e-commerce

T2 - The 20th Annual ACM Symposium on Applied Computing

AU - Diaz, G.

AU - Larsen, Kim Guldstrand

AU - Pardo, J.

AU - Valero, V.

PY - 2005

Y1 - 2005

N2 - In this work we describe an approach to deal with systems having at the same time probabilistic and real-time behav- iors. The main goal in the paper is to show the automatic translation from a real time model based on UPPAAL tool, which makes automatic verification of Real Time Systems, to the RAPTURE tool, which makes verification of proba- bilistic systems.

AB - In this work we describe an approach to deal with systems having at the same time probabilistic and real-time behav- iors. The main goal in the paper is to show the automatic translation from a real time model based on UPPAAL tool, which makes automatic verification of Real Time Systems, to the RAPTURE tool, which makes verification of proba- bilistic systems.

M3 - Article in proceeding

BT - Proceedings of The 20th Annual ACM Symposium on Applied Computing, E-Coomerce Track

PB - New Mexico Institute of Mining and Technology, Socorro, NM

Y2 - 13 March 2005 through 17 March 2005

ER -

An approach to handle Real Time and Probabilistic behaviors in e-commerce: Validating the SET Protocol

Abstract

Conference

AUB Link

Fingerprint

Cite this