Michel Ferreira

Research
Publications
Team
Teaching

Address:

Rua do Campo Alegre, 1021/1055
4169-007 Porto

Portugal

Phone:
+351 220 402 922

Fax:
+351 220 402 950

Email:
michel AT dcc.fc.up.pt

Welcome!

Hi! I am a Professor Auxiliar at the Departamento de Ciência de Computadores, Universidade do Porto and a researcher at Instituto de Telecomunicações in Porto, where I lead the Geo-Networks group.

I'm also co-founder of Geolink a technology-based company specialized in the optimization of vehicular mobility.

Research

Currently, my main research interest is in the area of Intelligent Transportation Systems (ITS). I'm especially interested in Cooperative ITS, where inter-vehicle communication plays an important role. Vehicular Ad Hoc Networks (VANET), mobility simulation and spatio-deductive databases are important topics in my current research. Vehicular Networks are a particular case of networks where the geographical awareness of nodes is crucial in the design of protocols and applications. A major goal in my research is the efficient design of large-scale distributed systems that use infrastructureless communication to self-organize, based on spatial reasoning.

I'm currently leading the following research projects:

VTL: Virtual Traffic Lights.
DRIVE-IN: Distributed Routing and Infotainment through VEhicular Inter-Networking.

I'm also involved in the following projects:

BST: Bluetooth Sensing Technology.
MISC: Massive Information Scavenging with Intelligent Transportation Systems.

Publications

2012

P. Gomes, C. Olaverri-Monreal, M. Ferreira. Making Vehicles Transparent through V2V Video Streaming, IEEE Transactions on Intelligent Transportation Systems, 2012.
R. Fernandes, M. Ferreira. Scalable VANET Simulations with NS-3, 75th IEEE Vehicular Technology Conference - VTC 2012-Spring, Yokohama, Japan, May 2012.
M. Ferreira, O. Tonguz, R. Fernandes, H. Conceição, W. Viriyasitavat. Methods and Systems for Coordinating Vehicular Traffic Using In-Vehicle Traffic Control Signals Enabled by Vehicle-to-Vehicle Communications, WO Patent WO/2012/009,620, January 2012

2011

M. Ferreira, P. M. d'Orey. On the Impact of Virtual Traffic Lights on Carbon Emissions Mitigation, IEEE Transactions on Intelligent Transportation Systems, October 2011.
M. Ferreira, P. Gomes, C. Olaverri-Monreal. Making Vehicles Transparent through DSRC, IEEE Pervasive Computing, Special Issue on Automotive Pervasive Computing in "Large Scale Opportunistic Sensing - Work in Progress submission". Volume 10, number 4, pp. 56.
D. Vaz, V. S. Costa, M. Ferreira. Fire! Firing Inductive Rules from Economic Geography for Fire Risk Detection, Inductive Logic Programming, Lecture Notes in Computer Science, 2011, Volume 6489/2011, 238-252.
P. Gomes, C. Olaverri-Monreal, M. Ferreira, L. Damas. Driver-Centric VANET Simulation, 3rd International Workshop on Communication Technologies for Vehicles - Nets4Cars 2011, Oberpfaffenhofen, Germany, March 2011.
M. Boban, T. V. Vinhoza, M. Ferreira, J. Barros, O. K. Tonguz. Impact of Vehicles as Obstacles in Vehicular Ad Hoc Networks, IEEE Journal on Selected Areas in Communications - Special Issue on Vehicular Communication Networks, January 2011.

2010

R. Fernandes, P. M. d'Orey, M. Ferreira. DIVERT for Realistic Simulation of Heterogeneous Vehicular Networks, 2nd IEEE International Workshop on Intelligent Vehicular Networks - InVeNET 2010, San Francisco, CA, USA, November 2010.
H. Conceição, R. Fernandes, P. Gomes, M. Ferreira, O. K. Tonguz. An Interactive Simulation of a Distributed Traffic Control System based on VANET (Demo Paper), 16th Annual International Conference on Mobile Computing and Networking - ACM MobiCom 2010, Chicago, IL, USA, September 2010.
M. Ferreira, R. Fernandes, H. Conceição, W. Viriyasitavat, O. K. Tonguz. Self-Organized Traffic Control, 7th ACM International Workshop on Vehicular Inter-Networking - VANET 2010, Chicago, IL, USA, September 2010.
P. M. d'Orey, M. Garcia-Lozano, M. Ferreira. Automatic Link Balancing Using Fuzzy Logic Control of Handover Parameter, 21st Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications - PIMRC'2010, Istambul, Turkey, September 2010.
D. Vaz, V. S. Costa, M. Ferreira. Fire! Firing Inductive Rules from Economic Geography for Fire Risk Detection, 20th International Conference on Inductive Logic Programming - ILP'2010, Firenze, Italy, June 2010.
C. Olaverri-Monreal, P. Gomes, R. Fernandes, F. Vieira, M. Ferreira. The See-Through System: A VANET-Enabled Assistant for Overtaking Maneuvers, 2010 IEEE Intelligent Vehicles Symposium - IV'10, San Diego, CA, USA, June 2010.

