Software & Systems Modeling · 2018 · 29 citations · 48 references
EngineeringComputer EngineeringComputer ScienceProgramming LanguagesSafety EngineeringSoftware EngineeringDomain-specific LanguagesSafety Requirements EngineeringSafety SystemsSafety-critical Embedded SystemsSafety-critical SystemsSystem SafetyDomain-specific Modeling LanguagesLanguage WorkbenchesModel-based Safety AnalysisSafety-critical SoftwareSafety-critical Software ArchitectureSafety-critical Software EngineeringSoftware Safety
48
Jeannette M. Wing · Communications of the ACM · 2006 · 7.1K citations · Full text
Arie van Deursen, Paul Klint, Joost Visser · ACM SIGPLAN Notices · 2000 · 1.3K citations · Full text
Formal verification of a realistic compiler
Xavier Leroy · Communications of the ACM · 2009 · 1.1K citations
Koen Claessen, John Hughes · ACM SIGPLAN Notices · 2011 · 1K citations
Ramana Kumar, Magnus O. Myreen, Michael Norrish et al. · 2014 · 320 citations