Slang: The Sireum Programming Language

von Hatcliff, Robby
Veröffentlicht in International Symposium on Leveraging Applications of Formal Methods (10. : 2021 : Rhodos, Stadt) Leveraging applications of formal methods, verification and validation (2021)

A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime

von Hallerstede, Stefan
Veröffentlicht in FACS (19. : 2023 : Online) Formal aspects of component software (2024)

Partial evaluation : practice and theory ; DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998

Veröffentlicht 1999

Partial evaluation : practice and theory

Veröffentlicht 1999

HAMR: An AADL Multi-platform Code Generation Toolset

von Hatcliff, John
Veröffentlicht in International Symposium on Leveraging Applications of Formal Methods (10. : 2021 : Rhodos, Stadt) Leveraging applications of formal methods, verification and validation (2021)

Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling

von Thiagarajan, Hariharan
Veröffentlicht in IMBSA (7. : 2020 : Online) Model-based safety and assessment (2020)

Formalization of the AADL Run-Time Services

von Hatcliff, John
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 2: Software engineering (2022)

Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The...

Veröffentlicht 2010

Tools and algorithms for the construction and analysis of systems : 9th international conference ; proceedings

Veröffentlicht 2003

Partial evaluation : practice and theory ; DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998

Veröffentlicht 1999