João Fernando Peixoto Ferreira
AuthID: R-000-J08
31
TITLE: Towards Verified Handwritten Calculational Proofs
AUTHORS: Alexandra Mendes ; Joao F Ferreira;
PUBLISHED: 2018, SOURCE: 9th International Conference on Interactive Theorem Proving (ITP) Held as Part of the Federated Logic Conference (FloC) in INTERACTIVE THEOREM PROVING, ITP 2018, VOLUME: 10895
AUTHORS: Alexandra Mendes ; Joao F Ferreira;
PUBLISHED: 2018, SOURCE: 9th International Conference on Interactive Theorem Proving (ITP) Held as Part of the Federated Logic Conference (FloC) in INTERACTIVE THEOREM PROVING, ITP 2018, VOLUME: 10895
INDEXED IN: WOS DBLP
IN MY: DBLP
32
TITLE: GPS $$+$$ + : Reasoning About Fences and Relaxed Atomics
AUTHORS: Mengda He; Viktor Vafeiadis; Shengchao Qin; João F Ferreira;
PUBLISHED: 2018, SOURCE: Int. J. Parallel Program., VOLUME: 46, ISSUE: 6
AUTHORS: Mengda He; Viktor Vafeiadis; Shengchao Qin; João F Ferreira;
PUBLISHED: 2018, SOURCE: Int. J. Parallel Program., VOLUME: 46, ISSUE: 6
INDEXED IN: DBLP
IN MY: DBLP
33
TITLE: REQCAP: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems
AUTHORS: Ali Almohammad; Joao F Ferreira; Alexandra Mendes ; Phil White;
PUBLISHED: 2017, SOURCE: 25th IEEE International Requirements Engineering Conference Workshops (REW) in 2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW)
AUTHORS: Ali Almohammad; Joao F Ferreira; Alexandra Mendes ; Phil White;
PUBLISHED: 2017, SOURCE: 25th IEEE International Requirements Engineering Conference Workshops (REW) in 2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW)
34
TITLE: Visualization of Patient Behavior from Natural Language Recommendations
AUTHORS: Jonathan Siddle; Alan Lindsay; João F Ferreira; Julie Porteous; Jonathon Read; Fred Charles; Marc Cavazza; Gersende Georg;
PUBLISHED: 2017, SOURCE: 9th International Conference on Knowledge Capture, K-CAP 2017 in Proceedings of the Knowledge Capture Conference, K-CAP 2017, Austin, TX, USA, December 4-6, 2017
AUTHORS: Jonathan Siddle; Alan Lindsay; João F Ferreira; Julie Porteous; Jonathon Read; Fred Charles; Marc Cavazza; Gersende Georg;
PUBLISHED: 2017, SOURCE: 9th International Conference on Knowledge Capture, K-CAP 2017 in Proceedings of the Knowledge Capture Conference, K-CAP 2017, Austin, TX, USA, December 4-6, 2017
35
TITLE: Framer: Planning Models from Natural Language Action Descriptions
AUTHORS: Alan Lindsay; Jonathon Read; João F Ferreira; Thomas Hayton; Julie Porteous; Peter Gregory;
PUBLISHED: 2017, SOURCE: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017.
AUTHORS: Alan Lindsay; Jonathon Read; João F Ferreira; Thomas Hayton; Julie Porteous; Peter Gregory;
PUBLISHED: 2017, SOURCE: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017.
INDEXED IN: DBLP
IN MY: DBLP
36
TITLE: Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: 13th International Conference on Integrated Formal Methods, IFM 2017 in Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, VOLUME: 10510
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: 13th International Conference on Integrated Formal Methods, IFM 2017 in Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, VOLUME: 10510
INDEXED IN: Scopus DBLP
IN MY: DBLP
37
TITLE: An Adapted Double Threshold Protocol for Spastic Muscles
AUTHORS: Vieira, PM; Ferreira, JF; Gomes, PR ; Lima, CS;
PUBLISHED: 2016, SOURCE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC)
AUTHORS: Vieira, PM; Ferreira, JF; Gomes, PR ; Lima, CS;
PUBLISHED: 2016, SOURCE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC)
INDEXED IN: WOS DBLP
IN MY: DBLP
38
TITLE: Supporting Social Skills Rehabilitation with Virtual Storytelling
AUTHORS: Cindy Even; Anne Gwenn Bosser; João Fernando Ferreira; Cédric Buche; Florian Stéphan; Marc Cavazza; Christine L Lisetti;
PUBLISHED: 2016, SOURCE: Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016, Key Largo, Florida, May 16-18, 2016.
AUTHORS: Cindy Even; Anne Gwenn Bosser; João Fernando Ferreira; Cédric Buche; Florian Stéphan; Marc Cavazza; Christine L Lisetti;
PUBLISHED: 2016, SOURCE: Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016, Key Largo, Florida, May 16-18, 2016.
INDEXED IN: DBLP
IN MY: DBLP
39
TITLE: Structure Editing of Handwritten Mathematics: Improving the Computer Support for the Calculational Method
AUTHORS: Alexandra Mendes ; Roland Carl Backhouse; João Fernando Ferreira;
PUBLISHED: 2014, SOURCE: 9th ACM International Conference on Interactive Tabletops and Surfaces, ITS 2014 in Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces, ITS 2014, Dresden, Germany, November 16 - 19, 2014
AUTHORS: Alexandra Mendes ; Roland Carl Backhouse; João Fernando Ferreira;
PUBLISHED: 2014, SOURCE: 9th ACM International Conference on Interactive Tabletops and Surfaces, ITS 2014 in Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces, ITS 2014, Dresden, Germany, November 16 - 19, 2014
INDEXED IN: Scopus DBLP
IN MY: DBLP
40
TITLE: Automated verification of the FreeRTOS scheduler in Hip/Sleek
AUTHORS: João F Ferreira; Cristian Gherghina; Guanhua He; Shengchao Qin; Wei Ngan Chin;
PUBLISHED: 2014, SOURCE: STTT, VOLUME: 16, ISSUE: 4
AUTHORS: João F Ferreira; Cristian Gherghina; Guanhua He; Shengchao Qin; Wei Ngan Chin;
PUBLISHED: 2014, SOURCE: STTT, VOLUME: 16, ISSUE: 4
INDEXED IN: DBLP
IN MY: DBLP