Introduction to operating system design and implementation : the OSP 2 approach

von Kifer, Michael
Veröffentlicht 2007

OSP: an environment for operating system projects

von Kifer, Michael
Veröffentlicht 1991

Runtime verification : 5th international conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 ; proceedings

Veröffentlicht 2014

Algebraic reasoning for probabilistic concurrent systems

von Giacalone, Alessandro
Veröffentlicht 1994

Handbook of process algebra

Veröffentlicht 2001

Reactive, generative, and stratified models of probabilistic processes

von Glabbeek, Rob J. van
Veröffentlicht 1994

An STL-Based Formulation of Resilience in Cyber-Physical Systems

von Chen, Hongkai
Veröffentlicht in FORMATS (20. : 2022 : Warschau) Formal modeling and analysis of timed systems (2022)

A Barrier Certificate-Based Simplex Architecture with Application to Microgrids

von Damare, Amol
Veröffentlicht in RV (22. : 2022 : Tiflis; Online) Runtime verification (2022)

Handbook of process algebra

Veröffentlicht 2001

Towards Drone Flocking Using Relative Distance Measurements

von Brandstätter, Andreas
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 3: Adaptation and learning (2022)

The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS

von Mehmood, Usama
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)

Priority as extremal probability

von Smolka, Scott A.
Veröffentlicht 1992

A Distributed Simplex Architecture for Multi-agent Systems

von Mehmood, Usama
Veröffentlicht in SETTA (7. : 2021 : Peking) Dependable software engineering (2021)

Neural Simplex Architecture

von Phan, Dung T.
Veröffentlicht in NFM (12. : 2020 : Moffett Field, Calif.; Online) NASA formal methods (2020)

From reactive systems to cyber-physical systems : essays dedicated to Scott A. Smolka on the occasion of his 65th birthday

Veröffentlicht 2019