|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 22 occurrences of 12 keywords
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Lucas Cordeiro, Jeremy Morse, Denis Nicole, Bernd Fischer 0002 |
Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution).  |
TACAS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Raimundo S. Barreto, Lucas Cordeiro, Bernd Fischer 0002 |
Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jeremy Morse, Lucas Cordeiro, Denis Nicole, Bernd Fischer 0002 |
Context-Bounded Model Checking of LTL Properties for ANSI-C Software. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Cordeiro, Bernd Fischer 0002 |
Verifying multi-threaded software using smt-based context-bounded model checking. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Cordeiro, Bernd Fischer 0002 |
Bounded Model Checking of Multi-threaded Software using SMT solvers |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Lucas Cordeiro, Bernd Fischer 0002, João Marques-Silva |
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking. |
ECBS |
2010 |
DBLP DOI BibTeX RDF |
Embedded Software Verification, Bounded Model Checking, Satisfiability Modulo Theories |
| 1 | Lucas Cordeiro |
SMT-based bounded model checking for multi-threaded software in embedded systems. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
SAT modulo theories, formal software verification, multicore systems, computer-aided verification |
| 1 | Lucas Cordeiro, Bernd Fischer 0002, João P. Marques Silva |
SMT-Based Bounded Model Checking for Embedded ANSI-C Software |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Lucas Cordeiro, Bernd Fischer 0002, João P. Marques Silva |
Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Lucas Cordeiro, Bernd Fischer 0002, João Marques-Silva |
SMT-Based Bounded Model Checking for Embedded ANSI-C Software. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
Embedded ANSI-C Software, Bounded Model Checking, Satisfiability Modulo Theories |
| 1 | Lucas Cordeiro, Bernd Fischer 0002, Huan Chen 0001, João Marques-Silva |
Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. |
ICESS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
embedded agile development, health care, agile methodologies, platform-based design, real-time software, organizational patterns |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Embedded Agile Development, Agile methodologies, Platform-Based Design, Real-time Software |
| 1 | Lucas Cordeiro, Raimundo S. Barreto, Meuse N. Oliveira Jr. |
Towards a Semiformal Development Methodology for Embedded Systems. |
ENASE |
2008 |
DBLP BibTeX RDF |
|
| 1 | Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro |
Towards a model-driven engineering approach for developing embedded hard real-time software. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
DSL engineering, embedded hard real-time systems, tool-based approaches, petri nets, model-driven engineering, software synthesis |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 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 |
2007 |
DBLP DOI BibTeX RDF |
embedded agile development, health care, agile methodologies, platform-based design, real-time software, organizational patterns |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")