Maria Sorea

Publication Activity (10 Years)

Years Active: 1997-2009
Publications (10 Years): 0

University of Ulm, Germany (PHD)

Education History

University of Ulm, Germany

PHD

Publications

Sebastian Voss, Maria Sorea, Klaus Echtle
SAL-Based Symbolic Scheduling in Time-Triggered Networks. IFM (2009)
Maria Sorea, Bruno Dutertre, Wilfried Steiner
Modeling and Verification of Time-Triggered Communication Protocols. ISORC (2008)
Michael Paulitsch, Harald Rueß, Maria Sorea
Non-functional Avionics Requirements. ISoLA (2008)
Christoph Heller, Josef Schalk, Stefan Schneele, Maria Sorea, Sebastian Voss
Flexible Communication Architecture for Dependable Time-Triggered Systems. WADS (2006)
Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea
Sociable Interfaces. FroCoS (2005)
Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari
SAL 2. CAV (2004)
Bruno Dutertre, Maria Sorea
Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata. FORMATS/FTRTFT (2004)
Maria Sorea
Lazy Approximation for Dense Real-Time Systems. FORMATS/FTRTFT (2004)
Wilfried Steiner, John M. Rushby, Maria Sorea, Holger Pfeifer
Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation. DSN (2004)
Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea
Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A). CAV (2003)
Maria Sorea
Bounded Model Checking for Timed Automata. Electron. Notes Theor. Comput. Sci. 68 (5) (2002)
M. Oliver Möller, Harald Rueß, Maria Sorea
Predicate Abstraction for Dense Real-Time System. Electron. Notes Theor. Comput. Sci. 65 (6) (2002)
Maria Sorea
A Decidable Fixpoint Logic for Time-Outs. CONCUR (2002)
Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea
Lazy Theorem Proving for Bounded Model Checking over Infinite Domains. CADE (2002)
Mila E. Majster-Cederbaum, Frank Salger, Maria Sorea
A Priori Verification of Reactive Systems. FORTE (2000)
Martin Strecker, Maria Sorea
Integrating an Equality Prover into a Software Development System Based on Type Theory. KI (1997)

Maria Sorea.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Maria Sorea