Integrating Interface Modeling and Analysis in an Industrial Setting

A brief account of runtime verification

Martin Leucker, Christian Schallhart · The Journal of Logic and Algebraic Programming · 2008 · 818 citations

Computing, Computer Engineering, Computer Science +10

Little languages: little maintenance?

Arie van Deursen, Paul Klint · Journal of Software Maintenance Research and Practice · 1998 · 220 citations · Full text

Computing, Computer Science, Compilers +9

Rule Systems for Run-time Monitoring: from EAGLE to RULER

Howard Barringer, David Rydeheard, Klaus Havelund · Journal of Logic and Computation · 2008 · 154 citations · Full text

Computing, Computer Science, Computer Systems +15

Software/Hardware Engineering with the Parallel Object-Oriented Specification Language

B.D. Theelen, Oana Florescu, Marc Geilen et al. · 2007 · 92 citations

Computing, Computer Engineering, Computer Science +16

Application of Integrated Modeling and Analysis to Development of Complex Systems

Hongman Kim, David Fried, Peter Menegay et al. · Procedia Computer Science · 2013 · 30 citations · Full text

Engineering, Systems Engineering, Systems Analysis +15