Personal information

No personal information available

Activities

Employment (1)

University of Illinois at Urbana Champaign: Urbana, Illinois, US

2014 to present | Professor (Department of Computer Science)
Employment
Source: Self-asserted source
Grigore Rosu

Education and qualifications (1)

University of California, San Diego: San Diego, California, US

1996 to 2000 | Ph.D. (Computer Science and Engineering Department)
Education
Source: Self-asserted source
Grigore Rosu

Works (4)

An overview of the K semantic framework

The Journal of Logic and Algebraic Programming
2010-08 | Journal article
Part of ISSN: 1567-8326
Source: Self-asserted source
Grigore Rosu

Mop: an efficient and generic runtime verification framework

ACM SIGPLAN Notices
2007-10-21 | Journal article
Part of ISSN: 0362-1340
Part of ISSN: 1558-1160
Source: Self-asserted source
Grigore Rosu

Synthesizing monitors for safety properties

Tools and Algorithms for the Construction and Analysis of Systems
2002 | Book chapter
Part of ISBN: 9783540434191
Part of ISBN: 9783540460022
Part of ISSN: 0302-9743
Source: Self-asserted source
Grigore Rosu

Institution morphisms

Formal Aspects of Computing
2002-07 | Journal article
Part of ISSN: 0934-5043
Part of ISSN: 1433-299X
Source: Self-asserted source
Grigore Rosu