Renato Silva

According to our database, Renato Silva authored at least 12 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Sentinel-2 Time Series and Classifier Fusion to Map an Aquatic Invasive Plant Species along a River - The Case of Water-Hyacinth.

Nuno Mouta, Renato Silva, Eva M. Pinto, Ana Sofia Vaz, Joaquim M. Alonso, João F. Gonçalves, João P. Honrado, Joana R. Vicente

Remote. Sens., July, 2023

2021

'The Best of Two Worlds' - Combining Classifier Fusion and Ecological Models to Map and Explain Landscape Invasion by an Alien Shrub.

Nuno Mouta, Renato Silva, Silvana Pais, Joaquim M. Alonso, João F. Gonçalves, João P. Honrado, Joana R. Vicente

Remote. Sens., 2021

2019

Low-Cost IoT LoRa®Solutions for Precision Agriculture Monitoring Practices.

Nuno Silva, Jorge Mendes, Renato Silva, Filipe Neves dos Santos, Pedro Mestre, Carlos Serôdio, Raul Morais

Proceedings of the Progress in Artificial Intelligence, 2019

2012

Supporting development of Event-B models.

Renato Silva

PhD thesis, 2012

Lessons Learned/Sharing the Experience of Developing a Metro System Case Study

Renato Silva

CoRR, 2012

Event-B Code Generation: Type Extension with Theories.

Andrew Edmunds, Michael J. Butler, Issam Maamria, Renato Silva, Chris Lovell

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

Decomposition tool for event-B.

Renato Silva, Carine Pascal, Thai Son Hoang, Michael J. Butler

Softw. Pract. Exp., 2011

Towards the Composition of Specifications in Event-B.

Renato Silva

Proceedings of the B 2011 Workshop, 2011

A Survey on Event-B Decomposition.

Thai Son Hoang, Alexei Iliasov, Renato Silva, Wei Wei

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

2010

Shared Event Composition/Decomposition in Event-B.

Renato Silva, Michael J. Butler

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009

Supporting Reuse of Event-B Developments through Generic Instantiation.

Renato Silva, Michael J. Butler

Proceedings of the Formal Methods and Software Engineering, 2009

2002

Improving the Communication Network of a Cluster of PC's to Solve Implicit CFD Problems.

Renato Silva, Marconi F. P. Rivello, Ricardo Amorim

Proceedings of the 14th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2002), 2002