João Ricardo Viegas Costa Seco
AuthID: R-000-7FD
11
TITLE: An Ontology based Task Oriented Dialogue
AUTHORS: Silva, Joao Quirino; Melo, Dora; Rodrigues, Irene Pimenta ; Seco, Joao Costa; Ferreira, Carla; Parreira, Joana;
PUBLISHED: 2021, SOURCE: 13th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K) / 13th International Conference on Knowledge Engineering and Ontology Development (KEOD) in PROCEEDINGS OF THE 13TH INTERNATIONAL JOINT CONFERENCE ON KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT (KEOD), VOL 2, VOLUME: 2
AUTHORS: Silva, Joao Quirino; Melo, Dora; Rodrigues, Irene Pimenta ; Seco, Joao Costa; Ferreira, Carla; Parreira, Joana;
PUBLISHED: 2021, SOURCE: 13th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K) / 13th International Conference on Knowledge Engineering and Ontology Development (KEOD) in PROCEEDINGS OF THE 13TH INTERNATIONAL JOINT CONFERENCE ON KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT (KEOD), VOL 2, VOLUME: 2
12
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
13
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)
14
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)
15
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)
16
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
INDEXED IN: 
DBLP
DBLP17
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
18
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
19
TITLE: Robust Contract Evolution in a TypeSafe MicroService Architectures
AUTHORS: Seco, JC; Ferreira, P; Lourenço, H; Ferreira, C ; Ferrão, L;
PUBLISHED: 2020, SOURCE: Art, Science, and Engineering of Programming, VOLUME: 4, ISSUE: 3
AUTHORS: Seco, JC; Ferreira, P; Lourenço, H; Ferreira, C ; Ferrão, L;
PUBLISHED: 2020, SOURCE: Art, Science, and Engineering of Programming, VOLUME: 4, ISSUE: 3
20
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
