{"@attributes":{"name":"Filipe Marques","pid":"53\/207","n":"19"},"person":{"@attributes":{"key":"homepages\/53\/207","mdate":"2009-06-08"},"author":"Filipe Marques"},"r":[{"inproceedings":{"@attributes":{"key":"conf\/tacas\/PereiraMAHACCMSS26","mdate":"2026-06-25"},"author":["Jo\u00e3o Madeira Pereira","Filipe Marques","Pedro Ad\u00e3o","Hichem Rami Ait El Hara","L\u00e9o Andr\u00e8s","Arthur Carcano","Pierre Chambart","Petar Maksimovic 0001","Nuno Santos 0001","Jos\u00e9 Fragoso Santos"],"title":"Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml.","booktitle":"TACAS (1)","year":"2026","pages":"23-44","crossref":"conf\/tacas\/2026-1","ee":"https:\/\/doi.org\/10.1007\/978-3-032-22752-2_2","url":"db\/conf\/tacas\/tacas2026-1.html#PereiraMAHACCMSS26","stream":"streams\/conf\/tacas"}},{"article":{"@attributes":{"key":"journals\/pacmpl\/MarquesFNCSJS25","mdate":"2025-09-06"},"author":["Filipe Marques","Mafalda Ferreira","Andr\u00e9 Nascimento","Miguel E. Coimbra","Nuno Santos 0001","Limin Jia 0001","Jos\u00e9 Fragoso Santos"],"title":"Automated Exploit Generation for Node.js Packages.","pages":"1341-1366","year":"2025","volume":"9","journal":"Proc. ACM Program. Lang.","number":"PLDI","ee":"https:\/\/doi.org\/10.1145\/3729304","url":"db\/journals\/pacmpl\/pacmpl9.html#MarquesFNCSJS25","stream":"streams\/journals\/pacmpl"}},{"article":{"@attributes":{"key":"journals\/programming\/AndresMCCSF24","mdate":"2026-03-24"},"author":["L\u00e9o Andr\u00e8s","Filipe Marques","Arthur Carcano","Pierre Chambart","Jos\u00e9 Fragoso Santos","Jean-Christophe Filli\u00e2tre"],"title":"Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly.","year":"2024","volume":"9","journal":"Art Sci. Eng. Program.","number":"1","ee":"https:\/\/doi.org\/10.22152\/programming-journal.org\/2025\/9\/3","url":"db\/journals\/programming\/programming9.html#AndresMCCSF24","stream":"streams\/journals\/programming"}},{"article":{"@attributes":{"publtype":"informal","key":"journals\/corr\/abs-2412-06391","mdate":"2025-01-15"},"author":["L\u00e9o Andr\u00e8s","Filipe Marques","Arthur Carcano","Pierre Chambart","Jos\u00e9 Fragoso Santos","Jean-Christophe Filli\u00e2tre"],"title":"Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly.","year":"2024","volume":"abs\/2412.06391","journal":"CoRR","ee":"https:\/\/doi.org\/10.48550\/arXiv.2412.06391","url":"db\/journals\/corr\/corr2412.html#abs-2412-06391","stream":"streams\/journals\/corr"}},{"article":{"@attributes":{"key":"journals\/cssc\/GhoshMC23","mdate":"2025-10-28"},"author":["Indranil Ghosh 0004","Filipe Marques","Subrata Chakraborty"],"title":"A bivariate geometric distribution via conditional specification: properties and applications.","pages":"5925-5945","year":"2023","month":"December","volume":"52","journal":"Commun. Stat. Simul. Comput.","number":"12","ee":"https:\/\/doi.org\/10.1080\/03610918.2021.2004419","url":"db\/journals\/cssc\/cssc52.html#GhoshMC23"}},{"article":{"@attributes":{"publtype":"data","key":"journals\/darts\/MarquesS0A22","mdate":"2026-02-25"},"author":["Filipe Marques","Jos\u00e9 Fragoso Santos","Nuno Santos 0001","Pedro Ad\u00e3o"],"title":"Concolic Execution for WebAssembly (Artifact).","pages":"20:1-20:3","year":"2022","volume":"8","journal":"Dagstuhl Artifacts Ser.","number":"2","ee":"https:\/\/doi.org\/10.4230\/DARTS.8.2.20","url":"db\/journals\/darts\/darts8.html#MarquesS0A22"}},{"inproceedings":{"@attributes":{"key":"conf\/ecoop\/MarquesS0A22","mdate":"2024-05-07"},"author":["Filipe Marques","Jos\u00e9 Fragoso Santos","Nuno Santos 0001","Pedro Ad\u00e3o"],"title":"Concolic Execution for WebAssembly.","pages":"11:1-11:29","year":"2022","booktitle":"ECOOP","ee":"https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2022.11","crossref":"conf\/ecoop\/2022","url":"db\/conf\/ecoop\/ecoop2022.html#MarquesS0A22"}},{"inproceedings":{"@attributes":{"key":"conf\/rv\/MarquesMSJ22","mdate":"2024-08-04"},"author":["Filipe Marques","Ant\u00f3nio Morgado 0001","Jos\u00e9 Fragoso Santos","Mikol\u00e1s Janota"],"title":"TestSelector: Automatic Test Suite Selection for Student Projects.","pages":"283-292","year":"2022","booktitle":"RV","ee":"https:\/\/doi.org\/10.1007\/978-3-031-17196-3_17","crossref":"conf\/rv\/2022","url":"db\/conf\/rv\/rv2022.html#MarquesMSJ22"}},{"article":{"@attributes":{"publtype":"informal","key":"journals\/corr\/abs-2207-09509","mdate":"2023-02-08"},"author":["Filipe Marques","Ant\u00f3nio Morgado 0001","Jos\u00e9 Fragoso Santos","Mikol\u00e1s Janota"],"title":"TestSelector: Automatic Test Suite Selection for Student Projects - Extended Version.","year":"2022","volume":"abs\/2207.09509","journal":"CoRR","ee":"https:\/\/doi.org\/10.48550\/arXiv.2207.09509","url":"db\/journals\/corr\/corr2207.html#abs-2207-09509"}},{"inproceedings":{"@attributes":{"key":"conf\/icarsc\/MarquesCPC20","mdate":"2021-04-15"},"author":["Filipe Marques","Filipa Castro","Manuel Parente","Pedro Costa 0005"],"title":"A Hybrid Framework for Uncertainty-Aware Depth Prediction in the Underwater Environment.","pages":"102-107","year":"2020","booktitle":"ICARSC","ee":"https:\/\/doi.org\/10.1109\/ICARSC49921.2020.9096196","crossref":"conf\/icarsc\/2020","url":"db\/conf\/icarsc\/icarsc2020.html#MarquesCPC20"}},{"article":{"@attributes":{"key":"journals\/access\/FerreiraMCR18","mdate":"2021-03-17"},"author":["Pedro M. Ferreira 0002","Filipe Marques","Jaime S. Cardoso 0001","Ana Rebelo"],"title":"Physiological Inspired Deep Neural Networks for Emotion Recognition.","pages":"53930-53943","year":"2018","volume":"6","journal":"IEEE Access","ee":"https:\/\/doi.org\/10.1109\/ACCESS.2018.2870063","url":"db\/journals\/access\/access6.html#FerreiraMCR18"}},{"inproceedings":{"@attributes":{"key":"conf\/miip\/MarquesDCTB18","mdate":"2025-03-03"},"author":["Filipe Marques","Florian Dubost","Mariette Kemner-van de Corput","Harm A. W. M. Tiddens","Marleen de Bruijne"],"title":"Quantification of lung abnormalities in cystic fibrosis using deep networks.","pages":"105741G","year":"2018","booktitle":"Image Processing","ee":"https:\/\/doi.org\/10.1117\/12.2292188","crossref":"conf\/miip\/2018","url":"db\/conf\/miip\/miip2018.html#MarquesDCTB18"}},{"article":{"@attributes":{"publtype":"informal","key":"journals\/corr\/abs-1803-07991","mdate":"2023-09-30"},"author":["Filipe Marques","Florian Dubost","Mariette Kemner-van de Corput","Harm A. W. M. Tiddens","Marleen de Bruijne"],"title":"Quantification of Lung Abnormalities in Cystic Fibrosis using Deep Networks.","year":"2018","volume":"abs\/1803.07991","journal":"CoRR","ee":"http:\/\/arxiv.org\/abs\/1803.07991","url":"db\/journals\/corr\/corr1803.html#abs-1803-07991"}},{"article":{"@attributes":{"key":"journals\/jnsm\/MarquesSM09","mdate":"2020-09-24"},"author":["Filipe Marques","Jacques Philippe Sauv\u00e9","J. Ant\u00e3o B. Moura"],"title":"SLA Design and Service Provisioning for Outsourced Services.","pages":"73-90","year":"2009","volume":"17","journal":"J. Netw. Syst. Manag.","number":"1-2","ee":"https:\/\/doi.org\/10.1007\/s10922-009-9115-7","url":"db\/journals\/jnsm\/jnsm17.html#MarquesSM09"}},{"article":{"@attributes":{"key":"journals\/jnsm\/SauveMM09","mdate":"2020-09-24"},"author":["Jacques Philippe Sauv\u00e9","Ant\u00e3o Moura","Filipe Marques"],"title":"Business-Driven Design of Infrastructures for IT Services.","pages":"422-456","year":"2009","volume":"17","journal":"J. Netw. Syst. Manag.","number":"4","ee":"https:\/\/doi.org\/10.1007\/s10922-009-9140-6","url":"db\/journals\/jnsm\/jnsm17.html#SauveMM09"}},{"inproceedings":{"@attributes":{"key":"conf\/lanoms\/MarquesSM07","mdate":"2017-05-26"},"author":["Filipe Marques","Jacques Philippe Sauv\u00e9","Ant\u00e3o Moura"],"title":"Service Level Agreement Design and Service Provisioning for Outsourced Services.","pages":"106-113","year":"2007","booktitle":"LANOMS","ee":"https:\/\/doi.org\/10.1109\/LANOMS.2007.4362465","crossref":"conf\/lanoms\/2007","url":"db\/conf\/lanoms\/lanoms2007.html#MarquesSM07"}},{"inproceedings":{"@attributes":{"key":"conf\/hicss\/SauveMMSJR06","mdate":"2023-03-24"},"author":["Jacques Philippe Sauv\u00e9","Filipe Marques","Ant\u00e3o Moura","Marcus Costa Sampaio","Jo\u00e3o Jornada","Eduardo Radziuk"],"title":"Optimal Design of E-Commerce Site Infrastructure from a Business Perspective.","year":"2006","crossref":"conf\/hicss\/2006","booktitle":"HICSS","ee":["https:\/\/doi.org\/10.1109\/HICSS.2006.371","https:\/\/doi.ieeecomputersociety.org\/10.1109\/HICSS.2006.371"],"url":"db\/conf\/hicss\/hicss2006.html#SauveMMSJR06"}},{"inproceedings":{"@attributes":{"key":"conf\/noms\/MarquesSM06","mdate":"2017-05-19"},"author":["Filipe Marques","Jacques Philippe Sauv\u00e9","Ant\u00e3o Moura"],"title":"Business-Oriented Capacity Planning of IT Infrastructure to Handle Load Surges.","year":"2006","booktitle":"NOMS","ee":"https:\/\/doi.org\/10.1109\/NOMS.2006.1687630","crossref":"conf\/noms\/2006","url":"db\/conf\/noms\/noms2006.html#MarquesSM06"}},{"inproceedings":{"@attributes":{"key":"conf\/dsom\/SauveMMSJR05","mdate":"2018-06-26"},"author":["Jacques Philippe Sauv\u00e9","Filipe Marques","Ant\u00e3o Moura","Marcus Costa Sampaio","Jo\u00e3o Jornada","Eduardo Radziuk"],"title":"SLA Design from a Business Perspective.","pages":"72-83","year":"2005","crossref":"conf\/dsom\/2005","booktitle":"DSOM","ee":"https:\/\/doi.org\/10.1007\/11568285_7","url":"db\/conf\/dsom\/dsom2005.html#SauveMMSJR05"}}],"coauthors":{"@attributes":{"n":"33","nc":"5"},"co":[{"@attributes":{"c":"0"},"na":"Pedro Ad\u00e3o"},{"@attributes":{"c":"0"},"na":"L\u00e9o Andr\u00e8s"},{"@attributes":{"c":"3"},"na":"Marleen de Bruijne"},{"@attributes":{"c":"0"},"na":"Arthur Carcano"},{"@attributes":{"c":"1"},"na":"Jaime S. Cardoso 0001"},{"@attributes":{"c":"1"},"na":"Filipa Castro"},{"@attributes":{"c":"4"},"na":"Subrata Chakraborty"},{"@attributes":{"c":"0"},"na":"Pierre Chambart"},{"@attributes":{"c":"0"},"na":"Miguel E. Coimbra"},{"@attributes":{"c":"3"},"na":"Mariette Kemner-van de Corput"},{"@attributes":{"c":"1"},"na":"Pedro Costa 0005"},{"@attributes":{"c":"3"},"na":"Florian Dubost"},{"@attributes":{"c":"0"},"na":"Mafalda Ferreira"},{"@attributes":{"c":"1"},"na":"Pedro M. Ferreira 0002"},{"@attributes":{"c":"0"},"na":"Jean-Christophe Filli\u00e2tre"},{"@attributes":{"c":"4"},"na":"Indranil Ghosh 0004"},{"@attributes":{"c":"0"},"na":"Hichem Rami Ait El Hara"},{"@attributes":{"c":"0"},"na":"Mikol\u00e1s Janota"},{"@attributes":{"c":"0"},"na":"Limin Jia 0001"},{"@attributes":{"c":"2"},"na":"Jo\u00e3o Jornada"},{"@attributes":{"c":"0"},"na":"Petar Maksimovic 0001"},{"@attributes":{"c":"0"},"na":"Ant\u00f3nio Morgado 0001"},{"@attributes":{"c":"2","n":"2"},"na":["J. Ant\u00e3o B. Moura","Ant\u00e3o Moura"]},{"@attributes":{"c":"0"},"na":"Andr\u00e9 Nascimento"},{"@attributes":{"c":"1"},"na":"Manuel Parente"},{"@attributes":{"c":"0"},"na":"Jo\u00e3o Madeira Pereira"},{"@attributes":{"c":"2"},"na":"Eduardo Radziuk"},{"@attributes":{"c":"1"},"na":"Ana Rebelo"},{"@attributes":{"c":"2"},"na":"Marcus Costa Sampaio"},{"@attributes":{"c":"0"},"na":"Jos\u00e9 Fragoso Santos"},{"@attributes":{"c":"0"},"na":"Nuno Santos 0001"},{"@attributes":{"c":"2"},"na":"Jacques Philippe Sauv\u00e9"},{"@attributes":{"c":"3","n":"2"},"na":["Harm A. Tiddens","Harm A. W. M. Tiddens"]}]}}