Simultaneous state and input estimation of hybrid systems with unknown inputs. - Luís Pina; Miguel Ayala Botto (Autom., 2006)

Dealing with Uncertainty in the Hybrid World. - Luís Pina; Miguel Ayala Botto (ICINCO-ICSO, 2008)

Profiling and tuning the performance of an STM-based concurrent program. - Luís Pina; João P. Cachopo (SPLASH Workshops, 2011)

Atomic Dynamic Upgrades using software transactional memory. - Luís Pina; João P. Cachopo (HotSWUp, 2012)

Rubah: Efficient, General-purpose Dynamic Software Updating for Java. - Luís Pina; Michael Hicks 001 (HotSWUp, 2013)

Rubah: DSU for Java on a stock JVM. - Luís Pina; Luís Veiga; Michael W. Hicks (OOPSLA, 2014)

Towards deployment-time dynamic analysis of server applications. - Luís Pina; Cristian Cadar (WODA@SPLASH, 2015)

Tedsuto: A General Framework for Testing Dynamic Software Updates. - Luís Pina; Michael Hicks 001 (ICST, 2016)

A DSL Approach to Reconcile Equivalent Divergent Program Executions. - Luís Pina; Daniel Grumberg; Anastasios Andronidis; Cristian Cadar (USENIX ATC, 2017)

FreeDA: deploying incompatible stock dynamic analyses in production via multi-version execution. - Luís Pina; Anastasios Andronidis; Cristian Cadar (CF, 2018)

CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs. - Jonathan Bell 001; Luís Pina (ECOOP, 2018)

MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution. - Luís Pina; Anastasios Andronidis; Michael Hicks 001; Cristian Cadar (ASPLOS, 2019)

Dynamic Software Updates for Unmodified Browsers through Multi-Version Execution. - Siddhanth Venkateshwaran; Ellen Kidane; Luís Pina (CoRR, 2021)

Reproducibility in Computational Linguistics: Is Source Code Enough? - Mohammad Arvan; Luís Pina; Natalie Parde (EMNLP, 2022)

CONFETTI: Amplifying Concolic Guidance for Fuzzers. - James Kukucka; Luís Pina; Paul Ammann; Jonathan Bell 001 (ICSE, 2022)

SaBRe: load-time selective binary rewriting. - Paul-Antoine Arras; Anastasios Andronidis; Luís Pina; Karolis Mituzas; Qianyi Shu; Daniel Grumberg; Cristian Cadar (Int. J. Softw. Tools Technol. Transf., 2022)

Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution. - Ugnius Rumsevicius; Siddhanth Venkateshwaran; Ellen Kidane; Luís Pina (ECOOP, 2023)

Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution (Artifact). - Ugnius Rumsevicius; Siddhanth Venkateshwaran; Ellen Kidane; Luís Pina (Dagstuhl Artifacts Ser., 2023)

An Empirical Examination of Fuzzer Mutator Performance. - James Kukucka; Luís Pina; Paul Ammann; Jonathan Bell 001 (ISSTA, 2024)

Long-Range Bird Species Identification Using Directional Microphones and CNNs. - Tiago Garcia; Luís Pina; Magnus Robb; Jorge Maria; Roel May; Ricardo Oliveira (Mach. Learn. Knowl. Extr., 2024)

Jmvx: Fast Multi-threaded Multi-version Execution and Record-Replay for Managed Languages. - David Schwartz; Ankith Kowshik; Luís Pina (Proc. ACM Program. Lang., 2024)