Search Results - Rosu, Grigore
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,
automated coinduction., and for founding [https://runtimeverification.com/ Runtime Verification, Inc.] and [https://pi2.network/founder Pi Squared, Inc.].
Provided by Wikipedia
-
1
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 o...
Published 2022Other Authors: “…Rosu, Grigore…”
Link to Metadata
Electronic eBook -
2
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 o...
Published 2022Other Authors: “…Rosu, Grigore…”
Link to Metadata
Electronic eBook -
3
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 o...
Published 2022Other Authors: “…Rosu, Grigore…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
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 o...
Published 2022Other Authors: “…Rosu, Grigore…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
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 o...
Published 2022Other Authors: “…Rosu, Grigore…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
6
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 o...
Published 2022Other Authors: “…Rosu, Grigore…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter