Maria Sorea
发表
Maria Sorea,
M. Sorea,
2002,
CONCUR.
Maria Sorea,
2002,
Electron. Notes Theor. Comput. Sci..
Bruno Dutertre,
Maria Sorea,
B. Dutertre,
2004,
FORMATS/FTRTFT.
Martin Strecker,
Maria Sorea,
M. Strecker,
1997,
KI.
Harald Ruess,
Maria Sorea,
Leonardo Mendonça de Moura,
2002,
CADE.
Maria Sorea,
M. Sorea,
2004
.
Klaus Echtle,
Maria Sorea,
Sebastian Voss,
2009,
IFM.
Maria Sorea,
Wilfried Steiner,
2007
.
Maria Sorea,
M. Sorea,
2001
.
Bruno Dutertre,
Maria Sorea,
B. Dutertre,
2004
.
Bruno Dutertre,
Maria Sorea,
Wilfried Steiner,
2008,
2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).
Axel Legay,
Leandro Dias da Silva,
Luca de Alfaro,
2005,
FroCoS.
Maria Sorea,
Sebastian Voss,
Josef Schalk,
2008
.
Maria Sorea,
Sebastian Voss,
Josef Schalk,
2008
.
Harald Ruess,
Maria Sorea,
2007
.
Maria Sorea,
Wilfried Steiner,
John M. Rushby,
2004,
International Conference on Dependable Systems and Networks, 2004.
Maria Sorea,
M. Sorea,
2004,
FORMATS/FTRTFT.
Maria Sorea,
Mila E. Majster-Cederbaum,
Frank Salger,
2000,
FORTE.
Harald Ruess,
Maria Sorea,
Leonardo de Moura,
2003,
CAV.
Harald Ruess,
Maria Sorea,
Leonardo Mendonça de Moura,
2003,
CAV.
Maria Sorea,
M. Oliver Möller,
Harald Ruess,
2001,
Theory and Practice of Timed Systems @ ETAPS.
Maria Sorea,
Sebastian Voss,
Josef Schalk,
2006,
WADS.
Harald Ruess,
Maria Sorea,
M. Oliver Möller,
2001
.
Ashish Tiwari,
Natarajan Shankar,
Harald Ruess,
2004,
CAV.
Harald Ruess,
Michael Paulitsch,
Maria Sorea,
2008,
ISoLA.