Published in: LIPIcs, Volume 298, 36th Euromicro Conference on Real-Time Systems (ECRTS 2024)
Daniel Oliveira, Weifan Chen, Sandro Pinto, and Renato Mancuso. Shared Resource Contention in MCUs: A Reality Check and the Quest for Timeliness. In 36th Euromicro Conference on Real-Time Systems (ECRTS 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 298, pp. 5:1-5:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{oliveira_et_al:LIPIcs.ECRTS.2024.5, author = {Oliveira, Daniel and Chen, Weifan and Pinto, Sandro and Mancuso, Renato}, title = {{Shared Resource Contention in MCUs: A Reality Check and the Quest for Timeliness}}, booktitle = {36th Euromicro Conference on Real-Time Systems (ECRTS 2024)}, pages = {5:1--5:25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-324-9}, ISSN = {1868-8969}, year = {2024}, volume = {298}, editor = {Pellizzoni, Rodolfo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2024.5}, URN = {urn:nbn:de:0030-drops-203088}, doi = {10.4230/LIPIcs.ECRTS.2024.5}, annote = {Keywords: multi-core microcontrollers, shared resources contention, progress-aware regulation} }
Published in: LIPIcs, Volume 298, 36th Euromicro Conference on Real-Time Systems (ECRTS 2024)
Daniele Ottaviano, Francesco Ciraolo, Renato Mancuso, and Marcello Cinque. The Omnivisor: A Real-Time Static Partitioning Hypervisor Extension for Heterogeneous Core Virtualization over MPSoCs. In 36th Euromicro Conference on Real-Time Systems (ECRTS 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 298, pp. 7:1-7:27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{ottaviano_et_al:LIPIcs.ECRTS.2024.7, author = {Ottaviano, Daniele and Ciraolo, Francesco and Mancuso, Renato and Cinque, Marcello}, title = {{The Omnivisor: A Real-Time Static Partitioning Hypervisor Extension for Heterogeneous Core Virtualization over MPSoCs}}, booktitle = {36th Euromicro Conference on Real-Time Systems (ECRTS 2024)}, pages = {7:1--7:27}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-324-9}, ISSN = {1868-8969}, year = {2024}, volume = {298}, editor = {Pellizzoni, Rodolfo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2024.7}, URN = {urn:nbn:de:0030-drops-203107}, doi = {10.4230/LIPIcs.ECRTS.2024.7}, annote = {Keywords: Mixed-Criticality, Embedded Virtualization, Real-Time Systems, MPSoCs} }
Published in: Dagstuhl Manifestos, Volume 10, Issue 1 (2024)
James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, and Frank Wolter. Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282). In Dagstuhl Manifestos, Volume 10, Issue 1, pp. 1-61, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@Article{delgrande_et_al:DagMan.10.1.1, author = {Delgrande, James P. and Glimm, Birte and Meyer, Thomas and Truszczynski, Miroslaw and Wolter, Frank}, title = {{Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282)}}, pages = {1--61}, journal = {Dagstuhl Manifestos}, ISSN = {2193-2433}, year = {2024}, volume = {10}, number = {1}, editor = {Delgrande, James P. and Glimm, Birte and Meyer, Thomas and Truszczynski, Miroslaw and Wolter, Frank}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagMan.10.1.1}, URN = {urn:nbn:de:0030-drops-201403}, doi = {10.4230/DagMan.10.1.1}, annote = {Keywords: Knowledge representation and reasoning, Applications of logics, Declarative representations, Formal logic} }
Published in: OASIcs, Volume 94, 10th Symposium on Languages, Applications and Technologies (SLATE 2021)
Tiago Baptista, Nuno Oliveira, and Pedro Rangel Henriques. Using Machine Learning for Vulnerability Detection and Classification. In 10th Symposium on Languages, Applications and Technologies (SLATE 2021). Open Access Series in Informatics (OASIcs), Volume 94, pp. 14:1-14:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{baptista_et_al:OASIcs.SLATE.2021.14, author = {Baptista, Tiago and Oliveira, Nuno and Henriques, Pedro Rangel}, title = {{Using Machine Learning for Vulnerability Detection and Classification}}, booktitle = {10th Symposium on Languages, Applications and Technologies (SLATE 2021)}, pages = {14:1--14:14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-202-0}, ISSN = {2190-6807}, year = {2021}, volume = {94}, editor = {Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Sim\~{o}es, Alberto and Portela, Filipe and Pereira, Maria Jo\~{a}o}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2021.14}, URN = {urn:nbn:de:0030-drops-144315}, doi = {10.4230/OASIcs.SLATE.2021.14}, annote = {Keywords: Vulnerability Detection, Source Code Analysis, Machine Learning} }
Published in: OASIcs, Volume 83, 9th Symposium on Languages, Applications and Technologies (SLATE 2020)
Tiago Sousa, Hugo Gonçalo Oliveira, and Ana Alves. Exploring Different Methods for Solving Analogies with Portuguese Word Embeddings. In 9th Symposium on Languages, Applications and Technologies (SLATE 2020). Open Access Series in Informatics (OASIcs), Volume 83, pp. 9:1-9:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{sousa_et_al:OASIcs.SLATE.2020.9, author = {Sousa, Tiago and Gon\c{c}alo Oliveira, Hugo and Alves, Ana}, title = {{Exploring Different Methods for Solving Analogies with Portuguese Word Embeddings}}, booktitle = {9th Symposium on Languages, Applications and Technologies (SLATE 2020)}, pages = {9:1--9:14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-165-8}, ISSN = {2190-6807}, year = {2020}, volume = {83}, editor = {Sim\~{o}es, Alberto and Henriques, Pedro Rangel and Queir\'{o}s, Ricardo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2020.9}, URN = {urn:nbn:de:0030-drops-130229}, doi = {10.4230/OASIcs.SLATE.2020.9}, annote = {Keywords: analogies, word embeddings, semantic relations, syntactic relations, Portuguese} }
Published in: LIPIcs, Volume 70, 20th International Conference on Principles of Distributed Systems (OPODIS 2016)
Tiago Oliveira, Ricardo Mendes, and Alysson Bessani. Exploring Key-Value Stores in Multi-Writer Byzantine-Resilient Register Emulations. In 20th International Conference on Principles of Distributed Systems (OPODIS 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 70, pp. 30:1-30:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{oliveira_et_al:LIPIcs.OPODIS.2016.30, author = {Oliveira, Tiago and Mendes, Ricardo and Bessani, Alysson}, title = {{Exploring Key-Value Stores in Multi-Writer Byzantine-Resilient Register Emulations}}, booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)}, pages = {30:1--30:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-031-6}, ISSN = {1868-8969}, year = {2017}, volume = {70}, editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.30}, URN = {urn:nbn:de:0030-drops-70999}, doi = {10.4230/LIPIcs.OPODIS.2016.30}, annote = {Keywords: Byzantine fault tolerance, register emulation, multi-writer, key-value store, data-centric algorithms} }
Published in: OASIcs, Volume 49, 2015 Imperial College Computing Student Workshop (ICCSW 2015)
António Silva, Tiago Oliveira, Paulo Novais, and José Neves. Representing Temporal Patterns in Computer-Interpretable Clinical Guidelines. In 2015 Imperial College Computing Student Workshop (ICCSW 2015). Open Access Series in Informatics (OASIcs), Volume 49, pp. 62-69, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{silva_et_al:OASIcs.ICCSW.2015.62, author = {Silva, Ant\'{o}nio and Oliveira, Tiago and Novais, Paulo and Neves, Jos\'{e}}, title = {{Representing Temporal Patterns in Computer-Interpretable Clinical Guidelines}}, booktitle = {2015 Imperial College Computing Student Workshop (ICCSW 2015)}, pages = {62--69}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-000-2}, ISSN = {2190-6807}, year = {2015}, volume = {49}, editor = {Schulz, Claudia and Liew, Daniel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2015.62}, URN = {urn:nbn:de:0030-drops-54827}, doi = {10.4230/OASIcs.ICCSW.2015.62}, annote = {Keywords: Computer-Interpretable Guidelines, Temporal Constraints, Clinical Decision Support, Ontologies} }