Follow
Joao Lourenco
Title
Cited by
Cited by
Year
The NOVAthesis LaTeX Template User's Manual
JM Lourenço
https://github.com/joaomlourenco/novathesis/raw/master/template.pdf, 2021
5092021
A graphical development and debugging environment for parallel programs
P Kacsuk, JC Cunha, G Dózsa, J Lourenço, T Fadgyas, T Antao
Parallel Computing 22 (13), 1747-1770, 1997
1221997
A survey of challenges for runtime verification from advanced application domains (beyond software)
C Sánchez, G Schneider, W Ahrendt, E Bartocci, D Bianculli, C Colombo, ...
Formal Methods in System Design 54, 279-335, 2019
1172019
An integrated testing and debugging environment for parallel and distributed programs
J Lourenço, JC Cunha, H Krawczyk, P Kuzora, M Neyman, B Wiszniewski
EUROMICRO 97. Proceedings of the 23rd EUROMICRO Conference: New Frontiers of …, 1997
491997
A debugging engine for a parallel and distributed environment
JC Cunha, T Antão
Proceedings of the 1st Austrian-Hungarian Workshop on Distributed and …, 1996
431996
An experiment in tool integration: the DDBG parallel and distributed debugger
JC Cunha, J Lourenço, TR Antao
Journal of systems architecture 45 (11), 897-907, 1999
401999
A framework to support parallel and distributed debugging
JC Cunha, J Lourenço, J Vieira, B Moscão, D Pereira
High-Performance Computing and Networking: International Conference and …, 1998
391998
Parallel Program development for cluster computing: methodology, tools and integrated environments
JC Cunha, P Kacsuk, S Winter
Nova Publishers, 2001
382001
Precise detection of atomicity violations
RJ Dias, V Pessanha, JM Lourenço
Hardware and Software: Verification and Testing: 8th International Haifa …, 2013
282013
An integrated course on parallel and distributed processing
JC Cunha, J Lourenço
ACM SIGCSE Bulletin 30 (1), 217-221, 1998
241998
Efficient and correct transactional memory programs combining snapshot isolation and static analysis
RJ Dias, JM Lourenço, NM Preguiça
232011
Understanding the behavior of transactional memory applications
J Lourenço, R Dias, J Luís, M Rebelo, V Pessanha
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing …, 2009
222009
Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation.
NM Preguiça, R Rodrigues, C Honorato, J Lourenço
HotDep, 2008
202008
Testing patterns for software transactional memory engines
J Lourenço, G Cunha
Proceedings of the 2007 ACM workshop on Parallel and distributed systems …, 2007
202007
Verifying concurrent programs using contracts
RJ Dias, C Ferreira, J Fiedor, JM Lourenço, A Smrcka, DG Sousa, ...
2017 IEEE International Conference on Software Testing, Verification and …, 2017
192017
Group-to-group bidirectional wi-fi direct communication with two relay nodes
A Teófilo, D Remédios, H Paulino, J Lourenço
proceedings of the 12th EAI International Conference on Mobile and …, 2015
192015
Towards a persistent publish/subscribe system for networks of mobile devices
F Cerqueira, JA Silva, JM Lourenço, H Paulino
Proceedings of the 2Nd Workshop on Middleware for Edge Clouds & Cloudlets, 1-6, 2017
172017
Towards the opportunistic combination of mobile ad-hoc networks with infrastructure access
JA Silva, J Leitão, N Preguiça, JM Lourenço, H Paulino
Proceedings of the 1st Workshop on Middleware for Edge Clouds & Cloudlets, 1-6, 2016
172016
Ephemeral data storage for networks of hand-held devices
JA Silva, R Monteiro, H Paulino, JM Lourenço
2016 IEEE Trustcom/BigDataSE/ISPA, 1106-1113, 2016
172016
Verification of snapshot isolation in transactional memory Java programs
RJ Dias, D Distefano, JC Seco, JM Lourenço
ECOOP 2012–Object-Oriented Programming: 26th European Conference, Beijing …, 2012
172012
The system can't perform the operation now. Try again later.
Articles 1–20