Lucas Cordeiro

Citado por

	Total	Desde 2016
Citas	1756	1230
Índice h	22	20
Índice i10	40	32

280

140

210

200920102011201220132014201520162017201820192020202110 25 39 52 78 113 146 210 264 252 265 233 2

Coautores

Bernd FischerComputer Science Division, Stellenbosch UniversityDirección de correo verificada de cs.sun.ac.za
Iury Valente de BessaAssistant Professor at Federal University of AmazonasDirección de correo verificada de ufam.edu.br
Mikhail Yasha Ramalho GadelhaSidiaDirección de correo verificada de sidia.com
Barreto RaimundoProfessor of Computer Science, Universidade Federal do AmazonasDirección de correo verificada de icomp.ufam.edu.br
Hussama Ibrahim IsmailFederal University of AmazonasDirección de correo verificada de ufam.edu.br
Felipe R. MonteiroAmazon Web ServicesDirección de correo verificada de amazon.com
Herbert RochaProfessor of Computer Science, Federal University of RoraimaDirección de correo verificada de ufrr.br
Jeremy MorseUniversity of BristolDirección de correo verificada de bristol.ac.uk
Daniel KroeningAmazonDirección de correo verificada de cs.ox.ac.uk
Alessandro TrindadeAdjunct Professor at Electricity Department, Federal University of Amazonas, BrazilDirección de correo verificada de ufam.edu.br
Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIDirección de correo verificada de irit.fr
Alessandro AbateProfessor of Verification and Control, University of OxfordDirección de correo verificada de cs.ox.ac.uk
Cristina DavidUniversity of CambridgeDirección de correo verificada de cam.ac.uk
Lennon ChavesFederal University of AmazonasDirección de correo verificada de ufam.edu.br
Elizabeth PolgreenLecturer, University of EdinburghDirección de correo verificada de cs.ox.ac.uk
Celso Barbosa CarvalhoProfessor at Federal University of Amazonas / BrazilDirección de correo verificada de ufam.edu.br
Paulo Romero Martins MacielFederal University of PernambucoDirección de correo verificada de cin.ufpe.br
Ricardo FerreiraDepartamento de Informática, Universidade Federal ViçosaDirección de correo verificada de ufv.br
Valentin EduardoUniversidade Federal do AmazonasDirección de correo verificada de dcc.ufam.edu.br
Reinaldo Martínez PalharesFederal University of Minas Gerais - Full ProfessorDirección de correo verificada de ufmg.br

Lucas Cordeiro

Senior Lecturer (Associate Professor), Department of Computer Science, University of Manchester

Dirección de correo verificada de manchester.ac.uk - Página principal

Formal Methods Automated Verification Software Security Cyber-Physical Systems Program Synthesis


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
SMT-based bounded model checking for embedded ANSI-C software L Cordeiro, B Fischer, J Marques-Silva IEEE Transactions on Software Engineering 38 (4), 957-974, 2011	299	2011
Verifying multi-threaded software using SMT-based context-bounded model checking L Cordeiro, B Fischer 2011 33rd International Conference on Software Engineering (ICSE), 331-340, 2011	167	2011
ESBMC 1.22-(Competition Contribution) J Morse, M Ramalho, LC Cordeiro, D Nicole, BE Fischer Tools and Algorithms for the Construction and Analysis of Systems-20th …, 2014	74*	2014
Handling loops in bounded model checking of C programs via k-induction MYR Gadelha, HI Ismail, LC Cordeiro International Journal on Software Tools for Technology Transfer 19 (1), 97-114, 2017	54	2017
Context-bounded model checking with ESBMC 1.17 L Cordeiro, J Morse, D Nicole, B Fischer International Conference on Tools and Algorithms for the Construction and …, 2012	54	2012
Handling unbounded loops with ESBMC 1.20 J Morse, L Cordeiro, D Nicole, B Fischer International Conference on Tools and Algorithms for the Construction and …, 2013	50	2013
Semiformal verification of embedded software in medical devices considering stringent hardware constraints L Cordeiro, B Fischer, H Chen, J Marques-Silva 2009 International Conference on Embedded Software and Systems, 396-403, 2009	50	2009
SMT-based bounded model checking of C++ programs M Ramalho, M Freitas, F Sousa, H Marques, L Cordeiro, B Fischer 2013 20th IEEE International Conference and Workshops on Engineering of …, 2013	44	2013
ESBMC 5.0: an industrial-strength C model checker MR Gadelha, FR Monteiro, J Morse, LC Cordeiro, B Fischer, DA Nicole Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018	38	2018
Model checking LTL properties over ANSI-C programs with bounded traces J Morse, L Cordeiro, D Nicole, B Fischer Software & Systems Modeling 14 (1), 65-81, 2015	35	2015
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs W Rocha, H Rocha, H Ismail, L Cordeiro, B Fischer International Conference on Tools and Algorithms for the Construction and …, 2017	33	2017
DSVerifier: A bounded model checking tool for digital systems HI Ismail, IV Bessa, LC Cordeiro, EB de Lima Filho, JE Chaves Filho International SPIN Workshop on Model Checking of Software, 126-131, 2015	33	2015
Verification of fixed-point digital controllers using direct and delta forms realizations IV Bessa, HI Ismail, LC Cordeiro, EC Joao Filho Design Automation for Embedded Systems 20 (2), 95-126, 2016	31	2016
Model Checking Embedded C Software Using k-Induction and Invariants H Rocha, H Ismail, L Cordeiro, R Barreto Embedded Software Verification and Debugging, 159-182, 2017	30	2017
Formal non-fragile stability verification of digital control systems with uncertainty I Bessa, H Ismail, R Palhares, L Cordeiro, JE Chaves Filho IEEE Transactions on Computers 66 (3), 545-552, 2016	30	2016
Automated formal synthesis of digital controllers for state-space physical plants A Abate, I Bessa, D Cattaruzza, L Cordeiro, C David, P Kesseli, ... International Conference on Computer Aided Verification, 462-482, 2017	29	2017
Applying SMT-based verification to hardware/software partitioning in embedded systems AB Trindade, LC Cordeiro Design Automation for Embedded Systems 20 (1), 1-19, 2016	28	2016
Understanding programming bugs in ANSI-C software using bounded model checking counter-examples H Rocha, R Barreto, L Cordeiro, AD Neto International Conference on Integrated Formal Methods, 128-142, 2012	28	2012
JBMC: A bounded model checking tool for verifying Java bytecode L Cordeiro, P Kesseli, D Kroening, P Schrammel, M Trtik International Conference on Computer Aided Verification, 183-190, 2018	27	2018
An agile development methodology applied to embedded control software under stringent hardware constraints L Cordeiro, C Mar, E Valentin, F Cruz, D Patrick, R Barreto, V Lucena ACM SIGSOFT Software Engineering Notes 33 (1), 1-10, 2008	27	2008

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Subir PDF

Seguir a este autor

Citado por

Coautores