 | 2009 |
|---|
| 8 |       | Lucas Cordeiro,
Bernd Fischer,
João P. Marques Silva:
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
CoRR abs/0907.2072: (2009) |
| 2008 |
|---|
| 7 | | 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 |
| 6 | | 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 |
| 5 | | 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 |
| 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) |
