CASCON 2026: International Conference on Collaborative Advances in Software and COmputiNg
INForum 2026 - Atas do 17º Simpósio de Informática
INForum 2026 - Atas do 17º Simpósio de Informática
arXiv preprint arXiv:2604.11772 [cs.CR]
arXiv preprint arXiv:2604.11506
Lecture Notes in Computer Science 2026
NCA 2025: 23rd International Symposium on Network Computing and Applications
TUGboat 46(3)
MSWiM 2025: International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems
arXiv preprint arXiv:2510.21348
INForum 2025 - Atas do 16º Simpósio de Informática, pp. 277–279
INForum 2025 - Atas do 16º Simpósio de Informática, pp. 394–396
INForum 2025 - Atas do 16º Simpósio de Informática
INForum 2025 - Atas do 16º Simpósio de Informática, pp. 69–72
INForum 2025 - Atas do 16º Simpósio de Informática, pp. 390–392
International Journal on Software Tools for Technology Transfer, 26(2), 169–188
INForum 2024 - Atas do 15º Simpósio de Informática
Atas do 14º INForum — Simpósio de Informática, 2023
INForum 2021 - Atas do 12º Simpósio de Informática 260-275
INForum 2022 - Atas do 13º Simpósio de Informática 115-116
INForum 2022 - Atas do 13º Simpósio de Informática 260-275
INForum 2022 - Atas do 13º Simpósio de Informática 131-132
INForum 2022 - Atas do 13º Simpósio de Informática 260-275
INForum 2022 - Atas do 13º Simpósio de Informática 260-275
Formal Methods for Industrial Critical Systems (FMICS 2022), LNCS 13487, Warsaw, Poland
Future Generation Computer Systems 118 14-36
Zenodo
arXiv 2020
NOVA.FCT Editorial
Formal Methods in System Design
Formal Methods in System Design
INForum 2018 - Atas do 10º Simpósio de Informática
Lectures on Runtime Verification 10457 34-60
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 70-73
Proceedings of the 2nd Workshop on Middleware for Edge Clouds and Cloudlets, MECC 2017
INForum 2017 - Atas do 9º Simpósio de Informática
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) 196-206
Unknown Journal 2017
ACM Transactions on Architecture and Code Optimization 13 (4) 1–24
Proceedings of the 1st Workshop on Middleware for Edge Clouds and Cloudlets, MECC 2016
INForum 2016 - Atas do 8º Simpósio de Informática
2016 IEEE Trustcom/BigDataSE/ISPA 1106-1113
2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) 159-167
Proceedings of the 24th Euromicro Int’l conference on parallel, distributed, and network-based processing (PDP’16). IEEE Computer Society 2016
Procedia Computer Science 80 2226-2230
Proceedings - 2015 41st Latin American Computing Conference, CLEI 2015 667-674
INForum 2015 - Atas do 7º Simpósio de Informática
INForum 2015 - Atas do 7º Simpósio de Informática
INForum 2015 - Atas do 7º Simpósio de Informática 219-234
Softw. Test. Verif. Reliab. 25 (3) 165-166
Proceedings of the ACM Symposium on Applied Computing (SAC 2015)
2015 Symposium on Applied Computing, SAC 2015 1309-1314
Proceedings of the Fifteenth International Conference on Computer Aided Systems Theory (EUROCAST'15)
Proceedings of the 2015 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (Student Symposium)
Proceedings of the 12th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MOBIQUITOUS 2015 279-280
EuroSys 2015 (poster)
Simpósio de Informática (INForum) 2015
Transactional Memory. Foundations, Algorithms, Tools, and Applications 8913 166-191
Proceedings of the 12th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MOBIQUITOUS 2015 275-276
Proceedings of the 12th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MOBIQUITOUS 2015 277-278
Mathematical and Engineering Methods in Computer Science 8934 73-87
INForum 2014 - Atas do 6º Simpósio de Informática 260-275
Proceedings of Joint Euro-TM/MEDIAN Workshop on Dependable Multicore and Transactional Memory Systems
Proceedings of the International Conference on Distributed Computing and Networking
Proceedings of Joint Euro-TM/MEDIAN Workshop on Dependable Multicore and Transactional Memory Systems
Concurrency and Computation: Practice and Experience 25 (17) 2394-2411
Hardware and Software: Verification and Testing 7857 8-23
INForum 2013 - Atas do 5º Simpósio de Informática 190-201
INForum 2013 - Atas do 5º Simpósio de Informática 190-201
INForum 2013 - Atas do 5º Simpósio de Informática 310-321
Euro-Par 2013 Parallel Processing 8097 607-619
Lecture Notes in Computer Science 2013
Multicore Software Engineering, Performance, and Tools 8063 49-60
INForum 2013
INForum 2013
Dependable Computing 7869 173-180
Multicore Challenge Conference
INForum 2012 - Atas do 4º Simpósio de Informática 190-201
INForum 2012 - Atas do 4º Simpósio de Informática 177-189
Euro-Par 2012 Parallel Processing 7484 589-600
Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging 18-24
ECOOP 2012 – Object-Oriented Programming 7313 640-664
Proceedings of the 2nd Euro-TM Workshop on Transactional Memory
Proceedings of the 1st Euro-TM Workshop on Distributed Transactional Memory (WDTM'12)
Lecture Notes in Computer Science 2012
Proceedings of the 3rd USENIX Conference on Hot Topics in Parallelism (HotPar'11)
INForum 2011 - Atas do 3º Simpósio de Informática
Comput. Sci. Inf. Syst. 8 (2) 533-548
(UNL-DI-5-2011)
Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 - Proceedings
Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging 26-34
Hardware and Software: Verification and Testing 6504 24-28
(UNL-DI-6-2011)
INForum 2011 - Atas do 3º Simpósio de Informática
Hardware and Software: Verification and Testing 6504 1-2
ACM, Trento, Italy
INForum 2010 - Atas do 2º Simpósio de Informática 101-112
Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging 26-36
PADTAD'10: Proceedings of the 8th Workshop on Parallel and Distributed Systems 67-73
PADTAD 2010
Complex Systems Design & Management 73-84
INForum 2010 - Atas do 2º Simpósio de Informática 31-42
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging 31-39
Proceedings of the 15th International Euro-Par Conference on Parallel Processing 349-360
JETC'08: IV Jornadas de Engenharia de Electrónica e Telecomunicações e de Computadores 251-256
Proceedings of the Fourth Conference on Hot Topics in System Dependability 9-9
Comput. Sci. Inf. Syst. 5 (2) 103-117
Proceedings of the Conference on Compilers, Related Technologies and Applications
Euro-Par 2008 Parallel Processing 5168 1-2
Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging 36-42
ACM SIGCSE Bulletin (ITiCSE Proceedings), Vol 37, Issue 3
Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education
PhD Thesis
cs.DC/0309049 143-157
Scalable Computing: Practice and Experience 4 (3) 43-59
97-129
Lecture Notes in Computer Science 2001
Proceedings of the International Conference on Computational Science – Part II 2074 821-830
Unknown Journal 2001 5
Parallel and Distributed Computing Practices, Special Issue on Monitoring Systems and Tool Interoperability 4 (3) 261-274
279-290
J. Syst. Archit. 45 897-907
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications 1804-1809
Proceedings of the International Conference and Exhibition on High-Performance Computing and Networking 1401 708-717
Proceedings of the 3rd International Conference on Vector and Parallel Processing 359-366
ACM SIGCSE Bulletin 1998 30 (1)
Proceedings of the Conference on Integrating Technology into Computer Science Education (ITiCSE), 1998
Proceeding of the 2nd Austrian-Hungarian Workshop on Distributed and Parallel Systems
Proceedings of the International Conference on High-Performance Computing and Networking 1401 952-954
Proceedings of the SIGMETRICS Symposium on Parallel and Distributed Tools 154
Proceedings of the 3rd SEIHPC Workshop
Computers and Artificial Intelligence 17 (5)
Proceedings of the 23rd EUROMICRO Conference 291-298
Parallel Computing 22 1747-1770
Proceedings of the 1st Austrian-Hungarian Workshop on Distributed and Parallel Systems 111-118
Proceedings of the 1st European Parallel Tools Meeting
SEPP Project, Copernicus Programme, 5th Progress Report. University of Westminster, London, UK 1996
Unknown Journal 1996
SIGCSE Bulletin (ACM Special Interest Group on Computer Science Education), 1996
MSc Thesis