Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
PT
:
A atualização do sistema e do servidor Authenticus
Para mais informações, visite
esta
página.
EN
:
The Authenticus system and server upgrade
.
For more information, please visit
this
page.
Alexandra Sofia Ferreira Mendes
AuthID:
R-00H-J2M
Publications
Confirmed
To Validate
Document Source:
All
Document Type:
All Document Types
Proceedings Paper (22)
Article (2)
Article in Press (2)
Phd Thesis (1)
Book Chapter (1)
Proceedings (1)
Book (1)
Year Start - End:
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
-
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
Order:
Year Dsc
Year Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Title Asc
Title Dsc
Results:
10
20
30
40
50
Confirmed Publications: 30
1
TITLE:
bGSL: An imperative language for specification and refinement of backtracking programs
AUTHORS:
Dunne, Steve;
Ferreira, Joao F.
;
Mendes, Alexandra
; Ritchie, Campbell; Stoddart, Bill; Zeyda, Frank;
PUBLISHED:
2023
,
SOURCE:
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING,
VOLUME:
130
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
Unpaywall
2
TITLE:
Patient-centric health data sovereignty: an approach using Proxy re-encryption
AUTHORS:
Bruno Rodrigues; Ivone Amorim; Ivan Costa;
Alexandra Mendes
;
PUBLISHED:
2023
,
SOURCE:
CoRR,
VOLUME:
abs/2307.01175
INDEXED IN:
DBLP
IN MY:
DBLP
3
TITLE:
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH
AUTHORS:
Nuno Saavedra
; João Gonçalves; Miguel Henriques; João F Ferreira;
Alexandra Mendes
;
PUBLISHED:
2023
,
SOURCE:
CoRR,
VOLUME:
abs/2308.09458
INDEXED IN:
DBLP
IN MY:
DBLP
4
TITLE:
Extending EcoAndroid with Automated Detection of Resource Leaks
AUTHORS:
Pereira, Ricardo B.;
Ferreira, Joao F.
;
Mendes, Alexandra
; Abreu, Rui;
PUBLISHED:
2022
,
SOURCE:
9th IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft)
in
9TH IEEE/ACM INTERNATIONAL CONFERENCE ON MOBILE SOFTWARE ENGINEERING AND SYSTEMS, MOBILESOFT 2022
INDEXED IN:
Scopus
WOS
DBLP
IN MY:
DBLP
5
TITLE:
Verified Password Generation from Password Composition Policies
AUTHORS:
Grilo, Miguel;
Campos, Joao
;
Ferreira, Joao F.
;
Almeida, Jose Bacelar
;
Mendes, Alexandra
;
PUBLISHED:
2022
,
SOURCE:
17th International Conference on Integrated Formal Methods (IFM)
in
INTEGRATED FORMAL METHODS, IFM 2022,
VOLUME:
13274
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
IN MY:
DBLP
6
TITLE:
Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
AUTHORS:
Lima, Rui;
Ferreira, Joao F.
;
Mendes, Alexandra
;
PUBLISHED:
2021
,
SOURCE:
36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
in
2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2021)
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
IN MY:
DBLP
7
TITLE:
EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications
AUTHORS:
Ribeiro, Ana
;
Ferreira, Joao F.
;
Mendes, Alexandra
;
PUBLISHED:
2021
,
SOURCE:
21st IEEE International Conference on Software Quality, Reliability and Security (QRS)
in
2021 IEEE 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2021)
INDEXED IN:
WOS
DBLP
CrossRef
IN MY:
DBLP
8
TITLE:
Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
AUTHORS:
Carolina Carreira;
João F Ferreira
;
Alexandra Mendes
; Nicolas Christin;
PUBLISHED:
2021
,
SOURCE:
1st Workshop on Applicable Formal Methods, AppFM 2021
in
Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021.,
VOLUME:
349
INDEXED IN:
Scopus
DBLP
IN MY:
DBLP
9
TITLE:
Formal Methods Teaching. 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTHORS:
João F Ferreira;
Alexandra Mendes
; Claudio Menghi;
PUBLISHED:
2021
,
SOURCE:
Lecture Notes in Computer Science
INDEXED IN:
CrossRef
:
1
10
TITLE:
Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTHORS:
João F Ferreira
;
Alexandra Mendes
; Claudio Menghi;
PUBLISHED:
2021
,
SOURCE:
FMTea,
VOLUME:
13122
INDEXED IN:
DBLP
IN MY:
DBLP
Add to Marked List
Check All
Export
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Page 1 of 3. Total results: 30.
<<
<
1
2
3
>
>>
© 2023 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service