Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Raimundo S. Barreto

Raimundo da Silva Barreto

> Home > Persons

Person information

affiliation: Federal University of Amazonas, Manaus, Brazil

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

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

2024
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/esl/AlencarBOS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/esl/AlencarBOS24
Marcio Aurelio dos Santos Alencar, Raimundo S. Barreto, Horácio A. B. F. Oliveira, Eduardo Souto:
Embedded Restricted Boltzmann Machine Approach for Adjustments of Repetitive Physical Activities Using IMU Data. IEEE Embed. Syst. Lett. 16(2): 102-105 (2024)
2023
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/iotj/AssayagOSBP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iotj/AssayagOSBP23
Yuri Assayag, Horacio A. B. F. de Oliveira, Eduardo Souto, Raimundo S. Barreto, Richard Werner Nelem Pazzi:
Adaptive Path Loss Model for BLE Indoor Positioning System. IEEE Internet Things J. 10(14): 12898-12907 (2023)
[j18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsan/AlencarBSO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsan/AlencarBSO23
Marcio Aurelio dos Santos Alencar, Raimundo S. Barreto, Eduardo Souto, Horacio A. B. F. de Oliveira:
An Online Method for Supporting and Monitoring Repetitive Physical Activities Based on Restricted Boltzmann Machines. J. Sens. Actuator Networks 12(5): 70 (2023)
2021
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/AssayagOSBP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/AssayagOSBP21
Yuri Assayag, Horacio A. B. F. de Oliveira, Eduardo Souto, Raimundo S. Barreto, Richard W. Pazzi:
Indoor Positioning System Using Synthetic Training and Data Fusion. IEEE Access 9: 115687-115699 (2021)
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/rbie/MonteiroLB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rbie/MonteiroLB21
Edwin Juan Lopes Barboza Monteiro, Gabriel de Souza Leitão, Raimundo da Silva Barreto:
Um Método Baseado na Teoria da Resposta ao Item para Avaliação e Feedback Automático no Contexto de Educação Digital. Revista Brasileira de Informática na Educ. 29: 746-774 (2021)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/vlc/SilvaVCB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlc/SilvaVCB21
Edson de Araújo Silva, Eduardo Valentin, José Reginaldo Hughes Carvalho, Raimundo da Silva Barreto:
A survey of Model Driven Engineering in robotics. J. Comput. Lang. 62: 101021 (2021)
2020
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ijdsn/AlencarBFSP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijdsn/AlencarBFSP20
Marcio Aurelio dos Santos Alencar, Raimundo S. Barreto, Horácio Fernandes, Eduardo Souto, Richard W. Pazzi:
DARE: A decentralized association rules extraction scheme for embedded data sets in distributed IoT devices. Int. J. Distributed Sens. Networks 16(10): 155014772096299 (2020)
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/AssayagOSBP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/AssayagOSBP20
Yuri Assayag, Horácio A. B. F. Oliveira, Eduardo Souto, Raimundo S. Barreto, Richard W. Pazzi:
Indoor Positioning System Using Dynamic Model Estimation. Sensors 20(24): 7003 (2020)
2018
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/comsur/BalicoLNBPO18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comsur/BalicoLNBPO18
Leandro N. Balico, Antonio A. F. Loureiro, Eduardo Freire Nakamura, Raimundo S. Barreto, Richard W. Pazzi, Horacio A. B. F. de Oliveira:
Localization Prediction in Vehicular Ad Hoc Networks. IEEE Commun. Surv. Tutorials 20(4): 2784-2803 (2018)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ValentinFB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ValentinFB18
Eduardo Valentin, Rosiane de Freitas, Raimundo S. Barreto:
Towards optimal solutions for the low power hard real-time task allocation on multiple heterogeneous processors. Sci. Comput. Program. 165: 38-53 (2018)
2016
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/isys/SpositoDB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isys/SpositoDB16
Marcos Andre Fernandes Sposito, Arilo Claudio Dias-Neto, Raimundo da Silva Barreto:
Cobertura do Alinhamento Estratégico de TI e Negócios das Organizações pelo MR-MPS-SV: 2012 e pelo MR-MPS-SV: 2015. Braz. J. Inf. Syst. 9(4): 77-100 (2016)
2015
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/sigops/BarretoOB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigops/BarretoOB15
Raimundo S. Barreto, Rafael R. Obelheiro, Leandro Buss Becker:
Brazilian Symposium on Computing System Engineering. ACM SIGOPS Oper. Syst. Rev. 49(2): 1-2 (2015)
2013
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/cleiej/PassosDB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cleiej/PassosDB13
Odette Mestrinho Passos, Arilo Claudio Dias-Neto, Raimundo da Silva Barreto:
Relevant Organizational Values in the Implementation of Software Process Improvement Initiatives. CLEI Electron. J. 16(1) (2013)
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/cleiej/RiveroBC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cleiej/RiveroBC13
Luis Rivero, Raimundo da Silva Barreto, Tayana Conte:
Characterizing Usability Inspection Methods through the Analysis of a Systematic Mapping Study Extension. CLEI Electron. J. 16(1) (2013)
2012
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/software/PassosDB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/PassosDB12
Odette Mestrinho Passos, Arilo Claudio Dias-Neto, Raimundo da Silva Barreto:
Organizational Culture and Success in SPI Initiatives. IEEE Softw. 29(3): 97-99 (2012)
2008
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/dafes/BarretoMTFOL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dafes/BarretoMTFOL08
Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Romulo Devezas Freitas, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima:
A time Petri net-based method for embedded hard real-time software synthesis. Des. Autom. Embed. Syst. 12(1-2): 31-62 (2008)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/CordeiroMVCPBL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/CordeiroMVCPBL08
Lucas C. Cordeiro, Carlos Mar, Eduardo Valentin, Fabiano Cruz, Daniel Patrick, Raimundo S. Barreto, Vicente Lucena:
An agile development methodology applied to embedded control software under stringent hardware constraints. ACM SIGSOFT Softw. Eng. Notes 33(1) (2008)
2007
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/TavaresBMOARL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/TavaresBMOARL07
Eduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Fernando Rocha, Ricardo Massa Ferreira Lima:
Software synthesis for hard real-time embedded systems with multiple processors. ACM SIGSOFT Softw. Eng. Notes 32(2): 1-10 (2007)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/CordeiroBBOLM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/CordeiroBBOLM07
Lucas C. Cordeiro, Raimundo S. Barreto, Rafael Barcelos, Meuse N. Oliveira Jr., Vicente Lucena, Paulo Romero Martins Maciel:
TXM: an agile HW/SW development methodology for building medical devices. ACM SIGSOFT Softw. Eng. Notes 32(6) (2007)
2006
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/AmorimMNBT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/AmorimMNBT06
Leonardo Amorim, Paulo Romero Martins Maciel, Meuse N. Nogueira Jr., Raimundo S. Barreto, Eduardo Tavares:
Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems. ACM SIGSOFT Softw. Eng. Notes 31(3): 1-25 (2006)

Conference and Workshop Papers

see FAQ

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

2023
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/NederFAPFB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/NederFAPFB23
Fernando Neder, Ricardo Miranda Filho, Jônatas Azevedo, Larissa Pessoa, Rosiane de Freitas, Raimundo S. Barreto:
Análise comparativa entre linguagens de programação em sistemas embarcados móveis Android. SBLP 2023: 56-63
2022
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/hci/MeloOSTVRB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hci/MeloOSTVRB22
Áurea Hiléia da Silva Melo, Ana Carolina Oran, Jonathas Silva dos Santos, Sergio Cleger Tamayo, Davi Viana, Luis Rivero, Raimundo da Silva Barreto:
From Requirements to Prototyping: Proposal and Evaluation of an Artifact to Support Interface Design in the Context of Autism. HCI (46) 2022: 307-321
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/hci/MafraNCLOJAPSRV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hci/MafraNCLOJAPSRV22
Malu Mafra, Kennedy Nunes, Adailton Castro, Adriana Lopes, Ana Carolina Oran, Geraldo Braz Junior, João Almeida, Anselmo Cardoso de Paiva, Aristófanes C. Silva, Simara Rocha, Davi Viana, Aurea Melo, Raimundo S. Barreto, Luis Rivero:
Defining Requirements for the Development of Useful and Usable Chatbots: An Analysis of Quality Attributes from Academy and Industry. HCI (3) 2022: 479-493
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/iccel/SouzaMBd22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccel/SouzaMBd22
Elian Souza, Edwin Monteiro, Raimundo S. Barreto, Rosiane de Freitas:
A Context-Aware Automatic Smartphone Reconfiguration. ICCE 2022: 1-7
2021
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/cvpr/CunhaSBC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cvpr/CunhaSBC21
Fagner Cunha, Eulanda M. dos Santos, Raimundo S. Barreto, Juan Gabriel Colonna:
Filtering Empty Camera Trap Images in Embedded Systems. CVPR Workshops 2021: 2438-2446
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/hci/MeloOSRB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hci/MeloOSRB21
Áurea Hiléia da Silva Melo, Ana Carolina Oran, Jonathas Silva dos Santos, Luis Rivero, Raimundo da Silva Barreto:
ACF: An Autistic Personas' Characteristics Source to Develop Empathy in Software Development Teams. HCI (42) 2021: 223-236
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/ihc/GomesPMMPBVR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ihc/GomesPMMPBVR21
Dayanne Gomes, Nathasha Pinto, Aurea Melo, Ivana Marcia Oliveira Maia, Anselmo Cardoso de Paiva, Raimundo S. Barreto, Davi Viana, Luis Rivero:
Developing a Set of Design Patterns Specific for the Design of User Interfaces for Autistic Users. IHC 2021: 16:1-16:7
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/sbes/MeloOSRB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/MeloOSRB21
Aurea Melo, Ana Carolina Oran, Jonathas Silva dos Santos, Luis Rivero, Raimundo S. Barreto:
Requirements Elicitation in the Context of Software for Low-Functioning Autistic People: An Initial Proposal of Specific Supporting Artifacts. SBES 2021: 291-296
2020
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/iccS/MonteiroPB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccS/MonteiroPB20
Edwin Monteiro, Kelvinn Pereira, Raimundo S. Barreto:
Modeling and Automatic Code Generation Tool for Teaching Concurrent and Parallel Programming by Finite State Processes. ICCS (7) 2020: 593-607
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/ihc/MeloRSB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ihc/MeloRSB20
Áurea Hiléia da Silva Melo, Luis Rivero, Jonathas Silva dos Santos, Raimundo da Silva Barreto:
EmpathyAut: an empathy map for people with autism. IHC 2020: 45:1-45:6
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/ihc/MeloRSB20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ihc/MeloRSB20a
Áurea Hiléia da Silva Melo, Luis Rivero, Jonathas Silva dos Santos, Raimundo da Silva Barreto:
PersonAut: a personas model for people with autism spectrum disorder. IHC 2020: 54:1-54:6
[c61]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/RochaMCB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/RochaMCB20
Herbert Rocha, Rafael Menezes, Lucas C. Cordeiro, Raimundo S. Barreto:
Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution). TACAS (2) 2020: 403-407
2019
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/icce-berlin/JuniorMOSB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icce-berlin/JuniorMOSB19
Manoel José S. Júnior, Orlewilson B. Maia, Horácio A. B. F. Oliveira, Eduardo Souto, Raimundo S. Barreto:
Assistive Technology through Internet of Things and Edge Computing. ICCE-Berlin 2019: 330-332
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/iess/JuniorOB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iess/JuniorOB19
Manoel José S. Júnior, Horácio A. B. F. Oliveira, Raimundo S. Barreto:
IoT Assistant for People with Visual Impairment in Edge Computing. IESS 2019: 145-154
2018
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/fie/LeitaoVOB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fie/LeitaoVOB18
Gabriel de Souza Leitão, Eduardo Bezerra Valentin, Elaine Harada Teixeira de Oliveira, Raimundo da Silva Barreto:
Survey on Pedagogical Resources Recommendation using Cognitive Computing Systems. FIE 2018: 1-7
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/iccel/JuniorCSRBL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccel/JuniorCSRBL18
Elpidio H. Junior, Lucas F. da Cruz, Vandermi J. da Silva, Mauro Ricardo da S. Teófilo, Raimundo da Silva Barreto, Vicente F. Lucena:
I-Jack: Wearable system for collection and evaluation physiological data. ICCE 2018: 1-4
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/SilvaJCMVB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/SilvaJCMVB18
Luciano M. da Silva, Elpidio H. Junior, Kayque J. P. Carneiro, Johthema M. de Matos, A. P. Anacilia M. C. de Vieira, Raimundo da Silva Barreto:
Tellus - Greenhouse Irrigation Automation System. ISCC 2018: 1239-1242
[c55]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/MenezesRCB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/MenezesRCB18
Rafael Menezes, Herbert Rocha, Lucas C. Cordeiro, Raimundo S. Barreto:
Map2Check Using LLVM and KLEE - (Competition Contribution). TACAS (2) 2018: 437-441
2017
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/ihc/MeloSRB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ihc/MeloSRB17
Aurea Melo, Jonathas Silva dos Santos, Luis Rivero, Raimundo da Silva Barreto:
Searching for Preferences of Autistic Children to Support the Design of User Interfaces. IHC 2017: 45:1-45:10
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/sbesc/PinheiroGVOB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbesc/PinheiroGVOB17
Diego Q. Pinheiro, Rawlinson S. Gonçalves, Eduardo Valentin, Horacio A. B. F. de Oliveira, Raimundo S. Barreto:
Inserting DVFS Code in Hard Real-Time System Tasks. SBESC 2017: 23-30
2016
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/healthcom/RibeiroBCLBSPK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/healthcom/RibeiroBCLBSPK16
Erick Ribeiro, Larissa Bentes, Anderson Cruz, Gabriel Leitão, Raimundo S. Barreto, Vandermi J. Silva, Tiago Thompsen Primo, Fernando Luiz Koch:
On the use of inertial sensors and machine learning for automatic recognition of fainting and epileptic seizure. HealthCom 2016: 1-6
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/healthcom/SilvaRBL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/healthcom/SilvaRBL16
Vandermi J. Silva, Marlos A. S. Rodrigues, Raimundo S. Barreto, Vicente Ferreira de Lucena Jr.:
UbMed: A ubiquitous system for monitoring medication adherence. HealthCom 2016: 1-4
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/iccS/ValentinFB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccS/ValentinFB16
Eduardo Bezerra Valentin, Rosiane de Freitas, Raimundo S. Barreto:
Applying MGAP Modeling to the Hard Real-time Task Allocation on Multiple Heterogeneous Processors Problem. ICCS 2016: 1135-1146
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/iceis/SpositoDB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/SpositoDB16
Marcos Andre Fernandes Sposito, Arilo Claudio Dias-Neto, Raimundo da Silva Barreto:
Business-IT Alignment Research Field - A Systematic Literature Review. ICEIS (2) 2016: 549-558
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/samos/GoncalvesPVOB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/samos/GoncalvesPVOB16
Rawlinson S. Gonçalves, Diego Q. Pinheiro, Eduardo Bezerra Valentin, Horacio A. B. F. de Oliveira, Raimundo S. Barreto:
Real-time tasks and voltage/frequency controller collaboration on low power energy operational systems. SAMOS 2016: 47-54
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/sbesc/BentesRVB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbesc/BentesRVB16
Larissa Bentes, Herbert Rocha, Eduardo Valentin, Raimundo S. Barreto:
JFORTES: Java Formal Unit TESt Generation. SBESC 2016: 16-23
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/sbesc/ValentinFB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbesc/ValentinFB16
Eduardo Valentin, Rosiane de Freitas, Raimundo S. Barreto:
Reaching Optimum Solutions for the Low Power Hard Real-Time Task Allocation on Multiple Heterogeneous Processors Problem. SBESC 2016: 128-135
[c45]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sbqs/AyresMBC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbqs/AyresMBC16
Larissa Maia Ayres, Anna Beatriz dos Santos Marques, Raimundo S. Barreto, Tayana Conte:
Um processo baseado em modelagem de interação para o projeto de jogos educacionais a partir de livros: um estudo de caso no contexto de um jogo para dispositivos móveis. SBQS 2016: 241-255
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/RochaBC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/RochaBC16
Herbert O. Rocha, Raimundo S. Barreto, Lucas C. Cordeiro:
Hunting Memory Bugs in C Programs with Map2Check - (Competition Contribution). TACAS 2016: 934-937
2015
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/dcoss/BalicoONBL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcoss/BalicoONBL15
Leandro N. Balico, Horacio A. B. F. de Oliveira, Eduardo Freire Nakamura, Raimundo S. Barreto, Antonio Alfredo Ferreira Loureiro:
Routing and Data Aggregation toward a High Speed Sink in Wireless Sensor Networks. DCOSS 2015: 260-265
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/fie/ValentinCB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fie/ValentinCB15
Eduardo Valentin, José Reginaldo Hughes Carvalho, Raimundo S. Barreto:
Rapid improvement of students' soft-skills based on an agile-process approach. FIE 2015: 1-9
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/BalicoOBLP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/BalicoOBLP15
Leandro N. Balico, Horacio A. B. F. de Oliveira, Raimundo S. Barreto, Antonio A. F. Loureiro, Richard W. Pazzi:
A prediction-based routing algorithm for Vehicular Ad Hoc Networks. ISCC 2015: 365-370
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/patmos/ValentinSFB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/patmos/ValentinSFB15
Eduardo Valentin, Mario Salvatierra, Rosiane de Freitas, Raimundo S. Barreto:
Response time schedulability analysis for hard real-time systems accounting DVFS latency on heterogeneous cluster-based platform. PATMOS 2015: 1-8
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/sbesc/RochaICB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbesc/RochaICB15
Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto:
Model Checking Embedded C Software Using k-Induction and Invariants. SBESC 2015: 90-95
[c38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sbqs/PassosDB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbqs/PassosDB15
Odette Mestrinho Passos, Arilo Claudio Dias-Neto, Raimundo da Silva Barreto:
Recomendações de Melhoria Baseadas na Cultura Organizacional para Iniciativas em Melhoria de Processo de Software. SBQS 2015: 293-307
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/RochaBC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/RochaBC15
Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro:
Memory Management Test-Case Generation of C Programs Using Bounded Model Checking. SEFM 2015: 251-267
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/socialedu/LeitaoCRBAMKK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socialedu/LeitaoCRBAMKK15
Gabriel Leitão, Juan Gabriel Colonna, Erick Ribeiro, Raimundo S. Barreto, Thierry-Yves Araujo, Anny Martins, Andrew Koster, Fernando Koch:
Experimental Evaluation on Machine Learning Techniques for Human Activities Recognition in Digital Education Context. SOCIALEDU 2015: 124-139
2014
[c35]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/cascon/BezerraDB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cascon/BezerraDB14
Daniella Rodrigues Bezerra, Arilo Claudio Dias-Neto, Raimundo da Silva Barreto:
ARDev: a methodology based on scrum principles to support research management on software technologies. CASCON 2014: 363-366
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/sbcars/BezerraB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbcars/BezerraB14
Daniella Rodrigues Bezerra, Raimundo da Silva Barreto:
Domain Engineering: A Practical Application in Analysis and Design of a Generative Query Language. SBCARS 2014: 53-63
[c33]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/seke/SantosRBC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/SantosRBC14
Marco Aurélio Dos Santos, Jacilane Rabelo, Raimundo da Silva Barreto, Tayana Conte:
Persona Security: A Technique for Supporting the Elicitation of Security Requirements. SEKE 2014: 603-608
2013
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/sbesc/FreitasBM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbesc/FreitasBM13
Romulo Devezas Freitas, Raimundo S. Barreto, Paulo Romero Martins Maciel:
Analysis of Real-Time Scheduling Problems by Single Step and Maximal Step Semantics for Time Petri Net Models. SBESC 2013: 107-112
[c31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sbqs/PassosDB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbqs/PassosDB13
Odette Mestrinho Passos, Arilo Claudio Dias-Neto, Raimundo da Silva Barreto:
Uma Investigação sobre Recomendações de Melhoria Baseadas em Aspectos Culturais para Apoiar Iniciativas de Melhoria de Processo de Software. SBQS 2013: 66-80
2012
[c30]
- view
  - electronic edition @ puc-rio.br
  - no references & citations available
- export record
  dblp key:
  - conf/cibse/PassosDB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cibse/PassosDB12
Odette Mestrinho Passos, Arilo Claudio Dias-Neto, Raimundo da Silva Barreto:
Assessing the Relevance of Organizational Culture in Software Process Improvement Initiatives. CIbSE 2012: 70-83
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/RochaBCN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/RochaBCN12
Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro, Arilo Dias Neto:
Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples. IFM 2012: 128-142
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/isie/CohenVBOC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isie/CohenVBOC12
David Cohen, Eduardo Valentin, Raimundo S. Barreto, Horacio A. B. F. de Oliveira, Lucas C. Cordeiro:
A car racing based strategy for the Dynamic Voltage and Frequency Scaling technique. ISIE 2012: 774-779
2011
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/ica3pp/DiasMB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ica3pp/DiasMB11
Wanderson Roger Azevedo Dias, Edward David Moreno, Raimundo da Silva Barreto:
An Approach for Code Compression in Run Time for Embedded Systems - A Preliminary Results. ICA3PP (1) 2011: 349-359
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/sbesc/CunhaCRB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbesc/CunhaCRB11
Elisabete Cunha, Marcelo Custódio, Herbert Rocha, Raimundo S. Barreto:
Formal Verification of UML Sequence Diagrams in the Embedded Systems Context. SBESC 2011: 39-45
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/sbesc/BarretoCF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbesc/BarretoCF11
Raimundo S. Barreto, Lucas C. Cordeiro, Bernd Fischer:
Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker. SBESC 2011: 46-52
2010
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/icccn/OliveiraBFLN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icccn/OliveiraBFLN10
Horacio A. B. F. de Oliveira, Raimundo S. Barreto, Awdren L. Fontão, Antonio Alfredo Ferreira Loureiro, Eduardo Freire Nakamura:
A Novel Greedy Forward Algorithm for Routing Data toward a High Speed Sink in Wireless Sensor Networks. ICCCN 2010: 1-7
2009
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/wd/FigueiredoNRSB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wd/FigueiredoNRSB09
Carlos Mauricio S. Figueiredo, Eduardo Freire Nakamura, Afonso D. Ribas, Thales R. B. de Souza, Raimundo S. Barreto:
Assessing the communication performance of wireless sensor networks in rainforests. Wireless Days 2009: 1-6
2008
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/achi/TeofiloCBPMF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/achi/TeofiloCBPMF08
Mauro Teófilo, Lucas C. Cordeiro, Raimundo S. Barreto, José Raimundo Pereira, Ayres Mardem, Pedro Freitas:
Mandos: A User Interaction Method in Embedded Applications for Mobile Telephony. ACHI 2008: 271-276
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/cse/PereiraDBBFB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cse/PereiraDBBFB08
Daniel Patrick Pereira, Wanderson Roger Azevedo Dias, Marcus de Lima Braga, Raimundo da Silva Barreto, Carlos Mauricio S. Figueiredo, Virgínia V. B. Biris Brilhante:
Model to integration of RFID into Wireless Sensor Network for Tracking and Monitoring Animals. CSE 2008: 125-131
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/date/CruzBCM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/CruzBCM08
Fabiano Cruz, Raimundo S. Barreto, Lucas C. Cordeiro, Paulo Romero Martins Maciel:
ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis. DATE 2008: 1510-1515
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbs/CordeiroMVCPBL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbs/CordeiroMVCPBL08
Lucas C. Cordeiro, Carlos Mar, Eduardo Valentin, Fabiano Cruz, Daniel Patrick, Raimundo S. Barreto, Vicente Lucena:
A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit. ECBS 2008: 408-417
[c18]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/enase/CordeiroBO08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/CordeiroBO08
Lucas C. Cordeiro, Raimundo S. Barreto, Meuse N. Oliveira Jr.:
Towards a Semiformal Development Methodology for Embedded Systems. ENASE 2008: 5-12
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/CruzBC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/CruzBC08
Fabiano Cruz, Raimundo S. Barreto, Lucas C. Cordeiro:
Towards a model-driven engineering approach for developing embedded hard real-time software. SAC 2008: 308-314
2007
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbs/CordeiroBBOLM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbs/CordeiroBBOLM07
Lucas C. Cordeiro, Raimundo S. Barreto, Rafael Barcelos, Meuse N. Oliveira Jr., Vicente Lucena, Paulo Romero Martins Maciel:
Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach. ECBS 2007: 195-202
2006
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/JuniorNMLRBTB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/JuniorNMLRBTB06
Meuse N. Oliveira Jr., Silvino Neto, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Raimundo S. Barreto, Eduardo Tavares, Frederico Braga:
Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets. ICATPN 2006: 261-281
[c14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip10-3/TavaresOMSNBFC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip10-3/TavaresOMSNBFC06
Eduardo Tavares, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Bruno Souza, Silvino Neto, Raimundo S. Barreto, Romulo Devezas Freitas, Marcelo Custódio:
Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors. DIPES 2006: 255-264
2005
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icess/AmorimBMTOBL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icess/AmorimBMTOBL05
Leonardo Amorim, Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Meuse N. Oliveira Jr., Arthur Bessa, Ricardo Massa Ferreira Lima:
A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC. ICESS 2005: 50-62
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/iess/BarretoTMNOABL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iess/BarretoTMNOABL05
Raimundo S. Barreto, Eduardo Tavares, Paulo Romero Martins Maciel, Marília Neves, Meuse N. Oliveira Jr., Leonardo Amorim, Arthur Bessa, Ricardo Massa Ferreira Lima:
Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads. IESS 2005: 77-86
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/patmos/JuniorMLROABTA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/patmos/JuniorMLROABTA05
Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, César A. L. de Oliveira, Adilson Arcoverde, Raimundo S. Barreto, Eduardo Tavares, Leonardo Amorim:
A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net. PATMOS 2005: 49-58
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/patmos/TavaresBMOAALBB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/patmos/TavaresBMOAALBB05
Eduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima, Leonardo Barros, Arthur Bessa:
An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints. PATMOS 2005: 382-392
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sbac-pad/BarretoTMOALCM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbac-pad/BarretoTMOALCM05
Raimundo S. Barreto, Eduardo Tavares, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Ricardo Massa Ferreira Lima, Cesar Carvalho, Carlos A. B. Mello:
A Time Petri Net-Based Approach for Software Synthesis Considering Overheads. SBAC-PAD 2005: 184-192
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sbcci/TavaresMBBBJL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbcci/TavaresMBBBJL05
Eduardo Tavares, Paulo Romero Martins Maciel, Arthur Bessa, Raimundo S. Barreto, Leonardo Barros, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima:
A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes. SBCCI 2005: 98-103
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/AmorimMNBT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/AmorimMNBT05
Leonardo Amorim, Paulo Romero Martins Maciel, Meuse N. Nogueira Jr., Raimundo S. Barreto, Eduardo Tavares:
A methodology for mapping live sequence chart to coloured Petri net. SMC 2005: 2999-3004
2004
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcsw/BarretoCM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcsw/BarretoCM04
Raimundo S. Barreto, Sérgio Cavalcante, Paulo Romero Martins Maciel:
A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems. ICDCS Workshops 2004: 846-851
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip10-3/BarretoMNTL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip10-3/BarretoMNTL04
Raimundo S. Barreto, Paulo Romero Martins Maciel, Marília Neves, Eduardo Tavares, Ricardo Massa Ferreira Lima:
A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard Real-Time Systems. DIPES 2004: 157-166
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/patmos/JuniorMBC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/patmos/JuniorMBC04
Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Raimundo S. Barreto, Fernando F. Carvalho:
Towards a Software Power Cost Analysis Framework Using Colored Petri Net. PATMOS 2004: 362-371
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sbac-pad/TavaresBJMNL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbac-pad/TavaresBJMNL04
Eduardo Tavares, Raimundo S. Barreto, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Marília Neves, Ricardo Massa Ferreira Lima:
An Approach for Pre Runtime Scheduling in Embedded Hard Real Time Systems with Power Constraints. SBAC-PAD 2004: 188-195
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sbcci/BarretoNOMTL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbcci/BarretoNOMTL04
Raimundo S. Barreto, Marília Neves, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Eduardo Tavares, Ricardo Massa Ferreira Lima:
A formal software synthesis approach for embedded hard real-time systems. SBCCI 2004: 163-168
2003
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sbac-pad/BarretoMC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbac-pad/BarretoMC03
Raimundo S. Barreto, Paulo Romero Martins Maciel, Sérgio Cavalcante:
A Modeling Methodology and Pre-Run-Time Scheduling for Embedded Real-Time Software. SBAC-PAD 2003: 72-81

Informal and Other Publications

see FAQ

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

2021
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-08859
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-08859
Fagner Cunha, Eulanda M. dos Santos, Raimundo S. Barreto, Juan Gabriel Colonna:
Filtering Empty Camera Trap Images in Embedded Systems. CoRR abs/2104.08859 (2021)
2020
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-14711
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-14711
Gabriel Leitão, Juan Gabriel Colonna, Edwin Monteiro, Elaine H. T. Oliveira, Raimundo S. Barreto:
New Metrics for Learning Evaluation in Digital Education Platforms. CoRR abs/2006.14711 (2020)
2015
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/RochaICB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RochaICB15
Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto:
Model Checking C Programs with Loops via k-Induction and Invariants. CoRR abs/1502.02327 (2015)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GoncalvesB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GoncalvesB15
Rawlinson S. Gonçalves, Raimundo da Silva Barreto:
State of the Art of the Intra-Task Dynamic Voltage and Frequency Scaling Technique. CoRR abs/1504.06177 (2015)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/RochaICB15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RochaICB15a
Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto:
Model Checking Embedded C Software using k-Induction and Invariants (extended version). CoRR abs/1509.02471 (2015)
2011
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1106-2320
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-2320
Raimundo S. Barreto, Lucas C. Cordeiro, Bernd Fischer:
Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker. CoRR abs/1106.2320 (2011)

Coauthor Index

see FAQ

a service of

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.