Formal Systems Laboratory
Home
People
Publications
© 2021. All rights reserved.
Circ
2014
Behavioral Rewrite Systems and Behavioral Productivity
Rosu, Grigore
and
Lucanu, Dorel
.
Futatsugi Festschrift 2014
, pp 296-314.
2014
PDF
BIB
On the Complexity of Stream Equality
Endrullis, Jörg
and
Hendriks, Dimitri
and
Bakhshi, Rena
and
Roşu, Grigore
.
2014
PDF
BIB
2003
Generating Optimal Monitors for Extended Regular Expressions
Sen, Koushik
and
Rosu, Grigore
.
RV’03
Elsevier, pp 226-245.
2003
PDF
BIB
Generating Optimal Linear Temporal Logic Monitors by Coinduction
Sen, Koushik
and
Rosu, Grigore
and
Agha, Gul
.
ASIAN’03
Springer-Verlag, pp 260-275.
2003
PDF
BIB