Publications

Export 2364 results:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
S
Carvalho, P., H. Gonçalo Oliveira, D. Santos, C. Freitas, and C. Mota, "Segundo HAREM: Modelo geral, novidades e avaliação", Desafios na avaliação conjunta do reconhecimento de entidades mencionadas: O Segundo HAREM. Linguateca, pp. 11–31, 2008.
Santos, D., P. Carvalho, C. Freitas, and H. Gonçalo, Segundo HAREM: Directivas de anotação, , 2009.
Santos, D., C. Freitas, H. Gonçalo Oliveira, P. Carvalho, and C. Mota, Segundo HAREM: Balanço e perspectivas de futuro, : Desafios na avaliação conjunta do reconhecimento de entidades mencionadas: O Segundo HAREM, Linguateca, 2009.
Verissimo, P., and L. Rodrigues, "Security Paradigms", Distributed Systems for System Architects: Springer US, pp. 395–426, 2001.
Verissimo, P., "Security Made, Not Perfect, But Automatic (Transcript of Discussion)", Security Protocols XVIII: Springer Berlin Heidelberg, pp. 224–232, 2014.
Verissimo, P., "Security Made, Not Perfect, But Automatic", Security Protocols XVIII: Springer Berlin Heidelberg, pp. 217–223, 2014.
Neves, N. Fuentecill, I. Vitória d Medeiros, and , Security auditing of a DLMS/COSEM Smart Grid communication protocol implementation, , 2018.
Areias, M., P. Moniz, and P. Verissimo, "Security and reliability of critical utility infrastructures", Europe, vol. 1, no. 2, pp. 5–6, 2009.
Verissimo, P., Security and Dependability Risks of Critical Information Infrastructures, , 2008.
Almeida, C., M. Coutinho, and J. Rufino, Securing the Timeliness of Input/Output Event Handling in Real-Time Kernels, , 2005.
Vavala, B., N. Ferreira Neves, and P. Steenkiste, "Securing Passive Replication Through Verification", Proceedings of the 34th Symposium on Reliable Distributed Systems (SRDS), Montreal, Canada, 2015.
Medeiros, I., N. Ferreira Neves, and M. Correia, "Securing energy metering software with automatic source code correction", Industrial Informatics (INDIN), 2013 11th IEEE International Conference on: IEEE, pp. 701–706, 2013.
Alaluna, M., L. Ferrolho, J. Rui Figueira, N. Neves, and F. Ramos, "Secure Virtual Network Embedding in a Multi-Cloud Environment", arXiv preprint arXiv:1703.01313, 2017.
Vavala, B., N. Neves, and P. Steenkiste, "Secure tera-scale data crunching with a small TCB", Dependable Systems and Networks (DSN), 2017 47th Annual IEEE/IFIP International Conference on: IEEE, pp. 169–180, 2017.
Verissimo, P., and L. Rodrigues, "Secure Systems and Platforms", Distributed Systems for System Architects: Springer US, pp. 487–510, 2001.
Pereira, F., N. Ferreira Neves, and F. M. V. Ramos, "Secure Network Monitoring Using Programmable Data Planes", Third International Workshop on Security in NFV-SDN (IEEE NFV-SDN 2017), 2017.
Vavala, B., N. Neves, and P. Steenkiste, "Secure Identification of Actively Executed Code on a Generic Trusted Component", Dependable Systems and Networks (DSN), 2016 46th Annual IEEE/IFIP International Conference on: IEEE, pp. 419–430, 2016.
Mendonca, M., and N. Ferreira Neves, "Secure Application Updates on Point of Sale Devices.", ICETE (2), pp. 38–45, 2004.
Ferrolho, L., M. Alaluna, N. Neves, and F. Ramos, "Secure and dependable virtual network embedding", arXiv preprint arXiv:1602.02268, 2016.
Alaluna, M., E. Vial, N. Neves, and F. M. V. Ramos, "Secure and Dependable Multi-Cloud Network Virtualization", Proceedings of the 1st International Workshop on Security and Dependability of Multi-Domain Infrastructures: ACM, pp. 2, 2017.
Gonçalves, D., L. Carriço, and C. Magnusson, "Second mobile accessibility workshop", Proceedings of the 14th international conference on Human-computer interaction with mobile devices and services companion: ACM, pp. 229–232, 2012.
Santos, D., C. Freitas, H. Gonçalo Oliveira, and P. Carvalho, "Second HAREM: new challenges and old wisdom", Computational Processing of the Portuguese Language: Springer, pp. 212–215, 2008.
Freitas, C., C. Mota, D. Santos, H. Gonçalo Oliveira, and P. Carvalho, "Second HAREM: Advancing the State of the Art of Named Entity Recognition in Portuguese", Proceedings of the Seventh International Conference on Language Resources and Evaluation (LREC 2010), Valetta, Malta, 2010.
Silva, M. J., "Searching and archiving the web with tumba", CAPSI 2003-4a. Conferência da Associaçao Portuguesa de Sistemas de Informaçao, 2003.
Costa, M., and M. J. Silva, "A search log analysis of a Portuguese web search engine", Proc. of the 2nd INForum-Simpósio de Informática, vol. 525, no. 536, pp. 5, 2010.
Costa, R., and F. Ramos, "An SDN-based approach to enhance BGP security", arXiv preprint arXiv:1602.06924, 2016.
de Sá, M., L. Carriço, L. Duarte, D. Cruz, and C. Torres, ScWiz: Personalizing Psychotherapy, : 2nd National Conference in Human Computer Interaction, 2006.
Craveiro, J., J. L. R. Souza, J. Rufino, V. Gaudel, L. Lemarchand, A. Plantec, S. Rubini, and F. Singhoff, "Scheduling Analysis Principles and Tool for Time-and Space-Partitioned Systems", Simposio de informatica, pp. 582–585, 2012.
Rodrigues, J., J. Ventura, and L. Rodrigues, "Schedulability analysis of an event-based real-time protocol framework", Object-Oriented Real-Time Dependable Systems, 2002.(WORDS 2002). Proceedings of the Seventh International Workshop on: IEEE, pp. 319–325, 2002.
Craveiro, J., and J. Rufino, "Schedulability analysis in partitioned systems for aerospace avionics", Emerging Technologies and Factory Automation (ETFA), 2010 IEEE Conference on: IEEE, pp. 1–4, 2010.
Bessani, A. Neves, R. Mendes, T. Oliveira, N. Ferreira Neves, M. Correia, M. Pasin, and P. Verissimo, "SCFS: a shared cloud-backed file system", Usenix ATC, 2014.
Carvalho, N., F. Araujo, and L. Rodrigues, "Scalable QoS-based event routing in publish-subscribe systems", Network Computing and Applications, Fourth IEEE International Symposium on: IEEE, pp. 101–108, 2005.
Rodrigues, L., R. Guerraoui, and A. Schiper, "Scalable atomic multicast", Computer Communications and Networks, 1998. Proceedings. 7th International Conference on: IEEE, pp. 840–847, 1998.
Rodrigues, L., "Scalability issues in MOOs: the role of object migration and replication", ECOOP Workshops, pp. 90–91, 1999.
da Silva, F., and H. Senger, "Scalability analysis of embarassingly parallel applications on large clusters", Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW), 2010 IEEE International Symposium on: IEEE, pp. 1–8, 2010.
Ignatiev, A., F. Pereira, N. Narodytska, and J. Marques-Silva, "A SAT-based approach to learn explainable decision sets", International Joint Conference on Automated Reasoning: Springer, pp. 627–645, 2018.
André, P., and P. Antunes, "SaGISC: a geo-collaborative system", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 175–191, 2004.
Falcao, A. O., JG. Borges, and M. Tomé, "SAGfLOR–An automated forest management prescription writer", Modelling the Growth of Tree Plantations and Agroforestry Systems in South and East Africa, University of Joensuu, Faculty of Forestry Research Notes, vol. 97, pp. 211–218, 1999.
Borges, JG., and A. O. Falcao, "SagFlor, a simulator of management alternatives in forest ecosystems", Revista Florestal (Portugal), 1999.
Falcao, A. O., and JG. Borges, SAGfLOR 2.0-Simulador de Alternativas de Gestão. Manual de Utilização, : Grupo de Economia e Planeamento em Recursos Florestais, Documento nº5, DEF, Lisboa, 1999.
da Costa, P. Nuno Perei, Safety kernel for cooperative sensor-based systems, , 2013.
Lopes, L., and F. Martins, "A safe-by-design programming language for wireless sensor networks", Journal of Systems Architecture, vol. 63: Elsevier, pp. 16–32, 2016.
Rosa, J., J. Craveiro, and J. Rufino, "Safe online reconfiguration of time-and space-partitioned systems", Industrial Informatics (INDIN), 2011 9th IEEE International Conference on: IEEE, pp. 510–515, 2011.
Maria, N., P. Gaspar, A. Ferreira, and M. J. Silva, "SACAz - Um sistema de agentes para carregamento de um armazém de dados de acessos Web", CRC: 2ª conferência sobre Redes de computadores, 1999.
R
Crispim, P., A. Lopes, and V. T. Vasconcelos, "Runtime Verification for Generic Classes with ConGu 2", Formal Methods: Foundations and Applications: Springer Berlin Heidelberg, pp. 33–48, 2011.
Mocito, J., and L. Rodrigues, "Run-time switching between total order algorithms", Euro-Par 2006 Parallel Processing: Springer Berlin Heidelberg, pp. 582–591, 2006.
Vasconcelos, V. T., I. Nunes, A. Lopes, N. Ramiro, and P. Crispim, Runtime checking Java code using ConGu, : International Workshop on Advanced Software Development Tools and Techniques, 2008, 2008.
Neves, N. Ferreira, and P. Verissimo, Running Lab Prototype of MAFTIA Middleware, , 2002.
Silva, P., P. Pombinho, A. Paula Afonso, , and , "Rubi: An Open Source Android Platform for Mobile Augmented Reality Applications", International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2011, Workshop on Mobile Augmented Reality: Design Issues and Opportunities,: ACM, 2011.
Silva, H., A. Constantino, D. Freitas, M. Coutinho, S. Faustino, M. Mota, P. Colaço, J. Sousa, L. Dias, B. Damjanovic, et al., "RTEMS Centre-Support and Maintenance Centre to RTEMS Operating System", ESA Special Publication, vol. 669, pp. 10, 2009.
Rodrigues, L., and P. Verissimo, The ROMANCE approach to replicated object management, : Citeseer, 1994.
Verissimo, P., "On the role of time in distributed systems", Distributed Computing Systems, 1997., Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of: IEEE, pp. 316–321, 1997.
Chambel, T., and N. Guimarães, "The Role of Hypervideo in Learning Environments", WebNet World Conference on the WWW and Internet, vol. 1999, no. 1, pp. 1672–1672, 1999.
Mendonca, M., and N. Ferreira Neves, "Robustness testing of the Windows DDK", Dependable Systems and Networks, 2007. DSN'07. 37th Annual IEEE/IFIP International Conference on: IEEE, pp. 554–564, 2007.
Lopes, J., and N. Ferreira Neves, "Robustness of the RaptorQ FEC Code Under Malicious Attacks", Inforum, 2013.
Martins, F., L. Lopes, M. S. Silva, and J. Barros, Robust Programming for Sensor Networks, : Technical Report DCC-2008-01, Department of Computer Science, Faculty of Sciences, University of Porto, 2008.
Rufino, J., and J. Craveiro, "Robust partitioning and composability in ARINC 653 conformant real-time operating systems", 1st INTERAC Research Network Plenary Workshop, Braga, Portugal, 2008.
Vavala, B., and N. Ferreira Neves, "Robust and Speculative Byzantine Randomized Consensus with Constant Time Complexity in Normal Conditions.", SRDS, pp. 161–170, 2012.
Lopes, R., C. Duarte, H. Simões, and L. Carriço, On the road to Rich Digital Books, : 2nd National Conference in Human Computer Interaction, 2006.
Rodrigues, L., "The road to a more configurable and adaptive communication and coordination support", Distributed Computing Systems, 2003. FTDCS 2003. Proceedings. The Ninth IEEE Workshop on Future Trends of: IEEE, pp. 16–22, 2003.
Moniz, H., N. Ferreira Neves, M. Correia, and P. Verissimo, "RITAS: Services for randomized intrusion tolerance", Dependable and Secure Computing, IEEE Transactions on, vol. 8, no. 1: IEEE, pp. 122–136, 2011.
Pereira, J., M. Alba, A. Cardoso, R. Correia, M. J. Silva, J. Paiva, C. Sousa-Dias, L. Aguiar, S. Barbosa, J. Gomes, et al., "Risk factors for ICU-acquired pneumonia caused by methicillin-resistant Staphylococcus aureus", INTENSIVE CARE MEDICINE, vol. 29: SPRINGER-VERLAG 175 FIFTH AVE, NEW YORK, NY 10010 USA, pp. S192–S192, 2003.
Carriço, L., G. Zurita Alarcón, R. Bandeira, R. Vogt, N. Baloian Tataryan, and P. Antunes, Risk Assessment in Healthcare Collaborative Settings: A Case Study Using SHELL, , 2008.
Antunes, P., R. Bandeira, L. Carriço, G. Zurita, N. Baloian, and R. Vogt, "Risk assessment in healthcare collaborative settings: A case study using SHELL", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 65–73, 2008.
Lopes, R., H. Simoes, C. Duarte, and L. Carriço, "Rich Digital Books for the Web.", WEBIST (2), pp. 248–253, 2007.
Teles, J., J. Cavaleiro, P. Weinman, A. O. Falcao, P. Fernandes, and JE. Fonseca, RheugulationDB: Construindo uma imagem integrada para a artrite reumatóide, : XIII Congresso Português de Reumatologia, 2006.
Teles, J., J. Cavaleiro, P. Weinman, A. O. Falcao, P. Fernandes, and JE. Fonseca, RheugulationDB: building an integrated view on Rheumatoid Artritis, : European Congress of Rheumatology, 2006.
Domaschka, J., A. I. Schmied, H. P. Reiser, and F. J. Hauck, "Revisiting deterministic multithreading strategies", Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International: IEEE, pp. 1–8, 2007.
Arlat, J., M. Kaaniche, H-P. Schwefel, Y. Liu, E. Vestergaar Matthiesen, A. Bondavalli, M. Calha, A. Casimiro, A. Daidone, L. Falai, et al., Revised reference model: HIDENETS D1. 2, : Aalborg Universitetsforlag, 2007.
Arlat, J., M. Kaaniche, A. Bondavalli, M. Calha, A. Casimiro, A. Daidone, L. Falai, G. Huszerl, MO. Killijian, A. Kövi, et al., Revised reference model, : Department of Informatics, University of Lisbon, 2007.
Antunes, P., and J. A. Pino, "A review of CRIWG research", Collaboration and Technology: Springer Berlin Heidelberg, pp. 1–15, 2010.
Antunes, J., N. Ferreira Neves, and P. Verissimo, ReverX: Reverse engineering of protocols, , 2011.
Antunes, J., N. Ferreira Neves, and P. Verissimo, "Reverse engineering of protocols from network traces", Reverse Engineering (WCRE), 2011 18th Working Conference on: IEEE, pp. 169–178, 2011.
Dragisic, Z., K. Eckert, J. Euzenat, D. Faria, A. Ferrara, R. Granada, V. Ivanova, E. Jiménez-Ruiz, A. Kempf, P. Lambrix, et al., "Results of theOntology Alignment Evaluation Initiative 2014", International Workshop on Ontology Matching, pp. 61–104, 2014.
Achichi, M., M. Cheatham, Z. Dragisic, J. Euzenat, D. Faria, A. Ferrara, G. Flouris, I. Fundulaki, I. Harrow, V. Ivanova, et al., "Results of the ontology alignment evaluation initiative 2016", CEUR workshop proceedings, vol. 1766: RWTH, pp. 73–129, 2016.
Bandeira, R., R. Lopes, and L. Carriço, "Results from multi-dimensional accessibility assessment", Universal Access in Human-Computer Interaction. Design for All and eInclusion: Springer Berlin Heidelberg, pp. 187–196, 2011.
Ventura, J., J. Rodrigues, and L. Rodrigues, "Response time analysis of composable micro-protocols", Object-Oriented Real-Time Distributed Computing, 2001. ISORC-2001. Proceedings. Fourth IEEE International Symposium on: IEEE, pp. 335–342, 2001.
Coutinho, M., J. Rufino, and C. Almeida, "Response time analysis of asynchronous periodic and sporadic tasks sheduled by a fixed priority preemptive algorithm", Real-Time Systems, 2008. ECRTS'08. Euromicro Conference on: IEEE, pp. 156–167, 2008.
Timenetsky, KT., T. Figueiredo, AS. Yang, TJ. Andre, MK. Nagano, C. Alexandre, C. Garcia, RA. Caserta, P. Verissimo, and E. Silva, "Respiratory Muscle Weakness In Acute Heart Failure Patients", Am J Respir Crit Care Med, vol. 183, pp. A4246, 2011.
Goncalves, LHR., P. Verissimo, K. Timenetsky, T. Figueiredo, A. Yang, T. Andre, M. Nagano, C. Alexandre, A. Goedert, R. Caserta, et al., "Respiratory muscle weakness in acute heart failure patients", Critical Care, vol. 15, no. Suppl 2: BioMed Central Ltd, pp. P24, 2011.
Verissimo, P., KT. Timenetsky, T. Figueiredo, ASY. Yang, TJ. Andre, MK. Nagano, C. Alexandre, C. Garcia, RA. Caserta, and E. Silva, "Respiratory Muscle Weakness In Acute Heart Failure Patients", AMERICAN JOURNAL OF RESPIRATORY AND CRITICAL CARE MEDICINE, vol. 183: AMER THORACIC SOC 61 BROADWAY, FL 4, NEW YORK, NY 10006 USA, 2011.
Sousa, P., N. Ferreira Neves, and P. Verissimo, "Resilient state machine replication", Dependable Computing, 2005. Proceedings. 11th Pacific Rim International Symposium on: IEEE, pp. 5–pp, 2005.
Sousa, P., A. Neves Bessani, M. Correia, N. Ferreira Neves, and P. Verissimo, "Resilient intrusion tolerance through proactive and reactive recovery", Dependable Computing, 2007. PRDC 2007. 13th Pacific Rim International Symposium on: IEEE, pp. 373–380, 2007.
Simoncini, L., J-C. Laprie, K. Kanoun, JC. Fabre, H. Waeselynck, I. Majzik, A. Pataricza, R. Bloomfield, L. Strigini, N. Suri, et al., Resilient Computing Curriculum Draft–ReSIST NoE Deliverable D16, : Department of Informatics, University of Lisbon, 2007.
Bernardeschi, C., R. Bloomfield, A. Bondavalli, C. Cachin, M. Correia, M. Dacier, F. Di Giandomenico, J-C. Fabre, M. Harrison, M. Kaaniche, et al., Resilient Computing Curriculum, , 2009.
Bernardeschi, C., R. Bloomfield, A. Bondavalli, C. Cachin, M. Correia, M. Dacier, F. Di Giandomenico, J-C. Fabre, M. Harrison, M. Kaaniche, et al., Resilient Computing Courseware, , 2009.
Antunes, P., and H. Mourão, "Resilient business process management: Framework and services", Expert Systems with Applications, vol. 38, no. 2: Pergamon, pp. 1241–1254, 2011.
Casimiro, A., A. Bondavalli, A. Ceccarelli, A. Daidone, L. Falai, P. Frejek, F. Giandomenico, G. Huszerl, MO. Killijian, A. Kövi, et al., Resilient architecture (preliminary version), : Department of Informatics, University of Lisbon, 2007.
Casimiro, A., A. Bondavalli, H-P. Schwefel, M. Calha, M. Clemetsen, A. Daidone, M. Dixit, Z. Egel, L. Falai, F. Di Giandomenico, et al., Resilient architecture: HIDENETS D2. 1.2, , 2006.
Casimiro, A., and , "Resilient architecture (final version)", EU FP6 IST project HIDENETS, deliverable D, vol. 2, 2008.
Casimiro, A., A. Bondavalli, A. Ceccarelli, A. Daidone, L. Falai, P. Frejek, A. Kövi, EV. Matthiesen, O. Mendizabal, H. Moniz, et al., Resilient architecture, , 2007.
Strigini, L., N. Ferreira Neves, M. Raynal, M. Harrison, M. Kaaniche, and F. Von Henke, Resilience-Building Technologies: State of Knowledge–ReSIST NoE Deliverable D12, : Department of Informatics, University of Lisbon, 2007.
Strigini, L., N. Ferreira Neves, M. Raynal, M. Harrison, M. Kaaniche, F. Von Henke, and , Resilience-building technologies: State of knowledge, , 2007.
Sousa, P., N. Ferreira Neves, A. Lopes, and P. Verissimo, "On the resilience of intrusion-tolerant distributed systems", DI/FCUL TR 06–14, DEP. OF INFORMATICS, UNIV. OF LISBON, SEPTEMBER 2006.–PRELIMINARY ARCHITECTURE SPECIFICATION PAGE 100, 2006.
Neves, N. Ferreira, P. Verissimo, P. Sousa, and A. Lopes, On the Resilience of Intrusion-Tolerant Distributed Systems, : Department of Informatics, University of Lisbon, 2006.
Sousa, P., N. Ferreira Neves, and P. Verissimo, Resilence State Machine Replication, , 2005.
Falcao, A. O., "Residue fragment programs for enzyme classification", Proceedings of the workshop Bioinformatics: Knowledge Discovery in Biology, pp. 24–28, 2005.
Gomes-Alves, P., F. Couto, C. Pesquita, A. V. Coelho, and D. Penque, "Rescue of F508del-CFTR by RXR motif inactivation triggers proteome modulation associated with the unfolded protein response", Biochimica et Biophysica Acta (BBA)-Proteins & Proteomics, vol. 1804, no. 4: Elsevier, pp. 856–865, 2010.
Freitas, C., D. Santos, P. Carvalho, and H. Gonçalo, ReRelEM-Reconhecimento de Relações entre Entidades Mencionadas. Segundo HAREM: proposta de nova pista, , 2009.
Freitas, C., D. Santos, H. Gonçalo Oliveira, and P. Carvalho, "ReRelEM: Relações Semânticas no Segundo HAREM", quot; Encontro do Segundo HAREM (Universidade de Aveiro Portugal 7 de Setembro de 2008), 2008.

Pages