Login

In Proceedings

Fine-grained consistency for geo-replicated systems

InProceedings

Published in 11/07/2018

Authors

Cheng Li, Nuno Preguiça, Rodrigo Rodrigues,

SNITCH: dynamic dependent Information flow for independent Java bytecode

InProceedings

Published in 01/07/2018

Authors

Eduardo Geraldo, João Costa Seco,

Visualising Hidden Spatiotemporal Patterns at Multiple Levels of Detail

InProceedings

Published in 01/07/2018

Authors

Ricardo Silva, João Moura Pires, Nuno Datia, Maribel Yasmina Santos, Bruno Martins, Fernando Birra,

Typing the Evolution of Variational Software

InProceedings

Published in 01/06/2018

Authors

João Costa Seco, Jácome Cunha,

A static verification framework for message passing in Go using behavioural types

InProceedings

Published in 27/05/2018

Authors

Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida,

The Evolution of Requirements Practices in Software Startups

InProceedings

Published in 01/05/2018

Authors

Catarina Gralha, Daniela Damian, Anthony I. (Tony) Wasserman, Miguel Goulão, João Araújo,

On Polymorphic Sessions and Functions – A Tale of Two (Fully Abstract) Encodings

InProceedings

Published in 14/04/2018

Authors

Bernardo Toninho, Nobuko Yoshida,

Depending on Session-Typed Processes

InProceedings

Published in 14/04/2018

Authors

Bernardo Toninho, Nobuko Yoshida,

Leveraging Teenagers Feedback in the Development of a Domain-Specific Language – The Case of Programming Low-Cost Robots

InProceedings

Published in 01/04/2018

Authors

Ankica Barisic, Vasco Amaral, Miguel Goulão,

Towards an Approach to Elicit Domain Requirements from Social Networks: The Case of Emergency Systems

InProceedings

Published in 01/04/2018

Authors

Claudio Borges, João Araújo, Armanda Rodrigues,