المؤلفون: Sena, Luiz H., Bessa, Iury V., Gadelha, Mikhail R., Cordeiro, Lucas C., Mota, Edjard

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Machine Learning, Computer Science - Neural and Evolutionary Computing

URL الوصول: http://arxiv.org/abs/1907.12933

المؤلفون: Mendonca, Rafael S., da Silva, Mariélio, Ayres Jr., Florindo A. C., Bessa, Iury V., Medeiros, Renan L. P., Lucena Jr., Vicente F.

المصدر: Processes; Jan2025, Vol. 13 Issue 1, p136, 24p

مصطلحات موضوعية: DIGITAL twin, LEGACY systems, INDUSTRY 4.0, REGULATORY compliance, RETROFITTING

المؤلفون: Araújo, Rodrigo F., Ribeiro, Alexandre, Bessa, Iury V., Cordeiro, Lucas C., Filho, João E. C.

مصطلحات موضوعية: Computer Science - Robotics, Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/1708.04028

المؤلفون: de Mello, Daniel P. M., de Freitas, Mauro L., Cordeiro, Lucas C., Junior, Waldir S. S., de Bessa, Iury V., Filho, Eddie B. L., Clavier, Laurent

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Systems and Control

URL الوصول: http://arxiv.org/abs/1706.05088

المؤلفون: Araujo, Rodrigo F., Albuquerque, Higo F., de Bessa, Iury V., Cordeiro, Lucas C., Filho, Joao Edgar C.

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1704.03738

المؤلفون: da Rosa, William C., de Bessa, Iury V., Cordeiro, Lucas C.

مصطلحات موضوعية: Computer Science - Data Structures and Algorithms

URL الوصول: http://arxiv.org/abs/1610.04597

المؤلفون: Martins-Gomes, Marcus C., de C. Ayres Junior, Florindo A., da Costa Junior, Carlos T., de Bessa, Iury V., da S. Farias, Nei Junior, de Medeiros, Renan L.P., Silva, Luiz E.S., de Lucena Júnior, Vicente F.

المصدر: ISA Transactions; Oct2024, Vol. 153, p420-432, 13p

مصطلحات موضوعية: ROBUST control, UNCERTAIN systems, TRANSFER functions, CLOSED loop systems, IMPULSE response

المؤلفون: Chaves, Lennon C., Ismail, Hussama I., Bessa, Iury V., Cordeiro, Lucas, de Lima Filho, Eddie Batista

المصدر: Chaves , L C , Ismail , H I , Bessa , I V , Cordeiro , L & de Lima Filho , E B 2019 , ' Verifying Fragility in Digital Systems with Uncertainties using DSVerier v2:0 ' , The Journal of Systems and Software . https://doi.org/10.1016/j.jss.2019.03.015

مصطلحات موضوعية: xed-point digital controllers, formal methods, bounded model checking, system reliability, uncertainty

وصف الملف: application/pdf

الاتاحة: https://research.manchester.ac.uk/en/publications/c04fc6cb-c4b7-45dc-9bb8-49e8ed70c63f
https://doi.org/10.1016/j.jss.2019.03.015
https://pure.manchester.ac.uk/ws/files/87164884/jss2019.pdf

المؤلفون: Farias, Arllem O., Queiroz, Gabriel Alisson C., Bessa, Iury V., Medeiros, Renan Landau P., Cordeiro, Lucas, Palhares, Reinaldo

المصدر: Farias , A O , Queiroz , G A C , Bessa , I V , Medeiros , R L P , Cordeiro , L & Palhares , R 2018 , ' Sim3Tanks: A Benchmark Model Simulator for Process Control and Monitoring ' , IEEE Access . https://doi.org/10.1109/ACCESS.2018.2874752

الاتاحة: https://research.manchester.ac.uk/en/publications/7ab1668e-46bd-4a5e-8255-4db34924f269
https://doi.org/10.1109/ACCESS.2018.2874752

المؤلفون: Araújo, Rodrigo F., Albuquerque, Higo F., De Bessa, Iury V., Cordeiro, Lucas C., Chaves Filho, João E.

المصدر: Araújo , R F , Albuquerque , H F , De Bessa , I V , Cordeiro , L C & Chaves Filho , J E 2018 , ' Counterexample guided inductive optimization based on satisfiability modulo theories ' , Science of Computer Programming , vol. 165 , pp. 3-23 . https://doi.org/10.1016/j.scico.2017.10.004

وصف الملف: application/pdf

الاتاحة: https://research.manchester.ac.uk/en/publications/2a22d3a1-7a57-4fd4-833b-bcbfd19c82ab
https://doi.org/10.1016/j.scico.2017.10.004
https://pure.manchester.ac.uk/ws/files/77049019/jscp2017_2.pdf
https://linkinghub.elsevier.com/retrieve/pii/S0167642317302162

المؤلفون: Albuquerque, Higo F., Araújo, Rodrigo F., Bessa, Iury V., Cordeiro, Lucas C., De Lima Filho, Eddie B.

المصدر: Albuquerque , H F , Araújo , R F , Bessa , I V , Cordeiro , L C & De Lima Filho , E B 2017 , OptCE: A Counterexample-Guided Inductive Optimization Solver . in Brazilian Symposium on Formal Methods . Formal Methods: Foundations and Applications , vol. 10623 , pp. 125-141 . https://doi.org/10.1007/978-3-319-70848-5_9

