Follow
Joao Lourenco
Title
Cited by
Cited by
Year
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
1181997
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 (3), 279-335, 2019
512019
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
The NOVAthesis LaTeX Template User's Manual
JM Lourenço
https://github.com/joaomlourenco/novathesis/raw/master/template.pdf, 2021
482021
A debugging engine for a parallel and distributed environment
JC Cunha, J Lourenco, T Antão
In Proc. of 1st Austrian-Hungarian Workshop on Distributed and Parallel Systems, 1996
471996
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
391999
Parallel Program development for cluster computing: methodology, tools and integrated environments
JC Cunha, P Kacsuk, S Winter
Nova Publishers, 2001
372001
A framework to support parallel and distributed debugging
JC Cunha, J Lourenço, J Vieira, B Moscão, D Pereira
International Conference on High-Performance Computing and Networking, 708-717, 1998
341998
Precise detection of atomicity violations
RJ Dias, V Pessanha, JM Lourenço
Haifa Verification Conference, 8-23, 2012
262012
Efficient and correct transactional memory programs combining snapshot isolation and static analysis
RJ Dias, JM Lourenço, NM Preguiça
252011
Understanding the behavior of transactional memory applications
J Lourenço, R Dias, J Luis, M Rebelo, V Pessanha
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing …, 2009
232009
An integrated course on parallel and distributed processing
JC Cunha, J Lourenço
ACM SIGCSE Bulletin 30 (1), 217-221, 1998
221998
Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation.
NM Preguiça, R Rodrigues, C Honorato, J Lourenço
HotDep, 2008
212008
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
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
162016
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
142017
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
142015
Detection of transactional memory anomalies using static analysis
B Teixeira, J Lourenço, E Farchi, R Dias, D Sousa
Proceedings of the 8th workshop on parallel and distributed systems: Testing …, 2010
142010
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
132016
The system can't perform the operation now. Try again later.
Articles 1–20