Grigore Rosu: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - Oxford, United Kingdom (2018.7.9-2018.7.12)] 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

Hildenbrandt, Everett, Saxena, Manasvi, Rodrigues, Nishant, Zhu, Xiaoran, Daian, Philip, Guth, Dwight, Moore, Brandon, Park, Daejun, Zhang, Yi, Stefanescu, Andrei, Rosu, Grigore

Year:

2018

Language:

english

File:

PDF, 286 KB

english, 2018

2

[ACM Press the 40th ACM SIGPLAN Conference - Phoenix, AZ, USA (2019.06.22-2019.06.26)] Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019 - A complete formal semantics of x86-64 user-level instruction set architecture

Dasgupta, Sandeep, Park, Daejun, Kasampalis, Theodoros, Adve, Vikram S., Roşu, Grigore

Year:

2019

Language:

english

File:

PDF, 388 KB

english, 2019

3

Behavioral and Coinductive Rewriting (invited talk)

Joseph Goguen, Kai Lin, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 196 KB

english, 2000

4

Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP

Feng Chen, Marcelo d'Amorim, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 335 KB

english, 2006

5

Institution Morphisms

Joseph Goguen, Grigore Roşu

Journal:

Formal Aspects of Computing

Year:

2002

Language:

english

File:

PDF, 350 KB

english, 2002

6

Editorial

Narciso Martí-Oliet, Grigore Roşu, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

2007

Language:

english

File:

PDF, 159 KB

english, 2007

7

A semantic approach to interpolation

Andrei Popescu, Traian Florin Şerbănuţă, Grigore Roşu

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.15 MB

english, 2009

8

[IEEE 2008 IEEE 29th Real-Time Systems Symposium (RTSS) - Barcelona, Spain (2008.11.30-2008.12.3)] 2008 Real-Time Systems Symposium - Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems

Pellizzoni, Rodolfo, Meredith, Patrick, Caccamo, Marco, Rosu, Grigore

Year:

2008

Language:

english

File:

PDF, 580 KB

english, 2008

9

Axiomatizability in inclusive equational logics

Journal:

Mathematical Structures in Computer Science

Year:

2002

Language:

english

File:

PDF, 461 KB

english, 2002

10

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - K-Java

Bogdanas, Denis, Roşu, Grigore

Year:

2015

Language:

english

File:

PDF, 906 KB

english, 2015

11

Language definitions as rewrite theories

Rusu, Vlad, Lucanu, Dorel, Şerbănuţă, Traian-Florin, Arusoaie, Andrei, Ştefănescu, Andrei, Roşu, Grigore

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 739 KB

english, 2016

12

SAE Technical Paper Series [SAE International SAE 2016 World Congress and Exhibition - (APR. 12, 2016)] SAE Technical Paper Series - RV-ECU: Maximum Assurance In-Vehicle Safety Monitoring

Daian, Philip, Shiraishi, Shinichi, Iwai, Akihito, Manja, Bhargava, Rosu, Grigore

Year:

2016

Language:

english

File:

PDF, 1.53 MB

english, 2016

13

[IEEE 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) - Xi'an, China (2019.4.22-2019.4.27)] 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) - Techniques for Evolution-Aware Runtime Verification

Legunsen, Owolabi, Zhang, Yi, Hadzi-Tanovic, Milica, Rosu, Grigore, Marinov, Darko

Year:

2019

Language:

english

File:

PDF, 330 KB

english, 2019

14

An instrumentation technique for online analysis of multithreaded programs

Grigore Roşu, Koushik Sen

Journal:

Concurrency and Computation: Practice and Experience

Year:

2007

Language:

english

File:

PDF, 218 KB

english, 2007

15

Monitoring Algorithms for Metric Temporal Logic Specifications

Prasanna Thati, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 305 KB

english, 2005

16

The Rewriting Logic Semantics Project

José Meseguer, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 480 KB

english, 2006

17

Regular Strategies as Proof Tactics for CIRC

Dorel Lucanu, Grigore Roşu, Gheorghe Grigoraş

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 337 KB

english, 2008

18

A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters

Mark Hills, Traian Şerbănuţă, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 333 KB

english, 2007

19

A Rewriting Logic Approach to Operational Semantics (Extended Abstract)

Traian Florin Şerbănuţă, Grigore Roşu, José Meseguer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 375 KB