2009

M. Ferreira, H. Conceição, R. Fernandes, O. K. Tonguz. Stereoscopic Aerial Photography: An Alternative to Model-Based Urban Mobility Approaches, 6th ACM International Workshop on Vehicular Inter-Networking - VANET 2009, Beijing, China, September 2009.
M. Ferreira, H. Conceição, R. Fernandes, O. K. Tonguz. Urban Connectivity Analysis of VANET through Stereoscopic Aerial Photography, 70th IEEE Vehicular Technology Conference - VTC 2009-Fall, Anchorage, AK, USA, September 2009.
R. Meireles, M. Ferreira, J. Barros. Vehicular Connectivity Models: From Single-Hop Links to Large-Scale Behavior, 70th IEEE Vehicular Technology Conference - VTC 2009-Fall, Anchorage, AK, USA, September 2009.
F. Lima, M. Ferreira. Mining Spatial Data from GPS Traces for Automatic Road Network Extraction, 6th International Symposium on Mobile Mapping Technology - ISMMT'09, Presidente Prudente, São Paulo, Brazil, July 2009.
D. Vaz, V. S. Costa, M. Ferreira. User Defined Indexing, 25th International Conference on Logic Programming - ICLP 2009, Pasadena, CA, USA, July 2009.
M. Ferreira, H. Conceição, R. Fernandes, R. Reis. Locating Cars through a Vision Enabled VANET, 2009 IEEE Intelligent Vehicles Symposium - IV'09, Xi'An, China, June 2009.
H. Conceição, M. Ferreira, J. Barros. A Cautionary View of Mobility and Connectivity Modeling in Vehicular Ad-Hoc Networks, 69th IEEE Vehicular Technology Conference - VTC 2009-Spring, Barcelona, Spain, April 2009.
P. Ribeiro, H. Simões, M. Ferreira. Teaching Artificial Intelligence and Logic Programming in a Competitive Environment, Informatics in Education - Vol. 8, 2009.
P. Costa, R. Rocha, M. Ferreira. Relational Models for Tabling Logic Programs in a Database, Applications of Declarative Programming and Knowledge Management - 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming - Revised Selected Papers (published in 2009), WLP 2007, Würzburg, Germany, October 2007.

2008

F. Lima, M. Ferreira. Mining Spatial Data from GPS Traces for Automated Map Generation, 2008 Free and Open Source Software for Geospatial Conference - FOSS4G 2008, Cape Town, South Africa, September 2008.
H. Conceição, M. Ferreira, J. Barros. On the Urban Connectivity of Vehicular Sensor Networks, 4th IEEE International Conference on Distributed Computing in Sensor Systems - DCOSS'08, Santorini Island, Greece, June 2008.
H. Conceição, L. Damas, M. Ferreira, J. Barros. Large-Scale Simulation of V2V Environments, 23rd Annual ACM Symposium on Applied Computing - SAC'2008, Fortaleza, Ceará, Brazil, March 2008.

2007

D. Vaz, M.Ferreira. Spatial-Yap: A Spatial Deductive Database System, OSGeo Journal, Vol. 3, December 2007.
H. Conceição, L. Damas, M.Ferreira, J. Barros. The DIVERT Project: Development of Inter-Vehicular Reliable Telematics, OSGeo Journal, Vol. 3, December 2007.
P. Costa, R. Rocha, M. Ferreira. Tabling Logic Programs in a Database, 21st Workshop on (Constraint) Logic Programming - WLP'2007, Würzburg, Germany, October 2007.
D. Vaz, M. Ferreira, R. Lopes. Spatial-Yap: A Logic-Based Geographic Information System, 23rd International Conference on Logic Programming - ICLP 2007, Porto, Portugal, September 2007.
P. Costa, R. Rocha, M. Ferreira. Relational Storage Mechanisms for Tabled Logic Programs, 1st IEEE International Conference on Compiler, Related Technologies and Applications - CoRTA'07, Covilhã, Portugal, July 2007.
M.Ferreira, N. A. Fonseca, R. Rocha, T. Soares. Efficient and Scalable Induction of Logic Programs using a Deductive Database System, 16th International Conference on Inductive Logic Programming, ILP'2006 - Revised Selected Papers (published in 2007), Santiago de Compostela, Spain, August 2006.

