Reliable Software Systems

Line Tabs

Information

Homepage:

http://rss.di.fc.ul.pt/

Description:

The main focus is on modelling techniques and formal analysis approaches to software system structure and behaviour. The line addresses methods and tools for enhancing the software engineering practice.

Targeted areas:

Software verification and validation
Programming languages
Models of computation
Concurrency theory
Formal methods and theory of security
Type systems
Logic
Software architectures

Leader:

Antónia Lopes

Members

Research Line Members:

Name	Category
Alcides Fonseca	Integrated Researcher
Alexey Ignatiev	Integrated Researcher
André Souto	Integrated Researcher
Andreia Mordido	Integrated Researcher
Antónia Lopes	Integrated Researcher
António Morgado	Integrated Researcher
Dulce Domingos	Integrated Researcher
Fernando Ramos	Integrated Researcher
Francisco Martins	Integrated Researcher
Vasco Vasconcelos	Integrated Researcher
Gilda Ferreira	PhD Collaborator
Joana Campos	PhD Collaborator
Rui Oliveira	PhD Collaborator
Sofia Teixeira	PhD Collaborator
Thibault Langlois	PhD Collaborator
Carlos Mão de Ferro	PhD Student
Ana Catarina Pereira	MSc Student
Francisco Medeiros	MSc Student
Guilherme Espada	MSc Student
João Becho	MSc Student
Nuno Burnay	MSc Student
Paulo Santos	MSc Student
Sérgio Pinto	MSc Student
João Roque	Undergraduate Student
Pedro Silva	Undergraduate Student
Anande Premgi	Collaborator
Bernardo Almeida	Collaborator
Pedro Cardoso	Collaborator

Projects

Ongoing projects:

Acronym	Project	Funding Entity	End Date
Abyss	Autonomic Byzantine Fault-Tolerant Systems	FCT	30/06/2019
CONFIDENT	Communication Contracts for Distributed Systems Development	FCT	30/04/2019
doit	Decentralization and Optimization of IoT aware business processes	FCT	30/06/2019
EUTypes	The European Research Network on Types for Programming and Verification	COST ACTION	20/03/2020
FAULTLocker	FAULT LOCalization and repair toolKit for dEpendable softwaRe	FCT	31/08/2021

Software and Tools

Software and Tools:

Title	Short descritption
AguiaJ	An pedagogical environment for experimenting object-oriented programming in Java
ASPA	A patching tool for JVM class files
BICA	An extension of the Java language that enables the verification of Java programs against a session type specification
ConGu	A tool that supports the checking of Java classes against property-driven algebraic specifications
Cooperari	A tool for cooperative testing of multithreaded Java applications
MIL	An assembly language targeted at an abstract multi-processor equipped with a shared main memory
MOOL	A mini object-oriented language in a Java-like style with support for concurrency, that allows programmers to specify class usage protocols as types
ParTypes	A toolchain for validating and synthesising message-based programs for Message Passing Interface programs
PESTT	An Eclipse plug-in for learning and designing unit tests for the Java language
ProPi	A tool to statically verify whether message passing programs are free from deadlocks
SePi	A concurrent, message-passing programming language based on the pi-calculus
TryIt	Learn and use RSS tools straight from your web browser

Publications

2018

Conference Paper

Souto, A., Antunes L., Mateus P., & Teixeira A. (2018). Witness hiding without extractors or simulators. Conference on Computability in Europe. 397–409.

Melfe, G., Fonseca A., & Fernandes J. Paulo (2018). Helping developers write energy efficient Haskell through a data-structure evaluation. 2018 IEEE/ACM 6th International Workshop on Green And Sustainable Software (GREENS). 9–15.

Melfe, G., Fonseca A., & Fernandes J. Paulo (2018). Evaluation of the impact on energy consumption of lazy versus strict evaluation of Haskell data-structures. Proceedings of the XXII Brazilian Symposium on Programming Languages. 83–89.

Ignatiev, A., Morgado A., & Marques-Silva J. (2018). PySAT: A Python Toolkit for Prototyping with SAT Oracles. International Conference on Theory and Applications of Satisfiability Testing. 428–437.

Duarte, F., Gil R., Romano P., Lopes A., & Rodrigues L. (2018). Learning non-deterministic impact models for adaptation. Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems. 196–205.