Maria Sorea

	2009
16		Sebastian Voss, Maria Sorea, Klaus Echtle: SAL-Based Symbolic Scheduling in Time-Triggered Networks. IFM 2009: 200-214
	2008
15		Maria Sorea, Bruno Dutertre, Wilfried Steiner: Modeling and Verification of Time-Triggered Communication Protocols. ISORC 2008: 422-428
14		Michael Paulitsch, Harald Rueß, Maria Sorea: Non-functional Avionics Requirements. ISoLA 2008: 369-384
	2006
13		Christoph Heller, Josef Schalk, Stefan Schneele, Maria Sorea, Sebastian Voss: Flexible Communication Architecture for Dependable Time-Triggered Systems. WADS 2006: 316-336
	2005
12		Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea: Sociable Interfaces. FroCos 2005: 81-105
	2004
11		Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari: SAL 2. CAV 2004: 496-500
10		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: 189-198
9		Bruno Dutertre, Maria Sorea: Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata. FORMATS/FTRTFT 2004: 199-214
8		Maria Sorea: Lazy Approximation for Dense Real-Time Systems. FORMATS/FTRTFT 2004: 363-378
	2003
7		Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea: Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A). CAV 2003: 14-26
	2002
6		Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea: Lazy Theorem Proving for Bounded Model Checking over Infinite Domains. CADE 2002: 438-455
5		Maria Sorea: A Decidable Fixpoint Logic for Time-Outs. CONCUR 2002: 255-271
4		M. Oliver Möller, Harald Rueß, Maria Sorea: Predicate Abstraction for Dense Real-Time System. Electr. Notes Theor. Comput. Sci. 65(6): (2002)
3		Maria Sorea: Bounded Model Checking for Timed Automata. Electr. Notes Theor. Comput. Sci. 68(5): (2002)
	2000
2		Mila E. Majster-Cederbaum, Frank Salger, Maria Sorea: A Priori Verification of Reactive Systems. FORTE 2000: 35-50
	1997
1		Martin Strecker, Maria Sorea: Integrating an Equality Prover into a Software Development System Based on Type Theory. KI 1997: 147-158

Coauthor Index

1	Luca de Alfaro	[12]
2	Bruno Dutertre	[9] [15]
3	Klaus Echtle	[16]
4	Marco Faella	[12]
5	Christoph Heller	[13]
6	Axel Legay	[12]
7	Mila E. Majster-Cederbaum	[2]
8	M. Oliver Möller	[4]
9	Leonardo Mendonça de Moura	[6] [7] [11]
10	Sam Owre	[11]
11	Michael Paulitsch	[14]
12	Holger Pfeifer	[10]
13	Pritam Roy	[12]
14	Harald Rueß	[4] [6] [7] [11] [14]
15	John M. Rushby	[10] [11]
16	Frank Salger	[2]
17	Josef Schalk	[13]
18	Stefan Schneele	[13]
19	Natarajan Shankar	[11]
20	Leandro Dias da Silva	[12]
21	Wilfried Steiner	[10] [15]
22	Martin Strecker	[1]
23	Ashish Tiwari	[11]
24	Sebastian Voss	[13] [16]

Colors in the list of coauthors