João Costa Seco

42 papers A* 1A 10B 3C 5Misc 1Journal 11Unranked 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
Going beyond templates: composition and evolution in nested OSTRICH.
Softw. Syst. Model.
João Costa Seco, Hugo Lourenço, Joana Parreira, Carla Ferreira
2024 J jnl
A Language-Based Version Control System for Python (Artifact).
Dagstuhl Artifacts Ser.
Luís Carvalho, João Costa Seco
2024 A conf
A Language-Based Version Control System for Python.
ECOOP
Luís Carvalho, João Costa Seco
2024 J jnl
Monitoring of spatio-temporal properties with nonlinear SAT solvers.
Int. J. Softw. Tools Technol. Transf.
André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira
2024 — conf
The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps.
Onward!
João Costa Seco, Jonathan Aldrich
2023 J jnl
An Ontology-Based Task-Oriented Dialogue to Create OutSystems Applications.
SN Comput. Sci.
João Quirino Silva, Dora Melo, Irene Pimenta Rodrigues, João Costa Seco, Carla Ferreira, Joana Parreira
2023 J jnl
CHAMELEON: OutSystems Live Bidirectional Transformations.
CoRR
Hugo Lourenço, João Costa Seco, Carla Ferreira, Tiago Simões, Vasco Silva, Filipe Assunção, André Menezes
2023 C conf
Data-Dependent Confidentiality in DCR Graphs.
PPDP
Eduardo Geraldo, João Costa Seco, Thomas T. Hildebrandt
2023 J jnl
Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution (Artifact).
Dagstuhl Artifacts Ser.
Henrique Botelho Guerra, João F. Ferreira, João Costa Seco
2023 A conf
Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution.
ECOOP
Henrique Botelho Guerra, João F. Ferreira, João Costa Seco
2023 J jnl
OSTRICH: a rich template language for low-code development (extended version).
Softw. Syst. Model.
Hugo Lourenço, Carla Ferreira, João Costa Seco, Joana Parreira
2023 — conf
Towards an augmented reality approach to build use-case diagrams.
ER (Companion)
Ana Rita Rebelo, João Araújo, João Costa Seco, Rui Nóbrega
2022 — conf
Derivations with Holes for Concept-Based Program Synthesis.
Onward!
João Costa Seco, Jonathan Aldrich, Luís Carvalho, Bernardo Toninho, Carla Ferreira
2022 C conf
Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers.
FMICS
André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira
2022 A conf
Nested OSTRICH: hatching compositions of low-code templates.
MoDELS
João Costa Seco, Hugo Lourenço, Joana Parreira, Carla Ferreira
2021 C conf
An Ontology based Task Oriented Dialogue.
KEOD
João Quirino Silva, Dora Melo, Irene Pimenta Rodrigues, João Costa Seco, Carla Ferreira, Joana Parreira
2021 — conf
Automated Refactoring of Unbounded Queries in Software Automation Platforms.
MoDELS (Companion)
Inês Pina Fernandes, Miguel Terra-Neves, João Costa Seco
2021 C conf
Deep Semantic Versioning for Evolution and Variability.
PPDP
Luís Carvalho, João Costa Seco
2021 — conf
From Builders to Editors: Bidirectional Transformations of Low-code Models.
MoDELS (Companion)
João Ramalho, Hugo Lourenço, João Costa Seco
2021 B conf
Hybrid Information Flow Control for Low-Level Code.
SEFM
Eduardo Geraldo, José Fragoso Santos, João Costa Seco
2021 A conf
OSTRICH - A Type-Safe Template Language for Low-Code Development.
MoDELS
Hugo Lourenço, Carla Ferreira, João Costa Seco
2021 C conf
ReGraDa: Reactive Graph Data.
COORDINATION
Leandro Galrinho, João Costa Seco, Søren Debois, Thomas T. Hildebrandt, Håkon Normann, Tijs Slaats
2020 — conf
Closing the gap between designers and developers in a low code ecosystem.
MoDELS (Companion)
Mariana Bexiga, Stoyan Garbatov, João Costa Seco
2020 J jnl
Robust Contract Evolution in a TypeSafe MicroServices Architecture.
CoRR
João Costa Seco, Paulo Ferreira, Hugo Lourenço, Carla Ferreira, Lúcio Ferrão
2020 J jnl
Robust Contract Evolution in a TypeSafe MicroServices Architecture.
Art Sci. Eng. Program.
João Costa Seco, Paulo Ferreira, Hugo Lourenço, Carla Ferreira, Lúcio Ferrão
2020 — conf
UAV Cloud Platform for Precision Farming.
CSNDSP
Miguel Pino, João Pedro Matos-Carvalho, Dário Pedro, Luís Miguel Campos, João Costa Seco
2019 B conf
Software Evolution with a Typeful Version Control System.
SEFM
Luís Carvalho, João Costa Seco
2018 B conf
RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta.
EDOC
João Costa Seco, Søren Debois, Thomas T. Hildebrandt, Tijs Slaats
2018 — conf
SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode.
VORTEX@ECOOP/ISSTA
Eduardo Geraldo, João Costa Seco
2017 J jnl
Capability-based localization of distributed and heterogeneous queries.
J. Funct. Program.
João Costa Seco, Paulo Ferreira, Hugo Lourenço
2017 — conf
Type-Safe Evolution of Web Services.
VACE@ICSE
João Campinhos, João Costa Seco, Jácome Cunha
2015 — conf
A common data manipulation language for nested data in heterogeneous environments.
DBPL
João Costa Seco, Hugo Lourenço, Paulo Ferreira
2013 Misc conf
Concurrent typed intermediate language.
SAC
L. Miguel Lourenço, João Costa Seco, Francisco Martins
2013 A* conf
The type discipline of behavioral separation.
POPL
Luís Caires, João Costa Seco
2012 A conf
Verification of Snapshot Isolation in Transactional Memory Java Programs.
ECOOP
Ricardo J. Dias, Dino Distefano, João Costa Seco, João Lourenço
2011 A conf
Type-Based Access Control in Data-Centric Systems.
ESOP
Luís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão
2010 — conf
Profiling of real-world web applications.
PDATAD
Hugo Menino Aguiar, João Costa Seco, Lúcio Ferrão
2008 J jnl
Component J: A component-based programming language with dynamic reconfiguration.
Comput. Sci. Inf. Syst.
João Costa Seco, Ricardo Silva, Margarida Piriquito
2008 A conf
The Conversation Calculus: A Model of Service-Oriented Computation.
ESOP
Hugo Torres Vieira, Luís Caires, João Costa Seco
2006 A conf
Types for Dynamic Reconfiguration.
ESOP
João Costa Seco, Luís Caires
2005 A conf
Subtyping First-Class Polymorphic Components.
ESOP
João Costa Seco, Luís Caires
2000 A conf
A Basic Model of Typed Components.
ECOOP
João Costa Seco, Luís Caires