×

Found 23 Documents (Results 1–23)

Validation of Neural Network Controllers for Uncertain Systems Through Keep-Close Approach: Robustness Analysis and Safety Verification. arXiv:2212.06532

Preprint, arXiv:2212.06532 [eess.SY] (2022).
BibTeX Cite
Full Text: arXiv

Runtime verification of contracts with Themulus. (English) Zbl 1476.68163

de Boer, Frank (ed.) et al., Software engineering and formal methods. 18th international conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12310, 231-246 (2020).
MSC:  68Q85 03B45 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Process calculi: E-LOTOS. Reprint of the 2001 hardback ed. (English) Zbl 1253.68251

Bowman, Howard (ed.) et al., Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). 77-104 (2010).
MSC:  68Q85 68N30
PDFBibTeX XMLCite

Introducing debugging capabilities to natural semantics. (English) Zbl 1185.68204

Virbitskaite, Irina (ed.) et al., Perspectives of systems informatics. 6th international Andrei Ershov memorial conference, PSI 2006, Novosibirsk, Russia, June 27–30, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-70880-3/pbk). Lecture Notes in Computer Science 4378, 195-208 (2007).
MSC:  68N18 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Testing semantics for urgent timed process algebras. (English) Zbl 1123.68082

Ionescu, Dan (ed.) et al., Real-time-systems. Modeling, design and applications. Selected papers based on the presentations at the AMAST workshops. Hackensack, NJ: World Scientific (ISBN 981-02-4424-X/hbk). AMAST Series in Computing 8, 221-235 (2007).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite

Derivation of a suitable finite test suite for customized probabilistic systems. (English) Zbl 1225.68046

Najm, Elie (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2006. 26th IFIP WG 6.1 international conference, Paris, France, September 26–29, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-46219-4/pbk). Lecture Notes in Computer Science 4229, 467-483 (2006).
MSC:  68M14 68M15
PDFBibTeX XMLCite
Full Text: DOI

Customized testing for probabilistic systems. (English) Zbl 1185.68094

Uyar, M. Ümit (ed.) et al., Testing of communicating systems. 18th IFIP TC6/ WG6.1 international conference, TestCom 2006, New York, NY, USA, May 16–18, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34184-6/pbk). Lecture Notes in Computer Science 3964, 87-102 (2006).
MSC:  68M15
PDFBibTeX XMLCite
Full Text: DOI

Formalizing the debugging process in Haskell. (English) Zbl 1169.68359

Dang Van Hung (ed.) et al., Theoretical aspects of computing – ICTAC 2005. Second international colloquium, Hanoi, Vietnam, October 17–21, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29107-5/pbk). Lecture Notes in Computer Science 3722, 211-226 (2005).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

Relating may and must testing semantics for discrete timed process algebras. (English) Zbl 0959.68089

Thiagarajan, P. S. (ed.) et al., Advances in computing science - ASIAN ’99. 5th Asian computing science conference, Phuket, Thailand, December 8-10, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1742, 74-86 (1999).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite

Filter Results by …

Database

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software