High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável

Inesc Technology and Science (INESC TEC) :: CS: Computer Science

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

Publications Count: 1241

112 Team Members
Filters -> Year: 2020
161
TITLE: Global-Local View: Scalable Consistency for Concurrent Data Types PDF
AUTHORS: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
SOURCE: CoRR, VOLUME: abs/1705.03704, PUBLISHED: 2017
INDEXED IN: DBLP arXiv
162
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;
SOURCE: GTTSE, VOLUME: 10223, PUBLISHED: 2017
INDEXED IN: DBLP
163
TITLE: Helping Programmers Improve the Energy Efficiency of Source Code
AUTHORS: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha; Joao Paulo Fernandes ; Joao Saraiva ;
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, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef: 4
164
TITLE: HTAPBench: Hybrid Transactional and Analytical Processing Benchmark
AUTHORS: Fábio Coelho ; João Paulo ; Ricardo Vilaça ; José Orlando Pereira ; Rui Oliveira ;
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, PUBLISHED: 2017
INDEXED IN: Scopus DBLP CrossRef
165
TITLE: Identifying Persistent and Recurrent QoE Anomalies for DASH Streaming in the Cloud
AUTHORS: Chen Wang; Hyong Kim; Ricardo Morla ;
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, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef
166
TITLE: Inside packet sampling techniques: exploring modularity to enhance network measurements  Full Text
AUTHORS: Silva, JMC ; Carvalho, P; Lima, SR;
SOURCE: International Journal of Communication Systems, VOLUME: 30, ISSUE: 6, PUBLISHED: 2017
INDEXED IN: Scopus CrossRef
167
TITLE: Institutions for Behavioural Dynamic Logic with Binders
AUTHORS: Rolf Hennicker; Alexandre Madeira ;
SOURCE: 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017 in Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, VOLUME: 10580, PAGES: 13-31, PUBLISHED: 2017
INDEXED IN: Scopus DBLP CrossRef: 1
168
TITLE: Jasmin: 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;
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, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef: 13
169
TITLE: Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced Data
AUTHORS: Manuel Barbosa ; Dario Catalano; Dario Fiore;
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, PUBLISHED: 2017
INDEXED IN: Scopus DBLP CrossRef: 8
170
TITLE: Labeled Homomorphic Encryption: Scalable and Privacy-Preserving Processing of Outsourced Data
AUTHORS: Manuel Barbosa ; Dario Catalano; Dario Fiore;
SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2017, PAGES: 326, PUBLISHED: 2017
INDEXED IN: DBLP
171
TITLE: Layered Logics, Coalgebraically
AUTHORS: Luís Soares Barbosa ;
SOURCE: Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings, VOLUME: 10669, PAGES: 55-63, PUBLISHED: 2017
INDEXED IN: DBLP
172
TITLE: Learning nominal automata
AUTHORS: Joshua Moerman; Matteo Sammartino; Alexandra Silva ; Bartek Klin; Michal Szynwelski;
SOURCE: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, PAGES: 613-625, PUBLISHED: 2017
INDEXED IN: DBLP
173
TITLE: LiteSense: An Adaptive Sensing Scheme for WSNs
AUTHORS: Joao Marco C Silva ; Kalil Araujo Bispo; Paulo Carvalho; Solange Rito Lima;
SOURCE: IEEE Symposium on Computers and Communications (ISCC) in 2017 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), PAGES: 1209-1212, PUBLISHED: 2017
INDEXED IN: Scopus WOS CrossRef
174
TITLE: Locating Energy Hotspots in Source Code
AUTHORS: Pereira, R ;
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, PUBLISHED: 2017
INDEXED IN: WOS DBLP CrossRef
175
TITLE: Mining the Usage Patterns of ROS Primitives
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ; Rafael Arrais ; Filipe Neves dos Santos ;
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, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef
176
TITLE: Mise-En-Scène of Narrative Action in Interactive Storytelling
AUTHORS: Jamie Matthews; Fred Charles; Julie Porteous; Alexandra Mendes ;
SOURCE: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, PAGES: 1799-1801, PUBLISHED: 2017
INDEXED IN: DBLP
177
TITLE: MISER: Mise-En-Scène Region Support for Staging Narrative Actions in Interactive Storytelling
AUTHORS: Jamie Matthews; Fred Charles; Julie Porteous; Alexandra Mendes ;
SOURCE: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, PAGES: 782-790, PUBLISHED: 2017
INDEXED IN: DBLP
178
TITLE: Modeling Families of Public Licensing Services: A Case Study
AUTHORS: Guillermina Cledou ; Luis Soares Barbosa ;
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: 37-43, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef: 2
179
TITLE: MODUS: model-based user interfaces prototyping
AUTHORS: Marina Machado; Rui Couto ; José Creissac Campos ;
SOURCE: 9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017 in Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017, Lisbon, Portugal, June 26-29, 2017, PAGES: 111-116, PUBLISHED: 2017
INDEXED IN: Scopus DBLP CrossRef: 1
180
TITLE: Networks of Universities as a Tool for GCIO Education
AUTHORS: Luís Soares Barbosa ; Luís Paulo Santos ;
SOURCE: 16th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2017 in Electronic Government - 16th IFIP WG 8.5 International Conference, EGOV 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings, VOLUME: 10428, PAGES: 117-127, PUBLISHED: 2017
INDEXED IN: Scopus DBLP CrossRef

Results per Page: 20.
Page 9 of 63. Total results: 1241.