Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: João Lourenço
@article{DBLP:journals/sttt/PedroSSLSF24,
author = {Andr{\'{e}} de Matos Pedro and
Tom{\'{a}}s Silva and
Tiago F. Sequeira and
Jo{\~{a}}o Louren{\c{c}}o and
Jo{\~{a}}o Costa Seco and
Carla Ferreira},
title = {Monitoring of spatio-temporal properties with nonlinear {SAT} solvers},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {26},
number = {2},
pages = {169--188},
year = {2024},
url = {https://doi.org/10.1007/s10009-024-00740-7},
doi = {10.1007/S10009-024-00740-7},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/PedroSSLSF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuromorphic/RomeiraANAZHWHHMDLAFOJEDHO23,
author = {Bruno Romeira and
Ricardo M. R. Ad{\~{a}}o and
Jana B. Nieder and
Qusay Raghib Ali Al{-}Taai and
Weikang Zhang and
Robert H. Hadfield and
Edward Wasige and
Matej Hejda and
Antonio Hurtado and
Ekaterina Malysheva and
Victor Dolores{-}Calzadilla and
Jo{\~{a}}o Louren{\c{c}}o and
D. Castro Alves and
Jos{\'{e}} M. L. Figueiredo and
Ignacio Ortega{-}Piwonka and
Julien Javaloyes and
Stuart Edwards and
J. Iwan Davies and
Folkert Horst and
Bert J. Offrein},
title = {Brain-inspired nanophotonic spike computing: challenges and prospects},
journal = {Neuromorph. Comput. Eng.},
volume = {3},
number = {3},
pages = {33001},
year = {2023},
url = {https://doi.org/10.1088/2634-4386/acdf17},
doi = {10.1088/2634-4386/ACDF17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/neuromorphic/RomeiraANAZHWHHMDLAFOJEDHO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hucapp/CaldeiraLC23,
author = {Francisco Caldeira and
Jo{\~{a}}o Louren{\c{c}}o and
Teresa Chambel},
editor = {Alexis Paljic and
Mounia Ziat and
Kadi Bouatouch},
title = {Happy or Sad, Smiling or Drawing: Multimodal Search and Visualisation
of Movies Based on Emotions Along Time},
booktitle = {Proceedings of the 18th International Joint Conference on Computer
Vision, Imaging and Computer Graphics Theory and Applications, {VISIGRAPP}
2023, Volume 2: HUCAPP, Lisbon, Portugal, February 19-21, 2023},
pages = {85--97},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011896400003417},
doi = {10.5220/0011896400003417},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hucapp/CaldeiraLC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/LourencoS23,
author = {Jo{\~{a}}o Louren{\c{c}}o and
Ant{\'{o}}nio Rito Silva},
editor = {Claudio A. Ardagna and
Boualem Benatallah and
Hongyi Bian and
Carl K. Chang and
Rong N. Chang and
Jing Fan and
Geoffrey C. Fox and
Zhi Jin and
Xuanzhe Liu and
Heiko Ludwig and
Michael Sheng and
Jian Yang},
title = {Monolith Development History for Microservices Identification: a Comparative
Analysis},
booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2023, Chicago,
IL, USA, July 2-8, 2023},
pages = {50--56},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICWS60048.2023.00019},
doi = {10.1109/ICWS60048.2023.00019},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/LourencoS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tvx/ChambelCL23,
author = {Teresa Chambel and
Francisco Caldeira and
Jo{\~{a}}o Louren{\c{c}}o},
title = {Happy or Sad, Smiling or Drawing with Multimodal Search and Visualisation
of Movies Based on Emotions Along Time},
booktitle = {Proceedings of the 2023 {ACM} International Conference on Interactive
Media Experiences Workshops, {IMX} 2023, Nantes, France, June 12-15,
2023},
pages = {109},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3604321.3604333},
doi = {10.1145/3604321.3604333},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tvx/ChambelCL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-06517,
author = {Mahmoud Tavakoli and
Andriy Sayuk and
Jo{\~{a}}o Louren{\c{c}}o and
Pedro Neto},
title = {Anthropomorphic finger for grasping applications: 3D printed endoskeleton
in a soft skin},
journal = {CoRR},
volume = {abs/2304.06517},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.06517},
doi = {10.48550/ARXIV.2304.06517},
eprinttype = {arXiv},
eprint = {2304.06517},
timestamp = {Wed, 19 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-06517.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jirs/ViegasCAL22,
author = {Carlos Viegas and
Babak Chehreh and
Jos{\'{e}} Andrade and
Jo{\~{a}}o Louren{\c{c}}o},
title = {Tethered {UAV} with Combined Multi-rotor and Water Jet Propulsion
for Forest Fire Fighting},
journal = {J. Intell. Robotic Syst.},
volume = {104},
number = {2},
pages = {21},
year = {2022},
url = {https://doi.org/10.1007/s10846-021-01532-w},
doi = {10.1007/S10846-021-01532-W},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jirs/ViegasCAL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/PedroSSLSF22,
author = {Andr{\'{e}} de Matos Pedro and
Tom{\'{a}}s Silva and
Tiago F. Sequeira and
Jo{\~{a}}o Louren{\c{c}}o and
Jo{\~{a}}o Costa Seco and
Carla Ferreira},
editor = {Jan Friso Groote and
Marieke Huisman},
title = {Monitoring of Spatio-Temporal Properties with Nonlinear {SAT} Solvers},
booktitle = {Formal Methods for Industrial Critical Systems - 27th International
Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13487},
pages = {155--171},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15008-1\_11},
doi = {10.1007/978-3-031-15008-1\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/PedroSSLSF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tvx/CaldeiraLSC22,
author = {Francisco Caldeira and
Jo{\~{a}}o Louren{\c{c}}o and
Nuno Tavares Silva and
Teresa Chambel},
title = {Towards Multimodal Search and Visualization of Movies Based on Emotions},
booktitle = {{IMX} '22: {ACM} International Conference on Interactive Media Experiences,
Aveiro, Portugal, June 22 - 24, 2022},
pages = {349--356},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3505284.3532987},
doi = {10.1145/3505284.3532987},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tvx/CaldeiraLSC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-11656,
author = {Jo{\~{a}}o Louren{\c{c}}o and
Ant{\'{o}}nio Rito Silva},
title = {Monolith Development History for Microservices Identification: a Comparative
Analysis},
journal = {CoRR},
volume = {abs/2212.11656},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.11656},
doi = {10.48550/ARXIV.2212.11656},
eprinttype = {arXiv},
eprint = {2212.11656},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-11656.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/SilvaCPLLP21,
author = {Jo{\~{a}}o A. Silva and
Filipe Cerqueira and
Herv{\'{e}} Paulino and
Jo{\~{a}}o M. Louren{\c{c}}o and
Jo{\~{a}}o Leit{\~{a}}o and
Nuno M. Pregui{\c{c}}a},
title = {It's about Thyme: On the design and implementation of a time-aware
reactive storage system for pervasive edge computing environments},
journal = {Future Gener. Comput. Syst.},
volume = {118},
pages = {14--36},
year = {2021},
url = {https://doi.org/10.1016/j.future.2020.12.008},
doi = {10.1016/J.FUTURE.2020.12.008},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fgcs/SilvaCPLLP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/LourencoTCPAPS21,
author = {Jo{\~{a}}o Louren{\c{c}}o and
Jo{\~{a}}o Teixeira and
Paulo Carvalho and
Lu{\'{\i}}s P{\'{a}}dua and
Telmo Ad{\~{a}}o and
Emanuel Peres and
Joaquim Jo{\~{a}}o Sousa},
title = {Virtual Environments {\&} Precision Viticulture: {A} Case Study},
booktitle = {{IEEE} International Geoscience and Remote Sensing Symposium, {IGARSS}
2021, Brussels, Belgium, July 11-16, 2021},
pages = {7035--7038},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/IGARSS47720.2021.9553849},
doi = {10.1109/IGARSS47720.2021.9553849},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/igarss/LourencoTCPAPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-06721,
author = {Matej Hejda and
Juan Arturo Alanis and
Ignacio Ortega{-}Piwonka and
Jo{\~{a}}o Louren{\c{c}}o and
Jos{\'{e}} M. L. Figueiredo and
Julien Javaloyes and
Bruno Romeira and
Antonio Hurtado},
title = {Resonant tunnelling diode nano-optoelectronic spiking nodes for neuromorphic
information processing},
journal = {CoRR},
volume = {abs/2107.06721},
year = {2021},
url = {https://arxiv.org/abs/2107.06721},
eprinttype = {arXiv},
eprint = {2107.06721},
timestamp = {Mon, 27 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-06721.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobiquitous/TeofiloLP20,
author = {Ant{\'{o}}nio Te{\'{o}}filo and
Jo{\~{a}}o M. Louren{\c{c}}o and
Herv{\'{e}} Paulino},
editor = {Max M{\"{u}}hlh{\"{a}}user and
George C. Polyzos and
Florian Michahelles and
Alejandro S{\'{a}}nchez Guinea and
Lin Wang},
title = {RedMesh: {A} WiFi-Direct Network Formation Algorithm for Large-Scale
Scenarios},
booktitle = {MobiQuitous '20: Computing, Networking and Services, Virtual Event
/ Darmstadt, Germany, December 7-9, 2020},
pages = {147--157},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3448891.3448937},
doi = {10.1145/3448891.3448937},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mobiquitous/TeofiloLP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-09733,
author = {Tiago M. Vale and
Jo{\~{a}}o Leit{\~{a}}o and
Nuno M. Pregui{\c{c}}a and
Rodrigo Rodrigues and
Ricardo J. Dias and
Jo{\~{a}}o M. Louren{\c{c}}o},
title = {Lazy State Determination: More concurrency for contending linearizable
transactions},
journal = {CoRR},
volume = {abs/2007.09733},
year = {2020},
url = {https://arxiv.org/abs/2007.09733},
eprinttype = {arXiv},
eprint = {2007.09733},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-09733.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SanchezSABBCFFK19,
author = {C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Wolfgang Ahrendt and
Ezio Bartocci and
Domenico Bianculli and
Christian Colombo and
Yli{\`{e}}s Falcone and
Adrian Francalanza and
Srdan Krstic and
Jo{\~{a}}o M. Louren{\c{c}}o and
Dejan Nickovic and
Gordon J. Pace and
Jos{\'{e}} Rufino and
Julien Signoles and
Dmitriy Traytel and
Alexander Weiss},
title = {A survey of challenges for runtime verification from advanced application
domains (beyond software)},
journal = {Formal Methods Syst. Des.},
volume = {54},
number = {3},
pages = {279--335},
year = {2019},
url = {https://doi.org/10.1007/s10703-019-00337-w},
doi = {10.1007/S10703-019-00337-W},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/SanchezSABBCFFK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SanchezSABBCFFK19a,
author = {C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Wolfgang Ahrendt and
Ezio Bartocci and
Domenico Bianculli and
Christian Colombo and
Yli{\`{e}}s Falcone and
Adrian Francalanza and
Srdan Krstic and
Jo{\~{a}}o M. Louren{\c{c}}o and
Dejan Nickovic and
Gordon J. Pace and
Jos{\'{e}} Rufino and
Julien Signoles and
Dmitriy Traytel and
Alexander Weiss},
title = {Correction to: {A} survey of challenges for runtime verification from
advanced application domains (beyond software)},
journal = {Formal Methods Syst. Des.},
volume = {55},
number = {1},
pages = {72},
year = {2019},
url = {https://doi.org/10.1007/s10703-019-00343-y},
doi = {10.1007/S10703-019-00343-Y},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/SanchezSABBCFFK19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobiquitous/SilvaPL0P19,
author = {Jo{\~{a}}o A. Silva and
Herv{\'{e}} Paulino and
Jo{\~{a}}o M. Louren{\c{c}}o and
Jo{\~{a}}o Leit{\~{a}}o and
Nuno M. Pregui{\c{c}}a},
editor = {H. Vincent Poor and
Zhu Han and
Dario Pompili and
Zhi Sun and
Miao Pan},
title = {Time-aware reactive storage in wireless edge environments},
booktitle = {MobiQuitous 2019, Proceedings of the 16th {EAI} International Conference
on Mobile and Ubiquitous Systems: Computing, Networking and Services,
Houston, Texas, USA, November 12-14, 2019},
pages = {238--247},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3360774.3360828},
doi = {10.1145/3360774.3360828},
timestamp = {Wed, 05 Jan 2022 14:31:20 +0100},
biburl = {https://dblp.org/rec/conf/mobiquitous/SilvaPL0P19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-03776,
author = {Wolfgang Ahrendt and
Cyrille Artho and
Christian Colombo and
Yli{\`{e}}s Falcone and
Srdan Krstic and
Martin Leucker and
Florian Lorber and
Jo{\~{a}}o M. Louren{\c{c}}o and
Leonardo Mariani and
C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Volker Stolz},
title = {{COST} Action {IC} 1402 ArVI: Runtime Verification Beyond Monitoring
- Activity Report of Working Group 1},
journal = {CoRR},
volume = {abs/1902.03776},
year = {2019},
url = {http://arxiv.org/abs/1902.03776},
eprinttype = {arXiv},
eprint = {1902.03776},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-03776.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Lourenco18,
author = {Jo{\~{a}}o M. Louren{\c{c}}o},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Verifying Real-World Software with Contracts for Concurrency},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {70--73},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_9},
doi = {10.1007/978-3-030-03427-6\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Lourenco18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/LourencoFKV18,
author = {Jo{\~{a}}o M. Louren{\c{c}}o and
Jan Fiedor and
Bohuslav Krena and
Tom{\'{a}}s Vojnar},
editor = {Ezio Bartocci and
Yli{\`{e}}s Falcone},
title = {Discovering Concurrency Errors},
booktitle = {Lectures on Runtime Verification - Introductory and Advanced Topics},
series = {Lecture Notes in Computer Science},
volume = {10457},
pages = {34--60},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-75632-5\_2},
doi = {10.1007/978-3-319-75632-5\_2},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/LourencoFKV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-00297,
author = {Jo{\~{a}}o A. Silva and
Herv{\'{e}} Paulino and
Jo{\~{a}}o M. Louren{\c{c}}o and
Jo{\~{a}}o Leit{\~{a}}o and
Nuno M. Pregui{\c{c}}a},
title = {Time-Aware Publish/Subscribe for Networks of Mobile Devices},
journal = {CoRR},
volume = {abs/1801.00297},
year = {2018},
url = {http://arxiv.org/abs/1801.00297},
eprinttype = {arXiv},
eprint = {1801.00297},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-00297.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-08015,
author = {Patr{\'{\i}}cia Monteiro and
Jo{\~{a}}o Louren{\c{c}}o and
Ant{\'{o}}nio Ravara},
title = {Uma an{\'{a}}lise comparativa de ferramentas de an{\'{a}}lise
est{\'{a}}tica para dete{\c{c}}{\~{a}}o de erros de mem{\'{o}}ria},
journal = {CoRR},
volume = {abs/1807.08015},
year = {2018},
url = {http://arxiv.org/abs/1807.08015},
eprinttype = {arXiv},
eprint = {1807.08015},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-08015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-06740,
author = {C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Wolfgang Ahrendt and
Ezio Bartocci and
Domenico Bianculli and
Christian Colombo and
Yli{\`{e}}s Falcone and
Adrian Francalanza and
Srdan Krstic and
Jo{\~{a}}o M. Louren{\c{c}}o and
Dejan Nickovic and
Gordon J. Pace and
Jos{\'{e}} Rufino and
Julien Signoles and
Dmitriy Traytel and
Alexander Weiss},
title = {A Survey of Challenges for Runtime Verification from Advanced Application
Domains (Beyond Software)},
journal = {CoRR},
volume = {abs/1811.06740},
year = {2018},
url = {http://arxiv.org/abs/1811.06740},
eprinttype = {arXiv},
eprint = {1811.06740},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-06740.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DiasFFLSSV17,
author = {Ricardo J. Dias and
Carla Ferreira and
Jan Fiedor and
Jo{\~{a}}o M. Louren{\c{c}}o and
Ales Smrcka and
Diogo G. Sousa and
Tom{\'{a}}s Vojnar},
title = {Verifying Concurrent Programs Using Contracts},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {196--206},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.25},
doi = {10.1109/ICST.2017.25},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/DiasFFLSSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/CerqueiraSLP17,
author = {Filipe Cerqueira and
Jo{\~{a}}o A. Silva and
Jo{\~{a}}o M. Louren{\c{c}}o and
Herv{\'{e}} Paulino},
editor = {Rolando Martins and
Herv{\'{e}} Paulino and
Lu{\'{\i}}s Veiga},
title = {Towards a persistent publish/subscribe system for networks of mobile
devices},
booktitle = {Proceedings of the 2nd Workshop on Middleware for Edge Clouds {\&}
Cloudlets, MECC@Middleware 2017, Las Vegas, NV, USA, December 11 -
15, 2017},
pages = {2:1--2:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3152360.3152362},
doi = {10.1145/3152360.3152362},
timestamp = {Tue, 02 Jan 2024 13:54:39 +0100},
biburl = {https://dblp.org/rec/conf/middleware/CerqueiraSLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobiquitous/TeofiloRLP17,
author = {Ant{\'{o}}nio Te{\'{o}}filo and
Diogo Rem{\'{e}}dios and
Jo{\~{a}}o M. Louren{\c{c}}o and
Herv{\'{e}} Paulino},
editor = {Tao Gu and
Ramamohanarao Kotagiri and
Huai Liu},
title = {{GOCRGO} and {GOGO:} Two Minimal Communication Topologies for WiFi-Direct
Multi-group Networking},
booktitle = {Proceedings of the 14th {EAI} International Conference on Mobile and
Ubiquitous Systems: Computing, Networking and Services, Melbourne,
Australia, November 7-10, 2017},
pages = {232--241},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3144457.3144481},
doi = {10.1145/3144457.3144481},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobiquitous/TeofiloRLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qre/CostaL16,
author = {Nuno Ricardo Costa and
Jo{\~{a}}o Louren{\c{c}}o},
title = {Gaussian Process Model - An Exploratory Study in the Response Surface
Methodology},
journal = {Qual. Reliab. Eng. Int.},
volume = {32},
number = {7},
pages = {2367--2380},
year = {2016},
url = {https://doi.org/10.1002/qre.1940},
doi = {10.1002/QRE.1940},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/qre/CostaL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/ValeSDL16,
author = {Tiago M. Vale and
Jo{\~{a}}o A. Silva and
Ricardo J. Dias and
Jo{\~{a}}o M. Louren{\c{c}}o},
title = {Pot: Deterministic Transactional Execution},
journal = {{ACM} Trans. Archit. Code Optim.},
volume = {13},
number = {4},
pages = {52:1--52:24},
year = {2016},
url = {https://doi.org/10.1145/3017993},
doi = {10.1145/3017993},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taco/ValeSDL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/DouradoSPBSEBL16,
author = {George Gabriel Mendes Dourado and
Paulo Sergio Lopes de Souza and
Rafael R. Prado and
Raphael Negrisoli Batista and
Simone R. S. Souza and
J{\'{u}}lio Cezar Estrella and
Sarita Mazzini Bruschi and
Jo{\~{a}}o Louren{\c{c}}o},
editor = {Michelle Connolly},
title = {A Suite of Java Message-Passing Benchmarks to Support the Validation
of Testing Models, Criteria and Tools},
booktitle = {International Conference on Computational Science 2016, {ICCS} 2016,
6-8 June 2016, San Diego, California, {USA}},
series = {Procedia Computer Science},
volume = {80},
pages = {2226--2230},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.procs.2016.05.387},
doi = {10.1016/J.PROCS.2016.05.387},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccS/DouradoSPBSEBL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/LourencoMAQV16,
author = {Jo{\~{a}}o Louren{\c{c}}o and
Leonardo Martins and
Rui Almeida and
Cl{\'{a}}udia Quaresma and
Pedro Vieira},
editor = {Luis M. Camarinha{-}Matos and
Ant{\'{o}}nio J. Falc{\~{a}}o and
Nazanin Vafaei and
Shirin Najdi},
title = {Low Cost Inertial Measurement Unit for Motion Capture in Biomedical
Applications},
booktitle = {Technological Innovation for Cyber-Physical Systems - 7th {IFIP} {WG}
5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical
and Industrial Systems, DoCEIS 2016, Costa de Caparica, Portugal,
April 11-13, 2016, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {470},
pages = {151--158},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-31165-4\_16},
doi = {10.1007/978-3-319-31165-4\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-5/LourencoMAQV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/SilvaLPLP16,
author = {Jo{\~{a}}o A. Silva and
Jo{\~{a}}o Leit{\~{a}}o and
Nuno M. Pregui{\c{c}}a and
Jo{\~{a}}o M. Louren{\c{c}}o and
Herv{\'{e}} Paulino},
editor = {Rolando Martins and
Herv{\'{e}} Paulino},
title = {Towards the Opportunistic Combination of Mobile Ad-hoc Networks with
Infrastructure Access},
booktitle = {Proceedings of the 1st Workshop on Middleware for Edge Clouds {\&}
Cloudlets, MECC@Middleware 2016, Trento, Italy, December 12-16, 2016},
pages = {3},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=3022873},
timestamp = {Tue, 06 Nov 2018 16:57:13 +0100},
biburl = {https://dblp.org/rec/conf/middleware/SilvaLPLP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/OrosaL16,
author = {Lois Orosa and
Jo{\~{a}}o Louren{\c{c}}o},
title = {A Hardware Approach to Detect, Expose and Tolerate High Level Data
Races},
booktitle = {24th Euromicro International Conference on Parallel, Distributed,
and Network-Based Processing, {PDP} 2016, Heraklion, Crete, Greece,
February 17-19, 2016},
pages = {159--167},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/PDP.2016.57},
doi = {10.1109/PDP.2016.57},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/OrosaL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/SilvaMPL16,
author = {Jo{\~{a}}o A. Silva and
Ricardo Monteiro and
Herv{\'{e}} Paulino and
Jo{\~{a}}o M. Louren{\c{c}}o},
title = {Ephemeral Data Storage for Networks of Hand-Held Devices},
booktitle = {2016 {IEEE} Trustcom/BigDataSE/ISPA, Tianjin, China, August 23-26,
2016},
pages = {1106--1113},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/TrustCom.2016.0182},
doi = {10.1109/TRUSTCOM.2016.0182},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/trustcom/SilvaMPL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ValeSDL16,
author = {Tiago M. Vale and
Jo{\~{a}}o A. Silva and
Ricardo J. Dias and
Jo{\~{a}}o M. Louren{\c{c}}o},
title = {Pot: Deterministic transactional execution},
journal = {CoRR},
volume = {abs/1612.07702},
year = {2016},
url = {http://arxiv.org/abs/1612.07702},
eprinttype = {arXiv},
eprint = {1612.07702},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ValeSDL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/FarchiHL15,
author = {Eitan Farchi and
Robert M. Hierons and
Jo{\~{a}}o Louren{\c{c}}o},
title = {Special issue on testing, analysis and debugging of concurrent programs},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {3},
pages = {165--166},
year = {2015},
url = {https://doi.org/10.1002/stvr.1577},
doi = {10.1002/STVR.1577},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/FarchiHL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clei/PradoSDSEBL15,
author = {Rafael R. Prado and
Paulo S. L. Souza and
George G. M. Dourado and
Simone R. S. Souza and
J{\'{u}}lio Cezar Estrella and
Sarita Mazzini Bruschi and
Jo{\~{a}}o Louren{\c{c}}o},
title = {Extracting static and dynamic structural information from java concurrent
programs for coverage testing},
booktitle = {2015 Latin American Computing Conference, {CLEI} 2015, Arequipa, Peru,
October 19-23, 2015},
pages = {1--8},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CLEI.2015.7359975},
doi = {10.1109/CLEI.2015.7359975},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clei/PradoSDSEBL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/FiedorLLV15,
author = {Jan Fiedor and
Zdenek Letko and
Jo{\~{a}}o Louren{\c{c}}o and
Tom{\'{a}}s Vojnar},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {Dynamic Validation of Contracts in Concurrent Code},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2015 - 15th International
Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9520},
pages = {555--564},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27340-2\_69},
doi = {10.1007/978-3-319-27340-2\_69},
timestamp = {Wed, 07 Dec 2022 23:13:53 +0100},
biburl = {https://dblp.org/rec/conf/eurocast/FiedorLLV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/SilvaVDPL15,
author = {Jo{\~{a}}o A. Silva and
Tiago M. Vale and
Ricardo J. Dias and
Herv{\'{e}} Paulino and
Jo{\~{a}}o Louren{\c{c}}o},
editor = {Sajal K. Das and
Dilip Krishnaswamy and
Santonu Karkar and
Amos Korman and
Mohan J. Kumar and
Marius Portmann and
Srikanth Sastry},
title = {Supporting Multiple Data Replication Models in Distributed Transactional
Memory},
booktitle = {Proceedings of the 2015 International Conference on Distributed Computing
and Networking, {ICDCN} 2015, Goa, India, January 4-7, 2015},
pages = {11:1--11:10},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2684464.2684481},
doi = {10.1145/2684464.2684481},
timestamp = {Wed, 11 Sep 2019 12:17:11 +0200},
biburl = {https://dblp.org/rec/conf/icdcn/SilvaVDPL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobiquitous/TeofiloRPL15,
author = {Ant{\'{o}}nio Te{\'{o}}filo and
Diogo Rem{\'{e}}dios and
Herv{\'{e}} Paulino and
Jo{\~{a}}o Louren{\c{c}}o},
editor = {Pei Zhang and
Jorge S{\'{a}} Silva and
Nic Lane and
Fernando Boavida and
Andr{\'{e}} Rodrigues},
title = {Group-to-Group Bidirectional Wi-Fi Direct Communication with Two Relay
Nodes},
booktitle = {Proceedings of the 12th {EAI} International Conference on Mobile and
Ubiquitous Systems: Computing, Networking and Services, MobiQuitous
2015, Coimbra, Portugal, July 22-24, 2015},
pages = {275--276},
publisher = {{ICST} / {ACM}},
year = {2015},
url = {https://doi.org/10.4108/eai.22-7-2015.2260272},
doi = {10.4108/EAI.22-7-2015.2260272},
timestamp = {Thu, 28 Feb 2019 17:25:24 +0100},
biburl = {https://dblp.org/rec/conf/mobiquitous/TeofiloRPL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobiquitous/RemediosTPL15,
author = {Diogo Rem{\'{e}}dios and
Ant{\'{o}}nio Te{\'{o}}filo and
Herv{\'{e}} Paulino and
Jo{\~{a}}o Louren{\c{c}}o},
editor = {Pei Zhang and
Jorge S{\'{a}} Silva and
Nic Lane and
Fernando Boavida and
Andr{\'{e}} Rodrigues},
title = {Mobile Device-to-Device Distributed Computing Using Data Sets},
booktitle = {Proceedings of the 12th {EAI} International Conference on Mobile and
Ubiquitous Systems: Computing, Networking and Services, MobiQuitous
2015, Coimbra, Portugal, July 22-24, 2015},
pages = {297--298},
publisher = {{ICST} / {ACM}},
year = {2015},
url = {https://doi.org/10.4108/eai.22-7-2015.2260273},
doi = {10.4108/EAI.22-7-2015.2260273},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mobiquitous/RemediosTPL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobiquitous/MonteiroSLP15,
author = {Ricardo Monteiro and
Jo{\~{a}}o A. Silva and
Jo{\~{a}}o Louren{\c{c}}o and
Herv{\'{e}} Paulino},
editor = {Pei Zhang and
Jorge S{\'{a}} Silva and
Nic Lane and
Fernando Boavida and
Andr{\'{e}} Rodrigues},
title = {Decentralized Storage for Networks of Hand-held Devices},
booktitle = {Proceedings of the 12th {EAI} International Conference on Mobile and
Ubiquitous Systems: Computing, Networking and Services, MobiQuitous
2015, Coimbra, Portugal, July 22-24, 2015},
pages = {299--300},
publisher = {{ICST} / {ACM}},
year = {2015},
url = {https://doi.org/10.4108/eai.22-7-2015.2260263},
doi = {10.4108/EAI.22-7-2015.2260263},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobiquitous/MonteiroSLP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SilvaLP15,
author = {Jo{\~{a}}o A. Silva and
Jo{\~{a}}o Louren{\c{c}}o and
Herv{\'{e}} Paulino},
editor = {Roger L. Wainwright and
Juan Manuel Corchado and
Alessio Bechini and
Jiman Hong},
title = {Boosting locality in multi-version partial data replication},
booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
Salamanca, Spain, April 13-17, 2015},
pages = {1309--1314},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2695664.2695851},
doi = {10.1145/2695664.2695851},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/SilvaLP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/cost/DiasVL15,
author = {Ricardo J. Dias and
Tiago M. Vale and
Jo{\~{a}}o M. Louren{\c{c}}o},
editor = {Rachid Guerraoui and
Paolo Romano},
title = {Framework Support for the Efficient Implementation of Multi-version
Algorithms},
booktitle = {Transactional Memory. Foundations, Algorithms, Tools, and Applications
- {COST} Action Euro-TM {IC1001}},
series = {Lecture Notes in Computer Science},
volume = {8913},
pages = {166--191},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14720-8\_8},
doi = {10.1007/978-3-319-14720-8\_8},
timestamp = {Wed, 07 Dec 2022 23:14:03 +0100},
biburl = {https://dblp.org/rec/conf/cost/DiasVL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SousaDFL15,
author = {Diogo G. Sousa and
Ricardo J. Dias and
Carla Ferreira and
Jo{\~{a}}o Louren{\c{c}}o},
title = {Preventing Atomicity Violations with Contracts},
journal = {CoRR},
volume = {abs/1505.02951},
year = {2015},
url = {http://arxiv.org/abs/1505.02951},
eprinttype = {arXiv},
eprint = {1505.02951},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SousaDFL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/FiedorLLV14,
author = {Jan Fiedor and
Zdenek Letko and
Jo{\~{a}}o Louren{\c{c}}o and
Tom{\'{a}}s Vojnar},
editor = {Petr Hlinen{\'{y}} and
Zdenek Dvor{\'{a}}k and
Jir{\'{\i}} Jaros and
Jan Kofron and
Jan Korenek and
Petr Matula and
Karel Pala},
title = {On Monitoring {C/C++} Transactional Memory Programs},
booktitle = {Mathematical and Engineering Methods in Computer Science - 9th International
Doctoral Workshop, {MEMICS} 2014, Tel{\v{c}}, Czech Republic, October
17-19, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8934},
pages = {73--87},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-14896-0\_7},
doi = {10.1007/978-3-319-14896-0\_7},
timestamp = {Fri, 01 Dec 2023 09:55:19 +0100},
biburl = {https://dblp.org/rec/conf/memics/FiedorLLV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/DiasVL13,
author = {Ricardo J. Dias and
Tiago M. Vale and
Jo{\~{a}}o Louren{\c{c}}o},
title = {Efficient support for in-place metadata in Java software transactional
memory},
journal = {Concurr. Comput. Pract. Exp.},
volume = {25},
number = {17},
pages = {2394--2411},
year = {2013},
url = {https://doi.org/10.1002/cpe.3098},
doi = {10.1002/CPE.3098},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/DiasVL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/SoaresLP13,
author = {Jo{\~{a}}o Soares and
Jo{\~{a}}o Louren{\c{c}}o and
Nuno M. Pregui{\c{c}}a},
editor = {Felix Wolf and
Bernd Mohr and
Dieter an Mey},
title = {MacroDB: Scaling Database Engines on Multicores},
booktitle = {Euro-Par 2013 Parallel Processing - 19th International Conference,
Aachen, Germany, August 26-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8097},
pages = {607--619},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40047-6\_61},
doi = {10.1007/978-3-642-40047-6\_61},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/SoaresLP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewdc/SoaresLP13,
author = {Jo{\~{a}}o Soares and
Jo{\~{a}}o Louren{\c{c}}o and
Nuno M. Pregui{\c{c}}a},
editor = {Marco Vieira and
Jo{\~{a}}o Carlos Cunha},
title = {Software Component Replication for Improved Fault-Tolerance: Can Multicore
Processors Make It Work?},
booktitle = {Dependable Computing - 14th European Workshop, {EWDC} 2013, Coimbra,
Portugal, May 15-16, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7869},
pages = {173--180},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38789-0\_15},
doi = {10.1007/978-3-642-38789-0\_15},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ewdc/SoaresLP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/musepat/ValeDL13,
author = {Tiago M. Vale and
Ricardo J. Dias and
Jo{\~{a}}o Louren{\c{c}}o},
editor = {Jo{\~{a}}o Louren{\c{c}}o and
Eitan Farchi},
title = {On the Relevance of Total-Order Broadcast Implementations in Replicated
Software Transactional Memories},
booktitle = {Multicore Software Engineering, Performance, and Tools - International
Conference, {MUSEPAT} 2013, St. Petersburg, Russia, August 19-20,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8063},
pages = {49--60},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39955-8\_5},
doi = {10.1007/978-3-642-39955-8\_5},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/musepat/ValeDL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paams/NabaisNBMLB13,
author = {Jo{\~{a}}o Miguel Lemos Chasqueira Nabais and
Rudy R. Negenborn and
Rafael Bernardo Carmona Ben{\'{\i}}tez and
Lu{\'{\i}}s F. Mendon{\c{c}}a and
Jo{\~{a}}o Louren{\c{c}}o and
Miguel Ayala Botto},
editor = {Juan M. Corchado and
Javier Bajo and
Jaroslaw Kozlak and
Pawel Pawlewski and
Jos{\'{e}} M. Molina and
Vicente Juli{\'{a}}n and
Ricardo Azambuja Silveira and
Rainer Unland and
Sylvain Giroux},
title = {A Multi-agent Control Architecture for Supply Chains Using a Predictive
Pull-Flow Perspective},
booktitle = {Highlights on Practical Applications of Agents and Multi-Agent Systems
- International Workshops of {PAAMS} 2013, Salamanca, Spain, May 22-24,
2013. Proceedings},
series = {Communications in Computer and Information Science},
volume = {365},
pages = {94--105},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38061-7\_10},
doi = {10.1007/978-3-642-38061-7\_10},
timestamp = {Tue, 12 Apr 2022 11:38:18 +0200},
biburl = {https://dblp.org/rec/conf/paams/NabaisNBMLB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/musepat/2013,
editor = {Jo{\~{a}}o Louren{\c{c}}o and
Eitan Farchi},
title = {Multicore Software Engineering, Performance, and Tools - International
Conference, {MUSEPAT} 2013, St. Petersburg, Russia, August 19-20,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8063},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39955-8},
doi = {10.1007/978-3-642-39955-8},
isbn = {978-3-642-39954-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/musepat/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/candie/CostaLP12,
author = {Nuno Ricardo Costa and
Jo{\~{a}}o Louren{\c{c}}o and
Zulema Lopes Pereira},
title = {Responses modeling and optimization criteria impact on the optimization
of multiple quality characteristics},
journal = {Comput. Ind. Eng.},
volume = {62},
number = {4},
pages = {927--935},
year = {2012},
url = {https://doi.org/10.1016/j.cie.2011.12.015},
doi = {10.1016/J.CIE.2011.12.015},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/candie/CostaLP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qre/CostaLP12,
author = {Nuno Ricardo Costa and
Jo{\~{a}}o Louren{\c{c}}o and
Zulema Lopes Pereira},
title = {Multiresponse Optimization and Pareto Frontiers},
journal = {Qual. Reliab. Eng. Int.},
volume = {28},
number = {7},
pages = {701--712},
year = {2012},
url = {https://doi.org/10.1002/qre.1262},
doi = {10.1002/QRE.1262},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/qre/CostaLP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DiasDSL12,
author = {Ricardo J. Dias and
Dino Distefano and
Jo{\~{a}}o Costa Seco and
Jo{\~{a}}o Louren{\c{c}}o},
editor = {James Noble},
title = {Verification of Snapshot Isolation in Transactional Memory Java Programs},
booktitle = {{ECOOP} 2012 - Object-Oriented Programming - 26th European Conference,
Beijing, China, June 11-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7313},
pages = {640--664},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31057-7\_28},
doi = {10.1007/978-3-642-31057-7\_28},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/DiasDSL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/DiasVL12,
author = {Ricardo J. Dias and
Tiago M. Vale and
Jo{\~{a}}o Louren{\c{c}}o},
editor = {Christos Kaklamanis and
Theodore S. Papatheodorou and
Paul G. Spirakis},
title = {Efficient Support for In-Place Metadata in Transactional Memory},
booktitle = {Euro-Par 2012 Parallel Processing - 18th International Conference,
Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7484},
pages = {589--600},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32820-6\_59},
doi = {10.1007/978-3-642-32820-6\_59},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/DiasVL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/DiasPL12,
author = {Ricardo J. Dias and
Vasco Pessanha and
Jo{\~{a}}o Louren{\c{c}}o},
editor = {Armin Biere and
Amir Nahir and
Tanja E. J. Vos},
title = {Precise Detection of Atomicity Violations},
booktitle = {Hardware and Software: Verification and Testing - 8th International
Haifa Verification Conference, {HVC} 2012, Haifa, Israel, November
6-8, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7857},
pages = {8--23},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39611-3\_8},
doi = {10.1007/978-3-642-39611-3\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/DiasPL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/FarchiSLS12,
author = {Eitan Farchi and
Itai Segall and
Jo{\~{a}}o Louren{\c{c}}o and
Diogo Sousa},
editor = {Jeremy S. Bradbury and
Simone do R{\'{o}}cio Senger de Souza},
title = {Using program closures to make an application programming interface
{(API)} implementation thread safe},
booktitle = {Proceedings of the 10th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, {PADTAD} 2012, Minneapolis, MN,
USA, July 16, 2012},
pages = {18--24},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2338967.2336810},
doi = {10.1145/2338967.2336810},
timestamp = {Tue, 16 Jan 2024 15:26:47 +0100},
biburl = {https://dblp.org/rec/conf/issta/FarchiSLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2011,
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34188-5},
doi = {10.1007/978-3-642-34188-5},
isbn = {978-3-642-34187-8},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/LourencoSTD11,
author = {Jo{\~{a}}o Louren{\c{c}}o and
Diogo Sousa and
Bruno C. Teixeira and
Ricardo J. Dias},
title = {Detecting concurrency anomalies in transactional memory programs},
journal = {Comput. Sci. Inf. Syst.},
volume = {8},
number = {2},
pages = {534--548},
year = {2011},
url = {https://doi.org/10.2298/CSIS110110007L},
doi = {10.2298/CSIS110110007L},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comsis/LourencoSTD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PessanhaDLFS11,
author = {Vasco Pessanha and
Ricardo J. Dias and
Jo{\~{a}}o Louren{\c{c}}o and
Eitan Farchi and
Diogo Sousa},
editor = {Jo{\~{a}}o Louren{\c{c}}o and
Eitan Farchi},
title = {Practical verification of high-level dataraces in transactional memory
programs},
booktitle = {Proceedings of the 9th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, {PADTAD} 2011, Toronto, ON, Canada,
July 17-21, 2011},
pages = {26--34},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2002962.2002968},
doi = {10.1145/2002962.2002968},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/PessanhaDLFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saicsit/LourencoT11,
author = {Jo{\~{a}}o Louren{\c{c}}o and
Hannah Thinyane},
editor = {Irwin Brown and
Kosheek Sewchurran and
Hussein Suleman},
title = {An evaluation of a low-cost 3-dimensional gestural interface: Wii3D},
booktitle = {Proceedings of the 2011 Annual Conference of the South African Institute
of Computer Scientists and Information Technologists, {SAICSIT} 2011,
Cape Town, South Africa, October 3-5, 2011},
pages = {298--301},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2072221.2072262},
doi = {10.1145/2072221.2072262},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/saicsit/LourencoT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2011p,
editor = {Jo{\~{a}}o Louren{\c{c}}o and
Eitan Farchi},
title = {Proceedings of the 9th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, {PADTAD} 2011, Toronto, ON, Canada,
July 17-21, 2011},
publisher = {{ACM}},
year = {2011},
isbn = {978-1-4503-0809-0},
timestamp = {Mon, 22 Aug 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/2011p.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/GomesL10,
author = {Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Louren{\c{c}}o},
title = {Rapid Prototyping of Graphical User Interfaces for Petri-Net-Based
Controllers},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {57},
number = {5},
pages = {1806--1813},
year = {2010},
url = {https://doi.org/10.1109/TIE.2009.2031188},
doi = {10.1109/TIE.2009.2031188},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tie/GomesL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csdm/PaulinoMLD10,
author = {Herv{\'{e}} Paulino and
Jo{\~{a}}o Andr{\'{e}} Martins and
Jo{\~{a}}o Louren{\c{c}}o and
Nuno Duro},
editor = {Marc Aiguier and
Francis Bretaudeau and
Daniel Krob},
title = {SmART: An Application Reconfiguration Framework},
booktitle = {Complex Systems Design {\&} Management - Proceedings of the First
International Conference on Complex System Design {\&} Management,
{CSDM} 2010, Paris, France, October 27-29, 2010},
pages = {73--84},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15654-0\_5},
doi = {10.1007/978-3-642-15654-0\_5},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csdm/PaulinoMLD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/Lourenco10,
author = {Jo{\~{a}}o Louren{\c{c}}o},
editor = {Sharon Barner and
Ian G. Harris and
Daniel Kroening and
Orna Raz},
title = {Understanding Transactional Memory (Extended Abstract)},
booktitle = {Hardware and Software: Verification and Testing - 6th International
Haifa Verification Conference, {HVC} 2010, Haifa, Israel, October
4-7, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6504},
pages = {1--2},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19583-9\_1},
doi = {10.1007/978-3-642-19583-9\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/Lourenco10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/HollanderHLM10,
author = {Yoav Hollander and
Alan J. Hu and
Jo{\~{a}}o Louren{\c{c}}o and
Ronny Morad},
editor = {Sharon Barner and
Ian G. Harris and
Daniel Kroening and
Orna Raz},
title = {Special Session on Debugging},
booktitle = {Hardware and Software: Verification and Testing - 6th International
Haifa Verification Conference, {HVC} 2010, Haifa, Israel, October
4-7, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6504},
pages = {24--28},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19583-9\_7},
doi = {10.1007/978-3-642-19583-9\_7},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/HollanderHLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/TeixeiraLFDS10,
author = {Bruno C. Teixeira and
Jo{\~{a}}o Louren{\c{c}}o and
Eitan Farchi and
Ricardo J. Dias and
Diogo Sousa},
editor = {Jo{\~{a}}o Louren{\c{c}}o},
title = {Detection of Transactional Memory anomalies using static analysis},
booktitle = {Proceedings of the 8th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, {PADTAD} 2010, Trento, Italy, July
12-16, 2010},
pages = {26--36},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1866210.1866213},
doi = {10.1145/1866210.1866213},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/TeixeiraLFDS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DuroSLPM10,
author = {Nuno Duro and
Rui Santos and
Jo{\~{a}}o Louren{\c{c}}o and
Herv{\'{e}} Paulino and
Jo{\~{a}}o Martins},
editor = {Jo{\~{a}}o Louren{\c{c}}o},
title = {Open virtualization framework for testing ground systems},
booktitle = {Proceedings of the 8th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, {PADTAD} 2010, Trento, Italy, July
12-16, 2010},
pages = {67--73},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1866210.1866217},
doi = {10.1145/1866210.1866217},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/DuroSLPM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2010p,
editor = {Jo{\~{a}}o Louren{\c{c}}o},
title = {Proceedings of the 8th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, {PADTAD} 2010, Trento, Italy, July
12-16, 2010},
publisher = {{ACM}},
year = {2010},
isbn = {978-1-4503-0136-7},
timestamp = {Wed, 10 Nov 2010 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/2010p.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/DiasL09,
author = {Ricardo J. Dias and
Jo{\~{a}}o Louren{\c{c}}o},
editor = {Henk J. Sips and
Dick H. J. Epema and
Hai{-}Xiang Lin},
title = {Unifying Memory and Database Transactions},
booktitle = {Euro-Par 2009 Parallel Processing, 15th International Euro-Par Conference,
Delft, The Netherlands, August 25-28, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5704},
pages = {349--360},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03869-3\_35},
doi = {10.1007/978-3-642-03869-3\_35},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/DiasL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LourencoDLRP09,
author = {Jo{\~{a}}o Louren{\c{c}}o and
Ricardo J. Dias and
Jo{\~{a}}o Lu{\'{\i}}s and
Miguel Rebelo and
Vasco Pessanha},
editor = {Ganesh Gopalakrishnan and
Eitan Farchi and
Eric Mercer},
title = {Understanding the behavior of transactional memory applications},
booktitle = {Proceedings of the 7th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, {PADTAD} 2009, Chicago, Illinois,
USA, July 19-20, 2009},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1639622.1639625},
doi = {10.1145/1639622.1639625},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/LourencoDLRP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/DiasLC08,
author = {Ricardo J. Dias and
Jo{\~{a}}o Louren{\c{c}}o and
Gon{\c{c}}alo Cunha},
title = {Developing libraries using software transactional memory},
journal = {Comput. Sci. Inf. Syst.},
volume = {5},
number = {2},
pages = {103--117},
year = {2008},
url = {https://doi.org/10.2298/CSIS0802103D},
doi = {10.2298/CSIS0802103D},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comsis/DiasLC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LourencoG08,
author = {Jo{\~{a}}o Louren{\c{c}}o and
Lu{\'{\i}}s Gomes},
editor = {Kees M. van Hee and
R{\"{u}}diger Valk},
title = {Animated Graphical User Interface Generator Framework for Input-Output
Place-Transition Petri Net Models},
booktitle = {Applications and Theory of Petri Nets, 29th International Conference,
{PETRI} {NETS} 2008, Xi'an, China, June 23-27, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5062},
pages = {409--418},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68746-7\_27},
doi = {10.1007/978-3-540-68746-7\_27},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/LourencoG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/DikaiakosRUL08,
author = {Marios D. Dikaiakos and
Omer F. Rana and
Shmuel Ur and
Jo{\~{a}}o Louren{\c{c}}o},
editor = {Emilio Luque and
Tom{\`{a}}s Margalef and
Domingo Benitez},
title = {Topic 1: Support Tools and Environments},
booktitle = {Euro-Par 2008 - Parallel Processing, 14th International Euro-Par Conference,
Las Palmas de Gran Canaria, Spain, August 26-29, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5168},
pages = {1--2},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85451-7\_1},
doi = {10.1007/978-3-540-85451-7\_1},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/DikaiakosRUL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/PreguicaRHL08,
author = {Nuno M. Pregui{\c{c}}a and
Rodrigo Rodrigues and
Crist{\'{o}}v{\~{a}}o Honorato and
Jo{\~{a}}o Louren{\c{c}}o},
editor = {Lorenzo Alvisi and
Petros Maniatis},
title = {Byzantium: Byzantine-Fault-Tolerant Database Replication Providing
Snapshot Isolation},
booktitle = {Proceedings of the Fourth Workshop on Hot Topics in System Dependability,
HotDep 2008, San Diego, CA, USA, December 7, 2008},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/hotdep08/tech/full\_papers/preguica/preguica.pdf},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/PreguicaRHL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LourencoC07,
author = {Jo{\~{a}}o Louren{\c{c}}o and
Gon{\c{c}}alo Cunha},
editor = {Shmuel Ur and
Eitan Farchi},
title = {Testing patterns for software transactional memory engines},
booktitle = {Proceedings of the 5th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, held in conjunction with the {ACM}
{SIGSOFT} International Symposium on Software Testing and Analysis
{(ISSTA} 2007), {PADTAD} 2007, London, UK, July 9, 2007},
pages = {36--42},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1273647.1273655},
doi = {10.1145/1273647.1273655},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/LourencoC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iticse/2005,
editor = {Jos{\'{e}} C. Cunha and
William M. Fleischman and
Viera K. Proulx and
Jo{\~{a}}o Louren{\c{c}}o},
title = {Proceedings of the 10th Annual {SIGCSE} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal,
June 27-29, 2005},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1067445},
doi = {10.1145/1067445},
isbn = {1-59593-024-8},
timestamp = {Wed, 10 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iticse/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DC-0309049,
author = {Jo{\~{a}}o Louren{\c{c}}o and
Jos{\'{e}} C. Cunha and
Vitor Moreira},
title = {Control and Debugging of Distributed Programs Using Fiddle},
journal = {CoRR},
volume = {cs.DC/0309049},
year = {2003},
url = {http://arxiv.org/abs/cs/0309049},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DC-0309049.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/DuarteLC01,
author = {V{\'{\i}}tor Duarte and
Jo{\~{a}}o Louren{\c{c}}o and
Jos{\'{e}} C. Cunha},
title = {Supporting On-line Distributed Monitoring and Debugging},
journal = {Scalable Comput. Pract. Exp.},
volume = {4},
number = {3},
year = {2001},
url = {http://www.scpe.org/index.php/scpe/article/view/247},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scpe/DuarteLC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/LourencoC01,
author = {Jo{\~{a}}o Louren{\c{c}}o and
Jos{\'{e}} C. Cunha},
editor = {Vassil N. Alexandrov and
Jack J. Dongarra and
Benjoe A. Juliano and
Ren{\'{e}} S. Renner and
Chih Jeng Kenneth Tan},
title = {Fiddle: {A} Flexible Distributed Debugging Architecture},
booktitle = {Computational Science - {ICCS} 2001, International Conference, San
Francisco, CA, USA, May 28-30, 2001. Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {2074},
pages = {821--830},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45718-6\_87},
doi = {10.1007/3-540-45718-6\_87},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iccS/LourencoC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/CunhaLA99,
author = {Jos{\'{e}} C. Cunha and
Jo{\~{a}}o Louren{\c{c}}o and
Tiago R. Ant{\~{a}}o},
title = {An experiment in tool integration: The {DDBG} parallel and distributed
debugger},
journal = {J. Syst. Archit.},
volume = {45},
number = {11},
pages = {897--907},
year = {1999},
url = {https://doi.org/10.1016/S1383-7621(98)00024-1},
doi = {10.1016/S1383-7621(98)00024-1},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/CunhaLA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/CunhaMDLG99,
author = {Jos{\'{e}} C. Cunha and
Pedro D. Medeiros and
V{\'{\i}}tor Duarte and
Jo{\~{a}}o Louren{\c{c}}o and
Maria Cecilia Gomes},
editor = {Hamid R. Arabnia},
title = {An Experience in Building a Parallel and Distributed Problem-Solving
Environment},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 1999, June 28 - Junlly
1, 1999, Las Vegas, Nevada, {USA}},
pages = {1804--1809},
publisher = {{CSREA} Press},
year = {1999},
timestamp = {Fri, 08 Apr 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdpta/CunhaMDLG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/CunhaLD98,
author = {Jos{\'{e}} C. Cunha and
Jo{\~{a}}o Louren{\c{c}}o and
V{\'{\i}}tor Duarte},
title = {Using {DDBG} to Support Testing and High-level Debugging Interfaces},
journal = {Comput. Artif. Intell.},
volume = {17},
number = {5},
pages = {429--439},
year = {1998},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/620},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/CunhaLD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcn/CunhaLVMP98,
author = {Jos{\'{e}} C. Cunha and
Jo{\~{a}}o Louren{\c{c}}o and
Jo{\~{a}}o Vieira and
Bruno Mosc{\~{a}}o and
Daniel Pereira},
editor = {Peter M. A. Sloot and
Marian Bubak and
Louis O. Hertzberger},
title = {A Framework to support Parallel and Distrubuted Debugging},
booktitle = {High-Performance Computing and Networking, International Conference
and Exhibition, {HPCN} Europe 1998, Amsterdam, The Netherlands, April
21-23, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1401},
pages = {708--717},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0037198},
doi = {10.1007/BFB0037198},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/hpcn/CunhaLVMP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcn/CunhaMLDVMPV98,
author = {Jos{\'{e}} C. Cunha and
Pedro D. Medeiros and
Jo{\~{a}}o Louren{\c{c}}o and
V{\'{\i}}tor Duarte and
Jo{\~{a}}o Vieira and
Bruno Mosc{\~{a}}o and
Daniel Pereira and
Rui Vaz},
editor = {Peter M. A. Sloot and
Marian Bubak and
Louis O. Hertzberger},
title = {The {DOTPAR} Project: Towards a Framework Supporting Domain Oriented
Tools for Parallel and Distributed Processing},
booktitle = {High-Performance Computing and Networking, International Conference
and Exhibition, {HPCN} Europe 1998, Amsterdam, The Netherlands, April
21-23, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1401},
pages = {952--954},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0037241},
doi = {10.1007/BFB0037241},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpcn/CunhaMLDVMPV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/CunhaL98,
author = {Jos{\'{e}} C. Cunha and
Jo{\~{a}}o Louren{\c{c}}o},
editor = {John Lewis and
Jane Prey and
Daniel Joyce and
John Impagliazzo},
title = {An integrated course on parallel and distributed processing},
booktitle = {Proceedings of the 29th {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 1998, Atlanta, Georgia, USA, February 26 - March
1, 1998},
pages = {217--221},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/273133.274300},
doi = {10.1145/273133.274300},
timestamp = {Mon, 30 May 2022 15:19:22 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/CunhaL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spdt/LourencoC98,
author = {Jo{\~{a}}o Louren{\c{c}}o and
Jos{\'{e}} C. Cunha},
editor = {Allen Maloney and
Jeff Hollingsworth and
Bart Miller},
title = {The {PDBG} process-level debugger for parallel and distributed programs},
booktitle = {Proceedings of the {SIGMETRICS} Symposium on Parallel and Distributed
Tools, {SPDT} '98, Welches, Oregon, {USA}},
pages = {154},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/281035.281056},
doi = {10.1145/281035.281056},
timestamp = {Mon, 17 Jan 2022 13:14:29 +0100},
biburl = {https://dblp.org/rec/conf/spdt/LourencoC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/KacsukCDLFA97,
author = {P{\'{e}}ter Kacsuk and
Jos{\'{e}} C. Cunha and
G{\'{a}}bor D{\'{o}}zsa and
Jo{\~{a}}o Louren{\c{c}}o and
Tibor Fadgyas and
Tiago R. Ant{\~{a}}o},
title = {A Graphical Development and Debugging Environment for Parallel Programs},
journal = {Parallel Comput.},
volume = {22},
number = {13},
pages = {1747--1770},
year = {1997},
url = {https://doi.org/10.1016/S0167-8191(96)00075-0},
doi = {10.1016/S0167-8191(96)00075-0},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pc/KacsukCDLFA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/LourencoCKKNW97,
author = {Jo{\~{a}}o Louren{\c{c}}o and
Jos{\'{e}} C. Cunha and
Henryk Krawczyk and
Piotr Kuzora and
Marcin Neyman and
Bogdan Wiszniewski},
title = {An integrated testing and debugging environment for parallel and distributed
programs},
booktitle = {23rd {EUROMICRO} Conference '97, New Frontiers of Information Technology,
1-4 September 1997, Budapest, Hungary},
pages = {291},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/EURMIC.1997.617289},
doi = {10.1109/EURMIC.1997.617289},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/LourencoCKKNW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/KwiatkowskiALMCLKS96,
author = {Jan Kwiatkowski and
Marek Andruszkiewicz and
Emilio Luque and
Tom{\`{a}}s Margalef and
Jos{\'{e}} C. Cunha and
Jo{\~{a}}o Louren{\c{c}}o and
Henryk Krawczyk and
Stanislaw Szejko},
editor = {Lillian (Boots) Cassel},
title = {Teaching parallel processing: development of curriculum and software
tools},
booktitle = {Proceedings of the 1st Annual Conference on Integrating Technology
into Computer Science Education, ITiCSE 1996, Barcelona, Spain, 2-6
June, 1996},
pages = {159--161},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/237466.237633},
doi = {10.1145/237466.237633},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/KwiatkowskiALMCLKS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-09 00:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
