Publications

Dynamic validation of contracts in concurrent code
Multi-threaded programs allow one to achieve better performance by doing a lot of work in parallel using multiple threads. Such …
Jan Fiedor, Zdeněk Letko, João Lourenço, Tomáš Vojnar
Posted Jan 1, 2015
Link
Dynamic validation of contracts in concurrent code
Multi-threaded programs allow one to achieve better performance by doing a lot of work in parallel using multiple threads. Such …
Jan Fiedor, Zdeněk Letko, João Lourenço, Tomáš Vojnar
Posted Jan 1, 2015
Link
Execução concorrente e determinista de transacções
Neste artigo apresentamos um protocolo de controlo de concorrência que garante que a execução concorrente de transações é equivalente à …
Tiago M Vale, JA Silva, RJ Dias, João M Lourenço
Posted Jan 1, 2015
Link
Extracting static and dynamic structural information from java concurrent programs for coverage testing
This paper proposes novel techniques for the extraction of structural information from the source code of Java concurrent programs for …
Rafael R Prado, Paulo SL Souza, George GM Dourado, Simone RS Souza, Julio C Estrella, Sarita M Bruschi, Joao Lourenco
Posted Jan 1, 2015
Link
Extracting static and dynamic structural information from java concurrent programs for coverage testing
This paper proposes novel techniques for the extraction of structural information from the source code of Java concurrent programs for …
Rafael R Prado, Paulo SL Souza, George GM Dourado, Simone RS Souza, Julio C Estrella, Sarita M Bruschi, Joao Lourenco
Posted Jan 1, 2015
Link
Group-to-group bidirectional wi-fi direct communication with two relay nodes
The current capabilities of mobile phones in terms of communication, processing and storage, enables its use to form autonomous …
António Teófilo, Diogo Remédios, Hervé Paulino, João Lourenço
Posted Jan 1, 2015
Link
Mobile device-to-device distributed computing using data sets
The rapidly increasing computing power, available storage and communication capabilities of mobile devices makes it possible to start …
Diogo Remédios, António Teófilo, Hervé Paulino, João Lourenço
Posted Jan 1, 2015
Link
Mobile device-to-device distributed computing using data sets
The rapidly increasing computing power, available storage and communication capabilities of mobile devices makes it possible to start …
Diogo Remédios, António Teófilo, Hervé Paulino, João Lourenço
Posted Jan 1, 2015
Link
Supporting multiple data replication models in distributed transactional memory
Distributed transactional memory (DTM) presents itself as a highly expressive and programmer friendly model for concurrency control in …
João a Silva, Tiago M Vale, Ricardo J Dias, Hervé Paulino, João M Lourenço
Posted Jan 1, 2015
Link
Supporting multiple data replication models in distributed transactional memory
Distributed transactional memory (DTM) presents itself as a highly expressive and programmer friendly model for concurrency control in …
João a Silva, Tiago M Vale, Ricardo J Dias, Hervé Paulino, João M Lourenço
Posted Jan 1, 2015
Link