Andre Rodrigues da Silva

Learn More
The search for relevant information on the Web is a personalized discovery process. In this process each person aggregates new information to the border of what he or she already knows. Finding relevant information is also related to the user history, being driven by his or her intentional selection of documents to access. This paper presents a(More)
Nowadays, there is a lot of technology that must not fail at any circumstances. A car airbag is a simple reactive system that must work every time the car crashes. In order to model problems like this, there are some model-checking applications that can help us do the job. In this paper a well known case study will be modeled and verified in Uppaal and some(More)
  • 1