Rahul Kumar

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 5

Top Topics

Programming Language

Web Applications

Development Environment

Top Venues

LNCS Trans. Found. Mastering Chang.

Publications

Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen
Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction). ISoLA (1) (2018)
Manfred Broy, Klaus Havelund, Rahul Kumar
Towards a Unified View of Modeling and Programming. ISoLA (2) (2016)
Klaus Havelund, Rahul Kumar
Verified Change. LNCS Trans. Found. Mastering Chang. 1 (2016)
Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen
Towards a Unified View of Modeling and Programming (Track Summary). ISoLA (2) (2016)
Klaus Havelund, Rahul Kumar, Chris Delp, Bradley Clement
K: A Wide Spectrum Language for Modeling, Programming and Analysis. MODELSWARD (2016)
Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata
Domain-Specific Languages with Scala. ICFEM (2015)