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: Narasamdya:Iman
Contributed to:
2014
20122011
2011
2009
2009
20092005
2004Wrote 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.
- SAS-2009-VoronkovN
- Inter-program Properties (AV, IN), pp. 343–359.
- SAS-2005-NarasamdyaV
- 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.