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

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 1486

150 Team Members
Filters -> Year: 2024
861
TÍTULO: Towards a framework for multidirectional model transformations PDF
AUTORES: Macedo, N ; Cunha, A ; Pacheco, H ;
PUBLICAÇÃO: 2014, FONTE: 2014 Joint Workshops on International Conference on Extending Database Technology, EDBT 2014 and International Conference on Database Theory, ICDT 2014 in CEUR Workshop Proceedings, VOLUME: 1133, PÁGINAS: 71-74
INDEXADO EM: Scopus DBLP
862
TÍTULO: Towards a Runtime Verification Framework for the Ada Programming Language
AUTORES: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLICAÇÃO: 2014, FONTE: 19th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2014, VOLUME: 8454, PÁGINAS: 58-73
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
863
TÍTULO: Validity Checking of Putback Transformations in Bidirectional Programming
AUTORES: Zhenjiang Hu; Hugo Pacheco ; Sebastian Fischer;
PUBLICAÇÃO: 2014, FONTE: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, VOLUME: 8442, PÁGINAS: 1-15
INDEXADO EM: DBLP
864
TÍTULO: Validity checking of putback transformations in bidirectional programming
AUTORES: Hu, Z; Pacheco, H ; Fischer, S;
PUBLICAÇÃO: 2014, FONTE: 19th International Symposium on Formal Methods, FM 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8442 LNCS, PÁGINAS: 1-15
INDEXADO EM: Scopus CrossRef: 9
865
TÍTULO: Verified Implementations for Secure and Verifiable Computation
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Guillaume Davy; François Dupressoir; Benjamin Grégoire; Pierre Yves Strub;
PUBLICAÇÃO: 2014, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2014, PÁGINAS: 456
INDEXADO EM: DBLP
866
TÍTULO: Workload-aware table splitting for NoSQL
AUTORES: Francisco Cruz ; Francisco Maia ; Rui Oliveira ; Ricardo Vilaça ;
PUBLICAÇÃO: 2014, FONTE: 29th Annual ACM Symposium on Applied Computing, SAC 2014 in Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014, PÁGINAS: 399-404
INDEXADO EM: Scopus DBLP CrossRef Handle
867
TÍTULO: Writing bidirectional model transformations as intentional updates
AUTORES: Tao Zan; Hugo Pacheco ; Zhenjiang Hu;
PUBLICAÇÃO: 2014, FONTE: 36th International Conference on Software Engineering, ICSE 2014 in 36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014, PÁGINAS: 488-491
INDEXADO EM: Scopus DBLP CrossRef: 5
868
TÍTULO: A Coalgebraic Perspective on Logical Interpretations  Full Text
AUTORES: Martins, MA ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2013, FONTE: STUDIA LOGICA, VOLUME: 101, NÚMERO: 4, PÁGINAS: 783-825
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
869
TÍTULO: A Framework for Modular and Customizable Software Analysis
AUTORES: Martins, P ; Carvalho, N ; Fernandes, JP ; Almeida, JJ ; Saraiva, J ;
PUBLICAÇÃO: 2013, FONTE: 13th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2013, PT II, VOLUME: 7972, NÚMERO: PART 2, PÁGINAS: 443-458
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
870
TÍTULO: A Generic Scheme and Properties of Bidirectional Transformations PDF
AUTORES: Hugo Pacheco ; Nuno Macedo ; Alcino Cunha ; Janis Voigtländer;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1306.4473
INDEXADO EM: DBLP arXiv
871
TÍTULO: A Model-based Approach for Test Cases Generation
AUTORES: Silva, JC; Silva, JL ; Campos, JC ; Saraiva, JA ;
PUBLICAÇÃO: 2013, FONTE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
INDEXADO EM: Scopus WOS
872
TÍTULO: A multiadaptive sampling technique for cost-effective network measurements
AUTORES: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLICAÇÃO: 2013, FONTE: Comput. Networks, VOLUME: 57, NÚMERO: 17, PÁGINAS: 3357-3369
INDEXADO EM: DBLP
873
TÍTULO: A multiadaptive sampling technique for cost-effective network measurements  Full Text
AUTORES: Joao Marco C Silva ; Paulo Carvalho ; Solange Rito Lima ;
PUBLICAÇÃO: 2013, FONTE: COMPUTER NETWORKS, VOLUME: 57, NÚMERO: 17, PÁGINAS: 3357-3369
INDEXADO EM: Scopus WOS CrossRef: 7
874
TÍTULO: A pilot project on non-conventional learning
AUTORES: Fernandes, S; Cerone, A; Barbosa, LS ;
PUBLICAÇÃO: 2013, FONTE: 18th ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2013 in Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE, PÁGINAS: 346
INDEXADO EM: Scopus DBLP CrossRef
875
TÍTULO: A Specification Patterns System for Discrete Event Systems Analysis  Full Text
AUTORES: Jose Creissac Campos ; Jose Machado ;
PUBLICAÇÃO: 2013, FONTE: INTERNATIONAL JOURNAL OF ADVANCED ROBOTIC SYSTEMS, VOLUME: 10, PÁGINAS: 1
INDEXADO EM: Scopus WOS CrossRef: 7
876
TÍTULO: A Spherical Gaussian Framework for Bayesian Monte Carlo Rendering of Glossy Surfaces  Full Text
AUTORES: Ricardo Marques; Christian Bouville; Mickael Ribardiere; Luis Paulo Santos ; Kadi Bouatouch;
PUBLICAÇÃO: 2013, FONTE: IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, VOLUME: 19, NÚMERO: 10, PÁGINAS: 1619-1632
INDEXADO EM: Scopus WOS CrossRef: 9
877
TÍTULO: Abrupt Ending of 802.11 AP Connections
AUTORES: Dossa Massa; Ricardo Morla ;
PUBLICAÇÃO: 2013, FONTE: 18th IEEE Symposium on Computers and Communications (ISCC) in 2013 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), PÁGINAS: 348-353
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
878
TÍTULO: Adaptive Query Processing in Cloud Database Systems
AUTORES: Clayton Maciel Costa; Antonio Luis Sousa ;
PUBLICAÇÃO: 2013, FONTE: 3rd IEEE International Conference on Cloud and Green Computing (CGC) in 2013 IEEE THIRD INTERNATIONAL CONFERENCE ON CLOUD AND GREEN COMPUTING (CGC 2013), PÁGINAS: 201-+
INDEXADO EM: Scopus WOS CrossRef: 4
879
TÍTULO: AJITTS: Adaptive just-in-time transaction scheduling
AUTORES: Nunes, A ; Oliveira, R ; Pereira, J ;
PUBLICAÇÃO: 2013, FONTE: 13th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7891 LNCS, PÁGINAS: 57-70
INDEXADO EM: Scopus DBLP CrossRef: 2
880
TÍTULO: Alloy Meets the Algebra of Programming: A Case Study
AUTORES: Oliveira, JN ; Ferreira, MA;
PUBLICAÇÃO: 2013, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 39, NÚMERO: 3, PÁGINAS: 305-326
INDEXADO EM: Scopus WOS CrossRef Handle

Results per Page: 20.
Página 44 de 75. Total de resultados: 1486.