( en | de | ru )

 

Disambiguierung von "Cordeiro, Lucas C."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Applying symbolic bounded model checking to the 2012 RERS greybox challenge.

, , , und . Int. J. Softw. Tools Technol. Transf., 16 (5): 519-529 (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Silvio Cordeiro

Caroline Cordeiro

Albino Cordeiro

Daniel Cordeiro

Rodrigo Cordeiro Tupynambá

 

Weitere Publikationen von Autoren mit dem selben Namen

Model checking LTL properties over ANSI-C programs with bounded traces., , , und . Softw. Syst. Model., 14 (1): 65-81 (2015)A secondary screen architecture to accurately capture viewers' interactions in an iTV environment., , und . GCCE, Seite 264-265. IEEE, (2014)TXM: an agile HW/SW development methodology for building medical devices., , , , , und . ACM SIGSOFT Softw. Eng. Notes, (2007)Applying SMT-based verification to hardware/software partitioning in embedded systems., und . Des. Autom. Embed. Syst., 20 (1): 1-19 (2016)Automated Verification of Stand-alone Solar Photovoltaic Systems., und . CoRR, (2018)SMT-based bounded model checking of fixed-point digital controllers., , , und . IECON, Seite 295-301. IEEE, (2014)Application of Global Route-Planning Algorithms with Geodesy., , und . CoRR, (2016)Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker, , und . CoRR, (2011)Encoding Floating-Point Numbers Using the SMT Theory in ESBMC: An Empirical Evaluation over the SV-COMP Benchmarks., , und . SBMF, Volume 10623 von Lecture Notes in Computer Science, Seite 91-106. Springer, (2017)DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles., , , , , und . IEEE Trans. Reliability, 67 (4): 1420-1441 (2018)