João Costa Seco

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 27

Top Topics

Information Flow Control

Weighted Max Sat

Version Control

Top Venues

MoDELS (Companion)

Publications

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