João Costa Seco

According to our database, João Costa Seco authored at least 38 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2024

Monitoring of spatio-temporal properties with nonlinear SAT solvers.

André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira

Int. J. Softw. Tools Technol. Transf., April, 2024

A Language-Based Version Control System for Python (Artifact).

Luís Carvalho, João Costa Seco

Dagstuhl Artifacts Ser., 2024

A Language-Based Version Control System for Python.

Luís Carvalho, João Costa Seco

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

OSTRICH: a rich template language for low-code development (extended version).

Hugo Lourenço, Carla Ferreira, João Costa Seco, Joana Parreira

Softw. Syst. Model., October, 2023

An Ontology-Based Task-Oriented Dialogue to Create OutSystems Applications.

João Quirino Silva, Dora Melo, Irene Pimenta Rodrigues, João Costa Seco, Carla Ferreira, Joana Parreira

SN Comput. Sci., 2023

Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution (Artifact).

Henrique Botelho Guerra, João F. Ferreira, João Costa Seco

Dagstuhl Artifacts Ser., 2023

CHAMELEON: OutSystems Live Bidirectional Transformations.

Hugo Lourenço, João Costa Seco, Carla Ferreira, Tiago Simões, Vasco Silva, Filipe Assunção, André Menezes

CoRR, 2023

Data-Dependent Confidentiality in DCR Graphs.

Eduardo Geraldo, João Costa Seco, Thomas T. Hildebrandt

Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023

Towards an augmented reality approach to build use-case diagrams.

Ana Rita Rebelo, João Araújo, João Costa Seco, Rui Nóbrega

Proceedings of the Companion Proceedings of the 42nd International Conference on Conceptual Modeling: ER Forum, 2023

Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution.

Henrique Botelho Guerra, João F. Ferreira, João Costa Seco

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Derivations with Holes for Concept-Based Program Synthesis.

João Costa Seco, Jonathan Aldrich, Luís Carvalho, Bernardo Toninho, Carla Ferreira

Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 2022

Nested OSTRICH: hatching compositions of low-code templates.

João Costa Seco, Hugo Lourenço, Joana Parreira, Carla Ferreira

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

2021

Hybrid Information Flow Control for Low-Level Code.

Eduardo Geraldo, José Fragoso Santos, João Costa Seco

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Deep Semantic Versioning for Evolution and Variability.

Luís Carvalho, João Costa Seco

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

From Builders to Editors: Bidirectional Transformations of Low-code Models.

João Ramalho, Hugo Lourenço, João Costa Seco

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

OSTRICH - A Type-Safe Template Language for Low-Code Development.

Hugo Lourenço, Carla Ferreira, João Costa Seco

Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

Automated Refactoring of Unbounded Queries in Software Automation Platforms.

Inês Pina Fernandes, Miguel Terra-Neves, João Costa Seco

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

An Ontology based Task Oriented Dialogue.

João Quirino Silva, Dora Melo, Irene Pimenta Rodrigues, João Costa Seco, Carla Ferreira, Joana Parreira

Proceedings of the 13th International Joint Conference on Knowledge Discovery, 2021

ReGraDa: Reactive Graph Data.

Leandro Galrinho, João Costa Seco, Søren Debois, Thomas T. Hildebrandt, Håkon Normann, Tijs Slaats

Proceedings of the Coordination Models and Languages, 2021

2020

Robust Contract Evolution in a TypeSafe MicroServices Architecture.

João Costa Seco, Paulo Ferreira, Hugo Lourenço, Carla Ferreira, Lúcio Ferrão

Art Sci. Eng. Program., 2020

Closing the gap between designers and developers in a low code ecosystem.

Mariana Bexiga, Stoyan Garbatov, João Costa Seco

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

UAV Cloud Platform for Precision Farming.

Miguel Pino, João Pedro Matos-Carvalho, Dário Pedro, Luís Miguel Campos, João Costa Seco

Proceedings of the 12th International Symposium on Communication Systems, 2020

2019

Software Evolution with a Typeful Version Control System.

Luís Carvalho, João Costa Seco

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

2018

SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode.

Eduardo Geraldo, João Costa Seco

Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, 2018

RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta.

João Costa Seco, Søren Debois, Thomas T. Hildebrandt, Tijs Slaats

Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018

2017

Capability-based localization of distributed and heterogeneous queries.

João Costa Seco, Paulo Ferreira, Hugo Lourenço

J. Funct. Program., 2017

Type-Safe Evolution of Web Services.

João Campinhos, João Costa Seco, Jácome Cunha

Proceedings of the 2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, 2017

2015

A common data manipulation language for nested data in heterogeneous environments.

João Costa Seco, Hugo Lourenço, Paulo Ferreira

Proceedings of the 15th Symposium on Database Programming Languages, 2015

2013

Concurrent typed intermediate language.

L. Miguel Lourenço, João Costa Seco, Francisco Martins

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

The type discipline of behavioral separation.

Luís Caires, João Costa Seco

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012

Verification of Snapshot Isolation in Transactional Memory Java Programs.

Ricardo J. Dias, Dino Distefano, João Costa Seco, João Lourenço

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

Type-Based Access Control in Data-Centric Systems.

Luís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão

Proceedings of the Programming Languages and Systems, 2011

2010

Profiling of real-world web applications.

Hugo Menino Aguiar, João Costa Seco, Lúcio Ferrão

Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, 2010

2008

Component J: A component-based programming language with dynamic reconfiguration.

João Costa Seco, Ricardo Silva, Margarida Piriquito

Comput. Sci. Inf. Syst., 2008

The Conversation Calculus: A Model of Service-Oriented Computation.

Hugo Torres Vieira, Luís Caires, João Costa Seco

Proceedings of the Programming Languages and Systems, 2008

2006

Types for Dynamic Reconfiguration.

João Costa Seco, Luís Caires

Proceedings of the Programming Languages and Systems, 2006

2005

Subtyping First-Class Polymorphic Components.

João Costa Seco, Luís Caires

Proceedings of the Programming Languages and Systems, 2005

2000

A Basic Model of Typed Components.

João Costa Seco, Luís Caires

Proceedings of the ECOOP 2000, 2000