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
Carlos Mão de Ferro	PhD Student
Anande Premgi	MSc Student
Nuno Burnay	MSc Student
Pedro Cardoso	MSc Student
Sérgio Pinto	MSc Student
Bernardo Almeida	Collaborator
Pedro Vieira	Collaborator
Sofia Teixeira	Collaborator

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

Journal Article

Cabaj, K., Domingos D., Kotulski Z., & Respicio A. (2018). Cybersecurity education: Evolution of the discipline and analysis of master programs. Computers & Security. 75, 24–35.

2017

Journal Article

Antunes, L., Bauwens B., Souto A., & Teixeira A. (2017). Sophistication vs Logical Depth. Theory of Computing Systems. 60, 280–298.

Kreutz, D., Esteves-Verissimo P., Magalhaes C., & Ramos F. (2017). The KISS principle in Software-Defined Networking: An architecture for Keeping It Simple and Secure. arXiv preprint arXiv:1702.04294.

Fiadeiro, J., Lopes A., Delahaye B., & Legay A. (2017). Dynamic networks of heterogeneous timed machines. Mathematical Structures in Computer Science. 1–56.

Marques-Silva, J., Ignatiev A., & Morgado A. (2017). Horn Maximum Satisfiability: Reductions, Algorithms & Applications. arXiv preprint arXiv:1705.05335.

Yadav, P., Mateus P., Paunković N., & Souto A. (2017). Quantum contract signing with entangled pairs. arXiv preprint arXiv:1711.09843.

Kreutz, D., Yu J., Ramos F., & Esteves-Verissimo P. (2017). ANCHOR: logically-centralized security for Software-Defined Networks. arXiv preprint arXiv:1711.03636.

Conference Paper

Martinez, R. Gil, Li Z., Lopes A., & Rodrigues L. (2017). Augure: Proactive reconfiguration of cloud applications using heterogeneous resources. Network Computing and Applications (NCA), 2017 IEEE 16th International Symposium on. 1–8.

Janota, M., & Marques-Silva J. (2017). An Achilles’ Heel of Term-Resolution. Portuguese Conference on Artificial Intelligence. 670–680.

Fonseca, A., Lourenço N., & Cabral B. (2017). Evolving Cut-Off Mechanisms and Other Work-Stealing Parameters for Parallel Programs. European Conference on the Applications of Evolutionary Computation. 757–772.

You are here

Reliable Software Systems

Line Tabs

Research Line Members:

Software and Tools:

Journal Article

Journal Article

Conference Paper

Pages