Computer aided verification : 26th international conference, CAV 2014, held as a part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 ; proceedings

Veröffentlicht 2014

Trusted systems : 5th international conference, INTRUST 2013, Graz, Austria, December 4 - 5, 2013 ; proceedings

Veröffentlicht 2013

Learning Mealy Machines with One Timer

von Vaandrager, Frits
Veröffentlicht in LATA (15. : 2021 : Mailand) Language and automata theory and applications (2021)

Proving SIFA Protection of Masked Redundant Circuits

von Hadžić, Vedad
Veröffentlicht in ATVA (19. : 2021 : Online) Automated Technology for Verification and Analysis (2021)

Hardware and software: verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings

Veröffentlicht 2016

Shield Synthesis for Reinforcement Learning

von Könighofer, Bettina
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2020)

TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments

von Pranger, Stefan
Veröffentlicht in ATVA (19. : 2021 : Online) Automated Technology for Verification and Analysis (2021)

Handbook of model checking

Veröffentlicht 2018

Online Shielding for Stochastic Systems

von Könighofer, Bettina
Veröffentlicht in NFM (13. : 2021 : Online) NASA Formal Methods (2021)

Safety Shielding under Delayed Observation

von Córdoba, Filip Cano
Veröffentlicht in International Conference on Automated Planning and Scheduling (33. : 2023 : Prag) Thirty-third International Conference on Automated Planning and Scheduling (ICAPS 2023) (2023)

Special section on the ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) 2009

Veröffentlicht 2010

Automata Learning Meets Shielding

von Tappler, Martin
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)

2010 formal methods in computer-aided design (FMCAD 2010) : Lugano, Switzerland, 20 - 23 October 2010

Veröffentlicht 2010

Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties

von Maderbacher, Benedikt
Veröffentlicht in SPIN (29. : 2023 : Paris) Model checking software (2023)

Software Verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021 and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 1...

Veröffentlicht 2022