If you made any changes in Pure, your changes will be visible here soon.

Research Output 1997 2019

Filter
Conference article
2016

RV-ECU: Maximum Assurance In-Vehicle Safety Monitoring

Daian, P., Shiraishi, S., Iwai, A., Manja, B. & Rosu, G., Jan 1 2016, In : SAE Technical Papers.

Research output: Contribution to journalConference article

Monitoring
Specifications
Railroad cars
Communication
Costs
2013

One-path reachability logic

Rosu, G., Stefanescu, A., Ciobaca, S. & Moore, B. M., Sep 9 2013, In : Proceedings - Symposium on Logic in Computer Science. p. 358-367 10 p., 6571568.

Research output: Contribution to journalConference article

Operational Semantics
Reachability
Semantics
Logic
Path
2009

Defining and executing P systems with structured data in K

Serbǎnuţǎ, T., Ştefǎnescu, G. & Roşu, G., Feb 23 2009, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5391 LNCS, p. 374-393 20 p.

Research output: Contribution to journalConference article

P Systems
Semantics
Computer programming languages
Formal Semantics
Overlap
2007

Regular strategies as proof tactics for CIRC

Lucanu, D., Rosu, G. & Grigoraş, G., Dec 1 2007, In : Electronic Notes in Theoretical Computer Science. p. 69-83 15 p.

Research output: Contribution to journalConference article

Rewriting
Engines
Coinduction
Maude
Regular Expressions
2005

Behavioral extensions of institutions

Popescu, A. & Rosu, G., Oct 26 2005, In : Lecture Notes in Computer Science. 3629, p. 331-347 17 p.

Research output: Contribution to journalConference article

Logic
Equivalence
Concretes
Reasoning
Partial

Detecting errors in multithreaded programs by generalized predictive analysis of executions

Sen, K., Roşu, G. & Agha, G., Oct 17 2005, In : Lecture Notes in Computer Science. 3535, p. 211-226 16 p.

Research output: Contribution to journalConference article

Concurrent Systems
Violate
Trace
Runtime Analysis
Specification

Efficient monitoring of ω-languages

D'Amorim, M. & Rosu, G., Oct 19 2005, In : Lecture Notes in Computer Science. 3576, p. 364-378 15 p.

Research output: Contribution to journalConference article

Formal languages
Regular Languages
Finite automata
State Machine
Monitoring

Formally defining and verifying Master/Slave Speculative Parallelization

Salverda, P., Rosu, G. & Zilles, C., Oct 19 2005, In : Lecture Notes in Computer Science. 3582, p. 123-138 16 p.

Research output: Contribution to journalConference article

Parallelization
Sequential machines
Correctness
Refining
Microprocessor chips

From conditional to unconditional rewriting

Roşu, G., Sep 14 2005, In : Lecture Notes in Computer Science. 3423, p. 218-233 16 p.

Research output: Contribution to journalConference article

Rewriting
Engines
Experiments
Engine
Optimise

Java-MOP: A monitoring oriented programming environment for java

Chen, F. & Rosu, G., Sep 20 2005, In : Lecture Notes in Computer Science. 3440, p. 546-550 5 p.

Research output: Contribution to journalConference article

Programming Environments
Java
Software engineering
Monitoring
Specifications
2004

Efficient decentralized monitoring of safety in distributed systems

Sen, K., Vardhan, A., Agha, G. & Roşu, G., Oct 4 2004, In : Proceedings - International Conference on Software Engineering. 26, p. 418-427 10 p.

Research output: Contribution to journalConference article

Monitoring
Temporal logic
Rewriting Logic
Specification languages
Formal Analysis
Specification Languages
Semantics
2003

Inductive behavioral proofs by unhiding

Rosu, G., Jul 2003, In : Electronic Notes in Theoretical Computer Science. 82, 1, p. 285-302 18 p.

Research output: Contribution to journalConference article

Specifications
Theorem
Machinery
Algebraic Specification
Acoustic waves
2002

Towards behavioral maude: Behavioral membership equational logic

Meseguer, J. & Rosu, G., Oct 2002, In : Electronic Notes in Theoretical Computer Science. 65, 1, p. 197-253 57 p.

Research output: Contribution to journalConference article

Equational Logic
Maude
Specification languages
Semantics
Specification Languages
2001

Electronic Notes in Theoretical Computer Science: Preface

Havelund, K. & Rosu, G., Oct 1 2001, In : Electronic Notes in Theoretical Computer Science. 55, 2, p. 287-288 2 p.

Research output: Contribution to journalConference article

Computer Science
Electronics

Interpreting abstract interpretations in membership equational logic

Fischer, B. & Roşu, G., Nov 1 2001, In : Electronic Notes in Theoretical Computer Science. 59, 4, p. 271-285 15 p.

Research output: Contribution to journalConference article

Equational Logic
Abstract Interpretation
Maude
Specifications
Sort

Monitoring Java programs with Java PathExplorer

Havelund, K. & Roşu, G., Oct 1 2001, In : Electronic Notes in Theoretical Computer Science. 55, 2, p. 200-217 18 p.

Research output: Contribution to journalConference article

Java
Monitoring
Specifications
Maude
Requirements Specification
2000

A protocol for distributed cooperative work

Goguen, J. & Rosu, G., Dec 1 2000, In : Electronic Notes in Theoretical Computer Science. 28, 1 p.

Research output: Contribution to journalConference article

Closure Operator
Specifications
Set theory
Specification
Algebra

Behavioral and coinductive rewriting

Goguen, J., Lin, K. & Rosu, G., Dec 1 2000, In : Electronic Notes in Theoretical Computer Science. 36, p. 2-23 22 p.

Research output: Contribution to journalConference article

Rewriting
Coinduction
Confluence
Inference Rules
Efficient Implementation

Incompleteness of behavioral logics

Buss, S. & Rosu, G., Dec 1 2000, In : Electronic Notes in Theoretical Computer Science. 33, p. 61-79 19 p.

Research output: Contribution to journalConference article

Incompleteness
Flavors
Algebra
Logic
Specifications
1998

A Birkhoff-like axiomatizability result for hidden algebra and coalgebra

Rosu, G., Dec 1 1998, In : Electronic Notes in Theoretical Computer Science. 11, p. 176-193 18 p.

Research output: Contribution to journalConference article

Coproducts
Coalgebra
Algebra
Inclusion
Morphisms