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
152017
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
132008
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
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
62018
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
52011
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
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
41996
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
Sound and complete reactive UAV behavior using constraint programming
HT Dinh, MH Cruz Torres, T Holvoet
CW Reports, 2017
32017
Composite service adaptation: a QoS-driven approach
MH Cruz Torres, T Holvoet
Proceedings of the 5th International Conference on Communication System …, 2011
32011
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
The system can't perform the operation now. Try again later.
Articles 1–20