Publications

Export 223 results:
Filters: First Letter Of Title is S  [Clear All Filters]
2017
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.
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 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.
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.
Cheatham, M., and C. Pesquita, "Semantic Data Integration", Handbook of Big Data Technologies: Springer, pp. 263–305, 2017.
Soliman, T. H., and M. H. Abdel Reheim, "Semantic Data Integration", Handbook of Big Data Technologies , First Online: 26 February 2017, pp. pp 263-305, 2017.
Pesquita, C., "Semantic similarity in the gene ontology", The Gene Ontology Handbook: Springer, pp. 161–173, 2017.
Lima, D.., H.. Miranda, and F.. Taiani, "Simulation of partial replication in Distributed Transactional Memory", Wireless Days 2017, Porto, Portugal, IEEE, 2017.
Lima, D., H. Miranda, and F. Taiani, "Simulation of partial replication in Distributed Transactional Memory", Wireless Days, 2017: IEEE, 2017.
Lopes, A., and R. de Lemos, Software Architecture: 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings, , vol. 10475: Springer, 2017.
Antunes, L., B. Bauwens, A. Souto, and A. Teixeira, "Sophistication vs Logical Depth", Theory of Computing Systems, vol. 60, pp. 280–298, Feb, 2017.
Cheatham, M., I. F. Cruz, J. Euzenat, and C. Pesquita, "Special issue on ontology and linked data matching.", Semantic Web, vol. 8, no. 2, pp. 183–184, 2017.
Bermejo, C., and P. Hui, "Steal Your Life Using 5 Cents: Hacking Android Smartphones with NFC Tags", arXiv preprint arXiv:1705.02081, 2017.
Jesus, G., A. Casimiro, and A. Oliveira, "A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks", Sensors, vol. 17, no. 9: Multidisciplinary Digital Publishing Institute, pp. 2010, 2017.
2016
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.
Costa, R., and F. Ramos, "An SDN-based approach to enhance BGP security", arXiv preprint arXiv:1602.06924, 2016.
Ferrolho, L., M. Alaluna, N. Neves, and F. Ramos, "Secure and dependable virtual network embedding", arXiv preprint arXiv:1602.02268, 2016.
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.
Ruano, AE., PM. Ferreira, H. Duarte, S. Silva, and MG. Ruano, "Self-Powered Wireless Sensor Network Designed for Energy Saving in HVAC Systems", Proceedings of the International Conference on Wireless Networks (ICWN): The Steering Committee of The World Congress in Computer Science, Computer Engineering and Applied Computing (WorldComp), pp. 36, 2016.
Garcia, M., N. Neves, and A. Bessani, "Sieveq: A layered bft protection system for critical services", IEEE Transactions on Dependable and Secure Computing: IEEE, 2016.
Ilahi, L., R. Martinho, S. Ayachi Ghannouchi, D. Domingos, and R. Rijo, "Similarity Based Approach for Comparing Home Healthcare Processes Models in Portugal", Procedia Computer Science, vol. 100: Elsevier, pp. 1250–1259, 2016.
Marques, D. H., I. Muslukhov, T. Guerreiro, L. Carriço, and K. Beznosov, "Snooping on Mobile Phones: Prevalence and Trends", Twelfth Symposium on Usable Privacy and Security (SOUPS 2016), Denver, CO, USENIX Association, 2016.
Janota, M., W. Klieber, J. Marques-Silva, and E. Clarke, "Solving QBF with counterexample guided refinement", Artificial Intelligence, vol. 234: Elsevier, pp. 1–25, 2016.
Viana, P., T. Chambel, M. V. Bove, S. Strover, and G. Thomas, Special Issue on "Immersive Media Experiences"", MTAPS: Multimedia Tools and Applications, , 2016.
2015
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.
Donaldson, A. F., and V. T. Vasconcelos, Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014), , 2015.
Machado, C. M., D. Rebholz-Schuhmann, A. T. Freitas, and F. Couto, "The semantic web in translational medicine: current applications and future directions", Briefings in bioinformatics, vol. 16, no. 1: Oxford University Press, pp. 89–103, 2015.
Barata, C., M. Abreu, P. Torres, J. Teixeira, T. Guerreiro, and F. Couto, "Social Impact-Identifying Quotes of Literary Works in Social Networks", Progress in Artificial Intelligence: Springer, pp. 789–795, 2015.
Coelho, J., and C. Duarte, "Socially Networked or Isolated? Differentiating Older Adults and the Role of Tablets and Television", Human-Computer Interaction -- INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, Springer International Publishing, pp. 129–146, 2015.
Ramos, F. M. V., D. Kreutz, and P. Verissimo, "Software-Defined Networking: A Comprehensive Survey", Cutter IT Journal, vol. 28, pp. 6-13, May, 2015.
Kreutz, D., F. M. V. Ramos, P. Verissimo, E. C. Rothenberg, S.. Azodolmolky, and S.. Uhlig, "Software-Defined Networking: A Comprehensive Survey", Proceedings of the IEEE, vol. 103, pp. 14-76, Jan, 2015.
2014
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.
Verissimo, P., "Security Made, Not Perfect, But Automatic", Security Protocols XVIII: Springer Berlin Heidelberg, pp. 217–223, 2014.
Verissimo, P., "Security Made, Not Perfect, But Automatic (Transcript of Discussion)", Security Protocols XVIII: Springer Berlin Heidelberg, pp. 224–232, 2014.
Ruano, A. E., G. Madureira, O. Barros, HR. Khosravani, G. M Ruano, and P. Ferreira, "Seismic detection using support vector machines", Neurocomputing, vol. 135: Elsevier, pp. 273–283, 2014.
Hijón-Neira, R., Á. Velázquez-Iturbide, C. Pizarro-Romero, and L. Carriço, "Serious games for motivating into programming", Frontiers in Education Conference (FIE), 2014 IEEE: IEEE, pp. 1–8, 2014.
Oliveira, T., R. Mendes, and A. Neves Bessani, "Sharing Files Using Cloud Storage Services", Euro-Par 2014: Parallel Processing Workshops: Springer International Publishing, pp. 13–25, 2014.
Botelho, F., A. Neves Bessani, F. M. V. Ramos, and P. Ferreira, "SMaRtLight: A Practical Fault-Tolerant SDN Controller", arXiv preprint arXiv:1407.6062, 2014.
Bessani, A. Neves, J. Sousa, and E. E. P. Alchieri, "State machine replication for the masses with BFT-SMaRt", Dependable Systems and Networks (DSN), 2014 44th Annual IEEE/IFIP International Conference on: IEEE, pp. 355–362, 2014.
Lopes, J., and N. Ferreira Neves, "Stopping a Rapid Tornado with a Puff", Security and Privacy (SP), 2014 IEEE Symposium on: IEEE, pp. 509–523, 2014.
Borges, J. G., J. Garcia-Gonzalo, S. Marques, V. A. Valdebenito, M. E. McDill, and A. O. Falcao, "Strategic Management Scheduling", The Management of Industrial Forest Plantations: Springer Netherlands, pp. 171–238, 2014.
Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, "The stream-based service-centred calculus: a foundation for service-oriented programming", Formal Aspects of Computing, vol. 26, no. 5: Springer London, pp. 865–918, 2014.
Teixeira, A. L., and A. O. Falcao, "Structural similarity based kriging for quantitative structure activity and property relationship modeling", Journal of chemical information and modeling, vol. 54, no. 7: American Chemical Society, pp. 1833–1849, 2014.
Duarte, C., L. Carriço, T. Guerreiro, C. Almeida, S. Nobre, and A. Margarida Campos, "Supporting autism therapists: co-designing interventions", CHI'14 Extended Abstracts on Human Factors in Computing Systems: ACM, pp. 1213–1218, 2014.
Rodrigues, A., and T. Guerreiro, "SWAT: Mobile System-Wide Assistive Technologies", 28th British Computer Society Human Computer Interaction Conference, 2014.
Carmo, M. Beatriz, A. Paula Afonso, A. Ferreira, A. Claudio, and E. Montez, "Symbol adaptation assessment in outdoor augmented reality", GRAPP: 9th international joint conference on Computer vision, imaging and computer graphics theory and applications, pp. 387–396, 2014.
Asif, M., System medicine approach to improve diagnosis and prognosis in Autism Spectrum Disorders (ASD), based on extensive genomic, biochemical and clinical data, , 2014.
2013
da Costa, P. Nuno Perei, Safety kernel for cooperative sensor-based systems, , 2013.
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.
Rosa, L., L. Rodrigues, A. Lopes, M. Hiltunen, and R. Schlichting, "Self-management of adaptable component-based applications", Software Engineering, IEEE Transactions on, vol. 39, no. 3: IEEE, pp. 403–421, 2013.
Rosa, L., L. Rodrigues, and A. Lopes, "Self-management of Distributed Systems Using High-Level Goal Policies", Software Engineering for Self-Adaptive Systems II: Springer Berlin Heidelberg, pp. 162–190, 2013.
Oliveira, E., T. Chambel, and N. Magalhães Ribeiro, "Sharing Video Emotional Information in the Web", International Journal of Web Portals (IJWP), vol. 5, no. 3: IGI Global, pp. 19–39, 2013.
Brock, A. M., S. Kammoun, H. Nicolau, T. Guerreiro, S. K. Kane, and C. Jouffrais, "SIG: NVI (non-visual interaction)", CHI'13 Extended Abstracts on Human Factors in Computing Systems: ACM, pp. 2513–2516, 2013.
Khosravani, HR., A. E. Ruano, and P. M. Ferreira, "A simple algorithm for convex hull determination in high dimensions", Intelligent Signal Processing (WISP), 2013 IEEE 8th International Symposium on: IEEE, pp. 109–114, 09/2013.
Kanjo, E., E. N Mawass, , J.. P., and F. M. V. Ramos, Social, Disconnected or In between: Mobile Data reveals urban mood, , 2013.
de Lemos, R., H. Giese, H. A. Müller, M. Shaw, J. Andersson, M. Litoiu, B. Schmerl, G. Tamura, N. M. Villegas, T. Vogel, et al., "Software engineering for self-adaptive systems: A second research roadmap", Software Engineering for Self-Adaptive Systems II: Springer Berlin Heidelberg, pp. 1–32, 2013.
Gomes, J., T. Chambel, and T. Langlois, "SoundsLike: movies soundtrack browsing and labeling based on relevance feedback and gamification", Proceedings of the 11th european conference on Interactive TV and video: ACM, pp. 59–62, 2013.
Lekakos, G., T. Chambel, and H. Knoche, "Special issue on social recommendation and delivery systems for video and TV content", Multimedia Systems, vol. 19, no. 6: Springer Berlin Heidelberg, pp. 475–476, 2013.
Marques, E. R. B., F. Martins, N. Ng, C. Santos, V. T. Vasconcelos, and N. Yoshida, Specification and Verification of Protocols for MPI Programs, , 2013.
Sousa, J., E. Alchieri, and A. Neves Bessani, State Machine Replication for the Masses with BFT-SMaRt, , 2013.
Nicolau, H., J. Guerreiro, and T. Guerreiro, "Stressing the Boundaries of Mobile Accessibility", arXiv preprint arXiv:1402.1001, 2013.
Gonçalves, T., A. Paula Afonso, B. Martins, and D. Gonçalves, "ST-TrajVis: interacting with trajectory data", Proceedings of the 27th International BCS Human Computer Interaction Conference: British Computer Society, pp. 48, 2013.
Duarte, C., A. Ribeiro, and R. Nunes, "Studying Natural Interaction in Multimodal, Multi-Surface, Multiuser Scenarios", Emerging Research and Trends in Interactivity and the Human-Computer Interface: IGI Global, pp. 160, 2013.
Ruano, A. E., G. Madureira, O. Barros, HR. Khosravani, M. G. Ruano, and P. M. Ferreira, "A Support Vector Machine Seismic Detector for Early-Warning Applications", ICONS'2013 - 3rd IFAC International Conference on Intelligent Control, pp. 400–405, 2013.
2012
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.
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.
Field, J., and V. T. Vasconcelos, "Selected Papers from the Eleventh International Conference on Coordination Models and Languages", Science of Computer Programming, vol. 77, no. 6: Elsevier, pp. 661–662, 2012.
Martins, F., L. Lopes, and H. Paulino, Sensor Systems and Software: Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers, : Springer Publishing Company, Incorporated, 2012.
Noronha, G., C. Á. lvares, and T. Chambel, "Sharing and navigating 360 videos and maps in sight surfers", Proceeding of the 16th International Academic MindTrek Conference: ACM, pp. 255–262, 2012.
Noronha, G., C. Á. lvares, and T. Chambel, "Sight surfers: 360º videos and maps navigation", Proceedings of the ACM multimedia 2012 workshop on Geotagging and its applications in multimedia: ACM, pp. 19–22, 2012.
Caires, L., and H. Torres Vieira, "SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications", Tools and Algorithms for the Construction and Analysis of Systems: Springer Berlin Heidelberg, pp. 485–491, 2012.
Ochoa, S. F., J. A. Pino, N. Baloian, P. Antunes, and V. Herskovic, "Some observations from the analysis of an online discussion board", Systems, Man, and Cybernetics (SMC), 2012 IEEE International Conference on: IEEE, pp. 1280–1285, 2012.
Kapitza, R., and A. Neves Bessani, "SPECIAL TOPIC-Best Paper and Research Projects from EWDCC 2012 First European Workshop on Dependable Cloud Computing-Summary of the 1 st European Workshop on Dependable Cloud Computing", SIGOPS Operating Systems Review, vol. 46, no. 2, pp. 36, 2012.
de Andrade, F. Rebello, J. P. Faria, A. Lopes, and A. C. R. Paiva, "Specification-driven unit test generation for java generic classes", Integrated Formal Methods: Springer Berlin Heidelberg, pp. 296–311, 2012.
Antunes, P., V. Herskovic, S. F. Ochoa, and J. A. Pino, "Structuring dimensions for collaborative systems evaluation", ACM Computing Surveys (CSUR), vol. 44, no. 2: ACM, pp. 8, 2012.
2011
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.
Costa, D., and C. Duarte, "Self-adapting TV based applications", Universal Access in Human-Computer Interaction. Design for All and eInclusion: Springer, pp. 357–364, 2011.
Fiadeiro, J., A. Lopes, L. Bocchi, and J. Abreu, "The Sensoria reference modelling language", Rigorous software engineering for service-oriented systems: Springer Berlin Heidelberg, pp. 61–114, 2011.
Charro, N., B. L. Hood, D. Faria, P. Pacheco, P. Azevedo, C. Lopes, A. Bugalho de Almeida, F. Couto, T. P. Conrads, and D. Penque, "Serum proteomics signature of Cystic Fibrosis patients: A complementary 2-DE and LC–MS/MS approach", Journal of proteomics, vol. 74, no. 1: Elsevier, pp. 110–126, 2011.
Mostrous, D., and V. T. Vasconcelos, "Session typing for a featherweight Erlang", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 95–109, 2011.
Vasconcelos, V. T., L. Aceto, and , "Sessions, from types to programming languages", Bulletin of the EATCS, no. 103, pp. 53–73, 2011.
Marques, G., T. Langlois, F. Gouyon, M. Lopes, and M. Sordo, "Short-term feature space and music genre classification", Journal of New Music Research, vol. 40, no. 2: Routledge, pp. 127–137, 2011.
Distler, T., I. Popov, W. Schröder-Preikschat, H. P. Reiser, and R. Kapitza, "SPARE: Replicas on Hold.", NDSS, 2011.
Galhardas, H., A. Lopes, and E. Santos, "Support for user involvement in data cleaning", Data Warehousing and Knowledge Discovery: Springer Berlin Heidelberg, pp. 136–151, 2011.
Sapateiro, C., P. Antunes, and J. A. Pino, "Supporting experimental collaborative systems evaluation", Computer Supported Cooperative Work in Design (CSCWD), 2011 15th International Conference on: IEEE, pp. 215–221, 2011.
Carriço, L., L. Duarte, R. Pereira, M. de Sá, J. Faria, I. Sá, G. Zurita, and N. Baloyan, "Supporting Group Exposure Therapy", Proceedings of SBSC, 2011.
2010
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.
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.
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.
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.
Machado, C. M., F. Couto, A. R. Fernandes, S. Santos, N. Cardim, and A. T. Freitas, "Semantic characterization of hypertrophic cardiomyopathy disease", Bioinformatics and Biomedicine Workshops (BIBMW), 2010 IEEE International Conference on: IEEE, pp. 432–439, 2010.
Pesquita, C., D. Faria, A. O. Falcao, P. Lord, F. Couto, and , "Semantic Similarities in Biomedical Ontologies", IMIA Yearbook, vol. 5, pp. 84–84, 2010.
Ferreira, J., and F. Couto, "Semantic similarity for automatic classification of chemical compounds", PLoS computational biology, vol. 6, no. 9: Public Library of Science, pp. e1000937, 2010.
Lopes, L., and F. Martins, "A semantically robust framework for programming wireless sensor networks", DCC/FCUP, TR, vol. 1, 2010.

Pages