Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach
Lourenco, Claudio Belo, Frade, M. J., Pinto, Jorge Sousa
Published in Programming Languages and Systems (2016)
Published in Programming Languages and Systems (2016)
Get full text
Book Chapter
Conference Proceeding
Complex sacral fracture
Alves, José Luís, Duarte, Nubélio, Rocha, Armando, Frade, Maria João
Published in BMJ case reports (03.09.2013)
Published in BMJ case reports (03.09.2013)
Get full text
Journal Article
A Bounded Model Checker for SPARK Programs
Lourenço, Cláudio Belo, Frade, M. J., Pinto, Jorge Sousa
Published in Automated Technology for Verification and Analysis (2014)
Published in Automated Technology for Verification and Analysis (2014)
Get full text
Book Chapter
Conference Proceeding
A Generalized Program Verification Workflow Based on Loop Elimination and SA Form
Belo Lourenco, Claudio, Frade, Maria Joao, Sousa Pinto, Jorge
Published in 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2019)
Published in 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2019)
Get full text
Conference Proceeding
Cerebellar abscess by Gemella morbillorum in a patient with inter-atrial communication Abscesso cerebelar por Gemella morbillorum em paciente com comunicação inter-atrial
Armando Lopes, Rui Providencia, Rui Pedro Pais, Maria João Frade, Feres Chaddad Neto, Evandro de Oliveira
Published in Arquivos de neuro-psiquiatria (01.12.2007)
Published in Arquivos de neuro-psiquiatria (01.12.2007)
Get full text
Journal Article
Foundational certification of data-flow analyses
Frade, M.J., Saabas, A., Uustalu, T.
Published in First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) (01.06.2007)
Published in First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) (01.06.2007)
Get full text
Conference Proceeding
Complex sacral fracture
Alves, José Luís, Duarte, Nubélio, Rocha, Armando, Frade, Maria João
Published in BMJ Case Reports (03.09.2013)
Published in BMJ Case Reports (03.09.2013)
Get full text
Report
Intro
Almeida, José Bacelar, Pinto, Jorge Sousa, Frade, Maria João, Melo de Sousa, Simão
Published in Rigorous Software Development (2011)
Get full text
Published in Rigorous Software Development (2011)
Book Chapter
Intro
Almeida, José Bacelar, Pinto, Jorge Sousa, Frade, Maria João, Melo De Sousa, Simao
Published in Rigorous Software Development (2011)
Get full text
Published in Rigorous Software Development (2011)
Book Chapter
Introduction
Almeida, José Bacelar, Pinto, Jorge Sousa, Frade, Maria João, Melo De Sousa, Simao
Published in Rigorous Software Development (2011)
Get full text
Published in Rigorous Software Development (2011)
Book Chapter
Introduction
Almeida, José Bacelar, Pinto, Jorge Sousa, Frade, Maria João, Melo de Sousa, Simão
Published in Rigorous Software Development (2011)
Get full text
Published in Rigorous Software Development (2011)
Book Chapter
Introduction
Almeida, José Bacelar, Pinto, Jorge Sousa, Frade, Maria João, Melo de Sousa, Simão
Published in Rigorous Software Development (2011)
Get full text
Published in Rigorous Software Development (2011)
Book Chapter
Intro
Almeida, José Bacelar, Pinto, Jorge Sousa, Frade, Maria João, Melo de Sousa, Simão
Published in Rigorous Software Development (2011)
Get full text
Published in Rigorous Software Development (2011)
Book Chapter
Introduction
Almeida, José Bacelar, Frade, Maria João, Pinto, Jorge Sousa, Melo de Sousa, Simão
Published in Rigorous Software Development (2011)
Published in Rigorous Software Development (2011)
Get full text
Book Chapter