FORTE Workshops 2004: Toledo, Spain

Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio (Eds.): Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Lecture Notes in Computer Science 3236 Springer 2004, ISBN 3-540-23169-2 BibTeX

@proceedings{DBLP:conf/forte/2004w,
  editor    = {Manuel N{\'u}{\~n}ez and
               Zakaria Maamar and
               Fernando L. Pelayo and
               Key Pousttchi and
               Fernando Rubio},
  title     = {Applying Formal Methods: Testing, Performance and M/ECommerce,
               FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October
               1-2, 2004},
  booktitle = {FORTE Workshops},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3236},
  year      = {2004},
  isbn      = {3-540-23169-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

TheFormEMC

Chun Ouyang, Jonathan Billington:
Formal Analysis of the Internet Open Trading Protocol. 1-15
Electronic Edition (link) BibTeX
Robert L. Probert, Pulei Xiong, Bernard Stepien:
Life-Cycle E-commerce Testing with OO-TTCN-3. 16-29
Electronic Edition (link) BibTeX
Ismael Rodríguez, Manuel Núñez, Fernando Rubio:
Specification of Autonomous Agents in E-commerce Systems. 30-44
Electronic Edition (link) BibTeX
Bettina Bazijanec, Key Pousttchi, Klaus Turowski:
An Approach for Assessment of Electronic Offers. 44-57
Electronic Edition (link) BibTeX
Shantanu Biswas, Y. Narahari, Anish Das Sarma:
A Decomposition Based Approach for Design of Supply Aggregation and Demand Aggregation Exchanges. 58-71
Electronic Edition (link) BibTeX
Dominik Haneberg, Wolfgang Reif, Kurt Stenzel:
A Construction Kit for Modeling the Security of M-commerce Applications. 72-85
Electronic Edition (link) BibTeX
Daniel Rolli, Dirk Neumann, Christof Weinhardt:
A Minimal Market Model in Ephemeral Markets. 86-100
Electronic Edition (link) BibTeX
Juho Mäkiö:
A Process-Oriented Approach Towards Structured Market Modelling. 101-113
Electronic Edition (link) BibTeX

EPEW

Natalia López, Manuel Núñez, Ismael Rodríguez:
Formal Specification of Symbolic-Probabilistic Systems. 114-127
Electronic Edition (link) BibTeX
Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas:
How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results. 128-142
Electronic Edition (link) BibTeX
M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià:
A Bounded True Concurrency Process Algebra for Performance Evaluation. 143-155
Electronic Edition (link) BibTeX
Guangping Qin, Jinzhao Wu:
Branching Time Equivalences for Interactive Markov Chains. 156-169
Electronic Edition (link) BibTeX
Bart Vinck, Herwig Bruneel:
System Contents Versus System Delay for Discrete-Time Queueing Systems with Renewal Arrivals. 170-183
Electronic Edition (link) BibTeX
Peixia Gao, Sabine Wittevrongel, Herwig Bruneel:
Delay Analysis for a Discrete-Time GI-D-c Queue with Arbitrary-Length Service Times. 184-195
Electronic Edition (link) BibTeX
Mahdi Jalili-Kharaajoo:
Adaptive Fuzzy Queue Management and Congestion Avoidance in TCP/AQM Networks. 196-208
Electronic Edition (link) BibTeX
Wlodzimierz M. Zuberek:
Modeling and Analysis of Dual Block Multithreading. 209-219
Electronic Edition (link) BibTeX
Iain Gourlay, Mohammed H. Haji, Karim Djemame, Peter M. Dew:
Performance Evaluation of a SNAP-Based Grid Resource Broker. 220-232
Electronic Edition (link) BibTeX
K. N. Sridhar, Gabriel Ciobanu:
Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process Algebra. 233-247
Electronic Edition (link) BibTeX
Luis Irún-Briz, Francisco Castro-Company, Hendrik Decker, Francesc D. Muñoz-Escoí:
An Analytical Design of a Practical Replication Protocol for Distributed Systems. 248-261
Electronic Edition (link) BibTeX
Stephen Gilmore, Valentin Haenel, Jane Hillston, Leïla Kloul:
PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application. 262-277
Electronic Edition (link) BibTeX
Pere P. Sancho, Carlos Juiz, Ramón Puigjaner:
Integrating System Performance Engineering into MASCOT Methodology through Discrete-Event Simulation. 278-292
Electronic Edition (link) BibTeX

ITM

Matthias Kuntz, Markus Siegle, Edith Werner:
Symbolic Performance and Dependability Evaluation with the Tool CASPA. 293-307
Electronic Edition (link) BibTeX
Heui-Seok Seo, Tadashi Araragi, Yong Rae Kwon:
Modeling and Testing Agent Systems Based on Statecharts. 308-321
Electronic Edition (link) BibTeX
Manuel Núñez, Ismael Rodríguez, Fernando Rubio:
Testing of Autonomous Agents Described as Utility State Machines. 322-336
Electronic Edition (link) BibTeX
Leonardo Mariani, Mauro Pezzè, David Willmor:
Generation of Integration Tests for Self-Testing Components. 337-350
Electronic Edition (link) BibTeX
Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione, P. Pierini:
Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing. 351-365
Electronic Edition (link) BibTeX
Ina Schieferdecker, George Din:
A Meta-model for TTCN-3. 366-379
Electronic Edition (link) BibTeX