IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
The anatomy of a context-aware application
MobiCom '99 Proceedings of the 5th annual ACM/IEEE international conference on Mobile computing and networking
The Cricket location-support system
MobiCom '00 Proceedings of the 6th annual international conference on Mobile computing and networking
A Web-based nomadic computing system
Computer Networks: The International Journal of Computer and Telecommunications Networking - pervasive computing
Computer Networks
Mobile Commerce: A New Frontier
Computer
Formal Development and Verification of a Distributed Railway Control System
IEEE Transactions on Software Engineering
The guidebook, the friend, and the room: visitor experience in a historic house
CHI '01 Extended Abstracts on Human Factors in Computing Systems
The Electronic Guidebook: A Study of User Experiences Using Mobile Web Content in a Museum Setting
WMTE '02 Proceedings IEEE International Workshop on Wireless and Mobile Technologies in Education
Proving the value of formal methods
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
OMT*, Bridging the Gap between Analysis and Design
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool
FORTE/PSTV 2000 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX)
Generation of Realistic Signalling Traffic in an ISDN Load Test System using SDL User Models
FORTE/PSTV 2000 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX)
Modelling and Analyzing Cryprographic Protocols Using Petri Nets
ASIACRYPT '92 Proceedings of the Workshop on the Theory and Application of Cryptographic Techniques: Advances in Cryptology
Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Rememberer: A Tool for Capturing Museum Visits
UbiComp '02 Proceedings of the 4th international conference on Ubiquitous Computing
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Formal Techniques for an ITSEC-E4 Secure Gateway
ACSAC '96 Proceedings of the 12th Annual Computer Security Applications Conference
Formal Methods for V&V of Partial Specifications: An Experience RSeport
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
ON k-ARY n-CUBES: THEORY AND APPLICATIONS
ON k-ARY n-CUBES: THEORY AND APPLICATIONS
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
We apply formal testing and validation techniques and tools to analyse a configuration protocol for a Bluetooth Location Network (BLN). This network is composed by static Bluetooth nodes that establish a spontaneous network at system initialization. Once configured, BLN provides location services for location-aware or context-driven wireless environments, such as m-commerce networks or e-museums. BLN configuration was initially defined in natural language, and had passed some initial tests and simulation-based analysis. Formal methods have provided deeper understanding and discovered unexpected errors that may arise in some failure scenarios.