Maria Sorea

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