Maria Sorea

2008
14	EE	Maria Sorea, Bruno Dutertre, Wilfried Steiner: Modeling and Verification of Time-Triggered Communication Protocols. ISORC 2008: 422-428
2006
13	EE	Christoph Heller, Josef Schalk, Stefan Schneele, Maria Sorea, Sebastian Voss: Flexible Communication Architecture for Dependable Time-Triggered Systems. WADS 2006: 316-336
2005
12	EE	Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea: Sociable Interfaces. FroCos 2005: 81-105
2004
11	EE	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	EE	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	EE	Bruno Dutertre, Maria Sorea: Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata. FORMATS/FTRTFT 2004: 199-214
8	EE	Maria Sorea: Lazy Approximation for Dense Real-Time Systems. FORMATS/FTRTFT 2004: 363-378
2003
7	EE	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	EE	Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea: Lazy Theorem Proving for Bounded Model Checking over Infinite Domains. CADE 2002: 438-455
5	EE	Maria Sorea: A Decidable Fixpoint Logic for Time-Outs. CONCUR 2002: 255-271
4	EE	M. Oliver Möller, Harald Rueß, Maria Sorea: Predicate Abstraction for Dense Real-Time System. Electr. Notes Theor. Comput. Sci. 65(6): (2002)
3	EE	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] [14]
3	Marco Faella	[12]
4	Christoph Heller	[13]
5	Axel Legay	[12]
6	Mila E. Majster-Cederbaum	[2]
7	M. Oliver Möller	[4]
8	Leonardo Mendonça de Moura	[6] [7] [11]
9	Sam Owre	[11]
10	Holger Pfeifer	[10]
11	Pritam Roy	[12]
12	Harald Rueß	[4] [6] [7] [11]
13	John M. Rushby	[10] [11]
14	Frank Salger	[2]
15	Josef Schalk	[13]
16	Stefan Schneele	[13]
17	Natarajan Shankar	[11]
18	Leandro Dias da Silva	[12]
19	Wilfried Steiner	[10] [14]
20	Martin Strecker	[1]
21	Ashish Tiwari	[11]
22	Sebastian Voss	[13]

Colors in the list of coauthors