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 ...
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 ...
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 ...
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.
SRI Formal Methods: Recent Paperssri.com
fm.csl.sri.com
Modeling and Verification of a Fault-Tolerant Real-time Startup Protocol using Calendar Automata. Bruno Dutertre and Maria Sorea. Presented at FTRTFT '04, ... Modeling and Verification of a Fault-Tolerant Real-time Startup Protocol using Calendar Automata. Bruno Dutertre and Maria Sorea. Presented at FTRTFT '04, ...
Formal Analysis for Embedded Real-Time SystemsArchive ouverte HAL
hal.science
von J Rushby — Harald Rueß, Maria Sorea, and Natarajan Shankar. 7. References. [1] R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2): ... von J Rushby — Harald Rueß, Maria Sorea, and Natarajan Shankar. 7. References. [1] R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2): ...
Sociable Interfaces | SpringerLink
link.springer.com
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based...
Alle Infos zum Namen "Maria Sorea"
(Not so) Recent Formal Methods Papers from SRIsri.com
fm.csl.sri.com
SAL 2 by Leonardo de Moura, Sam Owre, Harald Ruess, John Rushby, N. Shankar, Maria Sorea, and Ashish Tiwari. Presented at CAV 2004, Boston, MA, July SAL 2 by Leonardo de Moura, Sam Owre, Harald Ruess, John Rushby, N. Shankar, Maria Sorea, and Ashish Tiwari. Presented at CAV 2004, Boston, MA, July
Leveraging applications of formal methods, verification and ...zlibrary.to
zlibrary.to
Michael Paulitsch, Harald Ruess, and Maria Sorea A Simulation Approach for Performance Validation during Embedded Systems Design Michael Paulitsch, Harald Ruess, and Maria Sorea A Simulation Approach for Performance Validation during Embedded Systems Design ...
Modeling and Verification of a Fault-Tolerant Real-time ...imag.fr
www-formats-ftrtft.imag.fr
Modeling and Verification of a Fault-Tolerant Real-time Startup Protocol using Calendar Automata. Bruno Dutertre and Maria Sorea. Presented at Formal ... Modeling and Verification of a Fault-Tolerant Real-time Startup Protocol using Calendar Automata. Bruno Dutertre and Maria Sorea. Presented at Formal ...
ORBilu: Detailled Reference - University of LuxembourgORBilu
orbilu.uni.lu
von C Menghi · · Zitiert von: 79 — Maria Sorea Lazy approximation for dense real-time systems. In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems ... von C Menghi · · Zitiert von: 79 — Maria Sorea Lazy approximation for dense real-time systems. In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems ...
iFM 2009: integrated Formal Methods | Programme
www3.hhu.de
... Maria Sorea: SAL-Based Symbolic Scheduling in Time-Triggered Networks; Osman Hasan, Naeem Abbasi, Sofiene Tahar: Formal Probabilistic Analysis of Stuck-at Faults
FORMATS-FTRTFT Programme
www-formats-ftrtft.imag.fr
Bruno Dutertre and Maria Sorea. 10: :45, Coffee break, 15: :45, Coffee break. 10: :15, Formal Verification of an avionics sensor voter ... Modeling and Verification of a Fault-Tolerant Real-time Startup Protocol using Calendar Automata. Bruno Dutertre and Maria Sorea. › ...
Non-functional Avionics Requirements | springerprofessional.de
www.springerprofessional.de
Authors: Michael Paulitsch, Harald Ruess, Maria Sorea. Publisher: Springer Berlin Heidelberg. Published in: Leveraging Applications of Formal Methods, ... › ...
SAL-Based Symbolic Scheduling in Time-Triggered Networks ...www.springerprofessional.de › sal-...
www.springerprofessional.de
Authors: Sebastian Voss, Maria Sorea, Klaus Echtle. Publisher: Springer Berlin Heidelberg. Published in: Integrated Formal Methods. » Get access to the full-text.
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