João Ricardo Viegas Costa Seco
AuthID: R-000-7FD
11
TÃTULO: Hybrid Information Flow Control for Low-Level Code
AUTORES: Geraldo, Eduardo; Santos, Jose Fragoso; Seco, Joao Costa;
PUBLICAÇÃO: 2021, FONTE: 19th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2021), VOLUME: 13085
AUTORES: Geraldo, Eduardo; Santos, Jose Fragoso; Seco, Joao Costa;
PUBLICAÇÃO: 2021, FONTE: 19th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2021), VOLUME: 13085
12
TÃTULO: OSTRICH - A Type-safe Template Language for Low-code Development
AUTORES: Lourenco, H; Ferreira, C ; Seco, JC;
PUBLICAÇÃO: 2021, FONTE: 24th International ACM/IEEE Conference on Model-Driven Engineering Languages and Systems (MODELS) in 24TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2021)
AUTORES: Lourenco, H; Ferreira, C ; Seco, JC;
PUBLICAÇÃO: 2021, FONTE: 24th International ACM/IEEE Conference on Model-Driven Engineering Languages and Systems (MODELS) in 24TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2021)
13
TÃTULO: From Builders to Editors: Bidirectional Transformations of Low-code Models
AUTORES: Ramalho, J; Lourenco, H; Seco, JC;
PUBLICAÇÃO: 2021, FONTE: 24th International ACM/IEEE Conference on Model-Driven Engineering Languages and Systems (MODELS) in 24TH ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2021)
AUTORES: Ramalho, J; Lourenco, H; Seco, JC;
PUBLICAÇÃO: 2021, FONTE: 24th International ACM/IEEE Conference on Model-Driven Engineering Languages and Systems (MODELS) in 24TH ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2021)
14
TÃTULO: Automated Refactoring of Unbounded Queries in Software Automation Platforms
AUTORES: Fernandes, IP; Terra Neves, M; Seco, JC;
PUBLICAÇÃO: 2021, FONTE: 24th International ACM/IEEE Conference on Model-Driven Engineering Languages and Systems (MODELS) in 24TH ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2021)
AUTORES: Fernandes, IP; Terra Neves, M; Seco, JC;
PUBLICAÇÃO: 2021, FONTE: 24th International ACM/IEEE Conference on Model-Driven Engineering Languages and Systems (MODELS) in 24TH ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2021)
15
TÃTULO: Robust Contract Evolution in a TypeSafe MicroServices Architecture
AUTORES: João Costa Seco; Paulo Ferreira; Hugo Lourenço; Carla Ferreira ; Lúcio Ferrão;
PUBLICAÇÃO: 2020, FONTE: Programming Journal, VOLUME: 4, NÚMERO: 3
AUTORES: João Costa Seco; Paulo Ferreira; Hugo Lourenço; Carla Ferreira ; Lúcio Ferrão;
PUBLICAÇÃO: 2020, FONTE: Programming Journal, VOLUME: 4, NÚMERO: 3
16
TÃTULO: Closing the gap between designers and developers in a low code ecosystem
AUTORES: Bexiga, M; Garbatov, S; Seco, JC;
PUBLICAÇÃO: 2020, FONTE: 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 in Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings
AUTORES: Bexiga, M; Garbatov, S; Seco, JC;
PUBLICAÇÃO: 2020, FONTE: 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 in Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings
17
TÃTULO: UAV Cloud Platform for Precision Farming
AUTORES: Pino, M; Matos Carvalho, JP; Pedro, D; Campos, LM; Costa Seco, J;
PUBLICAÇÃO: 2020, FONTE: 12th International Symposium on Communication Systems, Networks and Digital Signal Processing, CSNDSP 2020 in 2020 12th International Symposium on Communication Systems, Networks and Digital Signal Processing, CSNDSP 2020
AUTORES: Pino, M; Matos Carvalho, JP; Pedro, D; Campos, LM; Costa Seco, J;
PUBLICAÇÃO: 2020, FONTE: 12th International Symposium on Communication Systems, Networks and Digital Signal Processing, CSNDSP 2020 in 2020 12th International Symposium on Communication Systems, Networks and Digital Signal Processing, CSNDSP 2020
18
TÃTULO: Snitch: Dynamic dependent information flow analysis for independent Java bytecode
AUTORES: Geraldo, E; Costa Seco, J;
PUBLICAÇÃO: 2019, FONTE: 2nd Workshop on Verification of Objects at RunTime EXecution, VORTEX 2018 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 302
AUTORES: Geraldo, E; Costa Seco, J;
PUBLICAÇÃO: 2019, FONTE: 2nd Workshop on Verification of Objects at RunTime EXecution, VORTEX 2018 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 302
19
TÃTULO: Software Evolution with a Typeful Version Control System
AUTORES: Carvalho, L; Costa Seco, J;
PUBLICAÇÃO: 2019, FONTE: 17th International Conference on Software Engineering and Formal Methods, SEFM 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11724 LNCS
AUTORES: Carvalho, L; Costa Seco, J;
PUBLICAÇÃO: 2019, FONTE: 17th International Conference on Software Engineering and Formal Methods, SEFM 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11724 LNCS
20
TÃTULO: RESEDA: Declaring live event-driven computations as reactive semi-structured data
AUTORES: Costa Seco, J; Debois, S; Hildebrandt, T; Slaats, T;
PUBLICAÇÃO: 2018, FONTE: 22nd IEEE International Enterprise Distributed Object Computing Conference, EDOC 2018 in Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018
AUTORES: Costa Seco, J; Debois, S; Hildebrandt, T; Slaats, T;
PUBLICAÇÃO: 2018, FONTE: 22nd IEEE International Enterprise Distributed Object Computing Conference, EDOC 2018 in Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018