english, 2007

20

Behavioral abstraction is hiding information

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 317 KB

english, 2004

21

Combining test case generation and runtime verification

Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Mike Lowry, Corina Pasareanu, Grigore Roşu, Koushik Sen, Willem Visser, Rich Washington

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 290 KB

english, 2005

22

Equational axiomatizability for coalgebra

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 155 KB

english, 2001

23

A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1.17 MB

english, 1998

24

Monitoring Java Programs with Java PathExplorer

Klaus Havelund, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 335 KB

english, 2001

25

Towards Behavioral Maude: Behavioral Membership Equational Logic

José Meseguer, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 639 KB

english, 2002

26

Generating Optimal Monitors for Extended Regular Expressions

Koushik Sen, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 209 KB

english, 2003

27

Preface: Volume 70, Issue 4

Klaus Havelund, Grigore Rosu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 43 KB

english, 2002

28

Preface: Volume 55, Issue 2

Klaus Havelund, Grigore Rosu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 47 KB

english, 2001

29

A protocol for distributed cooperative work

Joseph Goguen, Grigore Rosu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

File:

PDF, 28 KB

2000

30

Incompleteness of Behavioral Logics

Samuel Buss, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

File:

PDF, 905 KB

2000

31

Efficient monitoring of safety properties

Klaus Havelund, Grigore Roşu

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 360 KB

english, 2004

32

Online efficient predictive safety analysis of multithreaded programs

Koushik Sen, Grigore Roşu, Gul Agha

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2006

Language:

english

File:

PDF, 1.45 MB

english, 2006

33

Rewriting-Based Techniques for Runtime Verification

Grigore Roşu, Klaus Havelund

Journal:

Automated Software Engineering

Year:

2005

Language:

english

File:

PDF, 2.21 MB

english, 2005

34

Efficient monitoring of parametric context-free patterns

Patrick O’Neil Meredith, Dongyun Jin, Feng Chen, Grigore Roşu

Journal:

Automated Software Engineering

Year:

2010

Language:

english

File:

PDF, 714 KB

english, 2010

35

Foreword

Klaus Havelund, Grigore Roşu

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 88 KB

english, 2005

36

Preface

Klaus Havelund, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 64 KB

english, 2005

37

Rewriting Logic Systems

Grit Denker, Carolyn Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian Florin Şerbănuţă

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 286 KB

english, 2007

38

Preface

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 109 KB

english, 2009

39

The rewriting logic semantics project

José Meseguer, Grigore Roşu

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 625 KB

english, 2007

40

Interpreting Abstract Interpretations in Membership Equational Logic

Bernd Fischer, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 320 KB

english, 2001

41

Inductive Behavioral Proofs by Unhiding

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 212 KB

english, 2003

42

Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation

Feng Chen, Grigore Roşu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

File:

PDF, 1.08 MB

2003

43

Foreword

Klaus Havelund, Grigore Roşu

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 21 KB

english, 2004

44

An Overview of the Runtime Verification Tool Java PathExplorer

Klaus Havelund, Grigore Roşu

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 181 KB

english, 2004

45

[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 5140 || Calculating Invariants as Coreflexive Bisimulations

Meseguer, José, Roşu, Grigore

Year:

2008

Language:

english

File:

PDF, 522 KB

english, 2008

46

[Lecture Notes in Computer Science] Formal Techniques for Distributed Systems Volume 7273 || Behavioural Equivalences over Migrating Processes with Timers

Giese, Holger, Rosu, Grigore

Year:

2012

Language:

english

File:

PDF, 258 KB

english, 2012

47

An overview of the MOP runtime verification framework

Patrick O’Neil Meredith, Dongyun Jin, Dennis Griffith, Feng Chen, Grigore Roşu

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 4.26 MB

english, 2012

48

A rewriting logic approach to operational semantics

Traian Florin Şerbănuţă, Grigore Roşu, José Meseguer

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 421 KB

english, 2009

49

An overview of the K semantic framework

Grigore Roșu, Traian Florin Șerbănută

Journal:

The Journal of Logic and Algebraic Programming

Year:

2010

Language:

english

File:

PDF, 1.80 MB

english, 2010

50

Introduction to the special issue on runtime verification

Sokolsky, Oleg, Roşu, Grigore

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 145 KB

english, 2012