وصف الملف: application/pdf

الاتاحة: https://research.manchester.ac.uk/en/publications/40b3554c-a192-4e01-aad2-e4680cfe206d
https://doi.org/10.1007/978-3-319-70848-5_9
https://pure.manchester.ac.uk/ws/files/77049311/sbmf2017.pdf
http://link.springer.com/10.1007/978-3-319-70848-5_9

المؤلفون: Matos Junior, Joao Batista Pereira, Manino, Edoardo, Song, Xidan, Bessa, Iury V, Cordeiro, Lucas C.

المصدر: Matos Junior , J B P , Manino , E , Song , X , Bessa , I V & Cordeiro , L C 2022 , Counter-Example Guided Neural Network Compression Refinement (CEG4N) . in 5th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS) .

الاتاحة: https://research.manchester.ac.uk/en/publications/48b064c1-e618-435d-a475-f7365f0f5fcf

المؤلفون: de Carvalho, Marenice M., Medeiros, Renan L. P., Bessa, Iury V., Junior, Florindo A. C., Lucas, Kevin E., Vaca, David A.

المصدر: 2019 IEEE 15th Brazilian Power Electronics Conference and 5th IEEE Southern Power Electronics Conference (COBEP/SPEC)

الاتاحة: http://dx.doi.org/10.1109/cobep/spec44138.2019.9065414
http://xplorestaging.ieee.org/ielx7/9062288/9065287/09065414.pdf?arnumber=9065414

المؤلفون: Sena, Luiz H, Bessa, Iury V, Gadelha, Mikhail R, Cordeiro, Lucas, Mota, Edjard

المصدر: Sena , L H , Bessa , I V , Gadelha , M R , Cordeiro , L & Mota , E 2019 , Incremental Bounded Model Checking of Artificial Neural Networks in CUDA . in IX Brazilian Symposium on Computing Systems Engineering . IX Brazilian Symposium on Computing Systems Engineering , Brazil , 19/11/19 .

الاتاحة: https://research.manchester.ac.uk/en/publications/05b2f734-1e32-47c1-90d7-cabd0824e6c6

المؤلفون: Araujo, Rodrigo F., Ribeiro, Alexandre, Bessa, Iury V., Cordeiro, Lucas C., Filho, Joao E. C.

المصدر: 2017 Latin American Robotics Symposium (LARS) and 2017 Brazilian Symposium on Robotics (SBR) ; page 1-6

الاتاحة: http://dx.doi.org/10.1109/sbr-lars-r.2017.8215336
http://xplorestaging.ieee.org/ielx7/8168942/8215260/08215336.pdf?arnumber=8215336

المؤلفون: Chaves, Lennon, Bessa, Iury V., Ismail, Hussama, dos Santos Frutuoso, Adriano Bruno, Cordeiro, Lucas, de Lima Filho, Eddie Batista

المساهمون: Brazilian agencies FAPEAM

المصدر: IEEE Transactions on Reliability ; volume 67, issue 4, page 1420-1441 ; ISSN 0018-9529 1558-1721

الاتاحة: http://dx.doi.org/10.1109/tr.2018.2873260
http://xplorestaging.ieee.org/ielx7/24/8552524/08506399.pdf?arnumber=8506399

المؤلفون: Ara��jo, Rodrigo F., Ribeiro, Alexandre, Bessa, Iury V., Cordeiro, Lucas C., Filho, Jo��o E. C.

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science::Robotics, Computer Science - Robotics, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Robotics (cs.RO)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f096e7751290b9d1b81c03108d0a4f81
http://arxiv.org/abs/1708.04028

المؤلفون: Ismail, Hussama I., Bessa, Iury V., Cordeiro, Lucas C., de Lima Filho, Eddie B., Chaves Filho, Joao E.

المصدر: Ismail , H I , Bessa , I V , Cordeiro , L C , de Lima Filho , E B & Chaves Filho , J E 2015 , DSVerifier: A Bounded Model Checking Tool for Digital Systems . in MODEL CHECKING SOFTWARE, SPIN 2015 . vol. 9232 , Lecture Notes in Computer Science , pp. 126-131 . https://doi.org/10.1007/978-3-319-23404-5_9

الاتاحة: https://research.manchester.ac.uk/en/publications/7b04b11f-2a35-42a6-88c6-ee829ee47c3c
https://doi.org/10.1007/978-3-319-23404-5_9

المؤلفون: Bessa, Iury V., Ismail, Hussama I., Cordeiro, Lucas C., Filho, Joao E. C.

المصدر: Bessa , I V , Ismail , H I , Cordeiro , L C & Filho , J E C 2016 , ' Verification of fixed-point digital controllers using direct and delta forms realizations ' , Design Automation for Embedded Systems , vol. 20 , no. 2 , pp. 95-126 . https://doi.org/10.1007/s10617-016-9173-5

مصطلحات موضوعية: Fixed-point digital controllers, Direct and delta forms, Formal methods, Bounded model checking

الاتاحة: https://research.manchester.ac.uk/en/publications/e760a4cd-48bc-4d1a-a8d9-382406941a2d
https://doi.org/10.1007/s10617-016-9173-5