Follow
Mario Torres
Mario Torres
IVEX.ai
Verified email at ivex.ai
Title
Cited by
Cited by
Year
Resource allocation for cloud-assisted mobile applications
M Ferber, T Rauber, MHC Torres, T Holvoet
2012 IEEE Fifth International Conference on Cloud Computing, 400-407, 2012
332012
Dancing UAVs: Using linear programming to model movement behavior with safety requirements
HT Dinh, MHC Torres, T Holvoet
2017 International Conference on Unmanned Aircraft Systems (ICUAS), 326-335, 2017
182017
Scalable multirotor UAV trajectory planning using mixed integer linear programming
J De Waen, HT Dinh, MHC Torres, T Holvoet
2017 European conference on mobile robots (ECMR), 1-6, 2017
142017
AcMus: an open, integrated platform for room acoustics research
M Queiroz, F Iazzetta, F Kon, MHA Gomes, FL Figueiredo, B Masiero, ...
Journal of the Brazilian Computer Society 14, 87-103, 2008
102008
Sound and complete reactive UAV behavior using constraint programming
HT Dinh, MH Cruz Torres, T Holvoet
ICAPS Workshop on Planning and Robotics, 143-151, 2018
92018
CooS: Coordination support for mobile collaborative applications
MH Cruz Torres, R Haesevoets, T Holvoet
Mobile and Ubiquitous Systems: Computing, Networking, and Services: 9th …, 2013
92013
Self-adaptive resilient service composition
MHC Torres, T Holvoet
2014 International Conference on Cloud and Autonomic Computing, 141-150, 2014
62014
(No) more design patterns for multi-agent systems
MH Cruz Torres, T Van Beers, T Holvoet
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11 …, 2011
62011
A middleware model in alloy for supply chain-wide agent interactions
R Haesevoets, D Weyns, MH Cruz Torres, A Helleboogh, T Holvoet, ...
Agent-Oriented Software Engineering XI: 11th International Workshop, AOSE …, 2011
52011
Mas organisations to adapt your composite service
MH Cruz Torres, V Noël, T Holvoet, JP Arcangeli
Proceedings of the 3rd International Workshop on Monitoring, Adaptation and …, 2010
52010
Towards Robust Service Workflows: A Decentralized Approach: (Short Paper)
MH Cruz Torres, T Holvoet
OTM Confederated International Conferences" On the Move to Meaningful …, 2011
42011
Simulação acústica no ambiente acmus
MHC Tôrres
Universidade de São Paulo, 2008
42008
A case study on formally validating motion rules for autonomous cars
MHC Torres, JP Giacalone, J Abou Faysal
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops …, 2021
32021
Composite service adaptation: a QoS-driven approach
MH Cruz Torres, T Holvoet
Proceedings of the 5th International Conference on Communication System …, 2011
32011
Simulating the use of autonomous intelligent agents on cellular manufacturing plant floors
A Cunha, C Biscaia, M Torres, L Sobral, O Belo
Proceedings of the 8th European Simulation Symposium, Genoa, Italy, 1996
31996
Combining planning and model checking to get guarantees on the behavior of safety-critical UAV systems
HT Dinh, MH Cruz Torres, T Holvoet
ICAPS Workshop on Planning and Robotics, 152-155, 2018
22018
Composite service adaptation: a QoS-driven approach.
MHC Torres, T Holvoet
COMSWARE, 8, 2011
22011
Mas-discosim 4 pdp: a testbed for multi-agent solutions to pdps
J Van Gompel, B Tuts, R Claes, MH Cruz Torres, T Holvoet
Proceedings of the 9th International Conference on Autonomous Agents and …, 2010
22010
Method for detecting inconsistencies in the outputs of perception systems of autonomous vehicles
Q De Clercq, HT Dinh, MHC Torres, D Romano, P Abrahao, V Vaquero
US Patent App. 17/678,398, 2022
12022
Real-time safety assessment of trajectories for autonomous driving
HT Dinh, D Romano, PA Menani, V Vaquero, Q De Clercq, R Venkatadri, ...
arXiv preprint arXiv:2104.13149, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–20