BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × Italy
1 × United Kingdom
Collaborated with:
I.M.Asavoae A.Riesco A.R.0001 J.Henry D.Monniaux C.Maiza
Talks about:
semant (4) formal (2) slice (2) interprocedur (1) framework (1) techniqu (1) abstract (1) program (1) collect (1) toward (1)

Person: Mihail Asavoae

DBLP DBLP: Asavoae:Mihail

Contributed to:

IFM 20142014
LCTES 20142014
WRLA 20102010
FASE 20172017

Wrote 4 papers:

IFM-2014-AsavoaeAR #interprocedural #semantics #slicing #towards
Towards a Formal Semantics-Based Technique for Interprocedural Slicing (IMA, MA, AR), pp. 291–306.
LCTES-2014-HenryAMM #encoding #execution #how #modulo theories #optimisation #semantics #worst-case
How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics (JH, MA, DM, CM), pp. 43–52.
WRLA-2010-AsavoaeA #abstraction #framework #semantics #𝕂
Collecting Semantics under Predicate Abstraction in the 𝕂 Framework (IMA, MA), pp. 123–139.
FASE-2017-RiescoAA #semantics #slicing
Slicing from Formal Semantics: Chisel (AR0, IMA, MA), pp. 374–378.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.