Maria Sorea

According to our database, Maria Sorea authored at least 17 papers between 1997 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2009

SAL-Based Symbolic Scheduling in Time-Triggered Networks.

Sebastian Voss, Maria Sorea, Klaus Echtle

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2008

Modeling and Verification of Time-Triggered Communication Protocols.

Maria Sorea, Bruno Dutertre, Wilfried Steiner

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Non-functional Avionics Requirements.

Michael Paulitsch, Harald Rueß, Maria Sorea

Proceedings of the Leveraging Applications of Formal Methods, 2008

2006

Flexible Communication Architecture for Dependable Time-Triggered Systems.

Christoph Heller, Josef Schalk, Stefan Schneele, Maria Sorea, Sebastian Voss

Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

2005

Sociable Interfaces.

Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea

Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005

2004

Verification of real-time systems through lazy approximations.

Maria Sorea

PhD thesis, 2004

Lazy Approximation for Dense Real-Time Systems.

Maria Sorea

Proceedings of the Formal Techniques, 2004

Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata.

Bruno Dutertre, Maria Sorea

Proceedings of the Formal Techniques, 2004

Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation.

Wilfried Steiner, John M. Rushby, Maria Sorea, Holger Pfeifer

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

SAL 2.

Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A).

Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Bounded Model Checking for Timed Automata.

Maria Sorea

Proceedings of the International Workshop on Models for Time-Critical Systems, 2002

Predicate Abstraction for Dense Real-Time System.

M. Oliver Möller, Harald Rueß, Maria Sorea

Proceedings of the Theory and Practice of Timed Systems, 2002

A Decidable Fixpoint Logic for Time-Outs.

Maria Sorea

Proceedings of the CONCUR 2002, 2002

Lazy Theorem Proving for Bounded Model Checking over Infinite Domains.

Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea

Proceedings of the Automated Deduction, 2002

2000

A Priori Verification of Reactive Systems.

Mila E. Majster-Cederbaum, Frank Salger, Maria Sorea

Proceedings of the Formal Techniques for Distributed System Development, 2000

1997

Integrating an Equality Prover into a Software Development System Based on Type Theory.

Martin Strecker, Maria Sorea

Proceedings of the KI-97: Advances in Artificial Intelligence, 1997