João Ricardo Viegas Costa Seco
AuthID: R-000-7FD
11
TITLE: Hybrid Information Flow Control for Low-Level Code
AUTHORS: Geraldo, Eduardo; Santos, Jose Fragoso; Seco, Joao Costa;
PUBLISHED: 2021, SOURCE: 19th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2021), VOLUME: 13085
AUTHORS: Geraldo, Eduardo; Santos, Jose Fragoso; Seco, Joao Costa;
PUBLISHED: 2021, SOURCE: 19th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2021), VOLUME: 13085
12
TITLE: OSTRICH - A Type-safe Template Language for Low-code Development
AUTHORS: Lourenco, H; Ferreira, C ; Seco, JC;
PUBLISHED: 2021, SOURCE: 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)
AUTHORS: Lourenco, H; Ferreira, C ; Seco, JC;
PUBLISHED: 2021, SOURCE: 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
TITLE: From Builders to Editors: Bidirectional Transformations of Low-code Models
AUTHORS: Ramalho, J; Lourenco, H; Seco, JC;
PUBLISHED: 2021, SOURCE: 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)
AUTHORS: Ramalho, J; Lourenco, H; Seco, JC;
PUBLISHED: 2021, SOURCE: 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
TITLE: Automated Refactoring of Unbounded Queries in Software Automation Platforms
AUTHORS: Fernandes, IP; Terra Neves, M; Seco, JC;
PUBLISHED: 2021, SOURCE: 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)
AUTHORS: Fernandes, IP; Terra Neves, M; Seco, JC;
PUBLISHED: 2021, SOURCE: 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
TITLE: Robust Contract Evolution in a TypeSafe MicroServices Architecture
AUTHORS: João Costa Seco; Paulo Ferreira; Hugo Lourenço; Carla Ferreira ; Lúcio Ferrão;
PUBLISHED: 2020, SOURCE: Programming Journal, VOLUME: 4, ISSUE: 3
AUTHORS: João Costa Seco; Paulo Ferreira; Hugo Lourenço; Carla Ferreira ; Lúcio Ferrão;
PUBLISHED: 2020, SOURCE: Programming Journal, VOLUME: 4, ISSUE: 3
16
TITLE: Closing the gap between designers and developers in a low code ecosystem
AUTHORS: Bexiga, M; Garbatov, S; Seco, JC;
PUBLISHED: 2020, SOURCE: 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
AUTHORS: Bexiga, M; Garbatov, S; Seco, JC;
PUBLISHED: 2020, SOURCE: 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
TITLE: UAV Cloud Platform for Precision Farming
AUTHORS: Pino, M; Matos Carvalho, JP; Pedro, D; Campos, LM; Costa Seco, J;
PUBLISHED: 2020, SOURCE: 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
AUTHORS: Pino, M; Matos Carvalho, JP; Pedro, D; Campos, LM; Costa Seco, J;
PUBLISHED: 2020, SOURCE: 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
TITLE: Snitch: Dynamic dependent information flow analysis for independent Java bytecode
AUTHORS: Geraldo, E; Costa Seco, J;
PUBLISHED: 2019, SOURCE: 2nd Workshop on Verification of Objects at RunTime EXecution, VORTEX 2018 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 302
AUTHORS: Geraldo, E; Costa Seco, J;
PUBLISHED: 2019, SOURCE: 2nd Workshop on Verification of Objects at RunTime EXecution, VORTEX 2018 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 302
19
TITLE: Software Evolution with a Typeful Version Control System
AUTHORS: Carvalho, L; Costa Seco, J;
PUBLISHED: 2019, SOURCE: 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
AUTHORS: Carvalho, L; Costa Seco, J;
PUBLISHED: 2019, SOURCE: 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
TITLE: RESEDA: Declaring live event-driven computations as reactive semi-structured data
AUTHORS: Costa Seco, J; Debois, S; Hildebrandt, T; Slaats, T;
PUBLISHED: 2018, SOURCE: 22nd IEEE International Enterprise Distributed Object Computing Conference, EDOC 2018 in Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018
AUTHORS: Costa Seco, J; Debois, S; Hildebrandt, T; Slaats, T;
PUBLISHED: 2018, SOURCE: 22nd IEEE International Enterprise Distributed Object Computing Conference, EDOC 2018 in Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018
