Filipe Marques

19 papers A 1B 3Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2026 — conf
Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml.
TACAS (1)
João Madeira Pereira, Filipe Marques, Pedro Adão, Hichem Rami Ait El Hara, Léo Andrès, Arthur Carcano, Pierre Chambart, Petar Maksimovic, Nuno Santos, José Fragoso Santos
2025 J jnl
Automated Exploit Generation for Node.js Packages.
Proc. ACM Program. Lang.
Filipe Marques, Mafalda Ferreira, André Nascimento, Miguel E. Coimbra, Nuno Santos, Limin Jia, José Fragoso Santos
2024 J jnl
Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly.
CoRR
Léo Andrès, Filipe Marques, Arthur Carcano, Pierre Chambart, José Fragoso Santos, Jean-Christophe Filliâtre
2024 J jnl
Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly.
Art Sci. Eng. Program.
Léo Andrès, Filipe Marques, Arthur Carcano, Pierre Chambart, José Fragoso Santos, Jean-Christophe Filliâtre
2023 J jnl
A bivariate geometric distribution via conditional specification: properties and applications.
Commun. Stat. Simul. Comput.
Indranil Ghosh, Filipe Marques, Subrata Chakraborty
2022 J jnl
Concolic Execution for WebAssembly (Artifact).
Dagstuhl Artifacts Ser.
Filipe Marques, José Fragoso Santos, Nuno Santos, Pedro Adão
2022 A conf
Concolic Execution for WebAssembly.
ECOOP
Filipe Marques, José Fragoso Santos, Nuno Santos, Pedro Adão
2022 J jnl
TestSelector: Automatic Test Suite Selection for Student Projects - Extended Version.
CoRR
Filipe Marques, António Morgado, José Fragoso Santos, Mikolás Janota
2022 B conf
TestSelector: Automatic Test Suite Selection for Student Projects.
RV
Filipe Marques, António Morgado, José Fragoso Santos, Mikolás Janota
2020 — conf
A Hybrid Framework for Uncertainty-Aware Depth Prediction in the Underwater Environment.
ICARSC
Filipe Marques, Filipa Castro, Manuel Parente, Pedro Costa
2018 J jnl
Physiological Inspired Deep Neural Networks for Emotion Recognition.
IEEE Access
Pedro M. Ferreira, Filipe Marques, Jaime S. Cardoso, Ana Rebelo
2018 J jnl
Quantification of Lung Abnormalities in Cystic Fibrosis using Deep Networks.
CoRR
Filipe Marques, Florian Dubost, Mariette Kemner-van de Corput, Harm A. W. M. Tiddens, Marleen de Bruijne
2018 B conf
Quantification of lung abnormalities in cystic fibrosis using deep networks.
Image Processing
Filipe Marques, Florian Dubost, Mariette Kemner-van de Corput, Harm A. W. M. Tiddens, Marleen de Bruijne
2009 J jnl
Business-Driven Design of Infrastructures for IT Services.
J. Netw. Syst. Manag.
Jacques Philippe Sauvé, Antão Moura, Filipe Marques
2009 J jnl
SLA Design and Service Provisioning for Outsourced Services.
J. Netw. Syst. Manag.
Filipe Marques, Jacques Philippe Sauvé, J. Antão B. Moura
2007 — conf
Service Level Agreement Design and Service Provisioning for Outsourced Services.
LANOMS
Filipe Marques, Jacques Philippe Sauvé, Antão Moura
2006 B conf
Business-Oriented Capacity Planning of IT Infrastructure to Handle Load Surges.
NOMS
Filipe Marques, Jacques Philippe Sauvé, Antão Moura
2006 — conf
Optimal Design of E-Commerce Site Infrastructure from a Business Perspective.
HICSS
Jacques Philippe Sauvé, Filipe Marques, Antão Moura, Marcus Costa Sampaio, João Jornada, Eduardo Radziuk
2005 — conf
SLA Design from a Business Perspective.
DSOM
Jacques Philippe Sauvé, Filipe Marques, Antão Moura, Marcus Costa Sampaio, João Jornada, Eduardo Radziuk