Constraint-based test generation for automotive operating systems

seL4

Gerwin Klein, Kevin Elphinstone, Gernot Heiser et al. · 2009 · 1.6K citations

Computing, Computer Engineering, Computer Science +11

Interface automata

Luca de Alfaro, Thomas A. Henzinger · 2001 · 1.2K citations

Computing, Computer Science, Formal Methods +14

Lazy abstraction

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar et al. · 2002 · 1.2K citations

Computing, Computer Science, Algorithms +11

Modeling component connectors in Reo by constraint automata

Christel Baier, Marjan Sirjani, Farhad Arbab et al. · Science of Computer Programming · 2006 · 307 citations · Full text

Computing, Computer Science, Formal Methods +12

seL4

Gerwin Klein, June Andronick, Kevin Elphinstone et al. · Communications of the ACM · 2010 · 300 citations

Computing, Computer Engineering, Computer Science +11