default search action

combined dblp search
author search
venue search
publication search

ask others

João Costa Seco

> Home > Persons

Person information

affiliation: Universidade Nova de Lisboa, Lisbon, Portugal

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/darts/CarvalhoS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/CarvalhoS24
Luís Carvalho, João Costa Seco:
A Language-Based Version Control System for Python (Artifact). Dagstuhl Artifacts Ser. 10(2): 3:1-3:2 (2024)
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/PedroSSLSF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/PedroSSLSF24
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): 169-188 (2024)
[c30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/CarvalhoS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/CarvalhoS24
Luís Carvalho, João Costa Seco:
A Language-Based Version Control System for Python. ECOOP 2024: 9:1-9:27
2023
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/darts/Guerra0S23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/Guerra0S23
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): 20:1-20:3 (2023)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/sncs/SilvaMRSFP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sncs/SilvaMRSFP23
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): 12 (2023)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/LourencoFSP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/LourencoFSP23
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): 1645-1663 (2023)
[c29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/Guerra0S23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/Guerra0S23
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: 4:1-4:28
[c28]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/er/RebeloASN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/er/RebeloASN23
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
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/GeraldoSH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/GeraldoSH23
Eduardo Geraldo, João Costa Seco, Thomas T. Hildebrandt:
Data-Dependent Confidentiality in DCR Graphs. PPDP 2023: 7:1-7:13
[i2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-03361
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-03361
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 abs/2305.03361 (2023)
2022
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/PedroSSLSF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/PedroSSLSF22
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: 155-171
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/models/SecoLP022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/SecoLP022
João Costa Seco, Hugo Lourenço, Joana Parreira, Carla Ferreira:
Nested OSTRICH: hatching compositions of low-code templates. MoDELS 2022: 210-220
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/onward/SecoACT022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/onward/SecoACT022
João Costa Seco, Jonathan Aldrich, Luís Carvalho, Bernardo Toninho, Carla Ferreira:
Derivations with Holes for Concept-Based Program Synthesis. Onward! 2022: 63-79
2021
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/GalrinhoSDHNS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/GalrinhoSDHNS21
Leandro Galrinho, João Costa Seco, Søren Debois, Thomas T. Hildebrandt, Håkon Normann, Tijs Slaats:
ReGraDa: Reactive Graph Data. COORDINATION 2021: 188-205
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ic3k/SilvaMRS0P21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ic3k/SilvaMRS0P21
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: 96-107
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/models/RamalhoLS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/RamalhoLS21
João Ramalho, Hugo Lourenço, João Costa Seco:
From Builders to Editors: Bidirectional Transformations of Low-code Models. MoDELS (Companion) 2021: 108-117
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/models/LourencoFS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/LourencoFS21
Hugo Lourenço, Carla Ferreira, João Costa Seco:
OSTRICH - A Type-Safe Template Language for Low-Code Development. MoDELS 2021: 216-226
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/models/FernandesTS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/FernandesTS21
Inês Pina Fernandes, Miguel Terra-Neves, João Costa Seco:
Automated Refactoring of Unbounded Queries in Software Automation Platforms. MoDELS (Companion) 2021: 417-426
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/CarvalhoS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/CarvalhoS21
Luís Carvalho, João Costa Seco:
Deep Semantic Versioning for Evolution and Variability. PPDP 2021: 21:1-21:13
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/GeraldoSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/GeraldoSS21
Eduardo Geraldo, José Fragoso Santos, João Costa Seco:
Hybrid Information Flow Control for Low-Level Code. SEFM 2021: 141-159
2020
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/programming/SecoFLFF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/programming/SecoFLFF20
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): 10 (2020)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/csndsp/PinoMPCS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csndsp/PinoMPCS20
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: 1-6
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/models/BexigaGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/BexigaGS20
Mariana Bexiga, Stoyan Garbatov, João Costa Seco:
Closing the gap between designers and developers in a low code ecosystem. MoDELS (Companion) 2020: 61:1-61:10
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2002-06185
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-06185
João Costa Seco, Paulo Ferreira, Hugo Lourenço, Carla Ferreira, Lúcio Ferrão:
Robust Contract Evolution in a TypeSafe MicroServices Architecture. CoRR abs/2002.06185 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/CarvalhoS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/CarvalhoS19
Luís Carvalho, João Costa Seco:
Software Evolution with a Typeful Version Control System. SEFM 2019: 145-161
2018
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/edoc/SecoDHS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edoc/SecoDHS18
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: 75-84
[c12]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1908-10041
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-10041
Eduardo Geraldo, João Costa Seco:
SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode. VORTEX@ECOOP/ISSTA 2018: 16-31
2017
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/SecoFL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/SecoFL17
João Costa Seco, Paulo Ferreira, Hugo Lourenço:
Capability-based localization of distributed and heterogeneous queries. J. Funct. Program. 27: e26 (2017)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CampinhosSC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CampinhosSC17
João Campinhos, João Costa Seco, Jácome Cunha:
Type-Safe Evolution of Web Services. VACE@ICSE 2017: 20-26
2015
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/dbpl/SecoLF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbpl/SecoLF15
João Costa Seco, Hugo Lourenço, Paulo Ferreira:
A common data manipulation language for nested data in heterogeneous environments. DBPL 2015: 11-20
2013
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/CairesS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/CairesS13
Luís Caires, João Costa Seco:
The type discipline of behavioral separation. POPL 2013: 275-286
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/LourencoSM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/LourencoSM13
L. Miguel Lourenço, João Costa Seco, Francisco Martins:
Concurrent typed intermediate language. SAC 2013: 1587-1588
2012
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/DiasDSL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/DiasDSL12
Ricardo J. Dias, Dino Distefano, João Costa Seco, João Lourenço:
Verification of Snapshot Isolation in Transactional Memory Java Programs. ECOOP 2012: 640-664
2011
[c6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/CairesPSVF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/CairesPSVF11
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: 136-155
2010
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/AguiarSF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/AguiarSF10
Hugo Menino Aguiar, João Costa Seco, Lúcio Ferrão:
Profiling of real-world web applications. PDATAD 2010: 59-66

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/comsis/SecoSP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comsis/SecoSP08
João Costa Seco, Ricardo Silva, Margarida Piriquito:
Component J: A component-based programming language with dynamic reconfiguration. Comput. Sci. Inf. Syst. 5(2): 63-86 (2008)
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/VieiraCS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/VieiraCS08
Hugo Torres Vieira, Luís Caires, João Costa Seco:
The Conversation Calculus: A Model of Service-Oriented Computation. ESOP 2008: 269-283
2006
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/SecoC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/SecoC06
João Costa Seco, Luís Caires:
Types for Dynamic Reconfiguration. ESOP 2006: 214-229
2005
[c2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/SecoC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/SecoC05
João Costa Seco, Luís Caires:
Subtyping First-Class Polymorphic Components. ESOP 2005: 342-356
2000
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/SecoC00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/SecoC00
João Costa Seco, Luís Caires:
A Basic Model of Typed Components. ECOOP 2000: 108-128

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.