Concepedia

Steven Lauterburg

SL

Statistics

Publications

9

Citations

229

H-Index

9

Active since

2007

Affiliations

University of Illinois Urbana-Champaign(Current)

University of Belgrade

University of Illinois System

The University of Texas at Austin

Steven Lauterburg is an author at University of Illinois Urbana-Champaign specializing in computer science, computing, and programming languages.

Publications per year

2007–2010

9

Publications

9

Incremental state-space exploration for programs with dynamically allocated data

Steven Lauterburg, Ahmed Sobeih, Darko Marinov et al. · 2008 · 60 citations

Computing, Computer Engineering, Computer Science +11

A Framework for State-Space Exploration of Java-Based Actor Programs

Steven Lauterburg, Mirco Dotta, Darko Marinov et al. · 2009 · 53 citations

Computing, Computer Engineering, Computer Science +13

Delta execution for efficient state-space exploration of object-oriented programs

Marcelo d’Amorim, Steven Lauterburg, Darko Marinov · 2007 · 26 citations

Computing, Computer Engineering, Computer Science +11

Delta execution for software reliability

Yuanyuan Zhou, Darko Marinov, William H. Sanders et al. · 2007 · 17 citations

Computing, Computer Engineering, Computer Science +14

Mutation Operators for Actor Systems

Vilas Jagannath, Milos Gligoric, Steven Lauterburg et al. · 2010 · 17 citations

Computing, Computer Engineering, Computer Science +12

1–5 of 9