index.json

[{"authors":null,"categories":null,"content":"I am Lecturer at Centro de Informática (CIn) of the Universidade Federal de Pernambuco (UFPE), Brazil. My main research interest is on Software Engineering, with emphasis on tests and formal methods.\n","date":-62135596800,"expirydate":-62135596800,"kind":"term","lang":"en","lastmod":-62135596800,"objectID":"2525497d367e79493fd32b198b28f040","permalink":"https://ghpc.github.io/author/gustavo-carvalho/","publishdate":"0001-01-01T00:00:00Z","relpermalink":"/author/gustavo-carvalho/","section":"authors","summary":"I am Lecturer at Centro de Informática (CIn) of the Universidade Federal de Pernambuco (UFPE), Brazil. My main research interest is on Software Engineering, with emphasis on tests and formal methods.","tags":null,"title":"Gustavo Carvalho","type":"authors"},{"authors":["Lucas Maciel","Alice Oliveira","Riei Rodrigues","Williams Santiago","Andresa Silva","Gustavo Carvalho","Breno Miranda"],"categories":[],"content":"","date":1640995200,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678738370,"objectID":"555b1ac807772cbc819aebe12b99d903","permalink":"https://ghpc.github.io/publication/carvalho-sms-robotic-mobile-testing/","publishdate":"2023-03-13T20:12:50.579306Z","relpermalink":"/publication/carvalho-sms-robotic-mobile-testing/","section":"publication","summary":"","tags":[],"title":"A Systematic Mapping Study on Robotic Testing of Mobile Devices","type":"publication"},{"authors":["Ana Cavalcanti","Will Barnett","James Baxter","Gustavo Carvalho","Madiel Conserva Filho","Alvaro Miyazawa","Pedro Ribeiro","Augusto Sampaio"],"categories":[],"content":"","date":1609459200,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678738271,"objectID":"fc795f58f9687459e2990113c0fc9a00","permalink":"https://ghpc.github.io/publication/cavalcanti-2021/","publishdate":"2023-03-13T20:11:10.927773Z","relpermalink":"/publication/cavalcanti-2021/","section":"publication","summary":"","tags":[],"title":"RoboStar Technology: A Roboticist's Toolbox for Combined Proof, Simulation, and Testing","type":"publication"},{"authors":["Ana Cavalcanti","James Baxter","Gustavo Carvalho"],"categories":[],"content":"","date":1609459200,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678738419,"objectID":"71655462f2316f7d7b3f093aa11b5d7a","permalink":"https://ghpc.github.io/publication/cavalcanti-sefm-2021/","publishdate":"2023-03-13T20:13:39.011533Z","relpermalink":"/publication/cavalcanti-sefm-2021/","section":"publication","summary":"","tags":[],"title":"RoboWorld: Where Can My Robot Work?","type":"publication"},{"authors":["Gustavo Carvalho","Igor Meira"],"categories":[],"content":"","date":1609459200,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678738271,"objectID":"46055f74764193162e5306cf9c28d5ca","permalink":"https://ghpc.github.io/publication/carvalho-nat-2-test-coq-scp/","publishdate":"2023-03-13T20:11:11.156148Z","relpermalink":"/publication/carvalho-nat-2-test-coq-scp/","section":"publication","summary":"","tags":[],"title":"Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements","type":"publication"},{"authors":[],"categories":[],"content":"In this project, we are developing a CNL for supporting the specification of test cases of mobile devices, which are performed with the aid of robotic arms. This project involves confidential information, which cannot be revealed at this moment.\n","date":1604237445,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1604237445,"objectID":"03948de5babda2cef84458994070eb78","permalink":"https://ghpc.github.io/project/robotictesting/","publishdate":"2020-11-01T10:30:45-03:00","relpermalink":"/project/robotictesting/","section":"project","summary":"In this project, we are developing a CNL for supporting the specification of test cases of mobile devices, which are performed with the aid of robotic arms.","tags":[],"title":"Robotic Mobile Testing","type":"project"},{"authors":[],"categories":[],"content":"RoboWorld is a controlled natural language (CNL) for the specification of environment and platform assumptions with a precise semantics in the context of the RoboStar technology.\nThe CNL is being defined using the Grammatical Framework. The formal semantics of the CNL is given using the process algebra CSP (Communicating Sequential Processes), which is automatically derived from the textual specification.\nIn what follows, one can read some sentences that can be written in the CNL:\nThe initial orientation of the robot is towards the target. The nest has an x-width of 0.25 m and a y-width of 0.25 m. The distance from the nest to the source is greater than 1 m. Some locations, except the source and the nest, contain 2 obstacles. ","date":1604237433,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1604237433,"objectID":"97a78969561bbd099f8586eb6a2e3bd4","permalink":"https://ghpc.github.io/project/roboworld/","publishdate":"2020-11-01T10:30:33-03:00","relpermalink":"/project/roboworld/","section":"project","summary":"RoboWorld is a controlled natural language (CNL) for the specification of environment and platform assumptions with a precise semantics in the context of the RoboStar technology.","tags":[],"title":"Roboworld","type":"project"},{"authors":[],"categories":[],"content":"","date":1604236735,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1604236735,"objectID":"a62fade1109662e01035baf7a4e9a070","permalink":"https://ghpc.github.io/project/nat2test/","publishdate":"2020-11-01T10:18:55-03:00","relpermalink":"/project/nat2test/","section":"project","summary":"Supports automatic generation of test cases for timed reactive systems from controlled natural-language requirements, using different formalisms, techniques and tools.","tags":[],"title":"NAT2TEST","type":"project"},{"authors":["Bruno Cesar F. Silva","Gustavo Carvalho","Augusto Sampaio"],"categories":[],"content":"","date":1546300800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678738271,"objectID":"2d0b787c64620d7c4cf98d88faff0814","permalink":"https://ghpc.github.io/publication/carvalho-nat-2-test-cpn-scp/","publishdate":"2023-03-13T20:11:11.379464Z","relpermalink":"/publication/carvalho-nat-2-test-cpn-scp/","section":"publication","summary":"","tags":[],"title":"CPN simulation-based test case generation from controlled natural-language requirements","type":"publication"},{"authors":["Hugo Araujo","Gustavo Carvalho","Mohammad Reza Mousavi","Augusto Sampaio"],"categories":[],"content":"","date":1546300800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678738272,"objectID":"0e49f18afb7946f70c109c558413d98a","permalink":"https://ghpc.github.io/publication/carvalho-cps-search-sefm/","publishdate":"2023-03-13T20:11:12.38102Z","relpermalink":"/publication/carvalho-cps-search-sefm/","section":"publication","summary":"","tags":[],"title":"Multi-objective Search for Effective Testing of Cyber-Physical Systems","type":"publication"},{"authors":["Tainã Santos","Gustavo Carvalho","Augusto Sampaio"],"categories":[],"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678738272,"objectID":"50fd55d30455ba7f066d9f0cd9b67b48","permalink":"https://ghpc.github.io/publication/carvalho-nat-2-test-environment-sbmf/","publishdate":"2023-03-13T20:11:12.62038Z","relpermalink":"/publication/carvalho-nat-2-test-environment-sbmf/","section":"publication","summary":"","tags":[],"title":"Formal Modelling of Environment Restrictions from Natural-Language Requirements","type":"publication"},{"authors":["Hugo Araujo","Gustavo Carvalho","Morteza Mohaqeqi","Mohammad Reza Mousavi","Augusto Sampaio"],"categories":[],"content":"","date":1514764800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678738271,"objectID":"81bbdf2d352657c5bd47efcaceab99e4","permalink":"https://ghpc.github.io/publication/carvalho-cps-conftesting-scp/","publishdate":"2023-03-13T20:11:11.623637Z","relpermalink":"/publication/carvalho-cps-conftesting-scp/","section":"publication","summary":"","tags":[],"title":"Sound conformance testing for cyber-physical systems: Theory and implementation","type":"publication"},{"authors":["H. Araujo","G. Carvalho","A. Sampaio","M. R. Mousavi","M. Taromirad"],"categories":[],"content":"","date":1488326400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678738273,"objectID":"ad5ec072bd35f154e8d4c62c6a4f18a6","permalink":"https://ghpc.github.io/publication/carvalho-cps-process-icstw/","publishdate":"2023-03-13T20:11:13.670779Z","relpermalink":"/publication/carvalho-cps-process-icstw/","section":"publication","summary":"","tags":[],"title":"A Process for Sound Conformance Testing of Cyber-Physical Systems","type":"publication"},{"authors":["Thomas Gibson-Robinson","Guy Broadfoot","Gustavo Carvalho","Philippa Hopcroft","Gavin Lowe","Sidney Nogueira","Colin O'Halloran","Augusto Sampaio"],"categories":[],"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678738273,"objectID":"0f3b7f9cd5e2f743f715555cbf0d901b","permalink":"https://ghpc.github.io/publication/carvalho-fdr-industry-roscoe/","publishdate":"2023-03-13T20:11:12.981859Z","relpermalink":"/publication/carvalho-fdr-industry-roscoe/","section":"publication","summary":"","tags":[],"title":"FDR: From Theory to Industrial Application","type":"publication"},{"authors":["B. Oliveira","G. Carvalho","M. R. Mousavi","A. Sampaio"],"categories":[],"content":"","date":1483228800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678738273,"objectID":"598256a52ece2e31470adc4b666c19fe","permalink":"https://ghpc.github.io/publication/carvalho-hnat-2-test-case/","publishdate":"2023-03-13T20:11:13.313676Z","relpermalink":"/publication/carvalho-hnat-2-test-case/","section":"publication","summary":"","tags":[],"title":"Simulation of hybrid systems from natural-language requirements","type":"publication"},{"authors":["Gustavo Carvalho","Ana Cavalcanti","Augusto Sampaio"],"categories":[],"content":"","date":1472688000,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678738272,"objectID":"5c83956ceb64c0747884c2e14affd36d","permalink":"https://ghpc.github.io/publication/carvalho-dfrs-faoc/","publishdate":"2023-03-13T20:11:11.865714Z","relpermalink":"/publication/carvalho-dfrs-faoc/","section":"publication","summary":"","tags":[],"title":"Modelling timed reactive systems from natural-language requirements","type":"publication"},{"authors":["Sérgio Barza","Gustavo Carvalho","Juliano Iyoda","Augusto Sampaio","Alexandre Mota","Flávia Barros"],"categories":[],"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678738274,"objectID":"c5e780e22eddaf645d0081b59e868241","permalink":"https://ghpc.github.io/publication/carvalho-requirements-modelchecking-sbmf/","publishdate":"2023-03-13T20:11:13.989398Z","relpermalink":"/publication/carvalho-requirements-modelchecking-sbmf/","section":"publication","summary":"","tags":[],"title":"Model Checking Requirements","type":"publication"},{"authors":["Bruno Cesar F. Silva","Gustavo Carvalho","Augusto Sampaio"],"categories":[],"content":"","date":1451606400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678738274,"objectID":"eabcd996be211ec6aec8c59027d3bb98","permalink":"https://ghpc.github.io/publication/carvalho-nat-2-test-cpn-sbmf/","publishdate":"2023-03-13T20:11:14.339321Z","relpermalink":"/publication/carvalho-nat-2-test-cpn-sbmf/","section":"publication","summary":"","tags":[],"title":"Test Case Generation from Natural Language Requirements Using CPN Simulation","type":"publication"},{"authors":["Gustavo Carvalho","Flávia Barros","Ana Carvalho","Ana Cavalcanti","Alexandre Mota","Augusto Sampaio"],"categories":[],"content":"","date":1420070400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678738275,"objectID":"1fd44cba400086ebb58e6f1947fdeca2","permalink":"https://ghpc.github.io/publication/carvalho-nat-2-test-tool-sefm/","publishdate":"2023-03-13T20:11:14.696409Z","relpermalink":"/publication/carvalho-nat-2-test-tool-sefm/","section":"publication","summary":"","tags":[],"title":"NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP","type":"publication"},{"authors":["Gustavo Carvalho","Ana Carvalho","Eduardo Rocha","Ana Cavalcanti","Augusto Sampaio"],"categories":[],"content":"","date":1388534400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678738275,"objectID":"fe0e3d5efd37bd6f4aa255128ebc1adf","permalink":"https://ghpc.github.io/publication/carvalho-dfrs-icfem/","publishdate":"2023-03-13T20:11:15.025007Z","relpermalink":"/publication/carvalho-dfrs-icfem/","section":"publication","summary":"","tags":[],"title":"A Formal Model for Natural-Language Timed Requirements of Reactive Systems","type":"publication"},{"authors":["Gustavo Carvalho","Flávia Barros","Florian Lapschies","Uwe Schulze","Jan Peleska"],"categories":[],"content":"","date":1388534400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678738275,"objectID":"d9e68300d88b793ad358c98f265892cd","permalink":"https://ghpc.github.io/publication/carvalho-nat-2-test-imr-icfem/","publishdate":"2023-03-13T20:11:15.331288Z","relpermalink":"/publication/carvalho-nat-2-test-imr-icfem/","section":"publication","summary":"","tags":[],"title":"Model-Based Testing from Controlled Natural Language Requirements","type":"publication"},{"authors":[],"categories":[],"content":"","date":1388534400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678738272,"objectID":"4a25c36edbe6ef84984223227865fe62","permalink":"https://ghpc.github.io/publication/carvalho-nat-2-test-scr-scp/","publishdate":"2023-03-13T20:11:12.136178Z","relpermalink":"/publication/carvalho-nat-2-test-scr-scp/","section":"publication","summary":"","tags":[],"title":"NAT2TEST$_SCR$: Test case generation from natural language requirements based on SCR specifications","type":"publication"},{"authors":["Gustavo Carvalho","Augusto Sampaio","Alexandre Mota"],"categories":[],"content":"","date":1356998400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678738275,"objectID":"d618f287e2ced50fe2d0d6fd60705c68","permalink":"https://ghpc.github.io/publication/carvalho-nat-2-test-cspio-icfem/","publishdate":"2023-03-13T20:11:15.596065Z","relpermalink":"/publication/carvalho-nat-2-test-cspio-icfem/","section":"publication","summary":"","tags":[],"title":"A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification","type":"publication"},{"authors":["Gustavo Carvalho","Diogo Falcão","Flávia Barros","Augusto Sampaio","Alexandre Mota","Leonardo Motta","Mark Blackburn"],"categories":[],"content":"","date":1356998400,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678738276,"objectID":"278983f29320ea760c8db2e7719ceba5","permalink":"https://ghpc.github.io/publication/carvalho-nat-2-test-scr-sac/","publishdate":"2023-03-13T20:11:15.880713Z","relpermalink":"/publication/carvalho-nat-2-test-scr-sac/","section":"publication","summary":"","tags":[],"title":"Test Case Generation from Natural Language Requirements Based on SCR Specifications","type":"publication"},{"authors":["Gustavo Carvalho","Rafael Cabral","Alexandre Mota"],"categories":[],"content":"","date":1325376000,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678738276,"objectID":"3e9af6ff020871710683c5da072659b9","permalink":"https://ghpc.github.io/publication/carvalho-assembly-csp/","publishdate":"2023-03-13T20:11:16.672526Z","relpermalink":"/publication/carvalho-assembly-csp/","section":"publication","summary":"","tags":[],"title":"A Formal Analysis of Concurrent Assembly Code based on CSP","type":"publication"},{"authors":["Gustavo Carvalho","Diogo Falcão","Alexandre Mota","Augusto Sampaio"],"categories":[],"content":"","date":1325376000,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678738276,"objectID":"839a3484ad96fb2b2fd44b8ac976e307","permalink":"https://ghpc.github.io/publication/carvalho-nat-2-test-cspsharp-sbmf/","publishdate":"2023-03-13T20:11:16.393793Z","relpermalink":"/publication/carvalho-nat-2-test-cspsharp-sbmf/","section":"publication","summary":"","tags":[],"title":"A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications","type":"publication"},{"authors":["Ling Shi","Yang Liu","Jun Sun","Jin Song Dong","Gustavo Carvalho"],"categories":[],"content":"","date":1325376000,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678738276,"objectID":"30a087fc68a198d5430a8fc493f92ff0","permalink":"https://ghpc.github.io/publication/carvalho-cspm-cspsharp-icfem/","publishdate":"2023-03-13T20:11:16.17281Z","relpermalink":"/publication/carvalho-cspm-cspsharp-icfem/","section":"publication","summary":"","tags":[],"title":"An Analytical and Experimental Comparison of CSP Extensions and Tools","type":"publication"},{"authors":["Gustavo Carvalho","Tarciana Dias","Alexandre Mota","Augusto Sampaio"],"categories":[],"content":"","date":1293840000,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1678738277,"objectID":"b00272fe2d283df89f1c2477074863be","permalink":"https://ghpc.github.io/publication/carvalho-cspm-cspsharp-sbmf/","publishdate":"2023-03-13T20:11:16.975298Z","relpermalink":"/publication/carvalho-cspm-cspsharp-sbmf/","section":"publication","summary":"","tags":[],"title":"Analytical Comparison of Refinement Checkers","type":"publication"},{"authors":null,"categories":null,"content":"","date":-62135596800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":-62135596800,"objectID":"2821606b10cb7eb090ad943e11fa38f4","permalink":"https://ghpc.github.io/appointments/","publishdate":"0001-01-01T00:00:00Z","relpermalink":"/appointments/","section":"","summary":"","tags":null,"title":"Appointments","type":"widget_page"},{"authors":null,"categories":null,"content":"","date":-62135596800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":-62135596800,"objectID":"e125230e6a13b086f80d08ff54bb980c","permalink":"https://ghpc.github.io/awards/","publishdate":"0001-01-01T00:00:00Z","relpermalink":"/awards/","section":"","summary":"","tags":null,"title":"Awards","type":"widget_page"},{"authors":null,"categories":null,"content":"","date":-62135596800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":-62135596800,"objectID":"6087c0ef875554f4409ac52928d79279","permalink":"https://ghpc.github.io/projects/","publishdate":"0001-01-01T00:00:00Z","relpermalink":"/projects/","section":"","summary":"","tags":null,"title":"Projects","type":"widget_page"},{"authors":null,"categories":null,"content":"","date":-62135596800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":-62135596800,"objectID":"0683f5804634b3020a9e3219fd1f3789","permalink":"https://ghpc.github.io/service/","publishdate":"0001-01-01T00:00:00Z","relpermalink":"/service/","section":"","summary":"","tags":null,"title":"Service","type":"widget_page"},{"authors":null,"categories":null,"content":"","date":-62135596800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":-62135596800,"objectID":"2c3c13cae3998e6ddfbc329b77b6f341","permalink":"https://ghpc.github.io/supervision/","publishdate":"0001-01-01T00:00:00Z","relpermalink":"/supervision/","section":"","summary":"","tags":null,"title":"Supervision","type":"widget_page"},{"authors":null,"categories":null,"content":"","date":-62135596800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":-62135596800,"objectID":"322dbaccf72a6d71f827fdb2866be935","permalink":"https://ghpc.github.io/teaching/","publishdate":"0001-01-01T00:00:00Z","relpermalink":"/teaching/","section":"","summary":"","tags":null,"title":"Teaching","type":"widget_page"}]