2006

M. Ferreira, N. A. Fonseca, R. Rocha, T. Soares. Efficient and Scalable Induction of Logic Programs using a Deductive Database System, 16th International Conference on Inductive Logic Programming, ILP'2006 - Short Papers, Santiago de Compostela, Spain, August 2006.
T. Soares, M. Ferreira, R. Rocha, N. A. Fonseca. On Applying Deductive Databases to Inductive Logic Programming: a Performance Study, 6th Colloquium on Implementation of Constraint and LOgic Programming Systems - CICLOPS'2006, Seattle, WA, USA, August 2006.
P. Costa, R. Rocha, M. Ferreira. DBTAB: a Relational Storage Model for the YapTab Tabling System, 6th Colloquium on Implementation of Constraint and LOgic Programming Systems - CICLOPS'2006, Seattle, WA, USA, August 2006.
T. Soares, R. Rocha, M. Ferreira. Generic Cut Actions for External Prolog Predicates, 8th International Symposium on Practical Aspects of Declarative Languages - PADL 2006, Charleston, SC, USA, January 2006.

2005

T. Soares, M. Ferreira, R. Rocha. The MYDDAS Programmer's Manual, DCC-FC & LIACC, University of Porto, December 2005.
T. Soares, R. Rocha, M. Ferreira. Pruning Extensional Predicates in Deductive Databases, 5th Colloquium on Implementation of Constraint and LOgic Programming Systems - CICLOPS'2005, Sitges, Spain, October 2005.
M. Ferreira. The MYDDAS Project: Using a Deductive Database for Traffic Characterization, 21st International Conference on Logic Programming - ICLP 2005, Sitges, Spain, October 2005.
M. Ferreira, R. Rocha. Coupling OPTYap with a Database System, IADIS International Conference on Applied Computing - IADIS-AC 2005, Algarve, Portugal, February 2005.

2004

M. Ferreira, R. Rocha. The MyYapDB Deductive Database System, 9th European Conference on Logics in Artificial Intelligence - JELIA'2004, Lisbon, Portugal, September 2004.
M. Ferreira, R. Rocha, S. Silva. Comparing Alternative Approaches for Coupling Logic Programming with Relational Databases, 4th Colloquium on Implementation of Constraint and LOgic Programming Systems - CICLOPS'2004, Saint Malo, France, September 2004.

2003

R. Lopes, M. Ferreira (Eds.). Proceedings of the Colloquium on Implementation of COnstraint and Logic Programming Systems, December 2003.
M. Ferreira, L. Damas. Controlling Code Expansion in a Multiple Specialization Prolog Compiler, 3rd Colloquium on Implementation of Constraint and LOgic Programming Systems - CICLOPS'2003, Mumbai, India, December 2003.
M. Ferreira, L. Damas. WAM Local Analysis, 5th International Symposium on Practical Aspects of Declarative Languages - PADL'2003, New Orleans, LO, USA, January 2003.

2002

M. Ferreira, L. Damas. WAM Local Analysis, 2nd Colloquium on Implementation of Constraint and LOgic Programming Systems - CICLOPS'2002, Copenhagen, Denmark, July 2002.
M. Ferreira. Specialization Techniques for the Compilation of Declarative Languages, PhD. Thesis, Department of Computer Science, Faculty of Sciences, University of Porto, February 2002.

1999

M. Ferreira, L. Damas. Unfolding WAM Code (Chapter), Parallelism and Implementation of Logic and Constraint Logic Programmin, Nova Science, Inc., 1999.
M. Ferreira, L. Damas. Multiple Specialization of WAM Code, 1st International Symposium on Practical Aspects of Declarative Languages - PADL'99, San Antonio, TX, USA, January 1999.

1996

M. Ferreira. Um Compilador de Prolog com Expansão de Código, MSc. Thesis, Department of Informatics, University of Minho, October 1996.
M. Ferreira, L. Damas. Unfolding WAM Code, Post-JICSLP'96 Workshop and 1996 Compulog Net Area Meeting on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, Bonn, Germany, September 1996.