João Ricardo Viegas Costa Seco
AuthID: R-000-7FD
1
TITLE: Monitoring of spatio-temporal properties with nonlinear SAT solvers Full Text
AUTHORS: Pedro, Andre Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, ISSUE: 2
AUTHORS: Pedro, Andre Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, ISSUE: 2
2
TITLE: Going beyond templates: composition and evolution in nested OSTRICH Full Text
AUTHORS: Seco, Joao Costa; Lourenco, Hugo; Parreira, Joana; Ferreira, Carla;
PUBLISHED: 2024, SOURCE: SOFTWARE AND SYSTEMS MODELING
AUTHORS: Seco, Joao Costa; Lourenco, Hugo; Parreira, Joana; Ferreira, Carla;
PUBLISHED: 2024, SOURCE: SOFTWARE AND SYSTEMS MODELING
3
TITLE: The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps
AUTHORS: João Costa Seco; Jonathan Aldrich;
PUBLISHED: 2024, SOURCE: Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
AUTHORS: João Costa Seco; Jonathan Aldrich;
PUBLISHED: 2024, SOURCE: Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
4
TITLE: An Ontology-Based Task-Oriented Dialogue to Create OutSystems Applications
AUTHORS: João Quirino Silva; Dora Melo; Irene Pimenta Rodrigues ; João Costa Seco; Carla Ferreira; Joana Parreira;
PUBLISHED: 2023, SOURCE: SN Comput. Sci., VOLUME: 4, ISSUE: 1
AUTHORS: João Quirino Silva; Dora Melo; Irene Pimenta Rodrigues ; João Costa Seco; Carla Ferreira; Joana Parreira;
PUBLISHED: 2023, SOURCE: SN Comput. Sci., VOLUME: 4, ISSUE: 1
5
TITLE: Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers
AUTHORS: Pedro, Andre de Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla;
PUBLISHED: 2022, SOURCE: 27th International Conference on Formal Methods in Industrial Critical Systems (FMICS) in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS 2022), VOLUME: 13487
AUTHORS: Pedro, Andre de Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla;
PUBLISHED: 2022, SOURCE: 27th International Conference on Formal Methods in Industrial Critical Systems (FMICS) in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS 2022), VOLUME: 13487
6
TITLE: Nested OSTRICH: Hatching Compositions of Low-code Templates
AUTHORS: Seco, JC; Lourenço, H; Parreira, J; Ferreira, C;
PUBLISHED: 2022, SOURCE: 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022 in Proceedings - 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022
AUTHORS: Seco, JC; Lourenço, H; Parreira, J; Ferreira, C;
PUBLISHED: 2022, SOURCE: 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022 in Proceedings - 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022
INDEXED IN: 
Scopus
Scopus7
TITLE: Derivations with Holes for Concept-Based Program Synthesis
AUTHORS: João Costa Seco; Jonathan Aldrich; Luis Carvalho; Bernardo Toninho ; Carla Ferreira;
PUBLISHED: 2022, SOURCE: 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2022, co-located with SPLASH 2022 in Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2022, Auckland, New Zealand, December 8-10, 2022
AUTHORS: João Costa Seco; Jonathan Aldrich; Luis Carvalho; Bernardo Toninho ; Carla Ferreira;
PUBLISHED: 2022, SOURCE: 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2022, co-located with SPLASH 2022 in Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2022, Auckland, New Zealand, December 8-10, 2022
8
TITLE: Nested OSTRICH. hatching compositions of low-code templates
AUTHORS: João Costa Seco; Hugo Lourenço; Joana Parreira; Carla Ferreira;
PUBLISHED: 2022, SOURCE: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems
AUTHORS: João Costa Seco; Hugo Lourenço; Joana Parreira; Carla Ferreira;
PUBLISHED: 2022, SOURCE: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems
9
TITLE: ReGraDa: Reactive Graph Data
AUTHORS: Galrinho, L; Seco, JC; Debois, S; Hildebrandt, T; Norman, H; Slaats, T;
PUBLISHED: 2021, SOURCE: 23rd IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2021 held as part of 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12717 LNCS
AUTHORS: Galrinho, L; Seco, JC; Debois, S; Hildebrandt, T; Norman, H; Slaats, T;
PUBLISHED: 2021, SOURCE: 23rd IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2021 held as part of 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12717 LNCS
10
TITLE: Deep semantic versioning for evolution and variability
AUTHORS: Carvalho, L; Seco, JC;
PUBLISHED: 2021, SOURCE: 23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021, co-located with the 31st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2021 in ACM International Conference Proceeding Series
AUTHORS: Carvalho, L; Seco, JC;
PUBLISHED: 2021, SOURCE: 23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021, co-located with the 31st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2021 in ACM International Conference Proceeding Series
