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 
C
Correia, M., A. Neves Bessani, P. Sousa, N. Ferreira Neves, and P. Verissimo, Critical Infrastructure Protection: the CRUTIAL Project, , 2008.
Dondossola, G., G. Deconinck, F. Di Giandomenico, S. Donatelli, M. Kaaniche, and P. Verissimo, "Critical utility infrastructural resilience", arXiv preprint arXiv:1211.5736, 2012.
Carriço, L., R. Lopes, and R. Bandeira, "Crosschecking the mobile web for people with visual impairments", Proceedings of the International Cross-Disciplinary Conference on Web Accessibility: ACM, pp. 12, 2011.
Prata, A., N. Guimarães, and T. Chambel, "Crossmedia personalized learning contexts", Proceedings of the 21st ACM conference on Hypertext and hypermedia: ACM, pp. 305–306, 2010.
Sieberts, S. K., F. Zhu, J. García-García, E. Stahl, A. Pratap, G. Pandey, D. Pappas, D. Aguilar, B. Anton, J. Bonet, et al., "Crowdsourced assessment of common genetic contribution to predicting anti-TNF treatment response in rheumatoid arthritis", Nature communications, vol. 7: Nature Publishing Group, pp. 12460, 2016.
Verissimo, P., N. Ferreira Neves, M. Correia, Y. Deswarte, A. Abou El Kalan, A. Bondavalli, and A. Daidone, "The CRUTIAL architecture for critical information infrastructures", Architecting Dependable Systems V: Springer Berlin Heidelberg, pp. 1–27, 2008.
Verissimo, P., N. Ferreira Neves, M. Correia, Y. Deswarte, A. Abou El Kalan, A. Bondavalli, and A. Daidone, The CRUTIAL Architecture for Critical Information Infrastructures, Architecting Dependable Systems V, : Springer-Verlag, Berlin, Heidelberg, 2008.
Verissimo, P., N. Ferreira Neves, and M. Correia, "The CRUTIAL reference critical information infrastructure architecture: a blueprint", International Journal of System of Systems Engineering, vol. 1, no. 1: Inderscience, pp. 78–95, 2008.
Verissimo, P., N. Ferreira Neves, and M. Correia, "CRUTIAL: The blueprint of a reference critical information infrastructure architecture", Critical Information Infrastructures Security: Springer Berlin Heidelberg, pp. 1–14, 2006.
Bessani, A. Neves, P. Sousa, M. Correia, N. Ferreira Neves, and P. Verissimo, "The CRUTIAL way of critical infrastructure protection", Security & Privacy, IEEE, vol. 6, no. 6: IEEE, pp. 44–51, 2008.
Semenov, A., O. Zaikin, I. Otpuschennikov, S. Kochemazov, and A. Ignatiev, "On Cryptographic Attacks Using Backdoors for SAT", arXiv preprint arXiv:1803.04646, 2018.
Couto, F., M. J. Silva, and P. Coutinho, "Curating extracted information through the correlation between structure and function", third meeting of the special interest group on Text Data Mining: Citeseer, 2003.
Cabaj, K., D. Domingos, Z. Kotulski, and A. Respicio, "Cybersecurity education: Evolution of the discipline and analysis of master programs", Computers & Security, vol. 75: Elsevier, pp. 24–35, 2018.
D
Bocchi, L., L. Ferrari, J. Fiadeiro, A. Lopes, C. Start Date, DSIUF. PISA, ISTI. UNIBO, UEDIN. FFCUL, and TIL. ATX, "D1. 1. c: Prototype language for service modelling: primitives for service description", SENSORIA Deliverables Month, vol. 18, 2007.
Elia, I. Alessandro, V. Formicola, L. Romano, S. D'Antonio, N. Ferreira Neves, R. Rieke, J. Blasco Bermejo, and A. Román, D2. 1.1–Scenario Requirements (Public version), , 2011.
Rufino, J., J. Souza, E. Michael Schiller, L. Marques, A. Guerreiro, R. Caldeira, and D. Skarin, D3. 2–Final Report on Network Characteristics and Coordination Techniques, , 2013.
Steup, C., T. Brade, J. Rufino, J. L. R. Souza, R. Caldeira, and A. Guerreiro, D3. 3–Working prototype of adaptive middleware, , 2013.
Steup, C., T. Brade, J. L. R. Souza, J. Rufino, R. Caldeira, and C. Berger, D3. 5–Final Report on middleware and the evaluation environment, , 2014.
Rufino, J., D4. 2–First Report on Safety Kernel Definition, , 2013.
Costa, A., A. Neves Bessani, and P. Verissimo, D5. 1.1-Preliminary Resilient Framework Architecture, , 2011.
Di Sarno, C., N. Kuntze, P. Verissimo, R. Fonseca, and R. Rieke, D5. 1.2-Preliminary Defense Services and Protocols, , 2011.
Bessani, A. Neves, E. Vial, M. Garcia, R. Fonseca, H. Rouhani, and P. Verissimo, D5. 1.3-Proof-of-concept Prototype of Defense Mechanisms, , 2012.
Di Sarno, C., A. Mazzeo, N. Mazzocca, R. Rieke, P. Rodrigues, L. Romano, P. Verissimo, and E. Vial, D5. 1.4-Resilient SIEM Framework Architecture, Services and Protocols, , 2011.
Bundy, A., D. Hutter, C. B. Jones, S. J Moore, P. Feiler, J. Hugues, O. Sokolsky, R. Kapitza, M. Schunter, M. Shapiro, et al., Dagstuhl Reports, Vol. 2, Issue 7 ISSN 2192-5283, , 2013.
Miranda, H., Data Dissemination in Mobile Ad Hoc Networks, , 2008.
Rodrigues, A., K. Montague, and T. Guerreiro, "Data Donors: Sharing Knowledge for Mobile Accessibility", Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: ACM, pp. LBW539, 2018.
Chaves, M., C. Rodrigues, and M. J. Silva, Data model for geographic ontologies generation, : XATA2007-XML: Aplicações e Tecnologias Associadas, 2007.
Marques, L., and A. Casimiro, "Data validity and dependable perception in networked sensor-based systems", Reliable Distributed Systems, 2010 29th IEEE Symposium on: IEEE, pp. 358–362, 2010.
Almeida, C., J. Rufino, and P. Verissimo, DDRAFT: Supporting dynamic distributed real-time applications with fault-tolerance, : Technical Report CSTC RT-98-02, Centro de Sistemas Telemáticos e Computacionais do Instituto Superior Técnico, Lisboa, Portugal, 1998.
Rodrigues, L., R. Baldoni, E. Anceaume, and M. Raynal, "Deadline-constrained causal order", Object-Oriented Real-Time Distributed Computing, 2000.(ISORC 2000) Proceedings. Third IEEE International Symposium on: IEEE, pp. 234–241, 2000.
Cogumbreiro, T., R. Surendran, F. Martins, V. Sarkar, V. T. Vasconcelos, and M. Grossman, "Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers", Proceedings of the ACM on Programming Languages, vol. 1, no. OOPSLA: ACM, pp. 103, 2017.
Goncalves, N., and P. Antunes, "Decision Can: A Database of Decision Cases", Second International Conference on Enterprise Information Systems, ICEIS, pp. 139–143, 2000.
Gonçalves, N. M. V. Pina, and P. Antunes, ""DECISION CAN": UMA BIBLIOTECA DE CASOS PARA TOMADA DE DECISÃO", Information Systems, vol. 12, 2000.
Borges, J. G., A. O. Falcao, C. Miragaia, P. Marques, and M. Marques, "A decision support system for forest ecosystem management in Portugal", Systems Analysis in Forest Resources: Springer Netherlands, pp. 155–163, 2003.
Bessani, A. Neves, M. Correia, J. da Silva Fraga, and C. L Lung, "Decoupled quorum-based Byzantine-resilient coordination in open distributed systems", Network Computing and Applications, 2007. NCA 2007. Sixth IEEE International Symposium on: IEEE, pp. 231–238, 2007.
Vasconcelos, V. T., F. Martins, E. R. B. Marques, N. Yoshida, and N. Ng, "Deductive Verification of MPI Protocols", Behavioural Types: from Theory to Tools: River Publishers, pp. 353, 2017.
Santos, C., F. Martins, and V. T. Vasconcelos, "Deductive Verification of Parallel Programs Using Why3", Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015, Grenoble, France, 4-5th June 2015., 2015.
de Sá, M., and L. Carriço, Definição de Cenários para o Desenho e Avaliação de Interfaces para Dispositivos Móveis, , 2008.
Rufino, J., P. Verissimo, G. Arroz, and , Defining a CAN-based infrastructure for fault-tolerant real-time distributed computing, : Citeseer, 1998.
Duarte, L., P. Ribeiro, T. Guerreiro, and L. Carriço, "Defining a Design Space for Persuasive Cooperative Interactions in Mobile Exertion Applications", Collaboration and Technology: Springer International Publishing, pp. 105–112, 2014.
de Sá, M., L. Carriço, and P. Antunes, "Defining personalized therapies for handheld devices", Proceedings of the 2007 ACM symposium on Applied computing: ACM, pp. 163–164, 2007.
de Sá, M., and L. Carriço, "Defining scenarios for mobile design and evaluation", CHI'08 extended abstracts on Human factors in computing systems: ACM, pp. 2847–2852, 2008.
Biegel, G., G. Blair, V. Cahill, A. Casimiro, K. Cheverst, R. Cunningham, A. Fitzpatrick, A. Friday, G. Gaertner, B. Hughes, et al., Definition of Application Scenarios, : Department of Informatics, University of Lisbon, 2003.
Medeiros, I., N. Neves, and M. Correia, "DEKANT: a static analysis tool that learns to detect web application vulnerabilities", Proceedings of the 25th International Symposium on Software Testing and Analysis: ACM, pp. 1–11, 2016.
Powell, D., G. Bonn, D. T. Seaton, P. Verissimo, and F. Waeselynck, "The Delta-4 approach to dependability in open distributed computing systems.", FTCS, pp. 246–251, 1988.
Powell, D., P. Barrett, G. Bonn, M. Chéréque, D. Seaton, and P. Verissimo, "The delta-4 distributed fault-tolerant architecture", Laboratoire d'Automatique et d'Analyse des Systemes, Report, no. 91055, 1991.
Barret, PA., A. M. Hilborne, P. G. Bond, D. T. Seaton, P. Verissimo, L. Rodrigues, and N. A. Speirs, "The Delta-4 extra performance architecture (XPA)", Fault-Tolerant Computing, 1990. FTCS-20. Digest of Papers., 20th International Symposium: IEEE, pp. 481–488, 1990.
Medeiros, I., M. Beatriz, N. Neves, and M. Correia, "Demonstrating a Tool for Injection Attack Prevention in MySQL", Dependable Systems and Networks (DSN), 2017 47th Annual IEEE/IFIP International Conference on: IEEE, pp. 551–558, 2017.
Martins, P., P. Sousa, A. Casimiro, and P. Venssimo, "Dependable adaptive real-time applications in wormhole-based systems", Dependable Systems and Networks, 2004 International Conference on: IEEE, pp. 567–572, 2004.
Pimentel, J., J. Proenza, L. Almeida, G. Rodriguez-Navas, M. Barranco, and J. Ferreira, Dependable automotive CAN networks, : Automotive Embedded Systems Handbook, 2009.
W Fuchs, K., N. Ferreira Neves, and K-F. Ssu, "Dependable distributed and mobile computing–utilizing time to enhance recovery from failures", Dependable Network Computing: Springer US, pp. 315–339, 2000.
Alchieri, E. Adilio Pel, A. Neves Bessani, and J. da Silva Fraga, "A dependable infrastructure for cooperative web services coordination", Web Services, 2008. ICWS'08. IEEE International Conference on: IEEE, pp. 21–28, 2008.
Jesus, G., A. Casimiro, and A. Oliveira, "Dependable Outlier Detection in Harsh Environments Monitoring Systems", International Conference on Computer Safety, Reliability, and Security: Springer, pp. 224–233, 2018.
Marques, L., and A. Casimiro, "Dependable Perception in Wireless Sensor Networks", Proceedings of Simpósio de Informática (Inforum 2010), WIP Session, 2010.
Verissimo, P., and L. Rodrigues, "Dependable Systems and Platforms", Distributed Systems for System Architects: Springer US, pp. 259–270, 2001.
Campos, J., and V. T. Vasconcelos, "Dependent Types for Class-based Mutable Objects", LIPIcs-Leibniz International Proceedings in Informatics, vol. 109: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2018.
Campos, J., and V. T. Vasconcelos, "Dependent Types for Class-based Mutable Objects (Artifact)", DARTS-Dagstuhl Artifacts Series, vol. 4: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2018.
Noronha, N., J. P. Campos, D. Gomes, M. J. Silva, and J. Borbinha, "A deposit for digital collections", Research and Advanced Technology for Digital Libraries: Springer Berlin Heidelberg, pp. 200–212, 2001.
Bessani, A. Neves, M. Correia, B. Quaresma, F. André, and P. Sousa, "DepSky: dependable and secure storage in a cloud-of-clouds", ACM Transactions on Storage (TOS), vol. 9, no. 4: ACM, pp. 12, 2013.
Bessani, A. Neves, E. Pelison Alchieri, M. Correia, and J. da Silva Fraga, "DepSpace: a Byzantine fault-tolerant coordination service", ACM SIGOPS Operating Systems Review, vol. 42, no. 4: ACM, pp. 163–176, 2008.
Bessani, A. Neves, E. Adilio Pel Alchieri, M. Correia, J. da Silva Fraga, and C. L Lung, "DEPSPACE: Um Middleware para Coordenaç ao em Ambientes Dinâmicos e Nao Confiaveis", Salao de Ferramentas do XXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuıdos, SBC, 2007.
Martinho, R., D. Domingos, and J. Varajao, Deriving goals for a Software Process Modelling Language to support controlled flexibility, : 1st Conference on Enterprise Information Systems (CENTERIS'2009),, 2009.
Antunes, P., and C. J. Costa, A descriptive framework for electronic meeting systems based on the UML language, : Department of Informatics, University of Lisbon, 2002.
Couto, F., Desenvolvimento de Aplicações Web baseadas em SOA e AJAX, : DI-FCUL, 2010.
Couto, F., and E. Santos, Desenvolvimento de Sistemas de Informação baseados em PHP e MySQL, e Java e Oracle, : DI-FCUL, 2011.
Cavaguti, N., and MJD. Silva, "Desenvolvimento urbano, erosão e degradação dos recursos h{ídricos por assoreamento em Bauru-SP", SIMPÓSIO BRASILEIRO DE RECURSOS HÍDRICOS, vol. 10, 1993.
Marques, L., and A. Casimiro, "Design and Development of a COTS-based Real-time Executive for Safety-critical Vehicular Applications", Proceedings of Simpósio de Informática (Inforum 2009), WIP Session, 2009.
Marques, L., A. Casimiro, and M. Calha, "Design and development of a proof-of-concept platooning application using the hidenets architecture", Dependable Systems & Networks, 2009. DSN'09. IEEE/IFIP International Conference on: IEEE, pp. 223–228, 2009.
Tiellet, C. A. B., A. Grahl Pereira, E. Berni Reategui, J. Valdeni Lima, and T. Chambel, "Design and evaluation of a hypervideo environment to support veterinary surgery learning", Proceedings of the 21st ACM conference on Hypertext and hypermedia: ACM, pp. 213–222, 2010.
Duarte, C., and , Design and Evaluation of Adaptative Multimodal Systems, : Department of Informatics, University of Lisbon, 2008.
Botelho, F., T. A. Ribeiro, P. Ferreira, F. M. V. Ramos, and A. Bessani, "Design and Implementation of a Consistent Data Store for a Distributed SDN Control Plane", Dependable Computing Conference (EDCC), 2016 12th European: IEEE, pp. 169–180, 2016.
Bessani, A. Neves, E. Adılio Pe Alchieri, J. da Silva Fraga, and C. L Lung, "Design and implementation of an intrusion-tolerant tuple space", Proceedings of the International Workshop on Recent Advances on Intrusion-Tolerant Systems (with EuroSys 2007), 2007.
Afonso, A. Paula, M. J. Silva, J. P. Campos, and F. S. Regateiro, "The design and implementation of the ubidata information dissemination framework", Handheld and Ubiquitous Computing: Springer Berlin Heidelberg, pp. 371–373, 1999.
Gomes, D., S. Freitas, and M. J. Silva, "Design and selection criteria for a national web archive", Research and Advanced Technology for Digital Libraries: Springer Berlin Heidelberg, pp. 196–207, 2006.
Murthy, K., S. Raj Paul, K. S. Meel, T. Cogumbreiro, J. Mellor-Crummey, and V. T. Vasconcelos, "Design and Verification of Distributed Phasers", European Conference on Parallel Processing: Springer, pp. 405–418, 2016.
Antunes, P., "A design framework for mobile collaboration", Encyclopedia of E-Collaboration: IGI Global, 2007.
Alves, S., B. Koldehofe, H. Miranda, and F. Taiani, "Design of a backup network for catastrophe scenarios", Proceedings of the 2009 International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly: ACM, pp. 613–617, 2009.
Correia, M., P. Verissimo, and N. Ferreira Neves, "The design of a COTS real-time distributed security kernel", Dependable Computing EDCC-4: Springer, pp. 634–638, 2002.
Correia, M., P. Verissimo, and N. Ferreira Neves, The design of a COTS real-time distributed security kernel (extended version), : Department of Informatics, University of Lisbon, 2001.
Antunes, P., and T. Ho, "The design of a GDSS meeting preparation tool", Group Decision and Negotiation, vol. 10, no. 1: Kluwer Academic Publishers, pp. 5–25, 2001.
Rufino, J., P. Verissimo, and G. Arroz, "Design of bus media redundancy in CAN", Fieldbus Technology: Springer Vienna, pp. 375–380, 1999.
Verissimo, P., "Design of fault tolerant distributed systems: the fail-controlled approach", Proceedings of the 4th workshop on ACM SIGOPS European workshop: ACM, pp. 1–4, 1990.
Rufino, J., P. Verissimo, G. Arroz, C. Almeida, and L. Rodrigues, Design of Fault-Tolerant Broadcast Protocols for CAN, : Tech. rept. CSTC RT-97-06. Centro de Sistemas Telemáticos e Computacionais do Instituto Superior Técnico, Lisboa, Portugal, 1997.
Antunes, P., T. Ho, C. Costa, M. Duque, J. Jesuino, H. Stadler, and N. Guimarães, "On the design of group decision processes for electronic meeting rooms", CLEI Electronic Journal, vol. 2, no. 1, 1999.
Silva, M. J., P. Carvalho, L. Sarmento, E. de Oliveira, and P. Magalhães, "The Design of OPTIMISM, an Opinion Mining System for Portuguese Politics", New Trends in Artificial Intelligence: Proceedings of EPIA, pp. 12–15, 2009.
Botelho, F., A. Neves Bessani, F. M. V. Ramos, and P. Ferreira, "On the design of practical fault-tolerant SDN controllers", Proc. of the 3rd European Workshop on Software Defined Networks–EWSDN, vol. 14, 2014.
Costa, P. A. R. S., F. M. V. Ramos, and M. Correia, "On the Design of Resilient Multicloud MapReduce", IEEE Cloud Computing, vol. 4, no. 4: IEEE, pp. 74–82, 2017.
Rodrigues, J., H. Miranda, J. Ventura, and L. Rodrigues, "The design of RT-Appia", Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on: IEEE Computer Society, pp. 261–261, 2001.
Hammouda, I., A. Ruokonen, M. Siikarla, A. L. Santos, K. Koskimies, and T. Systä, "Design profiles: toward unified tool support for design patterns and UML profiles", Software: Practice and Experience, vol. 39, no. 4: Wiley Online Library, pp. 331–354, 2009.
Brun, Y., R. Desmarais, K. Geihs, M. Litoiu, A. Lopes, M. Shaw, and M. Smit, "A design space for self-adaptive systems", Software Engineering for Self-adaptive Systems II: Springer Berlin Heidelberg, pp. 33–50, 2013.
Rodolfo, I., L. Laranjo, N. Correia, and C. Duarte, "Design strategy for a national integrated personal health record", Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational: ACM, pp. 411–420, 2014.
Gomes, G., C. Duarte, J. Coelho, and E. Matos, "Designing a Facebook Interface for Senior Users", The Scientific World Journal, vol. 2014: Hindawi Publishing Corporation, 2014.
Falcao, A. O., and J. G. Borges, "Designing an evolution program for solving integer forest management scheduling models: an application in Portugal", Forest science, vol. 47, no. 2: Society of American Foresters, pp. 158–168, 2001.
de Sá, M., and L. Carriço, "Designing and evaluating mobile interaction: challenges and trends", Foundations and Trends in Human-Computer Interaction, vol. 4, no. 3: Now Publishers Inc., pp. 175–243, 2011.
Guimarães, N., N. Correia, I. Oliveira, and J. Martins, "Designing Computer Support for Content Analysis: a situated use of video parsing and analysis techniques", Multimedia Tools and Applications, vol. 7, no. 3: Kluwer Academic Publishers, pp. 159–180, 1998.
Falcao, A. O., and J. G. Borges, "Designing decision support tools for Mediterranean forest ecosystems management: a case study in Portugal", Annals of Forest Science, vol. 62, no. 7: EDP Sciences, pp. 751–760, 2005.
de Sá, M., L. Carriço, J. Faria, and I. Sá, "Designing for children: a fear therapy tool", CHI'10 Extended Abstracts on Human Factors in Computing Systems: ACM, pp. 3487–3492, 2010.
Duarte, L., and L. Carriço, "Designing for geo-referenced in-situ therapeutic scenarios", Information Systems Frontiers, vol. 18, no. 1: Springer, pp. 103–123, 2016.
de Sá, M., and L. Carriço, Designing for Mobile Devices, : HCI International Conference, 2007.
de Sá, M., and L. Carriço, "Designing for mobile devices: Requirements, low-fi prototyping and evaluation", Human-Computer Interaction. Interaction Platforms and Techniques: Springer Berlin Heidelberg, pp. 260–269, 2007.

Pages