João F. Ferreira

CoRR, 2024

CoqPyt: Proof Navigation in Python in the Era of LLMs.

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

How are Contracts Used in Android Mobile Applications?

[BibT_eX]

[DOI]

David R. Ferreira

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

Leveraging Large Language Models to Boost Dafny's Developers Productivity.

[BibT_eX]

[DOI]

Álvaro F. Silva

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

2023

bGSL: An imperative language for specification and refinement of backtracking programs.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2023

Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution (Artifact).

[BibT_eX]

[DOI]

Henrique Botelho Guerra

João Costa Seco

Dagstuhl Artifacts Ser., 2023

MUFIN: Improving Neural Repair Models with Back-Translation.

[BibT_eX]

[DOI]

CoRR, 2023

Polyglot Code Smell Detection for Infrastructure as Code with GLITCH.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution.

[BibT_eX]

[DOI]

Henrique Botelho Guerra

João Costa Seco

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

GLITCH: an Intermediate-Representation-Based Security Analysis for Infrastructure as Code Scripts.

[BibT_eX]

[DOI]

Nuno Saavedra

CoRR, 2022

Extending EcoAndroid with Automated Detection of Resource Leaks.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems, 2022

GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code.

[BibT_eX]

[DOI]

Nuno Saavedra

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Message from the RSDA 2022 Workshop Chairs.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

Verified Password Generation from Password Composition Policies.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing.

[BibT_eX]

[DOI]

Miguel Trinca

Rui Abreu

Proceedings of the 15th IEEE International Conference on Software Testing, 2022

2021

Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda.

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Workshop on Applicable Formal Methods, 2021

Towards Formal Verification of Password Generation Algorithms used in Password Managers.

[BibT_eX]

[DOI]

Miguel Grilo

José Bacelar Almeida

CoRR, 2021

Automated narrative planning model extension.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2021

EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications.

[BibT_eX]

[DOI]

Ana Ribeiro

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities.

[BibT_eX]

[DOI]

Rui Lima

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts.

[BibT_eX]

[DOI]

Dataset, October, 2020

SmartBugs: A Framework to Analyze Solidity Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks.

[BibT_eX]

[DOI]

David Pereira

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

Empirical review of automated analysis tools on 47, 587 Ethereum smart contracts.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection.

[BibT_eX]

[DOI]

Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

Extending Narrative Planning Domains with Linguistic Resources.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Narrative Planning Model Acquisition from Text Summaries and Descriptions.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Logic, Algebra, and Geometry at the Foundation of Computer Science.

[BibT_eX]

[DOI]

Tony Hoare

Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019

Open and Interactive Learning Resources for Algorithmic Problem Solving.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

GPS+: Reasoning About Fences and Relaxed Atomics.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 2018

Towards a Program Logic for C11 Release-Sequences.

[BibT_eX]

[DOI]

Mengda He

Shengchao Qin

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

Towards Verified Handwritten Calculational Proofs - (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017

ReqCap: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

Visualization of Patient Behavior from Natural Language Recommendations.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Capture Conference, 2017

Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Framer: Planning Models from Natural Language Action Descriptions.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

2016

A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2016

Reasoning about Fences and Relaxed Atomics.

[BibT_eX]

[DOI]

Proceedings of the 24th Euromicro International Conference on Parallel, 2016

Supporting Social Skills Rehabilitation with Virtual Storytelling.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, 2016

An adapted double threshold protocol for spastic muscles.

[BibT_eX]

[DOI]

Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2016

2014

Automated verification of the FreeRTOS scheduler in Hip/Sleek.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2014

Structure Editing of Handwritten Mathematics: Improving the Computer Support for the Calculational Method.

[BibT_eX]

[DOI]

Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces, 2014

The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks.

[BibT_eX]

[DOI]

Proceedings of the Innovation and Technology in Computer Science Education Conference 2014, 2014

2013

The algorithmics of solitaire-like games.

[BibT_eX]

[DOI]

Wei Chen

Sci. Comput. Program., 2013

Linear Logic Programming for Narrative Generation.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2013

2012

Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK.

[BibT_eX]

[DOI]

Guanhua He

Shengchao Qin

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

A Timed CSP Model for the Time-Triggered Language Giotto.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

2011

On Euclid's algorithm and elementary number theory.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2011

Logic Training through Algorithmic Problem Solving.

[BibT_eX]

[DOI]

Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

2010

Designing an Algorithmic Proof of the Two-Squares Theorem.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

2009

Which Mathematics for the Information Society?

[BibT_eX]

[DOI]

Luís Soares Barbosa

Proceedings of the Teaching Formal Methods, Second International Conference, 2009

2008

Recounting the Rationals: Twice!.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008

2006

JaSkel: A Java Skeleton-Based Framework for Structured Cluster and Grid Computing.

[BibT_eX]

[DOI]