lememta Temesghen Kahsai

Jaikus from lememta

Saturday, 20 September 2008
Working on a fixed point induction for the failure/divergence model in order to reason about divergence free processes

By lememta 1 year, 3 months ago Add Comment
Tuesday, 12 August 2008
A ring buffer in CSP-CASL

By lememta 1 year, 4 months ago Add Comment
Test

By lememta 1 year, 4 months ago Add Comment
Monday, 11 August 2008
Back to Swansea after my placement with Rolls Royce in Derby.

By lememta 1 year, 4 months ago Add Comment
Sunday, 20 July 2008
Still in Derby working with Rolls-Royce on the BR725 project.

By lememta 1 year, 5 months ago Add Comment
Thursday, 3 July 2008
Very very excited of my internship at Rolls Royce

By lememta 1 year, 6 months ago Add Comment
3rd day in Derby at Rolls Royce doing an internship in the department called Controls. I m working with the System Verification team

By lememta 1 year, 6 months ago Add Comment
Monday, 2 June 2008
Berlin trip was a success. We didn't achieve the result we were hoping, however we have an excellent insight of product line in SW and how this defers from product family

By lememta 1 year, 7 months ago Add Comment
I have one week to finish writing one research paper, prepare one talk for WADT and one talk for CiE. This is gonna hurt

By lememta 1 year, 7 months ago Add Comment
Wednesday, 28 May 2008
Currently I m in Berlin for a research visit at the Franhofer Insitute. I m in the process of writing a research paper about Testing Product line.

By lememta 1 year, 7 months ago Add Comment
Thursday, 1 May 2008
Just got back to UK. Had an awesome time in Asmara. Now is gonna be crazy, have a lot of staff to do.

By lememta 1 year, 8 months ago Add Comment
Monday, 21 April 2008
A warm regards from the Horn of Africa. I took to 2 weeks off , enjoing the sunny weather, good food and wonderful childhood friends. Will be back soon

By lememta 1 year, 8 months ago Add Comment
Friday, 11 April 2008
Will be in vacation for a while.

By lememta 1 year, 8 months ago Add Comment
Thursday, 27 March 2008
Another insight: Use the binding of LLVM for ML to do program synthesis. In other words import ML code in to a theorem prover and prove some interesting properties of programs. I will elaborate more...

By lememta 1 year, 9 months ago Add Comment
Immerse in to the theory of partial order. Trying to figure out the case in which exists more the one maximal element. This will help me define an observational interpretation of the refusal sets of the model F in CSP

By lememta 1 year, 9 months ago Add Comment
Monday, 17 March 2008
Deadlock analysis is trickier than I thought. Working on the semantical object makes life easier. But the question than will be is our specification language rich enough to have a syntactic description

By lememta 1 year, 9 months ago Add Comment
Friday, 14 March 2008
diesel instead of unleaded in my scooter... damn it

By lememta 1 year, 9 months ago Add Comment
Thursday, 13 March 2008
Working on behavioural interpretation of the failure model in CSP.

By lememta 1 year, 9 months ago Add Comment
Sunday, 9 March 2008
More specifically add as a module security policies (i.e. don't use this address space). This could be useful for instance in the area of PCC, mobile codes..

By lememta 1 year, 9 months ago Add Comment
How about use the modularity of LLVM to add some security policy.

By lememta 1 year, 9 months ago Add Comment

Browse: Older

atom feed rss feed

Location

lememta's contacts (2)

jaiku:
kallejaiku:

lememta's channels (0)

No channels yet.

Feeds

Jaikus from lememta
Comments from lememta