1 |
J. Ben-Othman, L. Mokdad, and S. Bouam, "AMCLM: Adaptive multiservices cross-layer MAC protocol for IEEE 802.11 networks," J. Interconnection Netw., vol. 10, no. 4, pp. 283-301, 2009.
DOI
|
2 |
Object Management Group, Inc., (2011, Aug.). "Unified modeling language: Superstructure version 2.4.1," [Online]. Available: http://www.omg.org
|
3 |
G. Behrmann, A. David, and K. G. Larsen, "A tutorial on UPPAAL," in Proc. SFM-RT, pp. 200-236, LNCS 3185, Springer, 2004.
|
4 |
G. J. Holzmann, "Software model checking," NATO Summer School, vol. 180, pp. 309-355, IOS Press Computer and System Sciences, Marktoberdorf Germany, Aug. 2000.
|
5 |
A. Vasan and R. E. Miller, "Specification and analysis of the DCF protocol in the 802.11 standard using systems of communicating machines," Technical Report CS-TR 4358, UMIACS-TR-2002-37, UMIACS and Department of Computer Science, University of Maryland, May 2002.
|
6 |
P. Ballarini and A. Miller, "Model checking medium access control for sensor networks," in Proc. ISoLA, Paphos, Cyprus, Nov. 2006, pp. 255-262.
|
7 |
M. Kwiatkowska, G. Norman, and J. Sproston, "Probabilistic model checking of the IEEE 802.11 wireless local area network protocol," in Proc. Joint Intl. Workshop PAPM-PROBMIV, LNCS 2399, 2002, pp. 169-187.
|
8 |
Y. Chetoui and J. Ben-Othman, "Estimation of the useful channel occupation in 802.11g ad-hoc networks," in Proc. IEEE GLOBECOM, 2008, pp. 234-239.
|
9 |
Y. Chetoui, N. Bouabdallah, and J. Ben-Othman, "Improving the bandwidth sharing in IEEE 802.11," in Proc. IEEE LCN, 2007, pp. 927-930.
|
10 |
J. Ben-Othman et al., "Facing 802.11 anomaly and improving 802.11 WLANs QoS using a crosslayer design based unselfish behavior," in Proc. ICN/ICONS/MCL, 2006, p. 143.
|
11 |
J. Ben-Othman, S. Bouam, and F. Nait-Abdesselam, "802.11 Qos crosslayer rotocol based propagation conditions adaptation," in Proc. IEEE LCN, , 2007, pp. 698-702.
|
12 |
G. Bianchi, "Performance analysis of the IEEE 802.11 distributed coordination function," IEEE J. Sel. Areas Commun., vol. 18, no. 3, pp. 535-547, Mar. 2000.
DOI
|
13 |
J. Ben-Othman, H. Castel-Taleb, and L.Mokdad, "Performance evaluation of mobile networks based on stochastic ordering Markov chains," Studia Informica Universalis, vol. 6, No.3, pp. 313-329, 2008.
|
14 |
E. M. Clarke Jr., O. Grumberg, and D. A. Peled, Model Checking, MIT Press, 1999.
|
15 |
T. A. Henzinger, "Symbolic model checking for real-time systems," Information and Computation, vol. 111, pp. 193-244, 1994.
DOI
|
16 |
D. Harel, "A visual formalism for complex systems," Science of Computer Programming, Elsevier, vol. 8, 1987.
|
17 |
R. Alur and D. Dill, "A theory of timed automata," Theoretical Computer Science, vol. 126, pp. 183-235, Elsevier, 1994.
DOI
|
18 |
R. Alur, C. Courcoubetis, and D. L. Dill, "Model-checking for realtime systems," in Proc. LICS, pp. 414-425, 1990.
|