Lucas Cordeiro

	2012
19		Lucas Cordeiro, Jeremy Morse, Denis Nicole, Bernd Fischer: Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution). TACAS 2012: 534-537
	2011
18		Lucas Cordeiro, Bernd Fischer: Verifying multi-threaded software using smt-based context-bounded model checking. ICSE 2011: 331-340
17		Jeremy Morse, Lucas Cordeiro, Denis Nicole, Bernd Fischer: Context-Bounded Model Checking of LTL Properties for ANSI-C Software. SEFM 2011: 302-317
16		Raimundo S. Barreto, Lucas Cordeiro, Bernd Fischer: Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker CoRR abs/1106.2320: (2011)
	2010
15		Lucas Cordeiro, Bernd Fischer, João Marques-Silva: Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking. ECBS 2010: 160-169
14		Lucas Cordeiro: SMT-based bounded model checking for multi-threaded software in embedded systems. ICSE (2) 2010: 373-376
13		Lucas Cordeiro, Bernd Fischer: Bounded Model Checking of Multi-threaded Software using SMT solvers CoRR abs/1003.3830: (2010)
	2009
12		Lucas Cordeiro, Bernd Fischer, João Marques-Silva: SMT-Based Bounded Model Checking for Embedded ANSI-C Software. ASE 2009: 137-148
11		Lucas Cordeiro, Bernd Fischer, Huan Chen, João Marques-Silva: Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. ICESS 2009: 396-403
10		Lucas Cordeiro, Bernd Fischer, João P. Marques Silva: SMT-Based Bounded Model Checking for Embedded ANSI-C Software CoRR abs/0907.2072: (2009)
9		Lucas Cordeiro, Bernd Fischer, João P. Marques Silva: Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking CoRR abs/0911.3784: (2009)
	2008
8		Mauro Teófilo, Lucas 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
7		Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro, Paulo Romero Martins Maciel: ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis. DATE 2008: 1510-1515
6		Lucas 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
5		Lucas Cordeiro, Raimundo S. Barreto, Meuse N. Oliveira Jr.: Towards a Semiformal Development Methodology for Embedded Systems. ENASE 2008: 5-12
4		Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro: Towards a model-driven engineering approach for developing embedded hard real-time software. SAC 2008: 308-314
3		Lucas 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 Software Engineering Notes 11(1): (2008)
	2007
2		Lucas 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
1		Lucas 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 Software Engineering Notes 32(6): (2007)

Coauthor Index

1	Rafael Barcelos	[1] [2]
2	Raimundo S. Barreto	[1] [2] [3] [4] [5] [6] [7] [8] [16]
3	Huan Chen	[11]
4	Fabiano Cruz	[3] [4] [6] [7]
5	Bernd Fischer	[9] [10] [11] [12] [13] [15] [16] [17] [18] [19]
6	Pedro Freitas	[8]
7	Vicente Ferreira de Lucena Jr. (Vicente Lucena)	[1] [2] [3] [6]
8	Paulo Romero Martins Maciel	[1] [2] [7]
9	Carlos Mar	[3] [6]
10	Ayres Mardem	[8]
11	Jeremy Morse	[17] [19]
12	Denis Nicole	[17] [19]
13	Meuse N. Oliveira Jr.	[1] [2] [5]
14	Daniel Patrick	[3] [6]
15	José Raimundo Pereira	[8]
16	João P. Marques Silva (João Marques-Silva)	[9] [10] [11] [12] [15]
17	Mauro Teófilo	[8]
18	Eduardo Valentin	[3] [6]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page