Grigore Roşu

Artificial Intelligence · 2001–2018

A researcher in the Science corpus: 5 papers; trusts 11 researchers and is trusted by 19 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 19 citations into it; #13,357 of 35,345 by trust here, #21,878 by citations
• Computational Theory and Mathematics — 9 citations into it; #5,451 of 12,182 by trust here, #7,142 by citations
• Software — 9 citations into it; #282 of 1,227 by trust here, #636 by citations
• Computer Networks and Communications — 5 citations into it; #2,421 of 9,886 by trust here, #4,405 by citations
• Hardware and Architecture — 5 citations into it; #732 of 1,551 by trust here, #1,334 by citations

Whom Grigore Roşu trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Klaus Havelund
2. Gheorghe Paun
3. Gordon D. Plotkin
4. Willem Visser
5. Howard Barringer

Who trusts Grigore Roşu overall

1. Martin Leucker
2. Huashan Chen
3. Jingxuan He
4. Shuai Wang
5. Klaus Havelund
6. Oded Maler
7. Feng Chen
8. Christian Schallhart
9. Howard Barringer
10. Marcus Pendleton

Papers from Grigore Roşu's perspective

Ordered by how strongly the researchers Grigore Roşu trusts endorse each paper. Same corpus, a different order for every researcher.

1. The Temporal Rover and the ATG Rover (SPIN)
2. Monitoring Java Programs with Java PathExplorer (RV@CAV)
3. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
4. Generating statechart designs from scenarios (Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium)
5. Z3: An Efficient SMT Solver
6. A structural approach to operational semantics (J. Log. Algebraic Methods Program.)
7. The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
8. ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER
9. Advanced SQL Injection In SQL Server Applications
10. The DaCapo benchmarks: java benchmarking development and analysis (Conference on Object-Oriented Programming Systems, Languages, and Applications)

Their papers

• Synthesizing Monitors for Safety Properties (2002) — 400 citations
• Mop: an efficient and generic runtime verification framework (2007) — 413 citations
• KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine (2018) — 393 citations
• An overview of the K semantic framework (2010) — 472 citations
• Monitoring Java Programs with Java PathExplorer (2001) — 310 citations