Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
Manuel Alcino Pereira da Cunha
AuthID:
R-000-A05
Publications
Confirmed
To Validate
Document Source:
All
Document Type:
All Document Types
Proceedings Paper (60)
Article (18)
Unpublished (6)
Article in Press (2)
Proceedings (1)
Editorial Material (1)
Phd Thesis (1)
Year Start - End:
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
-
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
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: 89
21
TITLE:
alurity, a toolbox for robot cybersecurity
AUTHORS:
Víctor Mayoral Vilches; Irati Abad Fernández; Martin Pinzger; Stefan Rass; Bernhard Dieber;
Alcino Cunha
; Francisco J Rodríguez Lera; Giovanni Lacava; Angelica Marotta; Fabio Martinelli; Endika Gil Uriarte;
PUBLISHED:
2020
,
SOURCE:
CoRR,
VOLUME:
abs/2010.07759
INDEXED IN:
DBLP
IN MY:
ORCID
|
DBLP
|
CIÊNCIAVITAE
22
TITLE:
Experiences on Teaching Alloy with an Automated Assessment Platform
AUTHORS:
Nuno Macedo
;
Alcino Cunha
;
José Pereira
; Renato Carvalho; Ricardo Silva;
Ana C R Paiva
; Miguel Sozinho Ramalho; Daniel Castro Silva;
PUBLISHED:
2020
,
SOURCE:
7th International Conference on Rigorous State-Based Methods, ABZ 2020
in
Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings,
VOLUME:
12071
INDEXED IN:
Scopus
DBLP
CrossRef
:
7
IN MY:
ORCID
|
DBLP
|
CIÊNCIAVITAE
23
TITLE:
Merging Cloned Alloy Models with Colorful Refactorings
AUTHORS:
Chong Liu;
Nuno Macedo
;
Alcino Cunha
;
PUBLISHED:
2020
,
SOURCE:
Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings,
VOLUME:
12475
INDEXED IN:
DBLP
CrossRef
Unpaywall
IN MY:
ORCID
|
DBLP
|
CIÊNCIAVITAE
24
TITLE:
Validating Multiple Variants of an Automotive Light System with Electrum
AUTHORS:
Alcino Cunha
;
Nuno Macedo
;
Chong Liu
;
PUBLISHED:
2020
,
SOURCE:
7th International Conference on Rigorous State-Based Methods, ABZ 2020
in
Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings,
VOLUME:
12071
INDEXED IN:
Scopus
DBLP
CrossRef
:
4
IN MY:
ORCID
|
DBLP
|
CIÊNCIAVITAE
25
TITLE:
Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum
Full Text
AUTHORS:
Alcino Cunha
;
Nuno Macedo
;
PUBLISHED:
2020
,
SOURCE:
Int. J. Softw. Tools Technol. Transf.,
VOLUME:
22,
ISSUE:
3
INDEXED IN:
Scopus
DBLP
CrossRef
:
13
IN MY:
ORCID
|
DBLP
|
CIÊNCIAVITAE
26
TITLE:
Verification of system-wide safety properties of ROS applications
AUTHORS:
Carvalho, R;
Cunha, A
;
Macedo, N
;
Santos, A
;
PUBLISHED:
2020
,
SOURCE:
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
in
2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS)
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
17
IN MY:
ORCID
|
DBLP
|
CIÊNCIAVITAE
27
TITLE:
Sharing and Learning Alloy on the Web
PDF
AUTHORS:
Nuno Macedo
;
Alcino Cunha
;
José Pereira
; Renato Carvalho; Ricardo Silva;
Ana C R Paiva
; Miguel S Ramalho; Daniel Castro Silva;
PUBLISHED:
2019
,
SOURCE:
CoRR,
VOLUME:
abs/1907.02275
INDEXED IN:
DBLP
arXiv
IN MY:
ORCID
|
DBLP
|
CIÊNCIAVITAE
28
TITLE:
Simplifying the Analysis of Software Design Variants with a Colorful Alloy
AUTHORS:
Chong Liu
;
Nuno Macedo
;
Alcino Cunha
;
PUBLISHED:
2019
,
SOURCE:
5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019
in
Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings,
VOLUME:
11951
INDEXED IN:
Scopus
DBLP
CrossRef
:
2
IN MY:
ORCID
|
DBLP
|
CIÊNCIAVITAE
29
TITLE:
Simulation under Arbitrary Temporal Logic Constraints
PDF
Full Text
AUTHORS:
Julien Brunel; David Chemouil;
Alcino Cunha
;
Nuno Macedo
;
PUBLISHED:
2019
,
SOURCE:
5th Workshop on Formal Integrated Development Environment, F-IDE 2019
in
Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019.,
VOLUME:
310
INDEXED IN:
Scopus
DBLP
arXiv
CrossRef
:
5
IN MY:
ORCID
|
DBLP
|
CIÊNCIAVITAE
30
TITLE:
Static-time Extraction and Analysis of the ROS Computation Graph
AUTHORS:
Andre Santos
;
Alcino Cunha
;
Nuno Macedo
;
PUBLISHED:
2019
,
SOURCE:
3rd IEEE International Conference on Robotic Computing (IRC)
in
2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019)
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
16
IN MY:
ORCID
|
DBLP
|
CIÊNCIAVITAE
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 3 of 9. Total results: 89.
<<
<
1
2
3
4
5
6
7
8
9
>
>>
×
Select Source
This publication has:
2 records from
ISI
2 records from
SCOPUS
2 records from
DBLP
2 records from
Unpaywall
2 records from
Openlibrary
2 records from
Handle
2 records from
DataCite
Please select which records must be used by Authenticus!
×
Preview Publications
© 2025 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service
