×

Found 8 Documents (Results 1–8)

Newest Citations Relevance
Kini, Dileep Raghunath; Krishna, Shankara Narayanan; Pandya, Paritosh K.

On construction of safety signal automata for \(\mathrm{MITL}[\mathcal{U},\mathcal{S}]\) using temporal projections. (English) Zbl 1348.68106

Fahrenberg, Uli (ed.) et al., Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24309-7/pbk). Lecture Notes in Computer Science 6919, 225-239 (2011).
MSC:  68Q45 03B44
Cite Review PDF
Full Text: DOI
Chen, Taolue; Diciolla, Marco; Kwiatkowska, Marta; Mereacre, Alexandru

Time-bounded verification of CTMCs against real-time specifications. (English) Zbl 1348.68126

Fahrenberg, Uli (ed.) et al., Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24309-7/pbk). Lecture Notes in Computer Science 6919, 26-42 (2011).
MSC:  68Q60 60J28 68Q87
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

Serial

all top 5

Year of Publication

Main Field

all top 3

Software