1
0
0
(1 - 26 von 27
)
ForewordBücher.de
bilder.buecher.de
Maria Sorea. Christoph Sprenger. Rick Statman. Colin Stirling. Thomas Streicher. Koichi Takahashi. Makoto Tanabe. Francis Tang. Ashish Tiwari. Keith Wansbrough. Maria Sorea. Christoph Sprenger. Rick Statman. Colin Stirling. Thomas Streicher. Koichi Takahashi. Makoto Tanabe. Francis Tang. Ashish Tiwari. Keith Wansbrough.
PrefaceBücher.de
bilder.buecher.de
Maria Sorea. Gunnar Staalmarck. Aaron Stump. Grégoire Sutre. Armando Tacchella. Xavier Thirioux. Ferucio Laurentiu Tiplea. Ashish Tiwari. Richard Trefler. Maria Sorea. Gunnar Staalmarck. Aaron Stump. Grégoire Sutre. Armando Tacchella. Xavier Thirioux. Ferucio Laurentiu Tiplea. Ashish Tiwari. Richard Trefler.
Automated Deduction - CADE-18: 18th International Conference ...google.de
books.google.de
... Maria Sorea ** SRI International Computer Science Laboratory 333 Ravenswood Avenue Menlo Park , CA , USA { demoura , ruess , .com http ...
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant...
books.google.de
(1997) 134–152 Static Fault-Tolerant Real-Time Scheduling with “Pseudo-topological” Orders C ̆at ̆alin Dima1, Alain 214 Bruno Dutertre and Maria Sorea.
Automated Reasoning: Second International Joint Conference, ...
books.google.de
... Savelli Steffen Schlager Manfred Schmidt-Schauss Christian Schulte Klaus U. Schulz Johann Schumann Maria Sorea Gernot Stenz Jürgen Stuber Lidia Tendera ...
Computer Aided Verification: 15th International Conference, ...google.de
books.google.de
... Truncated Paths Cindy Eisner1, Dana 26 Leonardo de Moura, Harald Rueß, and Maria Sorea Leonardo de Moura, Harald Rueß, Maria Sorea Symbolic Model Checking.
Tools and Algorithms for the Construction and Analysis of ...
books.google.de
Leonardo de Moura, Harald Rueß, and Maria Sorea. Bounded model checking and induction: From refutation to verification. In Computer-Aided Verification, ...
Formal Modeling and Analysis of Timed Systems: Third International...
books.google.de
M. Oliver M ̈oller, Harald Rueß, and Maria Sorea. Predicate abstraction for dense real-time systems. In Proc. Theory and Practice of Timed Systems (TPTS'02) ...
Computer Aided Verification: 15th International Conference, ...
books.google.de
Reasoning with Temporal Logic on Truncated Paths Cindy Eisner1, Dana 26 Leonardo de Moura, Harald Rueß, and Maria Sorea Leonardo de Moura, Harald Rueß, ...
Formal Modeling and Analysis of Timed Systems: Third ...google.de
books.google.de
... Maria Sorea . Predicate abstraction for dense real - time systems . In Proc . Theory and Practice of Timed Systems ( TPTS'02 ) , vol- ume 65 ( 6 ) of ...
TAPSOFT'97: Theory and Practice of Software Development: 7th ...google.de
books.google.de
... Maria Sorea is currently working on integrating an equality prover into TYPELAB . References [ Bid91 ] Michel Bidoit . Development of modular specifications ...
Tools and Algorithms for the Construction and Analysis of ...google.de
books.google.de
... Maria Sorea, and Ashish Tiwari. SAL 2. In Computer-Aided Verification, CAV'04, volume of LNCS, pages 496–500, Boston, MA, July Springer-Verlag
Computer Aided Verification: 15th International Conference, CAV
books.google.co.uk
The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July The 32 revised...
Formal Methods at the Crossroads. From Panacea to Foundational...
books.google.co.uk
This volume records the 10th Anniversary Colloquium of UNU/IIST, the Int- nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity, held in Lisbon,...
Logics of Specification Languages - Google Books
books.google.co.uk
Springer, Leonardo de Moura, Sam Owre, Harald Rueß, John Rushby, N. Shankar, Maria Sorea, and Ashish Tiwari. SAL 2. In R. Alur and D. Peled, editors ...
CONCUR Concurrency Theory: 13th International Conference,...
books.google.de
Technical Report SRI-CSL , Computer Science Laboratory, SRI International, http://www.csl.sri.com/papers/csl , 261 Maria Sorea.
Next Generation Design and Verification Methodologies for Distributed...
books.google.co.uk
M. Oliver M ̈oller, Harald Rueß, and Maria Sorea. Predicate Abstraction for Dense Real-Time Systems. In Proc. of the Workshop on Theory and Practice of Timed Systems, Maria Sorea. Verification of Real-Time Systems through Lazy Approximations. PhD thesis, University of Ulm, Germany, Stavros Tripakis ...
TAPSOFT'97: Theory and Practice of Software Development: 7th...
books.google.de
Maria Sorea is currently working on integrating an equality prover into TYPELAB. References [Bid91] Michel Bidoit. Development of modular specifications by ...
Theoretical Aspects of Computer Software: 4th International...
books.google.de
... Roeckl Harald Rueß Takafumi Sakurai Isao Sasano Alan Schmitt Peter Selinger Peter Sestoft Paula Severi Peter Sewell Maria Sorea Christoph Sprenger Rick ...
Leveraging Applications of Formal Methods, Verification and...
books.google.de
EADS Innovation Works, Munich, Germany Abstract. Embedded systems in aerospace become more and more integrated in order to ...
Integrated Formal Methods: 7th International Conference ...Google Books
books.google.com
SALBased Symbolic Scheduling in TimeTriggered Networks Sebastian Voss Maria Sorea and Klaus Echtle Automatic Generation of Error Messages for the ... SALBased Symbolic Scheduling in TimeTriggered Networks Sebastian Voss Maria Sorea and Klaus Echtle Automatic Generation of Error Messages for the ...
CONCUR Concurrency Theory: 13th International ...
books.google.de
A Decidable Fixpoint Logic for Time-Outs⋆ Maria Sorea⋆⋆ SRI International, Computer Science Laboratory 333 Ravenswood Avenue, Menlo Park, CA , ...
CONCUR Concurrency Theory: 13th International ...google.de
books.google.de
... Maria Sorea⋆⋆ SRI International, Computer Science Laboratory 333 Ravenswood Avenue, Menlo Park, CA , USA .com Abstract. We show ...
Formal Techniques, Modelling and Analysis of Timed and ...google.de
books.google.de
... Maria Sorea** Universität Ulm, Abteilung Künstliche Intelligenz, Germany -ulm.de Abstract. We propose an effective and complete method ...
Automated Deduction - CADE-18: 18th International Conference on...
books.google.de
Lazy Theorem Proving for Bounded Model Checking over Infinite Domains⋆ Leonardo de Moura, Harald Rueß, and Maria Sorea⋆⋆ SRI International Computer ...
Integrated Formal Methods: 7th International Conference, IFM
books.google.de
... in Time-Triggered Networks Sebastian Voss1, Maria Sorea1, and Klaus Echtle2 1 EADS Innovation Works, Munich, Germany {sebastian.voss,maria.sorea} ...
Verwandte Suchanfragen zu Maria Sorea
Harald Rueß Holger Pfeifer Oliver Möller | Siegfried Höck Maria Fehnker |
Personen Vorname "Maria" (74561) Name "Sorea" (4) |
sortiert nach Relevanz / Datum