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 × Canada
1 × Germany
2 × United Kingdom
5 × USA
Collaborated with:
M.Périn A.Voronkov A.Cimatti M.Roveri Y.Martin M.Thielscher A.Griggio A.Micheli M.Gligoric W.Schulte C.Prasad D.v.Velzen B.Livshits R.Corvino A.Lazzaro T.Rizzo A.Sanseviero A.Tchaltsev
Talks about:
system (3) criteria (2) common (2) certif (2) applic (2) smart (2) card (2) correspond (1) refactor (1) properti (1)

Person: Iman Narasamdya

DBLP DBLP: Narasamdya:Iman

Contributed to:

OOPSLA 20142014
CAV 20122012
CAV 20112011
TACAS 20112011
FASE 20092009
SAC 20092009
SAS 20092009
SAS 20052005
KR 20042004

Wrote 9 papers:

OOPSLA-2014-GligoricSPVNL #automation #dynamic analysis #migration #refactoring #search-based #using
Automated migration of build scripts using dynamic analysis and search-based refactoring (MG, WS, CP, DvV, IN, BL), pp. 599–616.
CAV-2012-CimattiCLNRRST #industrial #validation #verification
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System (AC, RC, AL, IN, TR, MR, AS, AT), pp. 378–393.
CAV-2011-CimattiGMNR #model checking #named
Kratos — A Software Model Checker for SystemC (AC, AG, AM, IN, MR), pp. 310–316.
TACAS-2011-CimattiNR #abstraction #lazy evaluation #partial order #reduction
Boosting Lazy Abstraction for SystemC with Partial Order Reduction (AC, IN, MR), pp. 341–356.
FASE-2009-NarasamdyaP #certification
Certification of Smart-Card Applications in Common Criteria (IN, MP), pp. 309–324.
SAC-2009-NarasamdyaP #certification
Certification of smart-card applications in common criteria (IN, MP), pp. 601–608.
Inter-program Properties (AV, IN), pp. 343–359.
Finding Basic Block and Variable Correspondence (IN, AV), pp. 251–267.
KR-2004-MartinNT #calculus
Knowledge of Other Agents and Communicative Actions in the Fluent Calculus (YM, IN, MT), pp. 623–633.

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.