Difference between revisions of "Vanderson Hafemann"

From CERES
Jump to: navigation, search
 
(6 intermediate revisions by one user not shown)
Line 6: Line 6:
 
|Position=Ph.D. Student
 
|Position=Ph.D. Student
 
|Email=vanderson.hafemann@hh.se
 
|Email=vanderson.hafemann@hh.se
 +
|Image=foto.jpg
 
|Street Address=Boreliusgatan 5
 
|Street Address=Boreliusgatan 5
 
|Country=Sweden
 
|Country=Sweden
 
|Office=E327
 
|Office=E327
|Affiliation=Center for Research on Embedded Systems
 
 
|url=http://ceres.hh.se/mediawiki/index.php/Vanderson_Hafemann
 
|url=http://ceres.hh.se/mediawiki/index.php/Vanderson_Hafemann
 
}}
 
}}
Line 19: Line 19:
 
== Research Interests ==
 
== Research Interests ==
 
* [[Research in Model-Based Testing and Verification | Model-Based Testing and Verification]]
 
* [[Research in Model-Based Testing and Verification | Model-Based Testing and Verification]]
 
 
== Publications ==
 
 
  
  
Line 28: Line 24:
 
<!-- {{PublicationsList}} -->
 
<!-- {{PublicationsList}} -->
  
== Paper Submission Info ==
+
== Publications ==
 +
* Test Reuse Strategy - Here is the [[Media:FM_2016_Vanderson_extended_v1.pdf|extended version of the paper]] with more details about the selection algorithm. Here is the [[Media:pack.zip|link]] to the experiment package.
 +
 
 
* Featured Finite State Machines - Here is the [[Media:Proofs_FFSM.pdf|PDF]] with detailed proofs of FFSM properties from the paper. Here is the [[Media:Experiment_Pack.zip|link]] to the experiment package.
 
* Featured Finite State Machines - Here is the [[Media:Proofs_FFSM.pdf|PDF]] with detailed proofs of FFSM properties from the paper. Here is the [[Media:Experiment_Pack.zip|link]] to the experiment package.

Latest revision as of 14:18, 31 May 2016

Vanderson Hafemann Fragal

Vanderson Hafemann, Ph.D. Student, M.Sc.



Family Name: Hafemann Fragal
Given Name: Vanderson
Role: Ph.D. Student
Title: M.Sc.
Subject: 
Organization: 
Email: vanderson.hafemann@hh.se
url: http://ceres.hh.se/mediawiki/index.php/Vanderson_Hafemann
Phone: 
Cell Phone: +46-0729-773621




Research Interests


Projects: 

Publications

  • Featured Finite State Machines - Here is the PDF with detailed proofs of FFSM properties from the paper. Here is the link to the experiment package.