| 2009 | IFM | SAL-Based Symbolic Scheduling in Time-Triggered Networks. | Sebastian Voss, Maria Sorea, Klaus Echtle |
| 2008 | ISoLA | Non-functional Avionics Requirements. | Michael Paulitsch, Harald Rue, Maria Sorea |
| 2008 | ISORC | Modeling and Verification of Time-Triggered Communication Protocols. | Maria Sorea, Bruno Dutertre, Wilfried Steiner |
| 2006 | ICSE | Flexible Communication Architecture for Dependable Time-Triggered Systems. | Christoph Heller, Josef Schalk, Stefan Schneele, Maria Sorea, Sebastian Voss |
| 2004 | CAV | SAL 2. | Leonardo Mendona de Moura, Sam Owre, Harald Rue, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari |
| 2004 | DSN | Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation. | Wilfried Steiner, John M. Rushby, Maria Sorea, Holger Pfeifer |
| 2003 | CAV | Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A). | Leonardo Mendona de Moura, Harald Rue, Maria Sorea |
| 2002 | CADE | Lazy Theorem Proving for Bounded Model Checking over Infinite Domains. | Leonardo Mendona de Moura, Harald Rue, Maria Sorea |
| 2002 | CONCUR | A Decidable Fixpoint Logic for Time-Outs. | Maria Sorea |
| 2000 | FORTE | A Priori Verification of Reactive Systems. | Mila E. Majster-Cederbaum, Frank Salger, Maria Sorea |
| 1997 | KI | Integrating an Equality Prover into a Software Development System Based on Type Theory. | Martin Strecker, Maria Sorea |