MPG.eBooks - Author Search Results

Grigore Roșu

Grigore Roșu (born December 12, 1971) is a computer science professor at the University of Illinois at Urbana-Champaign and a researcher in the Information Trust Institute. He is known for his contributions in runtime verification, the K framework, matching logic, and automated coinduction. Provided by Wikipedia

Cover Image

1

Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Rosu, Grigore...”

Cover Image

2

Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Published 2022

Springer International Publishing

Other Authors: “...Rosu, Grigore...”

Cover Image

3

Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Swede...

Published 2012

Springer Berlin Heidelberg

Other Authors: “...Rosu, Grigore...”

Cover Image

4

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2022

Springer International Publishing

Other Authors: “...Rosu, Grigore...”

Cover Image

5

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2022

Springer International Publishing

Other Authors: “...Rosu, Grigore...”

Cover Image

6

Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Select...

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Rosu, Grigore...”