Mário Henrique Cruz Torres

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 2

Top Topics

Resource Allocation

Mobile Applications

Mixed Integer Linear Programming

Service Composition

Top Venues

Katholieke Universiteit Leuven, Belgium (PHD)

Education History

Katholieke Universiteit Leuven, Belgium

PHD

Publications

Mário Henrique Cruz Torres, Jean Pierre Giacalone, Joelle Abou Faysal
A Case Study on Formally Validating Motion Rules for Autonomous Cars. SEFM (2020)
Jorik De Waen, Hoang Tung Dinh, Mário Henrique Cruz Torres, Tom Holvoet
Scalable multirotor UAV trajectory planning using mixed integer linear programming. ECMR (2017)
Mário Henrique Cruz Torres, Tom Holvoet
Self-Adaptive Resilient Service Composition. ICCAC (2014)
Marvin Ferber, Thomas Rauber, Mário Henrique Cruz Torres, Tom Holvoet
Resource Allocation for Cloud-Assisted Mobile Applications. IEEE CLOUD (2012)
Mário Henrique Cruz Torres, Robrecht Haesevoets, Tom Holvoet
CooS: Coordination Support for Mobile Collaborative Applications. MobiQuitous (2012)
Mário Henrique Cruz Torres, Tom Holvoet
Composite service adaptation: a QoS-driven approach. COMSWARE (2011)
Mário Henrique Cruz Torres, Tom Holvoet
Composite service optimization through decentralized coordination. ICAC (2011)
Mário Henrique Cruz Torres, Tony Van Beers, Tom Holvoet
(No) more design patterns for multi-agent systems. SPLASH Workshops (2011)
Robrecht Haesevoets, Danny Weyns, Mário Henrique Cruz Torres, Alexander Helleboogh, Tom Holvoet, Wouter Joosen
A Middleware Model in Alloy for Supply Chain-Wide Agent Interactions. AOSE (2010)