High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-AY4
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 1675
149 Team MembersFilters -> Year: 2026
681
TITLE: Exploring SDN to deploy flexible sampling-based network monitoring
AUTHORS: da Silva, CP; Lima, SR; Silva, JM ;
PUBLISHED: 2017, SOURCE: 17th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems, NEW2AN 2017, 10th Conference on Internet of Things and Smart Spaces, ruSMART 2017 and 3rd International Workshop on Nano-scale Computing and Communications, NsCC 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10531 LNCS, PAGES: 109-120
AUTHORS: da Silva, CP; Lima, SR; Silva, JM ;
PUBLISHED: 2017, SOURCE: 17th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems, NEW2AN 2017, 10th Conference on Internet of Things and Smart Spaces, ruSMART 2017 and 3rd International Workshop on Nano-scale Computing and Communications, NsCC 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10531 LNCS, PAGES: 109-120
682
TITLE: Exploring SDN to Deploy Flexible Sampling-Based Network Monitoring
AUTHORS: Catarina Pires da Silva; Solange Rito Lima; João Marco C Silva ;
PUBLISHED: 2017, SOURCE: Internet of Things, Smart Spaces, and Next Generation Networks and Systems - 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28-30, 2017, Proceedings, VOLUME: 10531, PAGES: 109-120
AUTHORS: Catarina Pires da Silva; Solange Rito Lima; João Marco C Silva ;
PUBLISHED: 2017, SOURCE: Internet of Things, Smart Spaces, and Next Generation Networks and Systems - 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28-30, 2017, Proceedings, VOLUME: 10531, PAGES: 109-120
INDEXED IN: 
DBLP
DBLP683
TITLE: Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution Full Text
AUTHORS: Paulo Sergio Almeida ; Carlos Baquero ; Martin Farach Colton; Paulo Jesus; Miguel A Mosteiro;
PUBLISHED: 2017, SOURCE: DISTRIBUTED COMPUTING, VOLUME: 30, ISSUE: 4, PAGES: 281-291
AUTHORS: Paulo Sergio Almeida ; Carlos Baquero ; Martin Farach Colton; Paulo Jesus; Miguel A Mosteiro;
PUBLISHED: 2017, SOURCE: DISTRIBUTED COMPUTING, VOLUME: 30, ISSUE: 4, PAGES: 281-291
684
TITLE: Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
AUTHORS: José Proença ; Markus Lumpe;
PUBLISHED: 2017, SOURCE: FACS, VOLUME: 10487
AUTHORS: José Proença ; Markus Lumpe;
PUBLISHED: 2017, SOURCE: FACS, VOLUME: 10487
INDEXED IN: DBLP
DBLP685
TITLE: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTHORS: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
PUBLISHED: 2017, SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS, PAGES: 44-50
AUTHORS: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
PUBLISHED: 2017, SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS, PAGES: 44-50
686
TITLE: Global-Local View: Scalable Consistency for Concurrent Data Types PDF
AUTHORS: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1705.03704
AUTHORS: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1705.03704
INDEXED IN: DBLP 
arXiv
DBLP arXiv687
TITLE: Grand Timely Topics in Software Engineering. International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
AUTHORS: Jácome Cunha ; João P Fernandes; Ralf Lämmel; João Saraiva; Vadim Zaytsev;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science
AUTHORS: Jácome Cunha ; João P Fernandes; Ralf Lämmel; João Saraiva; Vadim Zaytsev;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science
688
TITLE: Grand Timely Topics in Software Engineering - International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
AUTHORS: Jácome Cunha ; João Paulo Fernandes ; Ralf Lämmel; João Saraiva ; Vadim Zaytsev;
PUBLISHED: 2017, SOURCE: GTTSE, VOLUME: 10223
AUTHORS: Jácome Cunha ; João Paulo Fernandes ; Ralf Lämmel; João Saraiva ; Vadim Zaytsev;
PUBLISHED: 2017, SOURCE: GTTSE, VOLUME: 10223
INDEXED IN: DBLP
DBLP689
TITLE: Helping Programmers Improve the Energy Efficiency of Source Code
AUTHORS: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2017, SOURCE: IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) in PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), PAGES: 238-240
AUTHORS: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2017, SOURCE: IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) in PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), PAGES: 238-240
690
TITLE: HTAPBench: Hybrid Transactional and Analytical Processing Benchmark. Hybrid Transactional and Analytical Processing Benchmark
AUTHORS: Fábio Coelho ; João Paulo ; Ricardo Vilaça ; José Orlando Pereira ; Rui Oliveira ;
PUBLISHED: 2017, SOURCE: 8th ACM/SPEC International Conference on Performance Engineering, ICPE 2017 in Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, ICPE 2017, L'Aquila, Italy, April 22-26, 2017, PAGES: 293-304
AUTHORS: Fábio Coelho ; João Paulo ; Ricardo Vilaça ; José Orlando Pereira ; Rui Oliveira ;
PUBLISHED: 2017, SOURCE: 8th ACM/SPEC International Conference on Performance Engineering, ICPE 2017 in Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, ICPE 2017, L'Aquila, Italy, April 22-26, 2017, PAGES: 293-304
691
TITLE: Identifying Persistent and Recurrent QoE Anomalies for DASH Streaming in the Cloud
AUTHORS: Chen Wang; Hyong Kim; Ricardo Morla ;
PUBLISHED: 2017, SOURCE: 9th IEEE International Conference on Cloud Computing Technology and Science (CloudCom) in 2017 9TH IEEE INTERNATIONAL CONFERENCE ON CLOUD COMPUTING TECHNOLOGY AND SCIENCE (CLOUDCOM), VOLUME: 2017-December, PAGES: 263-271
AUTHORS: Chen Wang; Hyong Kim; Ricardo Morla ;
PUBLISHED: 2017, SOURCE: 9th IEEE International Conference on Cloud Computing Technology and Science (CloudCom) in 2017 9TH IEEE INTERNATIONAL CONFERENCE ON CLOUD COMPUTING TECHNOLOGY AND SCIENCE (CLOUDCOM), VOLUME: 2017-December, PAGES: 263-271
692
TITLE: Inside packet sampling techniques: exploring modularity to enhance network measurements. INSIDE PACKET SAMPLING TECHNIQUES Full Text
AUTHORS: João Marco C Silva ; Paulo Carvalho ; Solange Rito Lima;
PUBLISHED: 2017, SOURCE: Int. J. Commun. Syst., VOLUME: 30, ISSUE: 6
AUTHORS: João Marco C Silva ; Paulo Carvalho ; Solange Rito Lima;
PUBLISHED: 2017, SOURCE: Int. J. Commun. Syst., VOLUME: 30, ISSUE: 6
693
TITLE: Jasmin: High-Assurance and High-Speed Cryptography. High-Assurance and High-Speed Cryptography Full Text
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Arthur Blot; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira ; Hugo Pacheco ; Benedikt Schmidt; Pierre Yves Strub;
PUBLISHED: 2017, SOURCE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, VOLUME: Part F131467, PAGES: 1807-1823
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Arthur Blot; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira ; Hugo Pacheco ; Benedikt Schmidt; Pierre Yves Strub;
PUBLISHED: 2017, SOURCE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, VOLUME: Part F131467, PAGES: 1807-1823
694
TITLE: Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced Data
AUTHORS: Manuel Barbosa ; Dario Catalano; Dario Fiore;
PUBLISHED: 2017, SOURCE: 22nd European Symposium on Research in Computer Security, ESORICS 2017 in Computer Security - ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I, VOLUME: 10492, PAGES: 146-166
AUTHORS: Manuel Barbosa ; Dario Catalano; Dario Fiore;
PUBLISHED: 2017, SOURCE: 22nd European Symposium on Research in Computer Security, ESORICS 2017 in Computer Security - ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I, VOLUME: 10492, PAGES: 146-166
695
TITLE: Labeled Homomorphic Encryption: Scalable and Privacy-Preserving Processing of Outsourced Data
AUTHORS: Manuel Barbosa ; Dario Catalano; Dario Fiore;
PUBLISHED: 2017, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2017, PAGES: 326
AUTHORS: Manuel Barbosa ; Dario Catalano; Dario Fiore;
PUBLISHED: 2017, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2017, PAGES: 326
INDEXED IN: DBLP
DBLP696
TITLE: Layered Logics, Coalgebraically
AUTHORS: Luís Soares Barbosa ;
PUBLISHED: 2017, SOURCE: Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings, VOLUME: 10669, PAGES: 55-63
AUTHORS: Luís Soares Barbosa ;
PUBLISHED: 2017, SOURCE: Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings, VOLUME: 10669, PAGES: 55-63
INDEXED IN: DBLP
DBLP697
TITLE: LiteSense: An Adaptive Sensing Scheme for WSNs
AUTHORS: Joao Marco C Silva ; Kalil Araujo Bispo; Paulo Carvalho ; Solange Rito Lima;
PUBLISHED: 2017, SOURCE: IEEE Symposium on Computers and Communications (ISCC) in 2017 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), PAGES: 1209-1212
AUTHORS: Joao Marco C Silva ; Kalil Araujo Bispo; Paulo Carvalho ; Solange Rito Lima;
PUBLISHED: 2017, SOURCE: IEEE Symposium on Computers and Communications (ISCC) in 2017 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), PAGES: 1209-1212
698
TITLE: LiteSense: An adaptive sensing scheme for WSNs
AUTHORS: João Marco C Silva ; Kalil Araujo Bispo; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2017, SOURCE: 2017 IEEE Symposium on Computers and Communications, ISCC 2017, Heraklion, Greece, July 3-6, 2017, PAGES: 1209-1212
AUTHORS: João Marco C Silva ; Kalil Araujo Bispo; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2017, SOURCE: 2017 IEEE Symposium on Computers and Communications, ISCC 2017, Heraklion, Greece, July 3-6, 2017, PAGES: 1209-1212
INDEXED IN: DBLP
DBLP699
TITLE: Locating Energy Hotspots in Source Code
AUTHORS: Pereira, R ;
PUBLISHED: 2017, SOURCE: IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) in PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), PAGES: 88-90
AUTHORS: Pereira, R ;
PUBLISHED: 2017, SOURCE: IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) in PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), PAGES: 88-90
700
TITLE: Mining the Usage Patterns of ROS Primitives
AUTHORS: Santos, A ; Cunha, A ; Macedo, N ; Arrais, R ; dos Santos, FN ;
PUBLISHED: 2017, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2017 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), VOLUME: 2017-September, PAGES: 3855-3860
AUTHORS: Santos, A ; Cunha, A ; Macedo, N ; Arrais, R ; dos Santos, FN ;
PUBLISHED: 2017, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2017 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), VOLUME: 2017-September, PAGES: 3855-3860
