Skip to content

K.C. Shashidhar

  • Dr
  • Researcher
  • Max-Planck-Institute for Software Systems
  • 9PublicationsNumber of items in K.C.'s My Publications folder on Mendeley.
  • 4Followers

Research interests

Formal MethodsCyber-Physical SystemsModel-Driven Engineering

Followers (4)

  • Anatoly Naumov

    Anatoly NaumovCenter of Applied Mathematical Research, CAMR

  • Jonathan Bowen

    Jonathan BowenLondon South Bank University

  • Murali Jayapala

    Murali JayapalaInteruniversity Microelectronics Center (IMEC)

  • Patrick Mulder

    Patrick MulderMunich Technology Partners

Following (2)

  • Murali Jayapala

    Murali JayapalaInteruniversity Microelectronics Center (IMEC)

  • Patrick Mulder

    Patrick MulderMunich Technology Partners

Publications (5)

  • How to Test Program Generators? A Case Study using flex

    • Sampath P
    • Rajeev A
    • Shashidhar K
    • et al.
    N/AReaders
    N/ACitations
  • Testing Model-Processing Tools for Embedded Systems

    • Sampath P
    • Rajeev A
    • Ramesh S
    • et al.
    N/AReaders
    N/ACitations
  • Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code

    • Shashidhar K
    • Bruynooghe M
    • Catthoor F
    • et al.
    N/AReaders
    N/ACitations
  • Automatic functional verification of memory oriented global source code transformations

    • Shashidhar K
    • Bruynooghe M
    • Catthoor F
    • et al.
    N/AReaders
    N/ACitations
  • Low-power design of turbo decoder with exploration of energy-throughput trade-off

    • Vandecappelle A
    • Bougard B
    • Shashidhar K
    • et al.
    N/AReaders
    N/ACitations

Professional experience

Researcher

Max Planck Institute for Software Systems

October 2010 - Present

Education

PhD

Katholieke Universiteit Leuven