Aposta numa abordagem rigorosa à resolução de problemas por computador com base na adopção de modelos formais e métodos sistemáticos de analise e desenvolvimento.

This Logo Viewlet registered to qPloneSkinTechlight. The Distributed Systems Group is a research group of INESC-ID. A research laboratory associated with the Instituto Superior Tecnico. Most of our members are either faculty or students at IST but we also have a number of external collaborators from other Portuguese academic institutions.

Grand Timely Topics in Software Engineering. Springer LNCS proceedings have appeared. Grand Timely Topics in Software Engineering. Sunday 23 Aug - Saturday 29 Aug, 2015, Braga, Portugal. As a venue for communicating the current state of a timely topic related to software engineering. Series of Springer International Publishing. The post-proceedings of the previous four instances of the summer school were published as LNCS 4143.

Prototyping and Analysing Ubiquitous Computing Environments using Multiple Layers. Demonstrates the approach by means of an example, placing particular emphasis on the simulation of virtual environments, low cost prototyping and the formal analysis capabilities. Post-Doc Position in Distributed Data Aggregation. We are opening a Post-Doc Position in HASLab. Supported by a one year grant.

My name is Rui Carlos Araújo Gonçalves. And this is my webpage. In April 2015 I finished my PhD at MAP-i. Before, I studied Mathematics and Computer Science at Universidade do Minho, where I got my Bachelor degree in December 2008. I was also a collaborator in different research projects, such as.

Transactional semantics across cloud data stores. Programming with a single query language. Transactional semantics across cloud data stores. Programming with a single query language. Coherent and Rich PaaS with a Common Programming Model. CoherentPaaS presented at EuroSys 2015. Analyse social media, news or b.

SafeCloud will re-architect cloud infrastructures to ensure that data transmission, storage, and processing can be. Partitioned in multiple administrative domains that are unlikely to collude, so that sensitive data can be protected by design;. Entangled with inter-dependencies that make it impossible for any of the domains to tamper with its integrity. SafeCloud workshop in conjunction with SRDS.