Publications

Export 185 results:
Filters: First Letter Of Title is D  [Clear All Filters]
2018
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.
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.
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.
Marques, P., Z. Dabbabi, MM. Mironescu, O. Thonnard, A. Bessani, F. Buontempo, and I. Gashi, Detecting Malicious Web Scraping Activity: a Study with Diverse Detectors, , 2018.
Vacas, I., I. Medeiros, and N. Neves, "Detecting Network Threats using OSINT Knowledge-based IDS", In Proceedings of the European Dependable Computing Conference (EDCC), 2018.
Ramos, A. Marcos, A. Usié, P. Barbosa, P. M. Barros, T. Capote, I. Chaves, F. Simões, I. Abreu, I. Carrasquinho, C. Faro, et al., "The draft genome sequence of cork oak", Scientific data, vol. 5: Nature Publishing Group, pp. 180069, 2018.
Carvalho, C., D. Porto, L. Rodrigues, M. Bravo, and A. Bessani, Dynamic Adaptation of Byzantine Consensus Protocols, , 2018.
Fiadeiro, J., A. Lopes, B. Delahaye, and A. Legay, "Dynamic networks of heterogeneous timed machines", Mathematical Structures in Computer Science, vol. 28, no. 6: Cambridge University Press, pp. 800–855, 2018.
2017
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.
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.
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.
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.
Jorge, A., N. Correia, and T. Chambel, "Designing Interactive Spatiotemporal Visualizations to Enhance Movie Browsing", IFIP Conference on Human-Computer Interaction: Springer, pp. 352–355, 2017.
Duarte, C., S. Desart, D. Costa, and B. Dumas, "Designing Multimodal Mobile Interaction for a Text Messaging Application for Visually Impaired Users", Frontiers in ICT, vol. 4: Frontiers, pp. 26, 2017.
Barbosa, P., C. Leão, A. Usié, A. Amaro, A. Botelho, C. Pinto, J. Inácio, K. Stevenson, and A. Marcos Ramos, "Draft genome sequence of a rare pigmented Mycobacterium avium subsp. paratuberculosis Type C strain", Genome announcements, vol. 5, no. 41: Am Soc Microbiol, pp. e01066–17, 2017.
Fiadeiro, J., A. Lopes, B. Delahaye, and A. Legay, "Dynamic networks of heterogeneous timed machines", Mathematical Structures in Computer Science: Cambridge University Press, pp. 1–56, 2017.
2016
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.
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.
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.
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.
Medeiros, I., N. Neves, and M. Correia, "Detecting and removing web application vulnerabilities with static analysis and data mining", IEEE Transactions on Reliability, vol. 65, no. 1: IEEE, pp. 54–69, 2016.
Medeiros, I. Vitória d, Detection of vulnerabilities and automatic protection for web applications, , 2016.
Duarte, C., I. Matos, J. Vicente, A. Salvado, C. M. Duarte, and L. Carriço, "Development technologies impact in web accessibility", Proceedings of the 13th Web for All Conference: ACM, pp. 6, 2016.
Antunes, L., H. Buhrman, A. Matos, A. Souto, and A. Teixeira, "Distinguishing two probability ensembles with one sample from each ensemble", Theory of Computing Systems, vol. 59, no. 3: Springer, pp. 517–531, 2016.
2014
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.
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.
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.
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.
Silva, L., F. Couto, H.. Manso, and A.. Vicente, "Development of a semantic model for Cerebrovascular Accident (CVA) Patients", Bioinformatics Open Days, University of Braga, 2014.
Pereira, T., C. Maruta, A. de Mendonça, M. Guerreiro, and S. C. Madeira, "Do Data Mining Methods Support the Three-Group Diagnostic Model of Primary Progressive Aphasia?", ACM SIGKDD Workshop on Healthcare Informatics (HI-KDD 2014), 2014.
Marques, D. H., T. Guerreiro, and L. Carriço, Duress Unlock: Using Covert Signals to Restrict Access to Mobile Devices, , 2014.
Ghilezan, S., S. Jakšić, J. Pantović, J. A. Pérez, and H. Torres Vieira, "Dynamic Role Authorization in Multiparty Conversations", arXiv preprint arXiv:1408.5977, 2014.
2013
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.
Rufino, J., D4. 2–First Report on Safety Kernel Definition, , 2013.
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.
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.
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.
Coelho, J., T. Guerreiro, and C. Duarte, "Designing TV Interaction for the Elderly–A Case Study of the Design for All Approach", A Multimodal End-2-End Approach to Accessible Computing: Springer London, pp. 49–69, 2013.
Fernandes, F., L. Duarte, and L. Carriço, "DETACH: authoring digital therapeutic artefacts", Proceedings of the 7th International Conference on Pervasive Computing Technologies for Healthcare: ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), pp. 268–269, 2013.
2012
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.
Duarte, C., A. Ribeiro, and R. Nunes, DESIGNING MULTIMODAL INTERACTIVE SYSTEMS, , 2012.
Santos, A. L., "Developing contexts for teaching Java using AGUIA/J", Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education: ACM, pp. 378–378, 2012.
Biswas, P., P. Langdon, C. Jung, P. Hamisu, C. Duarte, and L. Almeida, "Developing intelligent user interfaces for e-accessibility and e-inclusion", Proceedings of the 2012 ACM international conference on Intelligent User Interfaces: ACM, pp. 405–408, 2012.
Freitas, S., and A. Paula Afonso, "Distributed Vector based Spatial Data Conflation Services", XII Brazilian Symposium on GeoInformatics, GeoInfo 2012, 2012.
Koch, A. M., P. Antunes, and J. N. Klironomos, "Diversity effects on productivity are stronger within than between trophic groups in the arbuscular mycorrhizal symbiosis", PloS one, vol. 7, no. 5: Public Library of Science, pp. e36950, 2012.
Garcia, M., N. Ferreira Neves, and A. Neves Bessani, "Diversys: Diverse rejuvenation system", Proceedings of the INFORUM-Simpósio de Informática, 2012.
Baltazar, P., L. Caires, V. T. Vasconcelos, and H. Torres Vieira, Dynamic Roles in Multiparty Communicating Systems, : UNL-DI-1–2012, Universidade Nova de Lisboa, 2012.
2011
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.
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.
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.
Couto, F., and E. Santos, Desenvolvimento de Sistemas de Informação baseados em PHP e MySQL, e Java e Oracle, : DI-FCUL, 2011.
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.
Ferreira, R., M. Dias, J. Vermelhudo, and A. Ferreira, "Developing a controller pilot data link communication simulator", CISTI: 6th iberian conference on Information systems and technologies: IEEE, pp. 579–583, 2011.
Sapateiro, C., N. Baloian, P. Antunes, and G. Zurita, "Developing a Mobile Collaborative Tool for Business Continuity Management.", J. UCS, vol. 17, no. 2, pp. 164–182, 2011.
Tataryan, N. Baloian, G. Zurita Alarcón, P. Antunes, and C. Sapateiro, Developing a Mobile Collaborative Tool for Business Continuity Management, : GRAZ UNIV TECHNOLGOY, 2011.
Coelho, J., C. Duarte, P. Biswas, and P. Langdon, "Developing accessible TV applications", The proceedings of the 13th international ACM SIGACCESS conference on Computers and accessibility: ACM, pp. 131–138, 2011.
Antunes, P., and A. Ferreira, "Developing collaboration awareness support from a cognitive perspective", HICSS: 44th Hawaii international conference on System sciences: IEEE, 2011.
Duarte, C., and A. Paula Afonso, "Developing once, deploying everywhere: A case study using JIL", Procedia Computer Science, vol. 5: Elsevier, pp. 641–644, 2011.
Antunes, P., C. Sapateiro, G. Zurita, and N. Baloian, "Development of a mobile situation awareness tool supporting disaster recovery of business operations", Supporting Real Time Decision-Making: Springer US, pp. 337–360, 2011.
Couto, F., M. J. Silva, and , "Disjunctive shared information between ontology concepts: application to Gene Ontology.", J. Biomedical Semantics, vol. 2, pp. 5, 2011.
Antunes, J., and N. Ferreira Neves, "Diveinto: Supporting diversity in intrusion-tolerant systems", Reliable Distributed Systems (SRDS), 2011 30th IEEE Symposium on: IEEE, pp. 137–146, 2011.
Garcia, M., A. Neves Bessani, and N. Ferreira Neves, "Diverse OS Rejuvenation for Intrusion Tolerance", Supplement of the International Conference on Dependable Systems and Networks (DSN), 2011.
2010
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.
Marques, L., and A. Casimiro, "Dependable Perception in Wireless Sensor Networks", Proceedings of Simpósio de Informática (Inforum 2010), WIP Session, 2010.
Couto, F., Desenvolvimento de Aplicações Web baseadas em SOA e AJAX, : DI-FCUL, 2010.
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.
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.
Prata, A., N. Guimarães, and T. Chambel, "Designing iTV based crossmedia personalized informal learning contexts", Proceedings of the 14th International Academic MindTrek Conference: Envisioning Future Media Environments: ACM, pp. 187–194, 2010.
Balestra, V., L. Ampollini, N. Sverzellati, M. J. Silva, L. Cattelani, R. Bilancia, F. Gussago, P. Carbognani, and M. Rusca, "Diverticolo tracheale acquisito: una rara causa di emottisi", 32 Congresso Nazionale SICT, 2010.
2009
Pimentel, J., J. Proenza, L. Almeida, G. Rodriguez-Navas, M. Barranco, and J. Ferreira, Dependable automotive CAN networks, : Automotive Embedded Systems Handbook, 2009.
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.
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.
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.
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.
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.
de Sá, M., C. Duarte, L. Carriço, and T. Reis, "Designing mobile multimodal applications", Multimodality in Mobile Computing and Mobile Devices: Methods for Adaptable Usability, pp. 106–136, 2009.
Verissimo, P., A. Neves Bessani, M. Correia, N. Ferreira Neves, and P. Sousa, "Designing modular and redundant cyber architectures for process control: Lessons learned", System Sciences, 2009. HICSS'09. 42nd Hawaii International Conference on: IEEE, pp. 1–8, 2009.
Reis, T., M. de Sá, and L. Carriço, "Designing Universally Accessible Mobile Multimodal Artefacts", Enterprise Information Systems: Springer Berlin Heidelberg, pp. 334–347, 2009.
Sapateiro, C., N. Baloian, P. Antunes, and G. Zurita, "Developing collaborative peer-to-peer applications on mobile devices", Computer Supported Cooperative Work in Design, 2009. CSCWD 2009. 13th International Conference on: IEEE, pp. 396–401, 2009.
Oliveira, I., R. Lopes, and N. Guimarães, "Development of a biosignals framework for usability analysis", Proceedings of the 2009 ACM symposium on Applied Computing: ACM, pp. 156–157, 2009.
Moniz, H., A. Tedeschi, N. Ferreira Neves, and M. Correia, "A distributed systems approach to airborne self-separation", Computational Models, Software Engineering, and Advanced Technologies in Air Transportation: Next Generation Applications: Next Generation Applications: IGI Global, pp. 215, 2009.
Santos, A. L., Domain-Oriented Reuse Interfaces for Object-Oriented Frameworks, , 2009.
Domaschka, J., H. Schmidt, F. J. Hauck, R. Kapitza, and H. P. Reiser, "Dosgi: An architecture for instant replication", Supplement Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2009), 2009.
Vasconcelos, V. T., S. J. Gay, A. Ravara, N. Gesbert, and A. Z. Caldeira, "Dynamic interfaces", International Workshop on Foundations of Object-Oriented Languages (FOOL), 2009.
Gay, S. J., A. Ravara, and V. T. Vasconcelos, "Dynamic interfaces", Proc. Foundations Object-Oriented Languages: Citeseer, 2009.
Taylor, I. W., R. Linding, D. Warde-Farley, Y. Liu, C. Pesquita, D. Faria, S. Bull, T. Pawson, Q. Morris, and J. L. Wrana, "Dynamic modularity in protein interaction networks predicts breast cancer outcome", Nature biotechnology, vol. 27, no. 2: Nature Publishing Group, pp. 199–204, 2009.

Pages