Follow
María Elena Villapol
María Elena Villapol
Western Institute of Technology at Taranaki
Verified email at witt.ac.nz - Homepage
Title
Cited by
Cited by
Year
Modelling and initial analysis of the resource reservation protocol using coloured petri nets
ME Villapol, J Billington
Proceedings of the Workshop on Practical Use of High-Level Petri Nets …, 2000
172000
Modelling and analysis of the resource reservation protocol using coloured petri nets
M Villapol
132003
Modelling and analysis of the resource reservation protocol using coloured petri nets
M Villapol
132003
A sustainable connectivity model of the internet access technologies in rural and low-income areas
ME Villapol, W Liu, J Gutierrez, J Qadir, S Gordon, J Tan, L Chiaraviglio, ...
Smart Grid and Innovative Frontiers in Telecommunications: Third …, 2018
112018
Reviewing the service specification of the IEEE 802.16 MAC layer connection management: A formal approach
A Morales, M Villapol
CLEI Electronic Journal 16 (2), 2-2, 2013
92013
Analysing properties of the resource reservation protocol
ME Villapol, J Billington
International Conference on Application and Theory of Petri Nets, 377-396, 2003
92003
Connecting the unconnected 10% of New Zealanders by 2025: Is a MahiTahi approach possible?
M Villapol, W Liu, JA Gutierrez, L Chiaraviglio, A Sathiaseelan, J Wu, ...
2017 27th International Telecommunication Networks and Applications …, 2017
82017
9.1. 6 Generation of a Service Language for the Resource Reservation Protocol Using Formal Methods
ME Villapol, J Billington
INCOSE International Symposium 11 (1), 1239-1246, 2001
82001
Performance comparison of mesh routing protocols in an experimental network with bandwidth restrictions in the border router
ME Villapol, D Pérez Abreu, C Balderama, M Colombo
Revista de la Facultad de Ingeniería Universidad Central de Venezuela 28 (1 …, 2013
7*2013
Analysis of the Properties of the Bluetooth Baseband Connection Establishment Using Colored Petri Nets
ME Villapol
Computación y Sistemas 16 (4), 433-446, 2012
72012
FireNot–an IoT based fire alerting system: design and implementation
BA Sassani, N Jamil, M Villapol, M Abbas Malik, SS Tirumala
Journal of Ambient Intelligence and Smart Environments 12 (6), 475-489, 2020
62020
Prosega/CPN: an extension of CPN Tools for automata-based analysis and system verification
JC Carrasquel, A Morales, ME Villapol
Труды института системного программирования РАН 30 (4), 107-128, 2018
62018
A coloured petri net approach to formalising and analysing the resource reservation protocol
ME Villapol, J Billington
CLEI Electron. J 6 (1), 1-25, 2003
62003
Internet Service Quality
ME Villapol, J Billington
Telecommunication Journal of Australia 50 (2), 57-69, 2000
62000
Value co-creation and opportunities in health care and wellbeing: The case of the green prescription
ME Villapol, S Richter, K Petrova
52018
Recording, storing and querying judo match data using an Android tool and Cloud computing
ME Villapol, H Jansen, A Morales, J Flores, H Rodrigues, M Huerta
Proceedings of the Institution of Mechanical Engineers, Part P: Journal of …, 2017
52017
Towards formal specification of the service in the IEEE 802.16 MAC layer for connection management
AVM Bezeira, MEV Blanco
Proceedings of the 9th WSEAS international conference on computational …, 2010
52010
Modelado y análisis inicial del Establecimiento de una conexión Bluetooth Usando las Redes de Petri Coloreadas
ME Villapol
Proceedings of the Thirty-Second Latin American Computing Conference, CLEI …, 2006
52006
A proposal to improve network throughput using a QoS building blocks approach at Central University of Venezuela
ME Villapol, EA Gamess, N Morales
Proceedings of the 3rd international IFIP/ACM Latin American conference on …, 2005
52005
Modelling and Analysis of the Resource Reservation Protocol
ME Villapol
PhD thesis, Institute for Telecommunications Research and Computer Systems …, 2003
52003
The system can't perform the operation now. Try again later.
Articles 1–20