Publications

Export 119 results:
Filters: First Letter Of Title is F  [Clear All Filters]
2018
Rodrigues, A., "Facilitating smartphone use for blind people through a human powered approach", ACM SIGACCESS Accessibility and Computing, no. 120: ACM, pp. 28–31, 2018.
Vilaça, X., L. Rodrigues, J. Silva, H. Miranda, G. Correia, and T. Maurício, "FastRank: Practical lightweight tolerance to rational behavior in edge assisted streaming", Pervasive and Mobile Computing, vol. 46: Elsevier, pp. 18–33, 2018.
Sacramento, L., I. Medeiros, J. Bota, and M. Correia, "FlowHacker: Detecting Unknown Network Attacks in Big Traffic Data using Network Flows", 2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE): IEEE, pp. 567–572, 2018.
2017
Vilaça, X., L. Rodrigues, J. Silva, and H. Miranda, "{FastRank}: Practical Lightweight Tolerance to Rational Behaviour in Edge Assisted Streaming", Proceedings of the 18th International Conference on Distributed Computing and Networking, Hyderabad, India, ACM, 2017.
García-Valls, M., A. Casimiro, and H. P. Reiser, A few open problems and solutions for software technologies for dependable distributed systems, : Elsevier, 2017.
Dias, R., D. Gonçalves, and M. J. Fonseca, "From manual to assisted playlist creation: a survey", Multimedia Tools and Applications, vol. 76, no. 12: Springer, pp. 14375–14403, 2017.
2016
Ignatiev, A., A. Previti, and J. Marques-Silva, "On Finding Minimum Satisfying Assignments", International Conference on Principles and Practice of Constraint Programming: Springer, pp. 287–297, 2016.
Gonçalves, D., M. Costa, and F. M. Couto, "A Flexible Recommendation System for Cable TV", arXiv preprint arXiv:1609.02451, 2016.
Hüttel, H., I. Lanese, V. T. Vasconcelos, L. Caires, M. Carbone, P-M. Deniélou, D. Mostrous, L. Padovani, A. Ravara, E. Tuosto, et al., "Foundations of session types and behavioural contracts", ACM Computing Surveys (CSUR), vol. 49, no. 1: ACM, pp. 3, 2016.
Cogo, V. Vielmo, and A. Neves Bessani, "From Data Islands to Sharing Data in the Cloud: the Evolution of Data Integration in Biological Data Repositories", Revista ComInG-Communications and Innovations Gazette, vol. 1, no. 1, pp. 01–11, 2016.
Bastos, H. P., L. Sousa, L. A. Clarke, and F. M. Couto, "Functional coherence metrics in protein families", Journal of biomedical semantics, vol. 7, no. 1: BioMed Central, pp. 41, 2016.
2015
Onica, R., N. Ferreira Neves, and A. Casimiro, "Fault-Tolerant Precision Time Protocol for Smart Grids", Proceedings of the 7th Simposio de Informatica (INFORUM), Covilha, Portugal, 2015.
Lima, R., C. Baquero, and H. Miranda, "{FBL} - Filtro de Bloom Linear", INFORUM 2015 - Atas do 7º Simpósio Nacional de Informática, Covilhã, Portugal, Universidade da Beira Interior, 2015.
Marques, D. H., A. Rodrigues, C. Duarte, M. Ana Baptista, and L. Carriço, "Finding, helping and understanding people in natural disasters", 10th Session of the Intergovernmental Coordination Group for the Indian Ocean Tsunami Warning and Mitigation System (ICG/IOTWS-X), 2015.
Costa, D., and C. Duarte, "From one to many users and contexts: a classifier for hand and arm gestures", Proceedings of the 20th International Conference on Intelligent User Interfaces: ACM, pp. 115–120, 2015.
2013
Costa, P., M. Pasin, A. Neves Bessani, and M. Correia, "Fac. de Cienc., Univ. de Lisboa, Lisbon, Portugal", Dependable and Secure Computing, IEEE Transactions on, vol. 10, no. 5: IEEE, pp. 301–313, 2013.
Mariano, P., F. M. V. Ramos, and H. Torres Vieira, FCUL Rally Pro 2013, , 2013.
Botelho, F., F. M. V. Ramos, D. Kreutz, and A. Neves Bessani, "On the feasibility of a consistent and fault-tolerant data store for SDNs", Software Defined Networks (EWSDN), 2013 Second European Workshop on: IEEE, pp. 38–43, 2013.
Rodrigues, I., L. Duarte, and T. Guerreiro, Ferramentas Contextuais para Pessoas Cegas, , 2013.
Marques, L., and A. Casimiro, "Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models", Reliable Distributed Systems (SRDS), 2013 IEEE 32nd International Symposium on: IEEE, pp. 31–40, 2013.
Marques, E. R. B., "Fine-grained patches for Java software upgrades", HotSWUp'13: USENIX, 2013.
Cogo, V. Vielmo, A. Nogueira, J. Sousa, M. Pasin, H. P. Reiser, and A. Neves Bessani, "FITCH: Supporting Adaptive Replicated Services in the Cloud", Distributed Applications and Interoperable Systems: Springer Berlin Heidelberg, pp. 15–28, 2013.
Domingos, D., R. Martinho, and C. Cândido, "Flexibility in cross-organizational ws-bpel business processes", Procedia Technology, vol. 9: Elsevier, pp. 584–595, 2013.
Fernandes, F., L. Duarte, and L. Carriço, "Flow Specification Patterns of End-User Programmers: lessons learnt from a health mobile application authoring environment design", Human-Computer Interaction–INTERACT 2013: Springer Berlin Heidelberg, pp. 748–755, 2013.
Ferreira, P. M., I. D. Cuambe, A. E. Ruano, and R. Pestana, "Forecasting the Portuguese Electricity Consumption using Least-Squares Support Vector Machines", ICONS'2013, 3rd IFAC Int. Conference on Intelligent Control and Automation Science: IFAC, pp. 406–411, 2013.
2012
de Sá, M., and L. Carriço, "Fear therapy for children: a mobile approach", Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems: ACM, pp. 237–246, 2012.
Correia, M., P. Costa, M. Pasin, A. Bessani, F. Ramos, and P. Verissimo, "On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds", IEEE Symposium on Reliable Distributed Systems, pp. 448-453, 2012.
Correia, M., P. Costa, M. Pasin, A. Neves Bessani, F. M. V. Ramos, and P. Verissimo, "On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds.", SRDS, pp. 448–453, 2012.
Correia, M., P. Costa, M. Pasin, A. Neves Bessani, F. M. V. Ramos, and P. Verissimo, On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds, , 2012.
Lima, D., and H. Miranda, "Flow-aware broadcasting algorithm", Trust, Security and Privacy in Computing and Communications (TrustCom), 2012 IEEE 11th International Conference on: IEEE, pp. 1601–1608, 2012.
Fiadeiro, J., A. Lopes, and J. Abreu, "A formal model for service-oriented interactions", Science of Computer Programming, vol. 77, no. 5: Elsevier, pp. 577–608, 2012.
Sousa, J., and A. Neves Bessani, "From Byzantine consensus to BFT state machine replication: A latency-optimal transformation", Dependable Computing Conference (EDCC), 2012 Ninth European: IEEE, pp. 37–48, 2012.
Reis, D., and H. Miranda, "FTRMI: fault-tolerant transparent RMI", Proceedings of the 27th Annual ACM Symposium on Applied Computing: ACM, pp. 511–518, 2012.
Vasconcelos, V. T., "Fundamentals of session types", Information and Computation, vol. 217: Academic Press, pp. 52–70, 2012.
2011
Rocha, F., S. Abreu, and M. Correia, "The final frontier: Confidentiality and privacy in the cloud", Computer, vol. 44, no. 9: IEEE Computer Society, pp. 44–50, 2011.
Lopes, A., "Formal modelling of service-oriented systems", Model and Data Engineering: Springer Berlin Heidelberg, pp. 3–3, 2011.
Reis, D., and H. Miranda, "A Framework for Transparent Active Replication in Remote Method Invocation", Network Computing and Applications (NCA), 2011 10th IEEE International Symposium on: IEEE, pp. 281–284, 2011.
Bessani, A. Neves, "From Byzantine fault tolerance to intrusion tolerance (a position paper)", Dependable Systems and Networks Workshops (DSN-W), 2011 IEEE/IFIP 41st International Conference on: IEEE, pp. 15–18, 2011.
Casimiro, A., and M. Dixit, "From static to dynamic protocols: adapting timeouts for improved performance", Proceedings of the 1st Workshop on Autonomic Distributed Systems, pp. 17–20, 2011.
2010
Mocito, J., L. Rodrigues, and H. Miranda, "@ Flood: auto-tunable flooding for wireless ad hoc networks", Euro-Par 2010-Parallel Processing: Springer Berlin Heidelberg, pp. 478–489, 2010.
2009
Craveiro, J., J. Rufino, T. Schoofs, and J. Windsor, "Flexible operating system integration in partitioned aerospace systems", Actas do INForum-Simpósio de Informática, pp. 49–60, 2009.
Martinho, R., J. Varajao, and D. Domingos, "Flexspmf: a framework for modelling and learning flexibility in software processes", Visioning and Engineering the Knowledge Society. A Web Science Perspective: Springer Berlin Heidelberg, pp. 78–87, 2009.
Fiadeiro, J. Luiz, A. Lopes, L. Bocchi, and J. Abreu, "A formal approach to service-oriented modelling", 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services, 2009.
Lee, D., A. Lopes, and A. Poetzsch-Heffter, Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings, , vol. 5522: Springer Science & Business Media, 2009.
Rosa, L., L. Rodrigues, A. Lopes, M. Hiltunen, and R. Schlichting, "From local impact functions to global adaptation of service compositions", Stabilization, Safety, and Security of Distributed Systems: Springer Berlin Heidelberg, pp. 593–608, 2009.
Reiser, H. P., T. Distler, and R. Kapitza, "Functional decomposition and interactions in hybrid intrusion-tolerant systems", Proceedings of the 3rd International DiscCoTec Workshop on Middleware-Application Interaction: ACM, pp. 7–12, 2009.
Vasconcelos, V. T., "Fundamentals of session types", Formal Methods for Web Services: Springer Berlin Heidelberg, pp. 158–186, 2009.
Vasconcelos, V. T., Fundamentals of Session Types, Formal Methods for Web Services, : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, 2009.
2008
Fonseca, P., and H. Miranda, FASE: Reaching Scalability in Unstructured P2P Networks Using a Divide and Conquer Strategy, , 2008.
Reiser, H. P., and R. Kapitza, "Fault and intrusion tolerance on the basis of virtual machines", 1. GI/ITG KuVS Fachgespräch "Virtualisierung", pp. 77, 2008.
Veronese, G. Santos, M. Correia, C. L Lung, and P. Verissimo, "Finite Memory: a Vulnerability of Intrusion-Tolerant Systems", Network Computing and Applications, 2008. NCA'08. Seventh IEEE International Symposium on: IEEE, pp. 37–44, 2008.
Bessani, A. Neves, H. P. Reiser, P. Sousa, I. Gashi, V. Stankovic, T. Distler, R. Kapitza, A. Daidone, and R. Obelheiro, "Forever: Fault/intrusion removal through evolution & recovery", Proceedings of the ACM/IFIP/USENIX Middleware'08 Conference Companion: ACM, pp. 99–101, 2008.
Sousa, P., A. Neves Bessani, and R. R. Obelheiro, "The FOREVER service for fault/intrusion removal", Proceedings of the 2nd workshop on Recent advances on intrusiton-tolerant systems: ACM, pp. 5, 2008.
Rufino, J., R. Pinto, and C. Almeida, FPGA-based Engineering of Bus Media Redundancy in CAN, : 12th International CAN Conference-(iCC 2008), 2008.
Casimiro, A., P. Lollini, M. Dixit, A. Bondavalli, and P. Verissimo, "A framework for dependable QoS adaptation in probabilistic environments", Proceedings of the 2008 ACM symposium on Applied computing: ACM, pp. 2192–2196, 2008.
de Sá, M., L. Carriço, L. Duarte, and T. Reis, "A framework for mobile evaluation", CHI'08 extended abstracts on Human factors in computing systems, pp. 2673–2678, 2008.
Direito, I., M. Oliveira, P. Real, P. Antunes, A. Santos, and A. Duarte, A Framework for the Design and Implementation of Learning Objects: a Competence-based Approach, : SPDECE08, 2008.
Bocchi, L., Y. Hong, A. Lopes, and J. Luiz Fiadeiro, "From BPEL to SRML: a formal transformational approach", Web services and formal methods: Springer Berlin Heidelberg, pp. 92–107, 2008.
Mendonca, M., and N. Ferreira Neves, "Fuzzing wi-fi drivers to locate security vulnerabilities", Dependable Computing Conference, 2008. EDCC 2008. Seventh European: IEEE, pp. 110–119, 2008.
2007
Couto, F., T. Grego, R. Torres, P. Sánchez, L. Pascual, and C. Blaschke, "Filtering bioentity recognition errors in bioliterature using a case-based approach", BioLINK SIG, ISMB/ECCB, 2007.
Antunes, J., N. Ferreira Neves, and P. Verissimo, Finding Local Resource Exhaustion Vulnerabilities, : International Symposium on Software Reliability Engineering, 2007.
Pilowsky, F. Bruno Bayt, P. Antunes, G. Zurita Alarcón, and N. Baloian Tataryan, A Flexible, Lightweight Middleware Supporting the Development of Distributed Applications across Platforms, , 2007.
Martinho, R., D. Domingos, and J. Varajao, A flexible perspective for software processes-Supporting Flexibility in the Software Process Engineering Metamodel, : 9th International Conference on Enterprise Information Systems, 2007.
Martinho, R., D. Domingos, and J. Varajao, "FlexUML: A UML Profile for Flexible Process Modeling.", SEKE, pp. 215–220, 2007.
Lopes, L., F. Martins, M. S. Silva, and J. Barros, "A formal model for programming wireless sensor networks", arXiv preprint cs/0702042, 2007.
Martins, F., A Formal Model for Programming Wireless Sensor Networks, , 2007.
Rufino, J., R. Pinto, and C. Almeida, "A FPGA-based solution for enforcing dependability and timeliness in CAN", Proceedings of the 2007 IP Based Electronic System (IP'07), Grenoble, France, 2007.
Casimiro, A., P. Lolinni, M. Dixit, A. Bondavalli, and P. Verissimo, A framework for dependable adaptation in probabilistic environments, : Department of Informatics, University of Lisbon, 2007.
Alarcón, G. Zurita, N. Baloian, F. Baytelman, A. Farias, P. Antunes, and , A Framework like a tool for specify motivating Collaborative Learning Participatory Simulations, , 2007.
Zurita, G., N. Baloian, F. Baytelman, A. Farias, and P. Antunes, "A Framework like a tool for specify motivating Collaborative Learning Participatory Simulations", Computer Supported Cooperative Work in Design, 2007. CSCWD 2007. 11th International Conference on: IEEE, pp. 1016–1021, 2007.
Pilowsky, F. Bruno Bayt, P. Antunes, N. Baloian Tataryan, A. Farias, and G. Zurita Alarcón, A Framework like a tool for specify motivating Collaborative Learning Participatory Simulations, , 2007.
Santos, A. L., A. Lopes, and K. Koskimies, "Framework specialization aspects", Proceedings of the 6th international conference on Aspect-oriented software development: ACM, pp. 14–24, 2007.
Rosa, L., L. Rodrigues, and A. Lopes, "A framework to support multiple reconfiguration strategies", Proceedings of the 1st international conference on Autonomic computing and communication systems: ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), pp. 15, 2007.
Dwyer, M. B., and A. Lopes, Fundamental Approaches to Software Engineering: 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007: Proceedings, : Springer, 2007.
2006
Favarim, F., C. L Lung, J. da Silva Fraga, and M. Correia, "Fault-tolerant multiuser computational grids based on tuple spaces", International Workshop on Dependability in Service-oriented Grids (WODSOG), 2006.
Falcao, A. O., T. Langlois, and A. Wichert, "Flexible kernels for RBF networks", Neurocomputing, vol. 69, no. 16: Elsevier, pp. 2356–2359, 2006.
Miranda, H., and L. Rodrigues, "A framework to provide anonymity in reputation systems", Mobile and Ubiquitous Systems: Networking & Services, 2006 Third Annual International Conference on: IEEE, pp. 1–4, 2006.
Correia, M., N. Ferreira Neves, and P. Verissimo, "From consensus to atomic broadcast: Time-free Byzantine-resistant protocols without signatures", The Computer Journal, vol. 49, no. 1: Br Computer Soc, pp. 82–96, 2006.
Rodrigues, L., J. Mocito, and N. Carvalho, "From spontaneous total order to uniform total order: different degrees of optimistic delivery", Proceedings of the 2006 ACM symposium on Applied computing: ACM, pp. 723–727, 2006.
2005
Rebholz-Schuhmann, D., H. Kirsch, and F. Couto, "Facts from text–Is text mining ready to deliver?", PLoS Biology, vol. 3, no. 2: Public Library of Science, pp. e65, 2005.
Araujo, F., and L. Rodrigues, "Fast localized delaunay triangulation", Principles of Distributed Systems: Springer Berlin Heidelberg, pp. 81–93, 2005.
Carmo, M. Beatriz, S. Freitas, A. Paula Afonso, and A. Paula Cláudio, "Filtering mechanisms for the visualization of geo-referenced information", Proceedings of the 2005 workshop on Geographic information retrieval: ACM, pp. 1–4, 2005.
Couto, F., M. J. Silva, and P. Coutinho, "Finding genomic ontology terms in text using evidence content", BMC bioinformatics, vol. 6, no. Suppl 1: BioMed Central Ltd, pp. S21, 2005.
Rodrigues, M., L. Carriço, and C. Duarte, Finding New Ways to Read Digital Talking Books, , 2005.
Carriço, L., and C. Duarte, Finding New Ways to Read Digital Talking Books, : Department of Informatics, University of Lisbon, 2005.
2004
Couto, F., M. J. Silva, and P. Coutinho, "Figo: Finding go terms in unstructured text", Proc. of BioCreative Workshop, 2004.
Couto, F., M. J. Silva, and P. Coutinho, "FIGO: findings GO terms in unStructured text", Proc. of BioCreative Workshop, 2004.
Duarte, C., L. Carriço, and H. Simoes, "A Flexible Interface Architecture for Digital Talking Books", Proceedings of the 6th International Conference on Enterprise Information Systems, ICEIS, vol. 4, 2004.
Duarte, C., L. Carriço, and H. Simoes, "A Flexible Interface Architecture for Digital Talking Books.", ICEIS (5), pp. 146–151, 2004.
Rodrigues, J. Carlos, and L. Rodrigues, "From running code to event-graphs: a pragmatic approach to derive WCRT of protocol compositions", Factory Communication Systems, 2004. Proceedings. 2004 IEEE International Workshop on: IEEE, pp. 265–274, 2004.
2003
Miranda, H., and L. Rodrigues, "Friends and foes: Preventing selfishness in open mobile ad hoc networks", Distributed Computing Systems Workshops, 2003. Proceedings. 23rd International Conference on: IEEE, pp. 440–445, 2003.
Antunes, P., and C. J. Costa, "From genre analysis to the design of meetingware", Proceedings of the 2003 international ACM SIGGROUP conference on Supporting group work: ACM, pp. 302–310, 2003.
2002
Neves, N. Ferreira, and P. Verissimo, First Specification of APIs and Protocols for the MAFTIA Middleware, : University of Newcastle upon Tyne, Computing Science, 2002.
Verissimo, P., "Fundamental questions in the et vs. tt debate? please look elsewhere", Booklet of the NextTTA Workshop on the Integration of Event-Triggered and Time-Triggered Services, 2002.

Pages