default search action

combined dblp search
author search
venue search
publication search

ask others

Mário Pereira

Mário José Parreira Pereira

> Home > Persons

Person information

affiliation: Universidade Nova de Lisboa, 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
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Pereira24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Pereira24
Mário Pereira:
Practical Deductive Verification of OCaml Programs. FM (2) 2024: 518-542
[i12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-17901
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-17901
Mário Pereira:
The Theory and Practice of Deductive Verification of OCaml Programs. CoRR abs/2404.17901 (2024)
[i11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-17289
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-17289
Tiago Lopes Soares, Ion Chirica, Mário Pereira:
Static and Dynamic Verification of OCaml Programs: The Gospel Ecosystem (Extended Version). CoRR abs/2407.17289 (2024)
2023
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/GondelmanHPTB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/GondelmanHPTB23
Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, Lars Birkedal:
Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols. Proc. ACM Program. Lang. 7(ICFP): 847-877 (2023)
[i10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-01265
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-01265
Tiago Soares, Mário Pereira:
A Framework for the Automated Verification of Algebraic Effects and Handlers (extended version). CoRR abs/2302.01265 (2023)
2022
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BarrosoPR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BarrosoPR22
Pedro Barroso, Mário Pereira, António Ravara:
Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable. VSTTE 2022: 20-32
[i9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-09854
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-09854
Daniel Castanho, Mário Pereira:
Auto-active Verification of Graph Algorithms, Written in OCaml. CoRR abs/2207.09854 (2022)
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-02425
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-02425
Pedro Barroso, Mário Pereira, António Ravara:
Leroy and Blazy were right: their memory model soundness proof is automatable (Extended Version). CoRR abs/2212.02425 (2022)
2021
[c11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/PereiraR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/PereiraR20
Mário Pereira, António Ravara:
Cameleer: A Deductive Verification Tool for OCaml. CAV (2) 2021: 677-689
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/2021
Cristiano D. Vasconcellos, Karina Girardi Roggia, Paulo Bousfield, Vanessa Collereii, João Paulo Fernandes, Mário Pereira:
SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021. ACM 2021, ISBN 978-1-4503-9062-0 [contents]
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-04828
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-04828
Sreeja Nair, Filipe Meirim, Mário Pereira, Carla Ferreira, Marc Shapiro:
A coordination-free, convergent, and safe replicated tree. CoRR abs/2103.04828 (2021)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-11050
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-11050
Mário Pereira, António Ravara:
Cameleer: a Deductive Verification Tool for OCaml. CoRR abs/2104.11050 (2021)
2020
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/blockchain2/HortaRSP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/blockchain2/HortaRSP20
Luís Pedro Arrojado da Horta, João Santos Reis, Simão Melo de Sousa, Mário Pereira:
A tool for proving Michelson Smart Contracts in WHY3^*. Blockchain 2020: 409-414
[c9]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cade/BarrosoPR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BarrosoPR20
Pedro Barroso, Mário Pereira, António Ravara:
Animated Logic: Correct Functional Conversion to Conjunctive Normal Form. PAAR+SC²@IJCAR 2020: 1-20
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-05081
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-05081
Pedro Barroso, Mário Pereira, António Ravara:
Animated Logic: Correct Functional Conversion to Conjunctive Normal Form. CoRR abs/2003.05081 (2020)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-14650
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-14650
Luís Pedro Arrojado da Horta, João Santos Reis, Mário Pereira, Simão Melo de Sousa:
WhylSon: Proving your Michelson Smart Contracts in Why3. CoRR abs/2005.14650 (2020)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-06622
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-06622
Filipe Meirim, Mário Pereira, Carla Ferreira:
CISE3: Verifying Weakly Consistent Applications with Why3. CoRR abs/2010.06622 (2020)

2010 – 2019

see FAQ

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

2019
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cibcb/PintoPRSC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cibcb/PintoPRSC19
Marta Pinto, Mário Pereira, Diana Raposo, Marco Simões, Miguel Castelo-Branco:
GameAAL - an AAL solution based on Gamification and Machine Learning Techniques. CIBCB 2019: 1-4
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ChargueraudFLP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ChargueraudFLP19
Arthur Charguéraud, Jean-Christophe Filliâtre, Cláudio Lourenço, Mário Pereira:
GOSPEL - Providing OCaml with a Formal Specification Language. FM 2019: 484-501
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-08368
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-08368
Mário Pereira:
Desfuncionalizar para Provar. CoRR abs/1905.08368 (2019)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-03721
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-03721
Filipe Meirim, Mário Pereira, Carla Ferreira:
CISE3: Verificação de aplicações com consistência fraca em Why3. CoRR abs/1909.03721 (2019)
2018
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - phd/hal/Pereira18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Pereira18
Mário José Parreira Pereira:
Tools and Techniques for the Verification of Modular Stateful Code. (Outils et techniques pour la vérification de programmes impératives modulaires). University of Paris-Saclay, France, 2018
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ClochardGP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ClochardGP18
Martin Clochard, Léon Gondelman, Mário Pereira:
The Matrix Reproved (Verification Pearl). J. Autom. Reason. 60(3): 365-383 (2018)
2016
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/FilliatreP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/FilliatreP16
Jean-Christophe Filliâtre, Mário Pereira:
A Modular Way to Reason About Iteration. NFM 2016: 322-336
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/FilliatreP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/FilliatreP16
Jean-Christophe Filliâtre, Mário Pereira:
Producing All Ideals of a Forest, Formally (Verification Pearl). VSTTE 2016: 46-55
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/ClochardGP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/ClochardGP16
Martin Clochard, Léon Gondelman, Mário Pereira:
The Matrix Reproved (Verification Pearl). VSTTE 2016: 107-118
2015
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/wuwnet/TeixeiraSPPCR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wuwnet/TeixeiraSPPCR15
Filipe Teixeira, José Santos, Luís M. Pessoa, Mário Pereira, Rui Campos, Manuel Ricardo:
Evaluation of Underwater IEEE 802.11 Networks at VHF and UHF Frequency Bands using Software Defined Radios. WUWNet 2015: 16:1-16:5
2014
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/PereiraS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/PereiraS14
Mário Pereira, Simão Melo de Sousa:
Complexity checking of ARM programs, by deduction. SAC 2014: 1309-1314
[c1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/PereiraAF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PereiraAF15
Mário Pereira, Sandra Alves, Mário Florido:
Liquid Intersection Types. ITRS 2014: 24-42

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.