M. Sorea
发表
N. Shankar,
M. Sorea,
2003
.
M. Sorea,
2014
.
Bruno Dutertre,
Maria Sorea,
B. Dutertre,
2004
.
M. Majster-Cederbaum,
M. Sorea,
Frank Salger,
2000
.
Harald Ruess,
Maria Sorea,
M. Oliver Möller,
2001
.
Maria Sorea,
M. Sorea,
2004,
FORMATS/FTRTFT.
Maria Sorea,
M. Sorea,
2004
.
N. Shankar,
M. Sorea,
2003
.
M. Sorea,
2004
.
Maria Sorea,
Wilfried Steiner,
John M. Rushby,
2004,
International Conference on Dependable Systems and Networks, 2004.
Martin Strecker,
Maria Sorea,
M. Strecker,
1997,
KI.
Axel Legay,
Leandro Dias da Silva,
Luca de Alfaro,
2005,
FroCoS.
Klaus Echtle,
Maria Sorea,
Sebastian Voss,
2009,
IFM.
Harald Ruess,
Maria Sorea,
Leonardo Mendonça de Moura,
2002,
CADE.
L. D. Alfaro,
M. Faella,
Axel Legay,
2005,
FroCoS.
Ashish Tiwari,
Natarajan Shankar,
Harald Ruess,
2004,
CAV.
Maria Sorea,
Mila E. Majster-Cederbaum,
Frank Salger,
2000,
FORTE.
Maria Sorea,
M. Sorea,
2001
.
Harald Ruess,
Michael Paulitsch,
Maria Sorea,
2008,
ISoLA.
Maria Sorea,
M. Sorea,
2002,
CONCUR.
Maria Sorea,
M. Oliver Möller,
Harald Ruess,
2001,
Theory and Practice of Timed Systems @ ETAPS.
Harald Ruess,
Maria Sorea,
Leonardo de Moura,
2003,
CAV.