Renato Silva

12 papers C 3Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2023 J jnl
Sentinel-2 Time Series and Classifier Fusion to Map an Aquatic Invasive Plant Species along a River - The Case of Water-Hyacinth.
Remote. Sens.
Nuno Mouta, Renato Silva, Eva Malta-Pinto, Ana Sofia Vaz, Joaquim M. Alonso, João F. Gonçalves, João P. Honrado, Joana R. Vicente
2021 J jnl
'The Best of Two Worlds' - Combining Classifier Fusion and Ecological Models to Map and Explain Landscape Invasion by an Alien Shrub.
Remote. Sens.
Nuno Mouta, Renato Silva, Silvana Pais, Joaquim M. Alonso, João F. Gonçalves, João P. Honrado, Joana R. Vicente
2019 — conf
Low-Cost IoT LoRa®Solutions for Precision Agriculture Monitoring Practices.
EPIA (1)
Nuno Silva, Jorge Mendes, Renato Silva, Filipe Neves dos Santos, Pedro Mestre, Carlos Serôdio, Raul Morais
2012 C conf
Event-B Code Generation: Type Extension with Theories.
ABZ
Andrew Edmunds, Michael J. Butler, Issam Maamria, Renato Silva, Chris Lovell
2012 J jnl
Lessons Learned/Sharing the Experience of Developing a Metro System Case Study
CoRR
Renato Silva
2012 — —
Supporting development of Event-B models.
Renato Silva
2011 J jnl
A Survey on Event-B Decomposition.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Thai Son Hoang, Alexei Iliasov, Renato Silva, Wei Wei
2011 J jnl
Decomposition tool for event-B.
Softw. Pract. Exp.
Renato Silva, Carine Pascal, Thai Son Hoang, Michael J. Butler
2011 — conf
Towards the Composition of Specifications in Event-B.
B@FM
Renato Silva
2010 — conf
Shared Event Composition/Decomposition in Event-B.
FMCO
Renato Silva, Michael J. Butler
2009 C conf
Supporting Reuse of Event-B Developments through Generic Instantiation.
ICFEM
Renato Silva, Michael J. Butler
2002 C conf
Improving the Communication Network of a Cluster of PC's to Solve Implicit CFD Problems.
SBAC-PAD
Renato Silva, Marconi F. P. Rivello, Ricardo Amorim