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

Fingerprint Dive into the research topics where Grigore Rosu is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Mathematics

Rewriting Logic
Maude
Rewriting
Runtime Verification
Logic
Coinduction
Monitoring
Trace
Specification
Programming Languages
Java
Equational Logic
Linear Temporal Logic
Proof System
Monitor
Operational Semantics
Reachability
Formal Analysis
Safety
Program Verification
Concurrent
Program Analysis
Language
Regular Expressions
Equivalence
Temporal Logic
Semantics
Formal Semantics
Deduction
Categorical
Computer Science
Framework
Morphisms
Runtime Analysis
Algebraic Specification
Inclusion
Formal Specification
Correctness
Term
Formal Methods
Algebra
Artificial Intelligence
Regular Languages
Engine
Axioms
Bioinformatics
Reasoning

Engineering & Materials Science

Semantics
Specifications
Monitoring
Temporal logic
Computer programming languages
Acoustic waves
Testing
Algebra
Engines
Formal methods
Pattern matching
Object oriented programming
Specification languages
Trace analysis
Context free grammars
Computer science
Bioinformatics
Model checking
Finite automata
Formal languages
Software engineering
Artificial intelligence
Experiments